1 | /* |
---|---|
2 | * Licensed to the Apache Software Foundation (ASF) under one |
3 | * or more contributor license agreements. See the NOTICE file |
4 | * distributed with this work for additional information |
5 | * regarding copyright ownership. The ASF licenses this file |
6 | * to you under the Apache License, Version 2.0 (the |
7 | * "License"); you may not use this file except in compliance |
8 | * with the License. You may obtain a copy of the License at |
9 | * |
10 | * http://www.apache.org/licenses/LICENSE-2.0 |
11 | * |
12 | * Unless required by applicable law or agreed to in writing, |
13 | * software distributed under the License is distributed on an |
14 | * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY |
15 | * KIND, either express or implied. See the License for the |
16 | * specific language governing permissions and limitations |
17 | * under the License. |
18 | */ |
19 | |
20 | /*! |
21 | * \file verify_compact_buffer.cc |
22 | * \brief Verify if there was any compact buffer bound to a statement. |
23 | */ |
24 | #include <tvm/runtime/registry.h> |
25 | #include <tvm/te/schedule_pass.h> |
26 | #include <tvm/te/tensor.h> |
27 | #include <tvm/tir/buffer.h> |
28 | #include <tvm/tir/expr.h> |
29 | #include <tvm/tir/stmt.h> |
30 | #include <tvm/tir/stmt_functor.h> |
31 | |
32 | #include <unordered_map> |
33 | |
34 | namespace tvm { |
35 | namespace te { |
36 | |
37 | class VerifyBuffer : public StmtVisitor { |
38 | public: |
39 | bool Verify(const Stmt& stmt) { |
40 | this->VisitStmt(stmt); |
41 | return is_compact_; |
42 | } |
43 | |
44 | void VisitStmt_(const AttrStmtNode* op) final { |
45 | StmtVisitor::VisitStmt_(op); |
46 | if (op->attr_key == tir::attr::buffer_bind_scope) { |
47 | is_compact_ = true; |
48 | } |
49 | } |
50 | |
51 | private: |
52 | bool is_compact_{false}; |
53 | }; |
54 | |
55 | bool VerifyCompactBuffer(const Stmt& stmt) { |
56 | VerifyBuffer verifier; |
57 | return verifier.Verify(stmt); |
58 | } |
59 | |
60 | TVM_REGISTER_GLOBAL("schedule.VerifyCompactBuffer").set_body_typed(VerifyCompactBuffer); |
61 | |
62 | } // namespace te |
63 | } // namespace tvm |
64 |