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