tvm
Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | List of all members
tvm::tir::PrimFuncNode Class Reference

Primitive functions that contains TIR statements. More...

#include <function.h>

Inheritance diagram for tvm::tir::PrimFuncNode:
Collaboration diagram for tvm::tir::PrimFuncNode:

Public Member Functions

FuncType func_type_annotation () const
 Return the derived function annotation of this function. More...
 
 TVM_OBJECT_ENABLE_SCRIPT_PRINTER ()
 
 TVM_DECLARE_FINAL_OBJECT_INFO (PrimFuncNode, BaseFuncNode)
 
- Public Member Functions inherited from tvm::BaseFuncNode
template<typename TObjectRef >
Optional< TObjectRef > GetAttr (const std::string &attr_key, Optional< TObjectRef > default_value=std::nullopt) const
 Get a function attribute. More...
 
template<typename TObjectRef >
Optional< TObjectRef > GetAttr (const std::string &attr_key, TObjectRef default_value) const
 
bool HasNonzeroAttr (const std::string &attr_key) const
 Check whether the function has an non-zero integer attr. More...
 
LinkageType GetLinkageType () const
 Get the type of the linkage. More...
 
 TVM_DECLARE_BASE_OBJECT_INFO (BaseFuncNode, RelaxExprNode)
 
- Public Member Functions inherited from tvm::RelaxExprNode
 TVM_DECLARE_BASE_OBJECT_INFO (RelaxExprNode, BaseExprNode)
 
- Public Member Functions inherited from tvm::BaseExprNode
 TVM_DECLARE_BASE_OBJECT_INFO (BaseExprNode, Object)
 

Static Public Member Functions

static void RegisterReflection ()
 
- Static Public Member Functions inherited from tvm::BaseFuncNode
static void RegisterReflection ()
 
- Static Public Member Functions inherited from tvm::RelaxExprNode
static void RegisterReflection ()
 
- Static Public Member Functions inherited from tvm::BaseExprNode
static void RegisterReflection ()
 

Public Attributes

Array< tir::Varparams
 Function parameters. More...
 
Type ret_type
 The return type of the function. More...
 
Map< tir::Var, Bufferbuffer_map
 Maps some parameters to specific Buffer data structures. More...
 
tir::Stmt body
 The body of the function. More...
 
- Public Attributes inherited from tvm::BaseFuncNode
DictAttrs attrs
 Additional attributes storing the meta-data. More...
 
- Public Attributes inherited from tvm::RelaxExprNode
Optional< ObjectRef > struct_info_ = Optional<ObjectRef>()
 Stores the result of structure information of the expression that encapsulate both static shape and runtime information such as shape. More...
 
- Public Attributes inherited from tvm::BaseExprNode
Span span
 Span that points to the original source code. Reserved debug information. More...
 

Static Public Attributes

static constexpr const char * _type_key = "tir.PrimFunc"
 
- Static Public Attributes inherited from tvm::BaseFuncNode
static constexpr const char * _type_key = "ir.BaseFunc"
 
static constexpr const uint32_t _type_child_slots = 2
 
- Static Public Attributes inherited from tvm::RelaxExprNode
static constexpr const char * _type_key = "ir.RelaxExpr"
 
static constexpr const uint32_t _type_child_slots = 22
 
- Static Public Attributes inherited from tvm::BaseExprNode
static constexpr const char * _type_key = "ir.BaseExpr"
 
static constexpr TVMFFISEqHashKind _type_s_eq_hash_kind = kTVMFFISEqHashKindTreeNode
 
static constexpr const uint32_t _type_child_slots = 64
 

Detailed Description

Primitive functions that contains TIR statements.

The PrimFunc provides low-level code representation does not automatically manage

See also
PrimFunc

Member Function Documentation

◆ func_type_annotation()

FuncType tvm::tir::PrimFuncNode::func_type_annotation ( ) const

Return the derived function annotation of this function.

Returns
The function type annotation.
Note
The function type annotation of PrimExpr is directly derived from the Vars without the need of type inference.

◆ RegisterReflection()

static void tvm::tir::PrimFuncNode::RegisterReflection ( )
inlinestatic

◆ TVM_DECLARE_FINAL_OBJECT_INFO()

tvm::tir::PrimFuncNode::TVM_DECLARE_FINAL_OBJECT_INFO ( PrimFuncNode  ,
BaseFuncNode   
)

◆ TVM_OBJECT_ENABLE_SCRIPT_PRINTER()

tvm::tir::PrimFuncNode::TVM_OBJECT_ENABLE_SCRIPT_PRINTER ( )

Member Data Documentation

◆ _type_key

constexpr const char* tvm::tir::PrimFuncNode::_type_key = "tir.PrimFunc"
staticconstexpr

◆ body

tir::Stmt tvm::tir::PrimFuncNode::body

The body of the function.

◆ buffer_map

Map<tir::Var, Buffer> tvm::tir::PrimFuncNode::buffer_map

Maps some parameters to specific Buffer data structures.

buffer_map provides a way to express data structure's field and shape constraints. The provided information is used in the program analysis and the code generation.

  • It defines the vars in the Buffer (m, n) in the cases below when they appears in the buffer_map for the first time.
  • When a var appears multiple times, they translate into runtime assertion to check the field constraint.
# The corresponding fields of f are as follows
#
# - f.params = [a, b]
# - f.buffer_map = {a: A, b: B}
# - A = decl_buffer(shape=[m, n])
# - B = decl_buffer(shape=[m, n])
def f(a, b):
m, n = var(), var()
A = bind_buffer(a, shape=[m, n])
B = bind_buffer(b, shape=[m, n])
# body
tir::Stmt body
The body of the function.
Definition: function.h:101
Var var(std::string name_hint, DataType t=DataType::Int(32))
Construct a new Var expression.
Tensor shape(const Tensor &src, DataType dtype, const std::string name="T_shape", const std::string tag=kInjective)
Get the shape of input tensor.
Definition: transform.h:1945

buffer_map is a sugar to express:

  • Parameter unpacking: e.g. I can load a.shape[0] to get value of m
  • Constraint checking: a.shape[0] must equal b.shape[0] because they both corresponds to m.

While we could have express parameter unpacking and constraint using normal statements, making buffer_map as first class citizen of PrimFunc will make program analysis much easier.

Prior to buffer flattening, which is performed FlattenBuffer for TIR-based schedules, these buffer objects are used directly in the body of the function. After buffer flattening, these buffer objects remain unflattened for use in argument validation, but all usage in the body of the function is done through a flattened alias of the buffer.

◆ params

Array<tir::Var> tvm::tir::PrimFuncNode::params

Function parameters.

◆ ret_type

Type tvm::tir::PrimFuncNode::ret_type

The return type of the function.


The documentation for this class was generated from the following file: