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