ghc-7.0.1: The GHC API

CmmLiveZ

Synopsis

Documentation

type CmmLive = RegSetSource

The variables live on entry to a block

cmmLivenessZ :: CmmGraph -> FuelMonad 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.