- type CmmLive = RegSet
- cmmLivenessZ :: CmmGraph -> FuelMonad BlockEntryLiveness
- liveLattice :: DataflowLattice CmmLive
- middleLiveness :: Middle -> CmmLive -> CmmLive
- noLiveOnEntry :: BlockId -> CmmLive -> a -> a
Documentation
cmmLivenessZ :: CmmGraph -> FuelMonad BlockEntryLivenessSource
Calculated liveness info for a CmmGraph
liveLattice :: DataflowLattice CmmLiveSource
The dataflow lattice
middleLiveness :: Middle -> CmmLive -> CmmLiveSource
noLiveOnEntry :: BlockId -> CmmLive -> a -> aSource
On entry to the procedure, there had better not be any LocalReg's live-in.