stmt_functor.h

Go to the documentation of this file.

/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *   http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing,
 * software distributed under the License is distributed on an
 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
 * KIND, either express or implied.  See the License for the
 * specific language governing permissions and limitations
 * under the License.
 */
#ifndef TVM_S_TIR_STMT_FUNCTOR_H_
#define TVM_S_TIR_STMT_FUNCTOR_H_
 
#include <tvm/s_tir/stmt.h>
#include <tvm/tirx/stmt_functor.h>
 
namespace tvm {
namespace s_tir {
 
template <typename FType>
class StmtFunctor;
 
template <typename R, typename... Args>
class StmtFunctor<R(const Stmt&, Args...)> : public tirx::StmtFunctor<R(const Stmt&, Args...)> {
  using Parent = tirx::StmtFunctor<R(const Stmt&, Args...)>;
 
 public:
  TVM_DEFINE_OBJECT_FUNCTOR_DEFAULT_CONSTRUCTOR(StmtFunctor, Parent)
  using Parent::Dispatch_;
 
  virtual R Dispatch_(const SBlockNode* op, Args... args) {
    return this->DispatchDefault_(op, std::forward<Args>(args)...);
  }
  virtual R Dispatch_(const SBlockRealizeNode* op, Args... args) {
    return this->DispatchDefault_(op, std::forward<Args>(args)...);
  }
 
 protected:
  using VTable = typename Parent::VTable;
  explicit StmtFunctor(const VTable* vtable) : Parent(vtable) {}
  static void InitVTable(VTable* vtable) {
    Parent::InitVTable(vtable);
    Parent::template SetDispatch<StmtFunctor, SBlockNode>(vtable);
    Parent::template SetDispatch<StmtFunctor, SBlockRealizeNode>(vtable);
  }
};
 
class TVM_DLL StmtExprVisitor : public tirx::StmtExprVisitor {
 public:
  TVM_DEFINE_OBJECT_FUNCTOR_DEFAULT_CONSTRUCTOR(StmtExprVisitor, tirx::StmtExprVisitor)
  using tirx::StmtExprVisitor::Visit;
  using tirx::StmtExprVisitor::Visit_;
 
  virtual ffi::Optional<VisitInterrupt> Visit_(const SBlockNode* op);
  virtual ffi::Optional<VisitInterrupt> Visit_(const SBlockRealizeNode* op);
 
  // Shared native traversal for specialized TIRX helpers extended by S-TIR.
  static ffi::Optional<VisitInterrupt> VisitBlock(tirx::StmtExprVisitor* visitor,
                                                  const SBlockNode* op);
  static ffi::Optional<VisitInterrupt> VisitBlockRealize(tirx::StmtExprVisitor* visitor,
                                                         const SBlockRealizeNode* op);
 
 protected:
  explicit StmtExprVisitor(const VTable* vtable) : tirx::StmtExprVisitor(vtable) {}
  static void InitVTable(VTable* vtable);
};
 
class TVM_DLL StmtExprMutator : public tirx::StmtExprMutator {
 public:
  TVM_DEFINE_OBJECT_FUNCTOR_DEFAULT_CONSTRUCTOR(StmtExprMutator, tirx::StmtExprMutator)
  using tirx::StmtExprMutator::Mutate;
  using tirx::StmtExprMutator::Mutate_;
 
  virtual UnchangedOr<Stmt> Mutate_(const SBlockNode* op, InplaceMode inplace_mode);
  virtual UnchangedOr<Stmt> Mutate_(const SBlockRealizeNode* op, InplaceMode inplace_mode);
 
  // Share block ownership and binder rules with specialized TIRX helpers.
  static UnchangedOr<Stmt> MutateBlock(tirx::StmtExprMutator* mutator, const SBlockNode* op,
                                       InplaceMode inplace_mode);
  static UnchangedOr<Stmt> MutateBlockRealize(tirx::StmtExprMutator* mutator,
                                              const SBlockRealizeNode* op,
                                              InplaceMode inplace_mode);
 
 protected:
  explicit StmtExprMutator(const VTable* vtable) : tirx::StmtExprMutator(vtable) {}
  static void InitVTable(VTable* vtable);
};
 
}  // namespace s_tir
}  // namespace tvm
#endif  // TVM_S_TIR_STMT_FUNCTOR_H_