function.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_TIR_FUNCTION_H_
#define TVM_TIR_FUNCTION_H_
 
#include <tvm/ffi/container/map.h>
#include <tvm/ffi/container/variant.h>
#include <tvm/ir/cow.h>
#include <tvm/ir/function.h>
#include <tvm/runtime/tensor.h>
#include <tvm/tirx/buffer.h>
#include <tvm/tirx/expr.h>
#include <tvm/tirx/stmt.h>
 
#include <string>
 
namespace tvm {
namespace tirx {
 
class PrimFuncNode : public BaseFuncNode {
 public:
  ffi::Array<tirx::Var> params;
  Type ret_type = Type::Missing();
  ffi::Map<tirx::Var, Buffer> buffer_map;
  tirx::Stmt body;
 
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    refl::ObjectDef<PrimFuncNode>()
        .def_ro("params", &PrimFuncNode::params, refl::AttachFieldFlag::SEqHashDefRecursive())
        .def_ro("ret_type", &PrimFuncNode::ret_type)
        .def_ro("buffer_map", &PrimFuncNode::buffer_map)
        .def_ro("body", &PrimFuncNode::body);
    refl::TypeAttrDef<PrimFuncNode>()
        .def("__s_equal__", &PrimFuncNode::SEqual)
        .def("__s_hash__", &PrimFuncNode::SHash);
  }
 
  bool SEqual(const PrimFuncNode* other,
              ffi::TypedFunction<bool(AnyView, AnyView, bool, AnyView)> equal) const {
    // `ty` is derived from the fields below.  PrimFunc transformations update
    // those source fields without maintaining this redundant cache eagerly.
    // Remove this exception once all PrimFunc mutation paths recompute `ty`.
    return equal(attrs, other->attrs, false, "attrs") &&
           equal(params, other->params, true, "params") &&
           equal(ret_type, other->ret_type, false, "ret_type") &&
           equal(buffer_map, other->buffer_map, false, "buffer_map") &&
           equal(body, other->body, false, "body");
  }
 
  int64_t SHash(int64_t init_hash, ffi::TypedFunction<int64_t(AnyView, int64_t, bool)> hash) const {
    int64_t hash_value = init_hash;
    hash_value = hash(attrs, hash_value, false);
    hash_value = hash(params, hash_value, true);
    hash_value = hash(ret_type, hash_value, false);
    hash_value = hash(buffer_map, hash_value, false);
    hash_value = hash(body, hash_value, false);
    return hash_value;
  }
 
  TVM_DLL FuncType func_type_annotation() const;
 
  TVM_FFI_DECLARE_OBJECT_INFO_FINAL("tirx.PrimFunc", PrimFuncNode, BaseFuncNode);
};
 
class PrimFunc : public BaseFunc {
 public:
  TVM_DLL PrimFunc(ffi::Array<tirx::Var> params, Stmt body, Type ret_type = VoidType(),
                   ffi::Map<tirx::Var, Buffer> buffer_map = ffi::Map<tirx::Var, Buffer>(),
                   DictAttrs attrs = DictAttrs(), Span span = Span());
 
  TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE(PrimFunc, BaseFunc, PrimFuncNode);
  TVM_DEFINE_OBJECT_REF_COW_METHOD(PrimFuncNode);
};
 
class TensorIntrinNode : public ffi::Object {
 public:
  PrimFunc desc;
  PrimFunc impl;
 
  static void RegisterReflection() {
    namespace refl = tvm::ffi::reflection;
    refl::ObjectDef<TensorIntrinNode>()
        .def_ro("desc", &TensorIntrinNode::desc)
        .def_ro("impl", &TensorIntrinNode::impl);
  }
  TVM_FFI_DECLARE_OBJECT_INFO_FINAL("tirx.TensorIntrin", TensorIntrinNode, ffi::Object);
};
 
class TensorIntrin : public ffi::ObjectRef {
 public:
  TVM_DLL explicit TensorIntrin(PrimFunc desc, PrimFunc impl);
 
  TVM_DLL static void Register(ffi::String name, TensorIntrin intrin, bool override = false);
 
  TVM_DLL static ffi::Optional<TensorIntrin> Get(ffi::String name, bool allow_missing = false);
 
  TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE(TensorIntrin, ffi::ObjectRef, TensorIntrinNode);
};
 
PrimFunc Specialize(PrimFunc func, const ffi::Map<Var, ffi::Variant<Buffer, Expr>>& param_map);
 
namespace attr {
 
constexpr const char* kKernelLaunchParams = "tirx.kernel_launch_params";
 
constexpr const char* kLaunchBoundsMinBlocksPerSM = "tirx.launch_bounds_min_blocks_per_sm";
 
constexpr const char* kNoAlias = "tirx.noalias";
 
constexpr const char* kIsEntryFunc = "tirx.is_entry_func";
 
constexpr const char* kIsGlobalFunc = "tirx.is_global_func";
 
constexpr const char* kIsHostFunc = "tirx.is_host_func";
 
constexpr const char* kIsScheduled = "tirx.is_scheduled";
 
}  // namespace attr
}  // namespace tirx
}  // namespace tvm
#endif  // TVM_TIR_FUNCTION_H_