ghc-7.6.3: The GHC API

Safe HaskellNone




type CmmLive = RegSetSource

The variables live on entry to a block

cmmLiveness :: CmmGraph -> BlockEntryLivenessSource

Calculated liveness info for a CmmGraph

liveLattice :: DataflowLattice CmmLiveSource

The dataflow lattice

noLiveOnEntry :: BlockId -> CmmLive -> a -> aSource

On entry to the procedure, there had better not be any LocalReg's live-in.

xferLive :: BwdTransfer CmmNode CmmLiveSource

The transfer function

gen :: UserOfLocalRegs a => a -> RegSet -> RegSetSource

The transfer equations use the traditional gen and kill notations, which should be familiar from the Dragon Book.