check.invoke
← check dialect
Ends a trial with one target-only invocation. The complete result signature remains local to the action and does not define surrounding SSA values.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Terminator, UnknownEffects, HasParent(check.trial) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
call_parameters |
any |
variadic |
Kernel workloads or command/pipeline specialization values. |
| Operand |
arguments |
any |
variadic |
Runtime subject arguments. |
| Result |
results |
any |
variadic |
— |
| Attribute |
callee |
symbol (callable, kernel, command_program, pipeline) |
required |
— |
Examples
check.invoke<@logarithm>(%bits) : (i32) -> (f32)
check.invoke<@update>(%storage) : (tensor<256xf32>) -> ()