From 7edca9823ec8ef0aed10c88fa07ef969792aab77 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Mon, 19 Oct 2026 14:56:14 -0700
Subject: Split from ch25, SCCP and interprocedural SCCP

---
 .../com/seaofnodes/simple/Chapter24AllocTest.java  | 170 +++++++++++++++++++++
 1 file changed, 170 insertions(+)
 create mode 100644 chapter-sccp/src/test/java/com/seaofnodes/simple/Chapter24AllocTest.java

(limited to 'chapter-sccp/src/test/java/com/seaofnodes/simple/Chapter24AllocTest.java')

diff --git a/chapter-sccp/src/test/java/com/seaofnodes/simple/Chapter24AllocTest.java b/chapter-sccp/src/test/java/com/seaofnodes/simple/Chapter24AllocTest.java
new file mode 100644
index 00000000..7fae2c27
--- /dev/null
+++ b/chapter-sccp/src/test/java/com/seaofnodes/simple/Chapter24AllocTest.java
@@ -0,0 +1,170 @@
+package com.seaofnodes.simple;
+
+import com.seaofnodes.isa.eval.EvalRisc5;
+
+import com.seaofnodes.isa.eval.EvalArm64;
+
+import java.io.IOException;
+import java.nio.file.*;
+import com.seaofnodes.simple.node.cpus.arm.arm;
+import com.seaofnodes.simple.node.cpus.riscv.riscv;
+import org.junit.Ignore;
+import org.junit.Test;
+import static org.junit.Assert.*;
+
+// Revised inherited programs belong to the chapter which changed their inputs.
+public class Chapter24AllocTest {
+    @Test
+    public void testNewtonInteger() {
+        String src =
+"""
+// Newtons approximation to the square root
+val sqrt = { int x ->
+    int guess = x;
+    while( 1 ) {
+        int next = (x/guess + guess)/2;
+        if( next == guess ) return guess;
+        guess = next;
+    }
+};
+int cast_int = arg+2;
+return sqrt(arg) + sqrt(cast_int);
+""";
+        Chapter24Test.testCPU(src,"x86_64_v2", "Win64"  ,40,null);
+        Chapter24Test.testCPU(src,"riscv"    , "SystemV",19,null);
+        Chapter24Test.testCPU(src,"arm"      , "SystemV",19,null);
+    }
+
+    @Ignore
+    @Test
+    public void testJig21() throws IOException {
+        String src =
+"""
+struct s0 {
+    bool v1;
+    i16 v2;
+    int v3;
+    i8 v4;
+    byte v5;
+};
+while(new s0.v3)
+    while(new s0.v5<<new s0.v4) {}
+if(0) {
+    if(0) {
+        flt !P5ZUD4=new s0.v2;
+    }
+    while(0) {}
+}
+return new s0.v1;
+""";
+        Chapter24Test.testCPU(src,"x86_64_v2", "Win64"  ,-1,null);
+        Chapter24Test.testCPU(src,"riscv"    , "SystemV",-1,null);
+        Chapter24Test.testCPU(src,"arm"      , "SystemV",-1,null);
+    }
+
+    @Test public void testStackArguments() throws IOException {
+        // Test passes more args than registers in Sys5, which is far far more
+        // than what Win64 allows - so Win64 gets a lot more spills here.
+        String src =
+"""
+val addAll = { int i0, flt f1, int i2, flt f3, int i4, flt f5, int i6, flt f7, int x8, flt f9, int i10, flt f11, int i12, flt f13, int i14, flt f15, int x16, flt f17 int x18, flt f19 ->
+    return
+    i0 + f1+ i2+ f3+ i4+ f5+ i6+ f7+ x8 +f9 +
+    i10+f11+i12+f13+i14+f15+x16+f17+x18+f19 ;
+};
+""";
+        String arg_count = "191.000000\n";
+
+        TestC.run(src, "arg_count", null, arg_count, TestC.CALL_CONVENTION.equals("Win64") ? 32 : 9);
+
+        EvalRisc5 R5 = TestRisc5.build("no_stack_arg_count", src, 0, 4, false);
+
+        // Todo: handle stack(imaginary stack in emulator)
+        // pass in float arguments
+        R5.fregs[riscv.FA0 - riscv.F_OFFSET] = 1.1;
+        R5.fregs[riscv.FA1 - riscv.F_OFFSET] = 1.1;
+        R5.fregs[riscv.FA2 - riscv.F_OFFSET] = 1.1;
+        R5.fregs[riscv.FA3 - riscv.F_OFFSET] = 1.1;
+        R5.fregs[riscv.FA4 - riscv.F_OFFSET] = 1.1;
+        R5.fregs[riscv.FA5 - riscv.F_OFFSET] = 1.1;
+        R5.fregs[riscv.FA6 - riscv.F_OFFSET] = 1.1;
+        R5.fregs[riscv.FA7 - riscv.F_OFFSET] = 1.1;
+
+        // a0 is passed in arg
+        R5.regs[riscv.A1] = 2;
+        R5.regs[riscv.A2] = 2;
+        R5.regs[riscv.A3] = 2;
+        R5.regs[riscv.A4] = 2;
+        R5.regs[riscv.A5] = 2;
+        R5.regs[riscv.A6] = 2;
+        R5.regs[riscv.A7] = 2;
+
+        int trap = R5.step(100);
+        assertEquals(0,trap);
+
+        double result = R5.fregs[riscv.FA0 - riscv.F_OFFSET];
+
+        assertEquals(22.8, result, 0.00001);
+
+        // arm
+        EvalArm64 A5 = TestArm64.build("no_stack_arg_count", src, 0, 4, false);
+
+        A5.fregs[arm.D0 - arm.D_OFFSET] = 1.1;
+        A5.fregs[arm.D1 - arm.D_OFFSET] = 1.1;
+        A5.fregs[arm.D2 - arm.D_OFFSET] = 1.1;
+        A5.fregs[arm.D3 - arm.D_OFFSET] = 1.1;
+        A5.fregs[arm.D4 - arm.D_OFFSET] = 1.1;
+        A5.fregs[arm.D5 - arm.D_OFFSET] = 1.1;
+        A5.fregs[arm.D6 - arm.D_OFFSET] = 1.1;
+        A5.fregs[arm.D7 - arm.D_OFFSET] = 1.1;
+
+        A5.regs[arm.X1]  = 2;
+        A5.regs[arm.X2]  = 2;
+        A5.regs[arm.X3]  = 2;
+        A5.regs[arm.X4]  = 2;
+        A5.regs[arm.X5]  = 2;
+        A5.regs[arm.X6]  = 2;
+        A5.regs[arm.X7]  = 2;
+
+        int trap_arm = A5.step(100);
+        assertEquals(0,trap_arm);
+
+        double result1 = A5.fregs[arm.D0 - arm.D_OFFSET];
+        assertEquals(22.8, result1, 0.00001);
+    }
+
+    @Ignore
+    @Test
+    public void testJig22() throws IOException {
+        String src =
+"""
+val fib = {int n ->
+    int temp=0;
+    int f1=1;
+    int f2=1;
+    int i=n;
+    while( i>1 ){
+        temp = f1+f2;
+        f1=f2;
+        f2=temp;
+        i=i-1;
+    }
+    return f2;
+};
+
+fib(10);
+""";
+        Chapter24Test.testCPU(src,"x86_64_v2", "Win64"  ,-1,null);
+        Chapter24Test.testCPU(src,"riscv"    , "SystemV",-1,null);
+        Chapter24Test.testCPU(src,"arm"      , "SystemV",-1,null);
+    }
+
+    @Test
+    public void testBubbleSort() throws IOException {
+        //String src = Files.readString(Path.of("src/test/java/com/seaofnodes/simple/progs/jig.smp"));
+        String src = Files.readString(Path.of("docs/examples/BubbleSort.smp"));
+        Chapter24Test.testCPU(src,"x86_64_v2", "Win64"  ,-1,null);
+        Chapter24Test.testCPU(src,"riscv"    , "SystemV",-1,null);
+        Chapter24Test.testCPU(src,"arm"      , "SystemV",-1,null);
+    }
+}
-- 
cgit v1.2.3