import DFMonad
import PprCmm()
import PprCmmZ()
-import ZipDataflow
+import ZipDataflow0
import ZipCfgCmmRep
import Maybes
-----------------------------------------------------------------------------
cmmLivenessZ :: CmmGraph -> BlockEntryLiveness
cmmLivenessZ g = env
- where env = runDFA liveLattice $ do { run_b_anal transfer g; allFacts }
+ where env = runDFA liveLattice $ do { run_b_anal transfer g; getAllFacts }
transfer = BComp "liveness analysis" exit last middle first
exit = emptyUniqSet
first live _ = live