low.cond_br
← low dialect
Conditional branch to one of two low successor blocks based on a register predicate.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Terminator |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
condition |
register |
required |
Register predicate controlling the branch. |
| Successor |
true_dest |
block |
required |
Destination block when the predicate is true. |
| Successor |
false_dest |
block |
required |
Destination block when the predicate is false. |
Examples
low.cond_br %condition, ^then, ^else : reg<vm.i32>