tvm
function.h
Go to the documentation of this file.
1 /*
2  * Licensed to the Apache Software Foundation (ASF) under one
3  * or more contributor license agreements. See the NOTICE file
4  * distributed with this work for additional information
5  * regarding copyright ownership. The ASF licenses this file
6  * to you under the Apache License, Version 2.0 (the
7  * "License"); you may not use this file except in compliance
8  * with the License. You may obtain a copy of the License at
9  *
10  * http://www.apache.org/licenses/LICENSE-2.0
11  *
12  * Unless required by applicable law or agreed to in writing,
13  * software distributed under the License is distributed on an
14  * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15  * KIND, either express or implied. See the License for the
16  * specific language governing permissions and limitations
17  * under the License.
18  */
19 
24 #ifndef TVM_TIR_FUNCTION_H_
25 #define TVM_TIR_FUNCTION_H_
26 
27 #include <tvm/ffi/container/map.h>
28 #include <tvm/ffi/container/variant.h>
29 #include <tvm/ir/function.h>
30 #include <tvm/runtime/tensor.h>
31 #include <tvm/tir/buffer.h>
32 #include <tvm/tir/expr.h>
33 #include <tvm/tir/stmt.h>
34 
35 #include <string>
36 
37 namespace tvm {
38 namespace tir {
39 
48 class PrimFuncNode : public BaseFuncNode {
49  public:
51  ffi::Array<tir::Var> params;
99  ffi::Map<tir::Var, Buffer> buffer_map;
102 
103  static void RegisterReflection() {
104  namespace refl = tvm::ffi::reflection;
105  refl::ObjectDef<PrimFuncNode>()
106  .def_ro("params", &PrimFuncNode::params, refl::AttachFieldFlag::SEqHashDef())
107  .def_ro("ret_type", &PrimFuncNode::ret_type)
108  .def_ro("buffer_map", &PrimFuncNode::buffer_map)
109  .def_ro("body", &PrimFuncNode::body);
110  }
111 
120 
123 };
124 
129 class PrimFunc : public BaseFunc {
130  public:
149  TVM_DLL PrimFunc(ffi::Array<tir::Var> params, Stmt body, Type ret_type = VoidType(),
150  ffi::Map<tir::Var, Buffer> buffer_map = ffi::Map<tir::Var, Buffer>(),
151  DictAttrs attrs = DictAttrs(), Span span = Span());
152 
155 };
156 
160 class TensorIntrinNode : public Object {
161  public:
166 
167  static void RegisterReflection() {
168  namespace refl = tvm::ffi::reflection;
169  refl::ObjectDef<TensorIntrinNode>()
170  .def_ro("desc", &TensorIntrinNode::desc)
171  .def_ro("impl", &TensorIntrinNode::impl);
172  }
174 };
175 
179 class TensorIntrin : public ObjectRef {
180  public:
186  TVM_DLL explicit TensorIntrin(PrimFunc desc, PrimFunc impl);
187 
197  TVM_DLL static void Register(ffi::String name, TensorIntrin intrin, bool override = false);
198 
208  TVM_DLL static ffi::Optional<TensorIntrin> Get(ffi::String name, bool allow_missing = false);
209 
211 };
212 
251 PrimFunc Specialize(PrimFunc func, const ffi::Map<Var, ffi::Variant<Buffer, PrimExpr>>& param_map);
252 
258 namespace attr {
259 
306 constexpr const char* kKernelLaunchParams = "tir.kernel_launch_params";
307 
313 constexpr const char* kNoAlias = "tir.noalias";
314 
323 constexpr const char* kIsEntryFunc = "tir.is_entry_func";
324 
330 constexpr const char* kIsGlobalFunc = "tir.is_global_func";
331 
337 constexpr const char* kIsHostFunc = "tir.is_host_func";
338 
344 constexpr const char* kIsScheduled = "tir.is_scheduled";
345 
346 } // namespace attr
347 } // namespace tir
348 } // namespace tvm
349 #endif // TVM_TIR_FUNCTION_H_
Symbolic n-dimensional array, to represent a memory buffer.
Base node of all functions.
Definition: function.h:139
Managed reference to BaseFuncNode.
Definition: function.h:233
Managed reference to DictAttrsNode.
Definition: attrs.h:162
Managed reference to FuncTypeNode.
Definition: type.h:274
Definition: source_map.h:111
Managed reference to TypeNode.
Definition: type.h:100
Primitive functions that contains TIR statements.
Definition: function.h:48
TVM_FFI_DECLARE_OBJECT_INFO_FINAL("tir.PrimFunc", PrimFuncNode, BaseFuncNode)
ffi::Array< tir::Var > params
Function parameters.
Definition: function.h:51
FuncType func_type_annotation() const
Return the derived function annotation of this function.
tir::Stmt body
The body of the function.
Definition: function.h:101
Type ret_type
The return type of the function.
Definition: function.h:53
ffi::Map< tir::Var, Buffer > buffer_map
Maps some parameters to specific Buffer data structures.
Definition: function.h:99
static void RegisterReflection()
Definition: function.h:103
Managed reference to PrimFuncNode.
Definition: function.h:129
TVM_DEFINE_OBJECT_REF_COW_METHOD(PrimFuncNode)
PrimFunc(ffi::Array< tir::Var > params, Stmt body, Type ret_type=VoidType(), ffi::Map< tir::Var, Buffer > buffer_map=ffi::Map< tir::Var, Buffer >(), DictAttrs attrs=DictAttrs(), Span span=Span())
Constructor.
TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE(PrimFunc, BaseFunc, PrimFuncNode)
Container of all statements.
Definition: stmt.h:63
Tensor intrinsics for tensorization.
Definition: function.h:160
TVM_FFI_DECLARE_OBJECT_INFO_FINAL("tir.TensorIntrin", TensorIntrinNode, Object)
PrimFunc impl
The function of the implementation for the execution.
Definition: function.h:165
static void RegisterReflection()
Definition: function.h:167
PrimFunc desc
The function to describe the computation.
Definition: function.h:163
Managed reference to TensorIntrinNode.
Definition: function.h:179
TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE(TensorIntrin, ObjectRef, TensorIntrinNode)
static void Register(ffi::String name, TensorIntrin intrin, bool override=false)
Create and register a TensorIntrin. After registration, the TensorIntrin can be looked up with its na...
static ffi::Optional< TensorIntrin > Get(ffi::String name, bool allow_missing=false)
Look up TensorIntrin by name. Raises an exception if not found.
TensorIntrin(PrimFunc desc, PrimFunc impl)
Constructor.
a named variable in TIR
Definition: var.h:77
Function nodes.
Definition: repr_printer.h:91
constexpr const char * kIsGlobalFunc
Mark the function as the global function called from the host.
Definition: function.h:330
constexpr const char * kIsEntryFunc
Mark the function as the entry function of the final generated runtime module.
Definition: function.h:323
constexpr const char * kKernelLaunchParams
List of thread IterVar that a DeviceLaunch function corresponds to.
Definition: function.h:306
constexpr const char * kIsHostFunc
Mark the function as run on the host, mutually exclusive with kTarget.
Definition: function.h:337
constexpr const char * kNoAlias
Whether to set noalias rule on the function arguments.
Definition: function.h:313
constexpr const char * kIsScheduled
Mark the function as scheduled, so the default schedule will pass will skip it.
Definition: function.h:344
PrimFunc Specialize(PrimFunc func, const ffi::Map< Var, ffi::Variant< Buffer, PrimExpr >> &param_map)
Specialize parameters of PrimFunc.
Performance counters for profiling via the PAPI library.
Definition: analyzer.h:37
Type VoidType()
Definition: type.h:234
A device-independent managed Tensor abstraction.
TIR statements.
TIR expressions.