| Safe Haskell | None |
|---|
CmmLive
- type CmmLive = RegSet
- cmmLiveness :: CmmGraph -> BlockEntryLiveness
- liveLattice :: DataflowLattice CmmLive
- noLiveOnEntry :: BlockId -> CmmLive -> a -> a
- xferLive :: BwdTransfer CmmNode CmmLive
- gen :: UserOfLocalRegs a => a -> RegSet -> RegSet
- kill :: DefinerOfLocalRegs a => a -> RegSet -> RegSet
- gen_kill :: (DefinerOfLocalRegs a, UserOfLocalRegs a) => a -> CmmLive -> CmmLive
- removeDeadAssignments :: CmmGraph -> UniqSM (CmmGraph, BlockEnv CmmLive)
Documentation
cmmLiveness :: CmmGraph -> BlockEntryLivenessSource
Calculated liveness info for a CmmGraph
liveLattice :: DataflowLattice CmmLiveSource
The dataflow lattice
noLiveOnEntry :: BlockId -> CmmLive -> a -> aSource
On entry to the procedure, there had better not be any LocalReg's live-in.
xferLive :: BwdTransfer CmmNode CmmLiveSource
The transfer function
gen :: UserOfLocalRegs a => a -> RegSet -> RegSetSource
kill :: DefinerOfLocalRegs a => a -> RegSet -> RegSetSource
gen_kill :: (DefinerOfLocalRegs a, UserOfLocalRegs a) => a -> CmmLive -> CmmLiveSource