scf.condition¶
Terminates the before region of scf.while with a scalar i1 continuation condition and the values forwarded to the after region.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | source structure |
| Traits | Terminator, HasParent(scf.while) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | condition |
i1 |
required | — |
| Operand | forwarded |
any |
variadic | — |