Documentation

Fields

• cfgGraph :: Gr BB ()
   
• entryId :: BBId

  The BBId of the entry node in the control-flow graph

• exitId :: BBId

  The BBId of the exit node from the control-flow graph

• allBBs :: [BB]

  All basic blocks in the CFG

• bbById :: BBId -> BB

  Obtain a basic block from a BBId (runtime error if it DNE)

• asId :: BlockLabel -> BBId

  Obtain the BBId of a block from its name (runtime error if it DNE)

• asName :: BBId -> BlockLabel

  Obtain the name of a block from a BBId (runtime error if it DNE)

• bbPreds :: BBId -> [BBId]

  Obtain all predecessor basic blocks from a BBId

• bbSuccs :: BBId -> [BBId]

  Obtain all successor basic blocks from a BBId

• dom :: BBId -> BBId -> Bool

  dom x y yields True iff x dominates y in the CFG (i.e., all paths from the entry node to y must pass through x)

• idom :: BBId -> Maybe BBId

  idom x yields the unique immediate dominator of x in the CFG (intuitively, the "nearest" dominator of x; formally, y immediately dominates x iff y dominates x and there is no intervening block z such that y dominates z and z dominates x). The entry node has no immediate dominator.

• pdom :: BBId -> BBId -> Bool

  pdom x y yields True iff x postdominates y in the CFG (i.e., all paths in the CFG from y to the exit node pass through x)

• ipdom :: BBId -> Maybe BBId

  ipdom x yields the unique immediate postdominator of x in the CFG (intuitively, the "nearest" postdominator; formally, y immediately postdominates x iff y postdominates x and there is no intervening block z such that y postdominates z and z postdominates x). The exit node has no immediate postdominator.

• pdoms :: [(BBId, [BBId])]

  pdom yields post-dominator analysis for the entire CFG; the resulting list associates each node with a list of its postdominators. The postdominator list is sorted in order of ascending immediacy; i.e., the last element of the list associated with a node n is n's immediate dominator, the penultimate element of the list is the immediate postdominator of n's immediate postdominator, and so forth. NB: note the postdominator lists do not explicitly reflect that a node postdominates itself.