block_builder.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_RELAX_BLOCK_BUILDER_H_
#define TVM_RELAX_BLOCK_BUILDER_H_
 
#include <tvm/arith/analyzer.h>
#include <tvm/ir/unique_name_supply.h>
#include <tvm/relax/expr.h>
#include <tvm/relax/utils.h>
#include <tvm/runtime/base.h>
 
namespace tvm {
namespace relax {
 
class BlockBuilderNode : public ffi::Object {
 public:
  //-------------------------------
  // Global Context management
  //-------------------------------
  virtual UniqueNameSupply name_supply() = 0;
 
  virtual IRModule GetContextIRModule() const = 0;
 
  virtual IRModule Finalize() = 0;
 
  virtual GlobalVar AddFunction(const BaseFunc& func, ffi::String func_name_hint) = 0;
 
  virtual void UpdateFunction(const GlobalVar& gv, BaseFunc function) = 0;
 
  //-------------------------------
  // Scope management
  //-------------------------------
  virtual ffi::Optional<Expr> LookupBinding(const Var& var) = 0;
 
  virtual void BeginScope(ffi::Optional<ffi::Array<Var>> params) = 0;
 
  virtual void BeginInnerScope() = 0;
 
  virtual void AddDefinitionToScope(Var var) = 0;
 
  virtual void EndScope() = 0;
 
  virtual void BeginDataflowBlock() = 0;
 
  virtual void BeginBindingBlock() = 0;
  virtual BindingBlock EndBlock() = 0;
 
  virtual bool CurrentBlockIsDataFlow() = 0;
 
  virtual Var Emit(Expr expr, ffi::String name_hint = "") = 0;
 
  virtual Var EmitMatchCast(Expr value, Type ty, ffi::String name_hint = "") = 0;
 
  virtual Var EmitOutput(Expr output, ffi::String name_hint = "") = 0;
 
  virtual void EmitNormalized(Binding normalized_binding) = 0;
 
  virtual Expr Normalize(const Expr& expr) = 0;
 
  virtual Expr NormalizeArgument(const Expr& expr) = 0;
 
  virtual arith::Analyzer GetAnalyzer() = 0;
 
  static constexpr const bool _type_mutable = true;
  TVM_FFI_DECLARE_OBJECT_INFO("relax.BlockBuilder", BlockBuilderNode, ffi::Object);
};
 
class BlockBuilder : public ffi::ObjectRef {
 public:
  TVM_DLL static BlockBuilder Create(ffi::Optional<IRModule> ctx_mod);
 
  struct DisableOperatorSpecificNormalizationForTVMScript {
    explicit DisableOperatorSpecificNormalizationForTVMScript() = default;  // NOLINT(*)
  };
  TVM_DLL static BlockBuilder Create(ffi::Optional<IRModule> ctx_mod,
                                     DisableOperatorSpecificNormalizationForTVMScript tag);
 
  TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE(BlockBuilder, ffi::ObjectRef, BlockBuilderNode);
};
 
}  // namespace relax
}  // namespace tvm
 
#endif  // TVM_RELAX_BLOCK_BUILDER_H_