cfg.cond_br¶
Conditional branch to one of two successor blocks based on an i1 condition.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | executable |
| Traits | Terminator |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | condition |
i1 |
required | Scalar i1 branch condition. |
| Successor | true_dest |
block | required | Destination block when the condition is true. |
| Successor | false_dest |
block | required | Destination block when the condition is false. |