ghc-7.0.1: The GHC API

CmmZipUtil

Synopsis

Documentation

zipPreds :: LastNode l => LGraph m l -> BlockEnv BlockSet Source

Compute the predecessors of each reachable block

givesUniquePredecessorTo :: LastNode l => LGraph m l -> BlockId -> Bool Source

Tell if a graph gives a block a unique predecessor. For efficiency, this function is designed to be partially applied.