kernel.launch
← kernel dialect
Launch a kernel with explicit workload and device-ABI operands. Workloads configure the launch and never alter the kernel ABI.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
UnknownEffects, NoAncestor(kernel.def) |
| Interfaces |
CallLike |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
workloads |
any |
variadic |
— |
| Operand |
arguments |
any |
variadic |
— |
| Attribute |
callee |
symbol (kernel) |
required |
— |
Examples
kernel.launch @fill[%count](%count, %output) : [index](index, buffer)
kernel.launch @no_workload(%output) : (buffer)
kernel.launch @no_arguments[%count]() : [index]()