]> gitweb.factorcode.org Git - factor.git/commitdiff
compiler.cfg.gvn: gut it down to just identifying value numbers for now
authorAlex Vondrak <ajvondrak@csupomona.edu>
Mon, 27 Jun 2011 23:21:23 +0000 (16:21 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 12 Sep 2012 22:14:09 +0000 (15:14 -0700)
extra/compiler/cfg/gvn/gvn.factor

index 5e8ddc0cfc80e8b1790270c770c765d1018c3b56..d315a58516bbe9a077e5e1b8915ff9c020844f45 100644 (file)
@@ -60,9 +60,8 @@ M: array process-instruction
     clear-exprs
     [ value-numbering-step drop ] simple-analysis ;
 
-: identify-redundancies ( cfg -- )
+: determine-value-numbers ( cfg -- )
     final-iteration? off
-    ! dup compute-avail-sets
     init-value-graph
     '[
         changed? off
@@ -70,22 +69,9 @@ M: array process-instruction
         changed? get
     ] loop ;
 
-: eliminate-redundancies ( cfg -- )
-    final-iteration? on
-    ! dup compute-avail-sets
-    clear-exprs
-    [ value-numbering-step ] simple-optimization ;
-
-USE: prettyprint
-
 : value-numbering ( cfg -- cfg )
     needs-predecessors
 
-    dup compute-avail-sets
-
-    ! avail-ins get [ [ number>> ] [ keys ] bi* ] assoc-map .
-
-    dup identify-redundancies
-    dup eliminate-redundancies
+    dup determine-value-numbers
 
     cfg-changed predecessors-changed ;