tvm_tirx.tirx.script#
Public canonical TVMScript dialect namespace.
Classes#
|
Marker for an immutable Bind, created by |
Alias |
Canonical API |
|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Functions#
|
Construct a tuple type for a TIRx function or binding annotation. |
|
Implements |
|
Allocate the tensor described by one explicit |
|
Declare a pointer-backed tensor with one explicit |
|
Emit a tensor allocation and return its bound variable in a receipt. |
|
Emit a tensor allocation and return its bound variable in a receipt. |
|
Emit a tensor allocation and return its bound variable in a receipt. |
|
Allocate a zero-dimensional tensor (scalar), with optional allocation annotations. |
|
Declare a zero-dimensional tensor (scalar) from a pointer. |
|
Allocate a zero-dimensional tensor in shared memory. |
|
Allocate scalar local storage, optionally naming and initializing it. |
|
Store a value into scalar storage and return its emission receipt. |
|
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
A primitive scalar or vector data type, including the |
|
|
Create a TIR var that represents a pointer. |
A primitive scalar or vector data type, including the |
|
|
The pointer declaration function. |
|
Create a TIR Index mapping |
|
Create a target |
|
Decorator for utility classes used inside @T.function. |
A primitive scalar or vector data type, including the |
|
|
Call an external kernel. |
|
Cast an expression to the requested data type. |
|
Create a Let expression binding |
|
Compute the minimum value of two expressions. |
|
Compute the maximum value of two expressions. |
|
Bind an explicit construction namespace to T and its builder aliases. |
|
Select a completed Op and publish it to declared API destinations. |
|
Select a completed Type and publish it to declared API destinations. |
|
Get absolute value of the input element-wise. |
|
Take acos of input x. |
|
Take acos of input x. |
|
Returns the address of a tensor element or addressable variable. |
|
Construct a call to tirx.atomic_add. |
|
Construct a call to tirx.call_spirv_pure_glsl450. |
|
Internal host/device splitting boundary. |
|
Construct a call to tirx.prefetch. |
|
Construct a call to tirx.static_handle. |
|
Take asin of input x. |
|
Take asinh of input x. |
|
Take atan of input x. |
|
Take arctan2(x1, x2). |
|
Take atanh of input x. |
|
Take bitwise and of two values |
|
Take bitwise not of input value |
|
Take bitwise or of two values |
|
Take bitwise xor of two values |
|
Construct a call to prim.ceil. |
|
Construct a call to prim.clz. |
|
Change the sign of x1 to that of x2, element-wise. |
|
Take cos of input x. |
|
Take cosh of input x. |
|
Take gauss error function of the input x. |
|
Take exponential of input x. |
|
Calculate 2**x |
|
Calculate 10**x |
|
Thread-set filter escape hatch. |
|
Analysis-only active-thread selector. |
|
Construct a call to prim.floor. |
|
Generic ceildiv operator. |
|
Compute the floordiv of two expressions. |
|
Compute the floormod of two expressions. |
|
Return the remainder of x divided by y with the same sign as x. |
|
Take fused multiply-add of input x, y, z. |
|
Equivalent to sqrt(x1**2 + x2**2), element-wise. |
|
Construct a call to prim.if_then_else. |
|
infinity value of ty |
|
Check if input value is finite. |
|
Check if input value is infinite. |
|
Check if input value is Nan. |
|
Check if input value is nullptr. |
|
Returns x1 * (2 ** x2). |
|
Construct a call to prim.likely. |
|
Take log of input x. |
|
Take log(x + 1) with respect to input x. |
|
Take log2 of input x. |
|
Take log10 of input x. |
|
maximum value of ty |
|
minimum value of ty |
|
Construct a call to prim.nearbyint. |
|
Return the next floating-point value after x1 towards x2. |
|
Count the number of set bits in input x. |
|
Construct a call to prim.pow. |
|
Construct a call to prim.round. |
|
Take reciprocal of square root of input x. |
|
Return the result of x left shifted by y bits. |
|
Return the result of x right shifted by y bits. |
|
Quick function to get sigmoid |
|
Take sin of input x. |
|
Take sinh of input x. |
|
Take square root of input x. |
|
Take tan of input x. |
|
Take hyperbolic tanh of input x. |
|
Return from the current GPU thread without a function value. |
|
Construct a call to prim.trunc. |
|
Compute the truncdiv of two expressions. |
|
Compute the truncmod of two expressions. |
|
Return |
|
Throw TVMGetLastError() |
|
Return new on stack dtype[num] |
|
Allocate a shape tuple on stack, return the handle |
|
Allocate a Tensor(DLTensor) on stack, return the handle |
|
Build expression by call an external packed function. |
|
Call a kernel with a CUDA LaunchConfig, or read a printed low-level call. |
|
Build expression by call an external packed function. |
|
Lowered version of call packed. |
|
Lowered version of call c-packed. |
|
Project a tensor variable's physical pointer. |
|
Add offset to handle |
|
Set value in struct field in array |
|
Construct a call to tirx.abi_field_get. |
|
Mark condition as thread invariant. |
|
Perform an all-reduce inside a thread block. |
|
TVM intrinsic for tensor core load operators |
|
TVM intrinsic for tensor core mma_sync operators |
|
TVM intrinsic for tensor core fill_fragment operators |
|
TVM intrinsic for tensor core store operators |
|
Synchronize accesses in the specified storage scope. |
|
Synchronize all workers in the current CPU parallel launch. |
|
Mark where a transform should replace generated kernel initialization. |
|
Exchange value between threads inside a warp. |
|
Copy value from a lane with lower (by offset) index relative to caller. |
|
Copy value from a lane with higher (by offset) index relative to caller. |
|
Copy value from a lane with index computed by src_lane_idx ^ lane_mask. |
|
Return a 32-bit mask indicates currently active threads in a calling warp. |
|
Provide a true statement that can be used for simplifications |
|
Assume the tensor's base address is aligned to |
|
Guarantee a predicate throughout its containing scope, including mutations. |
|
Returns an initialized but arbitrary value |
|
Backend function to allocate temporal workspace |
|
Backend function to free temporal workspace. |
|
Get the target's vscale value. |
|
Annotate a predicate not be considered as target condition of loop partition. |
|
Construct a call to tirx.reinterpret. |
|
Construct a call to tirx.call_extern. |
|
Call an intrinsic with an explicit result type. |
|
Build expression by calling a llvm intrinsic function |
|
Build expression by calling a pure llvm intrinsic function |
|
Construct a call to tirx.call_pure_extern. |
|
Construct a call to tirx.vector_low. |
|
Construct a call to tirx.vector_high. |
|
Construct a call to tirx.vector_combine. |
|
Construct a call to tirx.get_active_lane_mask. |
|
Load vector lanes selected by a predicate mask. |
|
Store vector lanes selected by a predicate mask. |
|
Dot product of two int8x4 vectors and add an optional accumulator |
|
Construct a call to prim.fabs. |
|
Construct scalar or vector conjunction from eager operands. |
|
Construct scalar or vector disjunction from eager operands. |
|
Negate a host or IR value. |
|
Construct a scalar conditional or select a host value. |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Add a statement to the parent frame. |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Emit an expression, or pass through a call or statement emission receipt. |
|
The grid For statement. |
|
Implements |
|
Construct a result-free region with operation-defined body parameters. |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Parse a Python function into a function of the selected IR language variant. |
|
Build a TIRx function with Python body semantics. |
|
Implements |
|
Implements |
|
Implements |
|
The Function annotation statement. |
|
Validate a completed TIRx function. |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Implements |
|
Emit a tensor store and return a receipt for the stored statement. |
|
Implements |
|
Implements |
|
The serial For statement. |
|
The parallel For statement. |
|
The vectorized For statement. |
|
The unrolled For statement. |
|
Enter a device kernel with independent CUDA launch and compile settings. |
|
Supply lexical device context for allocation and packed-call lowering. |
|
Outline the body as a named CPU compute helper. |
|
Launch a CPU worker team around parallel loops and team barriers. |
|
Launch a hardware or virtual thread with a fresh lexical variable. |
|
Implements |
|
Implements |
|
Enter multiple IRBuilder frames without deep nesting. |
|
Translate logical flat or multidimensional indices for a concrete tensor. |
|
Decorate a helper that constructs IR in its caller's active frames. |
|
Decorate a helper that constructs IR in its caller's active frames. |
|
Decorator: capture the kernel and defer parsing until |
Alias |
Canonical API |
|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|