pub fn insert_phi_statements<Cfg: SSAConfig>(
basic_blocks: &mut [Cfg::BasicBlock],
dominator_tree: &DominatorTree<Cfg::BasicBlock>,
env: &mut Cfg::Environment
)Expand description
Insert a dummy phi statement in block j, for each variable written in block
i, if j is in the dominance frontier of i.