From 7edca9823ec8ef0aed10c88fa07ef969792aab77 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Mon, 19 Oct 2026 14:56:14 -0700 Subject: Split from ch25, SCCP and interprocedural SCCP --- .../test/java/com/seaofnodes/simple/SccpTest.java | 27 ++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 chapter-interprocedural-sccp/src/test/java/com/seaofnodes/simple/SccpTest.java (limited to 'chapter-interprocedural-sccp/src/test/java/com/seaofnodes/simple/SccpTest.java') diff --git a/chapter-interprocedural-sccp/src/test/java/com/seaofnodes/simple/SccpTest.java b/chapter-interprocedural-sccp/src/test/java/com/seaofnodes/simple/SccpTest.java new file mode 100644 index 00000000..cad1b7de --- /dev/null +++ b/chapter-interprocedural-sccp/src/test/java/com/seaofnodes/simple/SccpTest.java @@ -0,0 +1,27 @@ +package com.seaofnodes.simple; + +import com.seaofnodes.simple.codegen.CodeGen; +import com.seaofnodes.simple.node.*; +import com.seaofnodes.simple.type.TypeInteger; +import org.junit.Test; +import static org.junit.Assert.*; + +public class SccpTest { + @Test public void testCallArgumentFlow() { + var code = new CodeGen("val f={ int x -> x+1; }; return f(1)+f(2);").parse().iter().opto(); + int[] parms = {0}; + code._start.walk(n -> { + if( n instanceof ParmNode p && "x".equals(p._label) ) { + parms[0]++; + TypeInteger t = (TypeInteger)p._type; + assertEquals(1,t._min); + assertEquals(2,t._max); + assertFalse(p.fun().in(1) instanceof StartNode); + } + return null; + }); + assertEquals(1,parms[0]); + code.driver(CodeGen.Phase.LocalSched); + assertEquals("5",Eval2.eval(code,0)); + } +} -- cgit v1.2.3