X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fcmm%2FCmmLiveZ.hs;h=501d852095fb6dd8b8bec0090c30ff6f7bbd1021;hb=4b0d51372d354687f0b2f7b2c2583bed059ce315;hp=ab71d673b99c7c3dba2078251fbf4e7076cef35f;hpb=5b83f4b4e52ac3a49f5b45109c858b959aed04b2;p=ghc-hetmet.git

diff --git a/compiler/cmm/CmmLiveZ.hs b/compiler/cmm/CmmLiveZ.hs
index ab71d67..501d852 100644
--- a/compiler/cmm/CmmLiveZ.hs
+++ b/compiler/cmm/CmmLiveZ.hs
@@ -13,7 +13,7 @@ import CmmTx
 import DFMonad
 import PprCmm()
 import PprCmmZ()
-import ZipDataflow
+import ZipDataflow0
 import ZipCfgCmmRep
 
 import Maybes
@@ -41,7 +41,7 @@ type BlockEntryLiveness = BlockEnv CmmLive
 -----------------------------------------------------------------------------
 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
@@ -60,7 +60,7 @@ middleLiveness m = middle m
         middle (MidAssign lhs expr)          = gen expr . kill lhs
         middle (MidStore addr rval)          = gen addr . gen rval
         middle (MidUnsafeCall tgt ress args) = gen tgt . gen args . kill ress
-        middle (MidAddToContext ra args)      = gen ra . gen args
+        middle (MidAddToContext ra args)     = gen ra . gen args
         middle (CopyIn _ formals _)          = kill formals
         middle (CopyOut _ actuals)           = gen actuals