Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
authorNorman Ramsey <nr@cs.tufts.edu>
Fri, 7 May 2010 19:04:43 +0000 (15:04 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Fri, 7 May 2010 19:04:43 +0000 (15:04 -0400)
Conflicts:

testing/Ast2ir.hs
testing/ConstProp.hs
testing/Live.hs
testing/OptSupport.hs
testing/Simplify.hs

1  2 
src/CHANGES
src/Compiler/Hoopl/Passes/Dominator.hs
src/hoopl.cabal
testing/ConstProp.hs
testing/Live.hs
testing/Test.hs

diff --cc src/CHANGES
@@@ -1,6 -1,6 +1,7 @@@
--3.8.x.x
++3.8.1.0
  
    Major reorganization per simonpj visit to Tufts 20 April 2010
++  Collections
  
  3.7.13.1
  
@@@ -118,13 -117,3 +118,13 @@@ tree2dot t = concat $ "digraph {\n" : d
  instance Show DominatorNode where
    show Entry = "entryNode"
    show (Labelled l) = show l
- immediateDominators fb = foldr add emptyLabelMap $ factBaseList fb
-     where add (l, PElem (DPath (idom:_))) m = extendLabelMap m l idom
-           add _ m = m
 +
 +----------------------------------------------------------------
 +
 +-- | Takes FactBase from dominator analysis and returns a map from each 
 +-- label to its immediate dominator, if any
 +immediateDominators :: FactBase Doms -> LabelMap Label
++immediateDominators = mapFoldWithKey add mapEmpty
++    where add l (PElem (DPath (idom:_))) = mapInsert l idom 
++          add _ _ = id
 +
diff --cc src/hoopl.cabal
@@@ -1,5 -1,5 +1,5 @@@
  Name:                hoopl
--Version:             3.8.0.0
++Version:             3.8.1.0
  Description:         Higher-order optimization library
  License:             BSD3
  License-file:        LICENSE
Simple merge
diff --cc testing/Live.hs
Simple merge
diff --cc testing/Test.hs
@@@ -7,7 -7,7 +7,6 @@@ import Control.Monad.Erro
  
  import Ast2ir
  import ConstProp
--import Debug.Trace
  import Eval  (evalProg, ErrorM)
  import IR
  import Live