1 files changed, 228 insertions, 0 deletions
diff --git a/chapter-interprocedural-sccp/src/test/java/com/seaofnodes/simple/Chapter14Test.java b/chapter-interprocedural-sccp/src/test/java/com/seaofnodes/simple/Chapter14Test.java
new file mode 100644
index 00000000..b4a27c04
--- /dev/null
+++ b/chapter-interprocedural-sccp/src/test/java/com/seaofnodes/simple/Chapter14Test.java
@@ -0,0 +1,228 @@
+package com.seaofnodes.simple;
+
+import com.seaofnodes.simple.codegen.CodeGen;
+import com.seaofnodes.simple.node.StopNode;
+import org.junit.Ignore;
+import org.junit.Test;
+import static org.junit.Assert.assertEquals;
+import static org.junit.Assert.fail;
+
+public class Chapter14Test {
+
+    @Ignore
+    @Test
+    public void testJig() {
+        CodeGen code = new CodeGen(
+"""
+return 3.14;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 3.14;", code.print());
+        assertEquals("3.14", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testRange() {
+        CodeGen code = new CodeGen(
+"""
+int b;
+if( arg ) b=1; else b=0;
+int c = 99;
+if( b < 0 ) c = -1;
+if( b > 2 ) c =  1;
+return c;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 99;", code.print());
+        assertEquals("99", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testU8() {
+        CodeGen code = new CodeGen(
+"""
+u8 b = 123;
+b = b + 456;// Truncate
+return b;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 67;", code.print());
+        assertEquals("67", Eval2.eval(code,  0));
+    }
+
+
+    @Test
+    public void testU8While() {
+        CodeGen code = new CodeGen(
+"""
+u8 b = 123;
+while( b ) b = b + 456;// Truncate
+return b;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 0;", code.print());
+    }
+
+    @Test
+    public void testU1() {
+        CodeGen code = new CodeGen(
+"""
+bool b = 123;
+b = b + 456;// Truncate
+u1 c = b;   // No more truncate needed
+return c;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 1;", code.print());
+        assertEquals("1", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testAnd() {
+        CodeGen code = new CodeGen(
+"""
+int b = 123;
+b = b+456 & 31;                 // Precedence
+return b;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 3;", code.print());
+        assertEquals("3", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testRefLoad() {
+        CodeGen code = new CodeGen(
+"""
+struct Foo { u1 b; };
+!Foo !f = new Foo;
+f.b = 123;
+return f.b;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 1;", code.print());
+        assertEquals("1", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testSigned() {
+        CodeGen code = new CodeGen(
+"""
+i8 b = 255;                     // Chopped
+return b;                       // Sign extend
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return -1;", code.print());
+        assertEquals("-1", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testI8() {
+        CodeGen code = new CodeGen(
+"""
+i8 b = arg;
+b = b + 1;// Truncate
+return b;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return (((((arg<<56)>>56)+1)<<56)>>56);", code.print());
+        assertEquals("1", Eval2.eval(code, 0));
+        assertEquals("-128", Eval2.eval(code, 127));
+    }
+
+    @Test
+    public void testMask() {
+        CodeGen code = new CodeGen(
+"""
+u16 mask = (1<<16)-1;           // AND mask
+int c = 123456789 & mask;
+return c;                       //
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 52501;", code.print());
+        assertEquals("52501", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testOr() {
+        CodeGen code = new CodeGen(
+"""
+return (arg | 123 ^ 456) >>> 1;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return (((arg|123)^456)>>>1);", code.print());
+        assertEquals("217", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testMaskFloat() {
+        CodeGen code = new CodeGen(
+"""
+flt f = arg;
+arg = f & 1;
+return arg;
+""");
+        try { code.driver(CodeGen.Phase.TypeCheck); fail(); }
+        catch( Exception e ) { assertEquals("Cannot '&' flt",e.getMessage()); }
+    }
+
+    @Test
+    public void testCloneAnd() {
+        CodeGen code = new CodeGen("""
+int v0=0;
+u32 v1 = 1&(1<<arg)&(1<<arg);
+while(arg) v1=-v0;
+while(v1) break;
+return v1;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return Phi(Loop,(((1<<arg)&1)&Shl),0);", code.print());
+        assertEquals("1", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testAndHigh() {
+        CodeGen code = new CodeGen("""
+int v0=0;
+if(0&0>>>0) {
+    while(0) {
+        u8 v1=0;
+        v0=0>>>0;
+        v1=arg;
+        while(v1+0) {}
+    }
+}
+return v0;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 0;", code.print());
+        assertEquals("0", Eval2.eval(code,  0));
+    }
+
+    @Test
+    public void testTypes() {
+        CodeGen code = new CodeGen(
+"""
+i8  xi8  = 123456789;  if( xi8  !=        21 ) return -8;
+i16 xi16 = 123456789;  if( xi16 !=    -13035 ) return -16;
+i32 xi32 = 123456789;  if( xi32 != 123456789 ) return -32;
+i64 xi64 = 123456789;  if( xi64 != 123456789 ) return -64;
+int xint = 123456789;  if( xint != 123456789 ) return -64;
+
+u1  ui1  = 123456789;  if( ui1  !=         1 ) return 1;
+u8  ui8  = 123456789;  if( ui8  !=        21 ) return 8;
+u16 ui16 = 123456789;  if( ui16 !=     52501 ) return 16;
+u32 ui32 = 123456789;  if( ui32 != 123456789 ) return 32;
+
+flt fflt = 3.141592653589793;  if( fflt != 3.141592653589793 ) return 3;
+f64 ff64 = 3.141592653589793;  if( ff64 != 3.141592653589793 ) return 3;
+f32 ff32 = 3.141592653589793;  if( ff32 != 3.1415927410125732) return 5;
+
+return 0;
+""");
+        code.driver(CodeGen.Phase.FinalizeIR);
+        assertEquals("return 0;", code.print());
+        assertEquals("0", Eval2.eval(code,  0));
+    }
+
+}