| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.Cmm.Liveness
Synopsis
- type CmmLocalLive = CmmLive LocalReg
- cmmLocalLiveness :: Platform -> CmmGraph -> BlockEntryLiveness LocalReg
- cmmLocalLivenessL :: Platform -> CmmGraph -> BlockEntryLivenessL
- cmmGlobalLiveness :: Platform -> CmmGraph -> BlockEntryLiveness GlobalReg
- liveLattice :: Ord r => DataflowLattice (CmmLive r)
- liveLatticeL :: DataflowLattice LRegSet
- gen_kill :: (DefinerOfRegs r n, UserOfRegs r n) => Platform -> n -> CmmLive r -> CmmLive r
- gen_killL :: (DefinerOfRegs LocalReg n, UserOfRegs LocalReg n) => Platform -> n -> LRegSet -> LRegSet
Documentation
type CmmLocalLive = CmmLive LocalReg Source #
cmmLocalLiveness :: Platform -> CmmGraph -> BlockEntryLiveness LocalReg Source #
Calculated liveness info for a CmmGraph
cmmLocalLivenessL :: Platform -> CmmGraph -> BlockEntryLivenessL Source #
liveLattice :: Ord r => DataflowLattice (CmmLive r) Source #
The dataflow lattice
liveLatticeL :: DataflowLattice LRegSet Source #
The dataflow lattice
gen_kill :: (DefinerOfRegs r n, UserOfRegs r n) => Platform -> n -> CmmLive r -> CmmLive r Source #
gen_killL :: (DefinerOfRegs LocalReg n, UserOfRegs LocalReg n) => Platform -> n -> LRegSet -> LRegSet Source #