low.op.cond_br
← low dialect
Descriptor-backed target conditional branch over virtual-register operands and two semantic CFG successors.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Terminator, UnknownEffects |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
operands |
register |
variadic |
— |
| Attribute |
descriptor |
scoped_enum |
required |
— |
| Attribute |
attrs |
dict |
optional |
— |
| Successor |
true_dest |
block |
required |
Destination block when the target predicate is true. |
| Successor |
false_dest |
block |
required |
Destination block when the target predicate is false. |
Examples
low.op.cond_br<test.native.cond_br.i32>(%lhs, %rhs) {predicate = slt}, ^equal, ^unequal : (reg<test.i32>, reg<test.i32>)