Skip to content

scf.condition

scf dialect

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

Signature

Kind Name Type Cardinality Description
Operand condition i1 required
Operand forwarded any variadic

Examples

scf.condition %keep_going : i1
scf.condition %keep_going, %next : i1, index