CmmZipUtil
Documentation
zipPreds :: LastNode l => LGraph m l -> BlockEnv BlockSet
Compute the predecessors of each reachable block
givesUniquePredecessorTo :: LastNode l => LGraph m l -> BlockId -> Bool
Tell if a graph gives a block a unique predecessor. For efficiency, this function is designed to be partially applied.