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
32namespace tvm {
33namespace tir {
34
35// Remove any builtin::assume calls
36class 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
50namespace transform {
51Pass 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
60Pass RemoveAssume() {
61 return Sequential({RemoveAssumeInternal(), RemoveNoOp()}, "tir.RemoveAssume");
62}
63
64TVM_REGISTER_GLOBAL("tir.transform.RemoveAssume").set_body_typed(RemoveAssume);
65
66} // namespace transform
67
68} // namespace tir
69} // namespace tvm
70