cfg.br¶
Unconditional branch to a successor block, forwarding zero or more block argument values.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | executable |
| Traits | Terminator |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | args |
any |
variadic | Values forwarded to the destination block arguments. |
| Successor | dest |
block | required | Destination block. |