Enum spirt::cfg::LazyCond

enum LazyCond {
    False,
    True,
    MergeSelect {
        control_node: ControlNode,
        per_case_conds: Vec<LazyCond>,
    },
}

A recipe for computing a control-flow-sensitive (boolean) condition Value, potentially requiring merging through an arbitrary number of Selects (via per-case outputs and Value::ControlNodeOutput, for each Select).

This should largely be equivalent to eagerly generating all region outputs that might be needed, and then removing the unused ones, but this way we never generate unused outputs, and can potentially even optimize away some redundant dataflow (e.g. if cond { true } else { false } is just cond).

Variants

False

True

MergeSelect

Fields

control_node: ControlNode

per_case_conds: Vec<LazyCond>