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
25namespace tvm {
26namespace tir {
27
28class 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
37Stmt SkipAssert(Stmt stmt) { return AssertSkipper()(std::move(stmt)); }
38
39namespace transform {
40
41Pass 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
50TVM_REGISTER_GLOBAL("tir.transform.SkipAssert").set_body_typed(SkipAssert);
51
52} // namespace transform
53
54} // namespace tir
55} // namespace tvm
56