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.
fn simplify_conditions(
body: &Body<'_>,
entry_states: &mut IndexVec<BasicBlock, ConditionSet>,
)Propagate fulfilled conditions forward in the CFG to reduce the amount of duplication.