- type CmmLive = UniqSet LocalReg
- type BlockEntryLiveness = BlockEnv CmmLive
- cmmLiveness :: [CmmBasicBlock] -> BlockEntryLiveness
- cmmFormalsToLiveLocals :: HintedCmmFormals -> [LocalReg]
Documentation
type BlockEntryLiveness = BlockEnv CmmLiveSource
A mapping from block labels to the variables live on entry
cmmLiveness :: [CmmBasicBlock] -> BlockEntryLivenessSource
Calculated liveness info for a list of CmmBasicBlock