binding_rewrite.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_BINDING_REWRITE_H_
 
#include <tvm/ir/name_supply.h>
#include <tvm/relax/analysis.h>
#include <tvm/relax/expr.h>
 
#include <map>
#include <set>
#include <type_traits>
#include <utility>
#include <vector>
 
namespace tvm {
namespace relax {
 
class DataflowBlockRewriteNode : public Object {
 public:
  void ReplaceAllUses(Var old_var, Var new_var);
  void Add(Binding binding);
  void Add(String var_name, Expr expr, bool is_dfvar = false) {
    auto var = is_dfvar ? DataflowVar(var_name, GetStructInfo(expr))  //
                        : Var(var_name, GetStructInfo(expr));
    Add(VarBinding(std::move(var), std::move(expr)));
  }
  void Add(Expr expr, bool is_dfvar = false) {
    Add(name_supply_->FreshName("tmp"), expr, is_dfvar);
  }
  void RemoveUnused(Var unused, bool allow_undef = false);
  void RemoveAllUnused();
 
  DataflowBlock MutatedDataflowBlock() { return dfb_; }
  Function MutatedFunc() { return root_fn_.value(); }
  IRModule MutateIRModule(IRModule irmod);
 
  void VisitAttrs(AttrVisitor* v) {
    v->Visit("dfb", &dfb_);
    v->Visit("root_fn", &root_fn_);
  }
 
  static constexpr const char* _type_key = "relax.DataflowBlockRewrite";
  TVM_DECLARE_FINAL_OBJECT_INFO(DataflowBlockRewriteNode, Object);
 
 protected:
  friend class DataflowBlockRewrite;
 
  DataflowBlock dfb_;                    
  Optional<Function> root_fn_;           
  const FunctionNode* original_fn_ptr_;  
  Map<Var, Array<Var>> to_users_;        
  Array<Var> fn_outputs_;                
 
 private:
  NameSupply name_supply_;  
};
 
class DataflowBlockRewrite : public ObjectRef {
 public:
  TVM_DLL explicit DataflowBlockRewrite(DataflowBlock dfb, Function root_fn);
 
  DataflowBlockRewriteNode* operator->() {
    ICHECK(get() != nullptr);
    return static_cast<DataflowBlockRewriteNode*>(get_mutable());
  }
 
  TVM_DEFINE_OBJECT_REF_METHODS(DataflowBlockRewrite, ObjectRef, DataflowBlockRewriteNode);
};
 
}  // namespace relax
}  // namespace tvm
 
#define TVM_RELAX_BINDING_REWRITE_H_
#endif  // TVM_RELAX_BINDING_REWRITE_H_