| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Cmm.Liveness
Synopsis
- type CmmLocalLive = CmmLive LocalReg
- cmmLocalLiveness :: Platform -> CmmGraph -> BlockEntryLiveness LocalReg
- cmmLocalLivenessL :: Platform -> CmmGraph -> BlockEntryLivenessL
- cmmGlobalLiveness :: Platform -> CmmGraph -> BlockEntryLiveness GlobalRegUse
- 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 #
cmmLocalLiveness :: Platform -> CmmGraph -> BlockEntryLiveness LocalReg #
Calculated liveness info for a CmmGraph
cmmLocalLivenessL :: Platform -> CmmGraph -> BlockEntryLivenessL #
cmmGlobalLiveness :: Platform -> CmmGraph -> BlockEntryLiveness GlobalRegUse #
liveLattice :: Ord r => DataflowLattice (CmmLive r) #
The dataflow lattice
liveLatticeL :: DataflowLattice LRegSet #
The dataflow lattice
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 #