Fix premature termination of fixpoint iteration.
authorEdward Z. Yang <ezyang@mit.edu>
Mon, 11 Apr 2011 15:32:28 +0000 (16:32 +0100)
committerEdward Z. Yang <ezyang@mit.edu>
Mon, 11 Apr 2011 15:32:28 +0000 (16:32 +0100)
Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
src/Compiler/Hoopl/Dataflow.hs

index f334d7a..5a3ea62 100644 (file)
@@ -590,7 +590,7 @@ fixpoint direction lat do_block blocks init_fbase
       | otherwise
       = do { (rg, out_facts) <- do_block blk fbase
            ; let (cha', fbase') = mapFoldWithKey
-                                  (updateFact lat lbls
+                                  (updateFact lat lbls')
                                   (cha,fbase) out_facts
            ; return $
                TxFB { tfb_lbls  = lbls'