simplify_conditions

Function simplify_conditions 

Source
fn simplify_conditions(
    body: &Body<'_>,
    entry_states: &mut IndexVec<BasicBlock, ConditionSet>,
)
Expand description

Propagate fulfilled conditions forward in the CFG to reduce the amount of duplication.