template.ukernel
← template dialect
Constraint-matched opaque implementation of a template family.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
SymbolDefine |
| Interfaces |
FuncLike |
Symbol contract
| Property |
Value |
| Kind |
template implementation |
| Defining field |
implementation |
| Interfaces |
func_like, template_provider |
| Flags |
— |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
args |
any |
variadic |
— |
| Result |
results |
any |
variadic |
— |
| Attribute |
family |
symbol (template_family) |
required |
— |
| Attribute |
implementation |
symbol |
required |
— |
| Attribute |
visibility |
enum Visibility |
optional |
— |
| Attribute |
cc |
enum CallingConv |
optional |
— |
| Attribute |
purity |
enum Purity |
optional |
— |
| Attribute |
temperature |
enum Temperature |
optional |
— |
| Attribute |
predicates |
predicate_list |
optional |
— |
| Attribute |
target |
symbol (target) |
optional |
— |
| Attribute |
requires |
parameterized_array |
optional |
Typed proof requirements over application-site target facts. Requirements filter eligibility and never add facts. |
| Attribute |
priority |
i64 |
optional |
— |
| Attribute |
retain |
enum Retain |
optional |
— |
Examples
template.ukernel<@vector_transform> device priority(10) @vector_transform_asm(%value: vector<32xf32>) -> (vector<32xf32>)