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
34namespace tvm {
35namespace te {
36
37class 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
55bool VerifyCompactBuffer(const Stmt& stmt) {
56 VerifyBuffer verifier;
57 return verifier.Verify(stmt);
58}
59
60TVM_REGISTER_GLOBAL("schedule.VerifyCompactBuffer").set_body_typed(VerifyCompactBuffer);
61
62} // namespace te
63} // namespace tvm
64