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 | #include <tvm/runtime/registry.h> |
21 | #include <tvm/tir/expr.h> |
22 | #include <tvm/tir/stmt_functor.h> |
23 | #include <tvm/tir/transform.h> |
24 | |
25 | namespace tvm { |
26 | namespace tir { |
27 | |
28 | class AssertSkipper : public StmtMutator { |
29 | public: |
30 | Stmt VisitStmt_(const AssertStmtNode* op) final { |
31 | Stmt stmt = StmtMutator::VisitStmt_(op); |
32 | op = stmt.as<AssertStmtNode>(); |
33 | return op->body; |
34 | } |
35 | }; |
36 | |
37 | Stmt SkipAssert(Stmt stmt) { return AssertSkipper()(std::move(stmt)); } |
38 | |
39 | namespace transform { |
40 | |
41 | Pass SkipAssert() { |
42 | auto pass_func = [](PrimFunc f, IRModule m, PassContext ctx) { |
43 | auto* n = f.CopyOnWrite(); |
44 | n->body = AssertSkipper()(std::move(n->body)); |
45 | return f; |
46 | }; |
47 | return CreatePrimFuncPass(pass_func, 0, "tir.SkipAssert", {}); |
48 | } |
49 | |
50 | TVM_REGISTER_GLOBAL("tir.transform.SkipAssert").set_body_typed(SkipAssert); |
51 | |
52 | } // namespace transform |
53 | |
54 | } // namespace tir |
55 | } // namespace tvm |
56 |