Documentation

type CmmLive = RegSet Source

The variables live on entry to a block

cmmLiveness :: CmmGraph -> FuelUniqSM BlockEntryLivenessSource

Calculated liveness info for a CmmGraph

liveLattice :: DataflowLattice CmmLive Source

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 CmmLive Source

The transfer function EZY: Bits of this analysis are duplicated in CmmSpillReload, though it's not really easy to efficiently reuse all of this. Keep in mind if you need to update this analysis.

gen :: UserOfLocalRegs a => a -> RegSet -> RegSet Source

The transfer equations use the traditional gen and kill notations, which should be familiar from the Dragon Book.

kill :: DefinerOfLocalRegs a => a -> RegSet -> RegSet Source

gen_kill :: (DefinerOfLocalRegs a, UserOfLocalRegs a) => a -> CmmLive -> CmmLive Source

removeDeadAssignments :: CmmGraph -> FuelUniqSM CmmGraph Source