CmmLive

Synopsis

• type CmmLocalLive = CmmLive LocalReg
• type CmmGlobalLive = CmmLive GlobalReg
• cmmLocalLiveness :: DynFlags -> CmmGraph -> BlockEntryLiveness LocalReg
• cmmGlobalLiveness :: DynFlags -> CmmGraph -> BlockEntryLiveness GlobalReg
• liveLattice :: Ord r => DataflowLattice (CmmLive r)
• noLiveOnEntry :: BlockId -> CmmLive LocalReg -> a -> a
• xferLive :: forall r. (UserOfRegs r (CmmNode O O), DefinerOfRegs r (CmmNode O O), UserOfRegs r (CmmNode O C), DefinerOfRegs r (CmmNode O C)) => DynFlags -> BwdTransfer CmmNode (CmmLive r)
• gen :: UserOfRegs r a => DynFlags -> a -> RegSet r -> RegSet r
• kill :: DefinerOfRegs r a => DynFlags -> a -> RegSet r -> RegSet r
• gen_kill :: (DefinerOfRegs r a, UserOfRegs r a) => DynFlags -> a -> CmmLive r -> CmmLive r

Documentation