ghc-9.6.3: The GHC API

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 #

cmmGlobalLiveness :: Platform -> CmmGraph -> BlockEntryLiveness GlobalReg 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 #