From 300d2a9c3672acacc8bdd8d5370a424651a00571 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Sun, 18 Oct 2026 22:09:58 -0700 Subject: Cleanup & backport The phase rework, made new phases explicit and add them to the CodeGen driver. Fix the flag-spilling on X86 and ARM. Fix the GCM conservative anti-deps and backport. --- .../java/com/seaofnodes/simple/SchedulerTest.java | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'chapter17a/src/test/java/com/seaofnodes') diff --git a/chapter17a/src/test/java/com/seaofnodes/simple/SchedulerTest.java b/chapter17a/src/test/java/com/seaofnodes/simple/SchedulerTest.java index d8a22fd3..7f566f04 100644 --- a/chapter17a/src/test/java/com/seaofnodes/simple/SchedulerTest.java +++ b/chapter17a/src/test/java/com/seaofnodes/simple/SchedulerTest.java @@ -10,6 +10,27 @@ import static org.junit.Assert.assertEquals; public class SchedulerTest { + @Test public void testMemoryPhiAcrossSiblingBranch() { + // The inner memory Phi defines the load's memory. The outer Phi's + // other input comes from a branch not dominated by that definition. + String src = """ + struct S { int x; }; !S !a=new S; !S !b=new S; + a.x=10; b.x=20; !S !p=a; if(arg>3) p=b; + int result=0; + if(arg>0) { + if(arg>2) p.x=30; else p.x=40; + result=a.x; + } + return result; + """; + StopNode stop = new Parser(src).parse().iterate(); + var eval = new Evaluator(stop); + long[] expected = {0,40,40,30,10,10}; + for( int arg=0; arg