scf dialect
← Dialect reference
Structured control flow operations.
| Property |
Value |
| Bytecode dialect ID |
0x05 |
| Registered by default |
yes |
| Operations |
9 |
Operations
| Operation |
Summary |
scf.condition |
Terminates the before region of scf.while with a scalar i1 continuation condition and the values forwarded to the after region. |
scf.for |
Bounded counted loop with optional loop-carried state. |
scf.if |
Conditional execution with optional else region for resultless conditionals. |
scf.lookup |
Total table lookup over already-computed SSA values. |
scf.schedule.fence |
Compiler hint separating independently reorderable source ranges. |
scf.select |
Select between two same-typed SSA values using a scalar i1 condition. |
scf.switch |
Multi-way branch over an index selector. |
scf.while |
Unbounded loop with explicit before and after regions. |
scf.yield |
Region terminator forwarding values to the parent scf op. |