kernel.exit
← kernel dialect
Conditionally leaves the current kernel before executing the following top-level kernel-body operations.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
UnknownEffects, HasParent(kernel.def), ImplicitTerminator(kernel.return) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
condition |
i1 |
required |
— |
| Region |
body |
region |
optional |
Optional work to run before leaving the kernel. (single block, terminator kernel.return.) |
Examples
kernel.exit %done : i1 {
kernel.return
}