| |||||||||
| |||||||||
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 | |||||||||
lastLiveness :: Last -> (BlockId -> CmmLive) -> CmmLive | |||||||||
Produced by Haddock version 2.3.0 |