| |||||||||
| |||||||||
Synopsis | |||||||||
| |||||||||
Documentation | |||||||||
type CmmLive = RegSet | |||||||||
The variables live on entry to a block | |||||||||
cmmLivenessZ :: CmmGraph -> FuelMonad BlockEntryLiveness | |||||||||
Calculated liveness info for a CmmGraph | |||||||||
liveLattice :: DataflowLattice CmmLive | |||||||||
The dataflow lattice | |||||||||
middleLiveness :: Middle -> CmmLive -> CmmLive | |||||||||
noLiveOnEntry :: BlockId -> CmmLive -> a -> a | |||||||||
On entry to the procedure, there had better not be any LocalReg's live-in. | |||||||||
Produced by Haddock version 2.6.1 |