template.call
← template dialect
Exact compile-time implementation call. This bypasses candidate ranking but still checks the implementation contract. In a command program the implementation is inlined before portable command preparation.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, CommandEffect |
| Interfaces |
CallLike |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
operands |
any |
variadic |
— |
| Result |
results |
any |
variadic |
— |
| Attribute |
callee |
symbol (template_provider) |
required |
— |
| Attribute |
purity |
enum Purity |
optional |
— |
| Attribute |
temperature |
enum Temperature |
optional |
— |
Examples
%result = template.call @vector_transform_fast(%value) : (vector<32xf32>) -> (vector<32xf32>)