compiler.cfg.gvn.expressions: ##phis in different blocks should not be congruent

diff --git a/extra/compiler/cfg/gvn/expressions/expressions.factor b/extra/compiler/cfg/gvn/expressions/expressions.factor
index c656d4ccc078941e2b29464cc1bf69232f92177b..52b813012b422b4f96ca04643f143deaeb8e09ee 100644 (file)
--- a/extra/compiler/cfg/gvn/expressions/expressions.factor
+++ b/extra/compiler/cfg/gvn/expressions/expressions.factor
@@ -3,6 +3,7 @@
 USING: assocs accessors arrays classes classes.algebra
 combinators fry generic.parser kernel math namespaces
 quotations sequences slots words make sets
+compiler.cfg
 compiler.cfg.instructions
 compiler.cfg.instructions.syntax
 compiler.cfg.gvn.graph ;
@@ -88,4 +89,6 @@ M: ##load-reference >expr obj>> <reference-expr> ;
 ! phi equivalences
 
 M: ##phi >expr
-    inputs>> values [ vreg>vn ] map \ ##phi prefix ;
+    inputs>> values [ vreg>vn ] map
+    basic-block get number>> prefix
+    \ ##phi prefix ;