command.program.launch
← command dialect
Invoke a command program with explicit specialization values and issue-time buffer bindings.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
UnknownEffects |
| Interfaces |
CallLike |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
specializations |
any |
variadic |
— |
| Operand |
bindings |
buffer |
variadic |
— |
| Attribute |
callee |
symbol (command_program) |
required |
— |
Examples
command.program.launch @decode[%token_count](%parameters, %transient) : [index](buffer, buffer)
command.program.launch @static_program(%parameters) : (buffer)