Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
authorunknown <simonpj@.europe.corp.microsoft.com>
Wed, 9 Jun 2010 15:05:46 +0000 (16:05 +0100)
committerunknown <simonpj@.europe.corp.microsoft.com>
Wed, 9 Jun 2010 15:05:46 +0000 (16:05 +0100)
Conflicts:
src/Compiler/Hoopl/Dataflow.hs

1  2 
src/Compiler/Hoopl/Dataflow.hs

@@@ -436,8 -433,9 +433,9 @@@ fixpoint is_fwd lat do_block blocks ini
             -- The successors of the Graph are the the Labels for which
             -- we have facts, that are *not* in the blocks of the graph
    where
-     blocks = map tag untagged_blocks
+     tagged_blocks = map tag blocks
 -     where tag b = ((entryLabel b, b), if is_fwd then [entryLabel b] else successors b)
 +    tag b = ((entryLabel b, b), if is_fwd then [entryLabel b] else successors b)
+      -- 'tag' adds the in-labels of the block; see Note [TxFactBase invairants]
  
      tx_blocks :: [((Label, block n C C), [Label])]   -- I do not understand this type
                -> TxFactBase n f -> m (TxFactBase n f)