command.program.launch
← command dialect
Invoke a command program with explicit specialization values and storage bindings. Buffer operands forward their complete bound ranges. Tensor or typed-view operands may materialize buffer bindings while preserving their derived storage ranges through command composition.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
UnknownEffects, CommandEffect |
| Interfaces |
CallLike |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
specializations |
any |
variadic |
— |
| Operand |
bindings |
any |
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)