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 remove_store_undef.cc |
22 | * \brief Remove stores of tir::builtin::undef |
23 | */ |
24 | #include <tvm/runtime/registry.h> |
25 | #include <tvm/tir/analysis.h> |
26 | #include <tvm/tir/builtin.h> |
27 | #include <tvm/tir/op.h> |
28 | #include <tvm/tir/stmt.h> |
29 | #include <tvm/tir/stmt_functor.h> |
30 | #include <tvm/tir/transform.h> |
31 | |
32 | namespace tvm { |
33 | namespace tir { |
34 | |
35 | // Remove any builtin::assume calls |
36 | class AssumeRemover : public StmtExprMutator { |
37 | public: |
38 | using Parent = StmtExprMutator; |
39 | |
40 | Stmt VisitStmt_(const EvaluateNode* op) final { |
41 | if (auto* call = op->value.as<CallNode>()) { |
42 | if (call->op.same_as(builtin::assume())) { |
43 | return Evaluate(0); |
44 | } |
45 | } |
46 | return StmtExprMutator::VisitStmt_(op); |
47 | } |
48 | }; |
49 | |
50 | namespace transform { |
51 | Pass RemoveAssumeInternal() { |
52 | auto pass_func = [](PrimFunc f, IRModule m, PassContext ctx) { |
53 | auto* n = f.CopyOnWrite(); |
54 | n->body = AssumeRemover()(std::move(n->body)); |
55 | return f; |
56 | }; |
57 | return CreatePrimFuncPass(pass_func, 0, "tir.RemoveAssumeInternal" , {}); |
58 | } |
59 | |
60 | Pass RemoveAssume() { |
61 | return Sequential({RemoveAssumeInternal(), RemoveNoOp()}, "tir.RemoveAssume" ); |
62 | } |
63 | |
64 | TVM_REGISTER_GLOBAL("tir.transform.RemoveAssume" ).set_body_typed(RemoveAssume); |
65 | |
66 | } // namespace transform |
67 | |
68 | } // namespace tir |
69 | } // namespace tvm |
70 | |