From a42aa8e31488f34315717743cf075e4d7b6e3677 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Sat, 12 Apr 2025 14:08:57 -0700
Subject: Phi generic pull down is stronger

---
 chapter21/src/test/java/com/seaofnodes/simple/Chapter14Test.java | 2 +-
 chapter21/src/test/java/com/seaofnodes/simple/Chapter17Test.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'chapter21/src/test/java')

diff --git a/chapter21/src/test/java/com/seaofnodes/simple/Chapter14Test.java b/chapter21/src/test/java/com/seaofnodes/simple/Chapter14Test.java
index b83516e3..7af35b56 100644
--- a/chapter21/src/test/java/com/seaofnodes/simple/Chapter14Test.java
+++ b/chapter21/src/test/java/com/seaofnodes/simple/Chapter14Test.java
@@ -174,7 +174,7 @@ while(v1) break;
 return v1;
 """);
         code.parse().opto();
-        assertEquals("return (Phi(Loop,((1<<arg)&1),0)&Phi(Loop,Shl,4294967295));", code.print());
+        assertEquals("return Phi(Loop,(((1<<arg)&1)&Shl),0);", code.print());
         assertEquals("1", Eval2.eval(code,  0));
     }
 
diff --git a/chapter21/src/test/java/com/seaofnodes/simple/Chapter17Test.java b/chapter21/src/test/java/com/seaofnodes/simple/Chapter17Test.java
index 6e43dbc8..78515083 100644
--- a/chapter21/src/test/java/com/seaofnodes/simple/Chapter17Test.java
+++ b/chapter21/src/test/java/com/seaofnodes/simple/Chapter17Test.java
@@ -368,7 +368,7 @@ var b = arg ? new Bar { next = (arg==2) ? new Bar{x=2;}; x=1; };
 return b ? b.next ? b.next.x : b.x; // parses "b ? (b.next ? b.next.x : b.x) : 0"
 """);
         code.parse().opto();
-        assertEquals("return Phi(Region,Phi(Region,.x,.x),0);", code.print());
+        assertEquals("return Phi(Region,.x,0);", code.print());
         assertEquals("0", Eval2.eval(code, 0));
         assertEquals("1", Eval2.eval(code, 1));
         assertEquals("2", Eval2.eval(code, 2));
-- 
cgit v1.2.3