summaryrefslogtreecommitdiff
path: root/chapter18/src/test/java
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2024-12-25 22:24:58 -0800
committerCliff Click <cliffc@acm.org>2025-01-15 15:07:30 -0800
commit9814de0f115704c58c1ccbc0ebfa1fa98338f656 (patch)
treea31c2ea288bb4f8f618a67b1caa45c3a436acd42 /chapter18/src/test/java
parentfcd6dcf5265b4b23fd69af761316c064b8f9f7ce (diff)
downloadSimple-9814de0f115704c58c1ccbc0ebfa1fa98338f656.tar.gz
Simple-9814de0f115704c58c1ccbc0ebfa1fa98338f656.zip
Cleanup compile driver
Top level makes a "main" function and calls it. Opto() pass inlines main into top-level and removes the function call. If peeps are off, the function call remains; this breaks many tests. Add a FunNode function header; Return is its end. Return no long used at the top level; only a single return per-function, merging all returns (breaks many tests). Add a Call & CallEnd nodes. Fix many tests to pass again. Fix a bunch of minor bugs.
Diffstat (limited to 'chapter18/src/test/java')
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/BrainFuckTest.java6
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter01Test.java32
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter02Test.java44
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter03Test.java36
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter04Test.java93
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter05Test.java63
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter06Test.java107
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter07Test.java100
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter08Test.java86
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter09Test.java129
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter10Test.java130
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter11Test.java102
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter12Test.java34
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter13Test.java69
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter14Test.java116
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter15Test.java152
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter16Test.java128
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter17Test.java310
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java28
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/SchedulerTest.java18
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java1
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java51
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/evaluator/Scheduler.java42
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/fuzzer/Fuzzer.java9
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/fuzzer/FuzzerUtils.java8
25 files changed, 939 insertions, 955 deletions
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/BrainFuckTest.java b/chapter18/src/test/java/com/seaofnodes/simple/BrainFuckTest.java
index b1ca7da9..f21b9afa 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/BrainFuckTest.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/BrainFuckTest.java
@@ -21,7 +21,7 @@ public class BrainFuckTest {
encoded.append("program[").append(i).append("] = ").append(value).append(";");
}
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
encoded + """
int d = 0;
@@ -67,7 +67,7 @@ for( int pc = 0; pc < program#; pc++ ) {
}
return output;
""");
- StopNode stop = parser.parse(false).iterate(false);
- assertEquals("Hello World!\n", Evaluator.evaluate(stop, 0, 10000).toString());
+ code.parse().opto().typeCheck().codegen();
+ assertEquals("Hello World!\n", Evaluator.evaluate(code._stop, 0, 10000).toString());
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter01Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter01Test.java
index 44f1af0d..7f111039 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter01Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter01Test.java
@@ -10,15 +10,10 @@ public class Chapter01Test {
@Test
public void testSimpleProgram() {
- Parser parser = new Parser("return 1;");
- StopNode stop = parser.parse();
- StartNode start = Parser.START;
- ReturnNode ret = (ReturnNode)stop.in(0);
-
- assertTrue(ret.ctrl() instanceof CProjNode);
- Node expr = ret.expr();
+ CodeGen code = new CodeGen("return 1;").parse().opto();
+ Node expr = code._stop.expr();
if( expr instanceof ConstantNode con ) {
- assertEquals(start,con.in(0));
+ assertEquals(code._start,con.in(0));
assertEquals(TypeInteger.constant(1), con._type);
} else {
fail();
@@ -27,10 +22,9 @@ public class Chapter01Test {
@Test
public void testZero() {
- Parser parser = new Parser("return 0;");
- parser.parse();
- StartNode start = Parser.START;
- for( Node use : start._outputs )
+ CodeGen code = new CodeGen("return 0;");
+ code.parse();
+ for( Node use : code._start._outputs )
if( use instanceof ConstantNode con && con._type instanceof TypeInteger )
assertEquals(TypeInteger.constant(0),con._type);
}
@@ -38,7 +32,7 @@ public class Chapter01Test {
@Test
public void testBad1() {
try {
- new Parser("ret").parse();
+ new CodeGen("ret").parse();
fail();
} catch( RuntimeException e ) {
assertEquals("Undefined name 'ret'",e.getMessage());
@@ -48,7 +42,7 @@ public class Chapter01Test {
@Test
public void testBad2() {
try {
- new Parser("return 0123;").parse();
+ new CodeGen("return 0123;").parse();
fail();
} catch( RuntimeException e ) {
assertEquals("Syntax error: integer values cannot start with '0'",e.getMessage());
@@ -58,13 +52,13 @@ public class Chapter01Test {
@Test
public void testNotBad3() {
// this test used to fail in chapter 1
- assertEquals("return 12;", new Parser("return - -12;").parse().print());
+ assertEquals("return 12;", new CodeGen("return - -12;").parse().opto()._stop.print());
}
@Test
public void testBad4() {
try {
- new Parser("return 100").parse();
+ new CodeGen("return 100").parse();
fail();
} catch( RuntimeException e ) {
assertEquals("Syntax error, expected ;: ",e.getMessage());
@@ -74,13 +68,13 @@ public class Chapter01Test {
@Test
public void testNotBad5() {
// this test used to fail in chapter 1
- assertEquals("return -100;", new Parser("return -100;").parse().print());
+ assertEquals("return -100;", new CodeGen("return -100;").parse().opto()._stop.print());
}
@Test
public void testBad6() {
try {
- new Parser("return100").parse();
+ new CodeGen("return100").parse();
fail();
} catch( RuntimeException e ) {
assertEquals("Undefined name 'return100'",e.getMessage());
@@ -90,7 +84,7 @@ public class Chapter01Test {
@Test
public void testBad7() {
try {
- new Parser("return 1;}").parse();
+ new CodeGen("return 1;}").parse();
fail();
} catch( RuntimeException e ) {
assertEquals("Syntax error, unexpected: }",e.getMessage());
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter02Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter02Test.java
index 75ee0b70..c85bec6f 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter02Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter02Test.java
@@ -10,53 +10,51 @@ public class Chapter02Test {
@Test
public void testParseGrammar() {
- Parser parser = new Parser("return 1+2*3+-5;");
- Node._disablePeephole = true; // disable peephole so we can observe full graph
- StopNode ret = parser.parse();
- assertEquals("return ((1+(2*3))+(-5));", ret.print());
- Node._disablePeephole = false;
+ CodeGen code = new CodeGen("return 1+2*3+-5;");
+ code.parse(true); // Disable peepholes
+ assertEquals("return Phi(Region,((1+(2*3))+(-5)));", code._stop.ret().print());
}
@Test
public void testAddPeephole() {
- Parser parser = new Parser("return 1+2;");
- StopNode ret = parser.parse();
- assertEquals("return 3;", ret.print());
+ CodeGen code = new CodeGen("return 1+2;");
+ code.parse().opto();
+ assertEquals("return 3;", code._stop.print());
}
@Test
public void testSubPeephole() {
- Parser parser = new Parser("return 1-2;");
- StopNode ret = parser.parse();
- assertEquals("return -1;", ret.print());
+ CodeGen code = new CodeGen("return 1-2;");
+ code.parse().opto();
+ assertEquals("return -1;", code._stop.print());
}
@Test
public void testMulPeephole() {
- Parser parser = new Parser("return 2*3;");
- StopNode ret = parser.parse();
- assertEquals("return 6;", ret.print());
+ CodeGen code = new CodeGen("return 2*3;");
+ code.parse().opto();
+ assertEquals("return 6;", code._stop.print());
}
@Test
public void testDivPeephole() {
- Parser parser = new Parser("return 6/3;");
- StopNode ret = parser.parse();
- assertEquals("return 2;", ret.print());
+ CodeGen code = new CodeGen("return 6/3;");
+ code.parse().opto();
+ assertEquals("return 2;", code._stop.print());
}
@Test
public void testMinusPeephole() {
- Parser parser = new Parser("return 6/-3;");
- StopNode ret = parser.parse();
- assertEquals("return -2;", ret.print());
+ CodeGen code = new CodeGen("return 6/-3;");
+ code.parse().opto();
+ assertEquals("return -2;", code._stop.print());
}
@Test
public void testExample() {
- Parser parser = new Parser("return 1+2*3+-5;");
- StopNode ret = parser.parse();
- assertEquals("return 2;", ret.print());
+ CodeGen code = new CodeGen("return 1+2*3+-5;");
+ code.parse().opto();
+ assertEquals("return 2;", code._stop.print());
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter03Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter03Test.java
index 62304b38..9a97d5b8 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter03Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter03Test.java
@@ -1,6 +1,5 @@
package com.seaofnodes.simple;
-import com.seaofnodes.simple.node.*;
import org.junit.Test;
import static org.junit.Assert.*;
@@ -9,45 +8,42 @@ public class Chapter03Test {
@Test
public void testVarDecl() {
- Parser parser = new Parser("int a=1; return a;");
- StopNode ret = parser.parse();
- assertEquals("return 1;", ret.print());
+ CodeGen code = new CodeGen("int a=1; return a;");
+ code.parse().opto(); assertEquals("return 1;", code._stop.print());
}
@Test
public void testVarAdd() {
- Parser parser = new Parser("int a=1; int b=2; return a+b;");
- StopNode ret = parser.parse();
- assertEquals("return 3;", ret.print());
+ CodeGen code = new CodeGen("int a=1; int b=2; return a+b;");
+ code.parse().opto();
+ assertEquals("return 3;", code._stop.print());
}
@Test
public void testVarScope() {
- Parser parser = new Parser("int a=1; int b=2; int c=0; { int b=3; c=a+b; } return c;");
- StopNode ret = parser.parse();
- assertEquals("return 4;", ret.print());
+ CodeGen code = new CodeGen("int a=1; int b=2; int c=0; { int b=3; c=a+b; } return c;");
+ code.parse().opto();
+ assertEquals("return 4;", code._stop.print());
}
@Test
public void testVarScopeNoPeephole() {
- Parser parser = new Parser("int a=1; int b=2; int !c=0; { int b=3; c=a+b; } return c; ");
- Node._disablePeephole = true;
- StopNode ret = parser.parse();
- Node._disablePeephole = false;
- assertEquals("return (1+3);", ret.print());
+ CodeGen code = new CodeGen("int a=1; int b=2; int !c=0; { int b=3; c=a+b; } return c; ");
+ code.parse(true);
+ assertEquals("return Phi(Region,(1+3));", code._stop.print());
}
@Test
public void testVarDist() {
- Parser parser = new Parser("int x0=1; int y0=2; int x1=3; int y1=4; return (x0-x1)*(x0-x1) + (y0-y1)*(y0-y1); ");
- StopNode ret = parser.parse();
- assertEquals("return 8;", ret.print());
+ CodeGen code = new CodeGen("int x0=1; int y0=2; int x1=3; int y1=4; return (x0-x1)*(x0-x1) + (y0-y1)*(y0-y1); ");
+ code.parse().opto();
+ assertEquals("return 8;", code._stop.print());
}
@Test
public void testSelfAssign() {
try {
- new Parser("int a=a; return a;").parse();
+ new CodeGen("int a=a; return a;").parse().opto();
fail();
} catch( RuntimeException e ) {
assertEquals("Undefined name 'a'",e.getMessage());
@@ -57,7 +53,7 @@ public class Chapter03Test {
@Test
public void testBad1() {
try {
- new Parser("int a=1; int b=2; int !c=0; { int b=3; c=a+b;").parse();
+ new CodeGen("int a=1; int b=2; int !c=0; { int b=3; c=a+b;").parse().opto();
fail();
} catch( RuntimeException e ) {
assertEquals("Syntax error, expected }: ",e.getMessage());
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter04Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter04Test.java
index 24612fee..c4073fef 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter04Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter04Test.java
@@ -10,102 +10,101 @@ public class Chapter04Test {
@Test
public void testPeephole() {
- Parser parser = new Parser("return 1+arg+2; ");
- StopNode ret = parser.parse();
- assertEquals("return (arg+3);", ret.print());
+ CodeGen code = new CodeGen("return 1+arg+2; ");
+ code.parse().opto();
+ assertEquals("return (arg+3);", code._stop.print());
}
@Test
public void testPeephole2() {
- Parser parser = new Parser("return (1+arg)+2;");
- StopNode ret = parser.parse();
- assertEquals("return (arg+3);", ret.print());
+ CodeGen code = new CodeGen("return (1+arg)+2;");
+ code.parse().opto();
+ assertEquals("return (arg+3);", code._stop.print());
}
@Test
public void testAdd0() {
- Parser parser = new Parser("return 0+arg;");
- StopNode ret = parser.parse();
- assertEquals("return arg;", ret.print());
+ CodeGen code = new CodeGen("return 0+arg;");
+ code.parse().opto();
+ assertEquals("return arg;", code._stop.print());
}
@Test
public void testAddAddMul() {
- Parser parser = new Parser("return arg+0+arg;");
- StopNode ret = parser.parse();
- assertEquals("return (arg*2);", ret.print());
+ CodeGen code = new CodeGen("return arg+0+arg;");
+ code.parse().opto();
+ assertEquals("return (arg*2);", code._stop.print());
}
@Test
public void testPeephole3() {
- Parser parser = new Parser("return 1+arg+2+arg+3; ");
- StopNode ret = parser.parse();
- assertEquals("return ((arg*2)+6);", ret.print());
+ CodeGen code = new CodeGen("return 1+arg+2+arg+3; ");
+ code.parse().opto();
+ assertEquals("return ((arg*2)+6);", code._stop.print());
}
@Test
public void testMul1() {
- Parser parser = new Parser("return 1*arg;");
- StopNode ret = parser.parse();
- assertEquals("return arg;", ret.print());
+ CodeGen code = new CodeGen("return 1*arg;");
+ code.parse().opto();
+ assertEquals("return arg;", code._stop.print());
}
@Test
public void testVarArg() {
- Parser parser = new Parser("return arg; ");
- StopNode stop = parser.parse();
- ReturnNode ret = stop.ret();
- assertTrue(ret.in(0) instanceof CProjNode);
- assertTrue(ret.in(1) instanceof ProjNode);
+ CodeGen code = new CodeGen("return arg; ");
+ code.parse().opto();
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
+ assertTrue(code._stop.expr() instanceof ProjNode);
}
@Test
public void testConstantArg() {
- Parser parser = new Parser("return arg; ", TypeInteger.constant(2));
- StopNode ret = parser.parse();
- assertEquals("return 2;", ret.print());
+ CodeGen code = new CodeGen("return arg; ", TypeInteger.constant(2));
+ code.parse().opto();
+ assertEquals("return 2;", code._stop.print());
}
@Test
public void testCompEq() {
- Parser parser = new Parser("return 3==3; ");
- StopNode ret = parser.parse();
- assertEquals("return 1;", ret.print());
+ CodeGen code = new CodeGen("return 3==3; ");
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.print());
}
@Test
public void testCompEq2() {
- Parser parser = new Parser("return 3==4; ");
- StopNode ret = parser.parse();
- assertEquals("return 0;", ret.print());
+ CodeGen code = new CodeGen("return 3==4; ");
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.print());
}
@Test
public void testCompNEq() {
- Parser parser = new Parser("return 3!=3; ");
- StopNode ret = parser.parse();
- assertEquals("return 0;", ret.print());
+ CodeGen code = new CodeGen("return 3!=3; ");
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.print());
}
@Test
public void testCompNEq2() {
- Parser parser = new Parser("return 3!=4; ");
- StopNode ret = parser.parse();
- assertEquals("return 1;", ret.print());
+ CodeGen code = new CodeGen("return 3!=4; ");
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.print());
}
@Test
public void testBug1() {
- Parser parser = new Parser("int a=arg+1; int !b=a; b=1; return a+2; ");
- StopNode ret = parser.parse();
- assertEquals("return (arg+3);", ret.print());
+ CodeGen code = new CodeGen("int a=arg+1; int !b=a; b=1; return a+2; ");
+ code.parse().opto();
+ assertEquals("return (arg+3);", code._stop.print());
}
@Test
public void testBug2() {
- Parser parser = new Parser("int !a=arg+1; a=a; return a; ");
- StopNode ret = parser.parse();
- assertEquals("return (arg+1);", ret.print());
+ CodeGen code = new CodeGen("int !a=arg+1; a=a; return a; ");
+ code.parse().opto();
+ assertEquals("return (arg+1);", code._stop.print());
}
@Test
@@ -120,9 +119,9 @@ public class Chapter04Test {
@Test
public void testBug4() {
- Parser parser = new Parser("return -arg;");
- StopNode ret = parser.parse();
- assertEquals("return (-arg);", ret.print());
+ CodeGen code = new CodeGen("return -arg;");
+ code.parse().opto();
+ assertEquals("return (-arg);", code._stop.print());
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter05Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter05Test.java
index 9afb8f28..bf074d0a 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter05Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter05Test.java
@@ -1,7 +1,6 @@
package com.seaofnodes.simple;
import com.seaofnodes.simple.node.*;
-import com.seaofnodes.simple.type.TypeInteger;
import org.junit.Test;
import static org.junit.Assert.*;
@@ -10,7 +9,7 @@ public class Chapter05Test {
@Test
public void testIfStmt() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
if (arg == 1)
@@ -20,13 +19,13 @@ else {
}
return a;
""");
- StopNode ret = parser.parse().iterate();
- assertEquals("return Phi(Region,(arg+2),(arg-3));", ret.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Region,(arg+2),(arg-3));", code._stop.toString());
}
@Test
public void testTest() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int c = 3;
int b = 2;
@@ -34,27 +33,28 @@ if (arg == 1) {
b = 3;
c = 4;
}
-return c;""", TypeInteger.BOT);
- StopNode ret = parser.parse().iterate();
- assertEquals("return Phi(Region,4,3);", ret.toString());
+return c;
+""");
+ code.parse().opto();
+ assertEquals("return Phi(Region,4,3);", code._stop.toString());
}
@Test
public void testReturn2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
if( arg==1 )
return 3;
else
return 4;
-""", TypeInteger.BOT);
- StopNode stop = parser.parse();
- assertEquals("Stop[ return 3; return 4; ]", stop.toString());
+""");
+ code.parse();
+ assertEquals("return Phi(Region,3,4);", code._stop.expr().in(0).in(1).toString());
}
@Test
public void testIfMergeB() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=arg+1;
int b=0;
@@ -63,13 +63,13 @@ if( arg==1 )
else
b=a+1;
return a+b;""");
- StopNode ret = parser.parse().iterate();
- assertEquals("return ((arg*2)+Phi(Region,2,3));", ret.toString());
+ code.parse().opto();
+ assertEquals("return ((arg*2)+Phi(Region,2,3));", code._stop.toString());
}
@Test
public void testIfMerge2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=arg+1;
int b=arg+2;
@@ -78,13 +78,13 @@ if( arg==1 )
else
a=b+1;
return a+b;""");
- StopNode ret = parser.parse().iterate();
- assertEquals("return ((Phi(Region,(arg*2),arg)+arg)+Phi(Region,4,5));", ret.toString());
+ code.parse().opto();
+ assertEquals("return ((Phi(Region,(arg*2),arg)+arg)+Phi(Region,4,5));", code._stop.toString());
}
@Test
public void testMerge3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg==1 )
@@ -97,14 +97,14 @@ else if( arg==3 )
else
a=5;
return a;
-""", TypeInteger.BOT);
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,Phi(Region,2,3),Phi(Region,4,5));", stop.toString());
+""");
+ code.parse().opto();
+ assertEquals("return Phi(Region,Phi(Region,2,3),Phi(Region,4,5));", code._stop.toString());
}
@Test
public void testMerge4() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=0;
int b=0;
@@ -113,29 +113,30 @@ if( arg )
if( arg==0 )
b=2;
return arg+a+b;
-""", TypeInteger.BOT);
- StopNode stop = parser.parse();
- assertEquals("return ((arg+Phi(Region,1,0))+Phi(Region,2,0));", stop.toString());
+""");
+ code.parse().opto();
+ assertEquals("return ((arg+Phi(Region,1,0))+Phi(Region,2,0));", code._stop.toString());
}
@Test
public void testMerge5() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=arg==2;
if( arg==1 )
{
a=arg==3;
}
-return a;""");
- StopNode ret = parser.parse().iterate();
- assertEquals("return (arg==Phi(Region,3,2));", ret.toString());
+return a;
+""");
+ code.parse().opto();
+ assertEquals("return (arg==Phi(Region,3,2));", code._stop.toString());
}
@Test
public void testTrue() {
StopNode stop = new Parser("return true;").parse();
- assertEquals("return 1;",stop.toString());
+ assertEquals("return 1;",stop.expr().in(0).in(1).toString());
}
@Test
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter06Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter06Test.java
index 50c0580d..02814501 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter06Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter06Test.java
@@ -10,32 +10,32 @@ public class Chapter06Test {
@Test
public void testPeepholeReturn() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
if( true ) return 2;
return 1;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 2;", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return 2;", code._stop.toString());
+ assertTrue(code._stop.in(0) instanceof CProjNode);
}
@Test
public void testPeepholeRotate() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
if (arg)
a = 2;
return (arg < a) < 3; // Because (arg < a) is a bool/uint1/[0-1], its always less than 3
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
}
@Test
public void testPeepholeCFG() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( true )
@@ -44,14 +44,14 @@ else
a=3;
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 2;", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return 2;", code._stop.toString());
+ assertTrue(code._stop.in(0) instanceof CProjNode);
}
@Test
public void testIfIf() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg!=1 )
@@ -63,14 +63,15 @@ if( a==2 )
b=42;
else
b=5;
-return b;""", TypeInteger.BOT);
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,42,5);", stop.toString());
+return b;
+""");
+ code.parse().opto();
+ assertEquals("return Phi(Region,42,5);", code._stop.toString());
}
@Test
public void testIfArgIf() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( 1==1 )
@@ -82,14 +83,14 @@ if( arg==2 )
b=a;
else
b=5;
-return b;""", TypeInteger.BOT);
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,2,5);", stop.toString());
+return b;""");
+ code.parse().opto();
+ assertEquals("return Phi(Region,2,5);", code._stop.toString());
}
@Test
public void testMerge3With2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg==1 )
@@ -103,13 +104,13 @@ else
a=5;
return a;
""", TypeInteger.constant(2));
- StopNode stop = parser.parse();
- assertEquals("return 5;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 5;", code._stop.toString());
}
@Test
public void testMerge3With1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg==1 )
@@ -123,13 +124,13 @@ else
a=5;
return a;
""", TypeInteger.constant(1));
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 3;", code._stop.toString());
}
@Test
public void testMerge3Peephole() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg==1 )
@@ -142,14 +143,14 @@ else if( arg==3 )
else
a=5;
return a;
-""", TypeInteger.BOT);
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,3,Phi(Region,4,5));", stop.toString());
+""");
+ code.parse().opto();
+ assertEquals("return Phi(Region,3,Phi(Region,4,5));", code._stop.toString());
}
@Test
public void testMerge3Peephole1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg==1 )
@@ -163,13 +164,13 @@ else
a=5;
return a;
""", TypeInteger.constant(1));
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 3;", code._stop.toString());
}
@Test
public void testMerge3Peephole3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg==1 )
@@ -183,13 +184,13 @@ else
a=5;
return a;
""", TypeInteger.constant(3));
- StopNode stop = parser.parse().iterate();
- assertEquals("return 4;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 4;", code._stop.toString());
}
@Test
public void testDemo1NonConst() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 0;
int b = 1;
if( arg ) {
@@ -199,14 +200,14 @@ if( arg ) {
}
return a+b;
""");
- StopNode ret = parser.parse().iterate();
- assertEquals("return Phi(Region,4,1);", ret.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Region,4,1);", code._stop.toString());
}
@Test
public void testDemo1True() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 0;
int b = 1;
if( arg ) {
@@ -216,13 +217,13 @@ if( arg ) {
}
return a+b;
""", TypeInteger.constant(1));
- StopNode ret = parser.parse().iterate();
- assertEquals("return 4;", ret.toString());
+ code.parse().opto();
+ assertEquals("return 4;", code._stop.toString());
}
@Test
public void testDemo1False() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 0;
int b = 1;
if( arg ) {
@@ -232,13 +233,13 @@ if( arg ) {
}
return a+b;
""", TypeInteger.constant(0));
- StopNode ret = parser.parse().iterate();
- assertEquals("return 1;", ret.toString());
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
}
@Test
public void testDemo2NonConst() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 0;
int b = 1;
int c = 0;
@@ -250,14 +251,14 @@ if( arg ) {
}
return a+b+c;
""");
- StopNode ret = parser.parse().iterate();
- assertEquals("return (Phi(Region,Phi(Region,2,3),0)+Phi(Region,3,1));", ret.toString());
+ code.parse().opto();
+ assertEquals("return (Phi(Region,Phi(Region,2,3),0)+Phi(Region,3,1));", code._stop.toString());
}
@Test
public void testDemo2True() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 0;
int b = 1;
int c = 0;
@@ -269,13 +270,13 @@ if( arg ) {
}
return a+b+c;
""", TypeInteger.constant(1));
- StopNode ret = parser.parse().iterate();
- assertEquals("return 6;", ret.toString());
+ code.parse().opto();
+ assertEquals("return 6;", code._stop.toString());
}
@Test
public void testDemo2arg2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 0;
int b = 1;
int c = 0;
@@ -287,8 +288,8 @@ if( arg ) {
}
return a+b+c;
""", TypeInteger.constant(2));
- StopNode ret = parser.parse().iterate();
- assertEquals("return 5;", ret.toString());
+ code.parse().opto();
+ assertEquals("return 5;", code._stop.toString());
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter07Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter07Test.java
index 355bbba4..aad6a765 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter07Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter07Test.java
@@ -9,7 +9,7 @@ public class Chapter07Test {
@Test
public void testExample() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
while(arg < 10) {
arg = arg + 1;
@@ -17,15 +17,15 @@ while(arg < 10) {
return arg;
""");
Node._disablePeephole = true;
- StopNode stop = parser.parse();
- assertEquals("return Phi(Loop,arg,(Phi_arg+1));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse();
+ assertEquals("return Phi(Loop,arg,(Phi_arg+1));", code._stop.expr().in(0).in(1).toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
Node._disablePeephole = false;
}
@Test
public void testRegression() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
if(arg){}else{
@@ -35,13 +35,13 @@ if(arg){}else{
}
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,1,Phi(Loop,1,(Phi_a+1)));", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Region,1,Phi(Loop,1,(Phi_a+1)));", code._stop.toString());
}
@Test
public void testWhileNested() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int sum = 0;
int i = 0;
@@ -55,13 +55,13 @@ while(i < arg) {
}
return sum;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,Phi(Loop,Phi_sum,(Phi_sum+Phi(Loop,0,(Phi_j+1)))));", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,Phi(Loop,Phi_sum,(Phi_sum+Phi(Loop,0,(Phi_j+1)))));", code._stop.toString());
}
@Test
public void testWhileScope() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
int b = 2;
@@ -72,15 +72,15 @@ while(a < 10) {
return b;
""");
Node._disablePeephole = true;
- StopNode stop = parser.parse();
- assertEquals("return Phi(Loop,2,Phi(Region,Phi_b,4));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse();
+ assertEquals("return Phi(Loop,2,Phi(Region,Phi_b,4));", code._stop.expr().in(0).in(1).toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
Node._disablePeephole = false;
}
@Test
public void testWhileNestedIfAndInc() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
int b = 2;
@@ -92,15 +92,15 @@ while(a < 10) {
}
return b;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,2,(Phi(Region,Phi_b,4)+1));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return Phi(Loop,2,(Phi(Region,Phi_b,4)+1));", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
}
@Test
public void testWhile() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
while(a < 10) {
@@ -110,15 +110,15 @@ while(a < 10) {
return a;
""");
Node._disablePeephole = true;
- StopNode stop = parser.parse();
- assertEquals("return Phi(Loop,1,((Phi_a+1)+2));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse();
+ assertEquals("return Phi(Loop,1,(Phi_a+3));", code._stop.expr().in(0).in(1).toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
Node._disablePeephole = false;
}
@Test
public void testWhilePeep() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
while(a < 10) {
@@ -127,42 +127,42 @@ while(a < 10) {
}
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,1,(Phi_a+3));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return Phi(Loop,1,(Phi_a+3));", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
}
@Test
public void testWhile2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
while(arg) a = 2;
return a;
""");
Node._disablePeephole = true;
- StopNode stop = parser.parse();
- assertEquals("return Phi(Loop,1,2);", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse();
+ assertEquals("return Phi(Loop,1,2);", code._stop.expr().in(0).in(1).toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
Node._disablePeephole = false;
}
@Test
public void testWhile2Peep() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
while(arg) a = 2;
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,1,2);", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return Phi(Loop,1,2);", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
}
@Test
public void testWhile3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
while(a < 10) {
@@ -172,15 +172,15 @@ while(a < 10) {
return a;
""");
Node._disablePeephole = true;
- StopNode stop = parser.parse();
- assertEquals("return Phi(Loop,1,((Phi_a+1)+2));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse();
+ assertEquals("return Phi(Loop,1,(Phi_a+3));", code._stop.expr().in(0).in(1).toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
Node._disablePeephole = false;
}
@Test
public void testWhile3Peep() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
while(a < 10) {
@@ -189,14 +189,14 @@ while(a < 10) {
}
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,1,(Phi_a+3));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return Phi(Loop,1,(Phi_a+3));", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
}
@Test
public void testWhile4() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
int b = 2;
@@ -207,15 +207,15 @@ while(a < 10) {
return a;
""");
Node._disablePeephole = true;
- StopNode stop = parser.parse();
- assertEquals("return Phi(Loop,1,((Phi_a+1)+2));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse();
+ assertEquals("return Phi(Loop,1,(Phi_a+3));", code._stop.expr().in(0).in(1).toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
Node._disablePeephole = false;
}
@Test
public void testWhile4Peep() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
int b = 2;
@@ -225,9 +225,9 @@ while(a < 10) {
}
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,1,(Phi_a+3));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return Phi(Loop,1,(Phi_a+3));", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter08Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter08Test.java
index bb3bd674..831a3272 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter08Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter08Test.java
@@ -11,7 +11,7 @@ public class Chapter08Test {
@Test
public void testEx6() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
while(arg < 10) {
arg = arg + 1;
@@ -22,17 +22,17 @@ while(arg < 10) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,Phi(Region,Phi(Loop,arg,(Phi_arg+1)),Add),Add);", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof RegionNode);
- Assert.assertEquals(5L, Evaluator.evaluate(stop, 1));
- Assert.assertEquals(10L, Evaluator.evaluate(stop, 6));
+ code.parse().opto();
+ assertEquals("return Phi(Region,Phi(Region,Phi(Loop,arg,(Phi_arg+1)),Add),Add);", code._stop.toString());
+ assertTrue(code._stop.in(0) instanceof RegionNode);
+ Assert.assertEquals(5L, Evaluator.evaluate(code._stop, 1));
+ Assert.assertEquals(10L, Evaluator.evaluate(code._stop, 6));
}
@Test
public void testEx5() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = 1;
while(arg < 10) {
@@ -45,15 +45,15 @@ while(arg < 10) {
}
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,1,Phi(Region,Phi_a,(Phi_a+1)));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return Phi(Loop,1,Phi(Region,Phi_a,(Phi_a+1)));", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
}
@Test
public void testEx4() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
while(arg < 10) {
arg = arg + 1;
@@ -64,14 +64,14 @@ while(arg < 10) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,Phi(Loop,arg,(Phi_arg+1)),Add);", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof RegionNode);
+ code.parse().opto();
+ assertEquals("return Phi(Region,Phi(Loop,arg,(Phi_arg+1)),Add);", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof RegionNode);
}
@Test
public void testEx3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
while(arg < 10) {
arg = arg + 1;
@@ -80,15 +80,15 @@ while(arg < 10) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,Phi(Loop,arg,(Phi_arg+1)),Add);", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof RegionNode);
+ code.parse().opto();
+ assertEquals("return Phi(Region,Phi(Loop,arg,(Phi_arg+1)),Add);", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof RegionNode);
}
@Test
public void testEx2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
while(arg < 10) {
arg = arg + 1;
@@ -99,15 +99,15 @@ while(arg < 10) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,arg,(Phi_arg+1));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return Phi(Loop,arg,(Phi_arg+1));", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
}
@Test
public void testEx1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
while(arg < 10) {
arg = arg + 1;
@@ -116,14 +116,14 @@ while(arg < 10) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,arg,(Phi_arg+1));", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode);
+ code.parse().opto();
+ assertEquals("return Phi(Loop,arg,(Phi_arg+1));", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode);
}
@Test
public void testRegress1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
while( arg < 10 ) {
int a = arg+2;
@@ -132,15 +132,15 @@ while( arg < 10 ) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return arg;", stop.toString());
+ code.parse().opto();
+ assertEquals("return arg;", code._stop.toString());
}
@Test
public void testRegress2() {
- Parser parser = new Parser("if(1) return 0; else while(arg>- -arg) arg=arg+1; return 0;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ CodeGen code = new CodeGen("if(1) return 0; else while(arg>- -arg) arg=arg+1; return 0;");
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
@@ -161,19 +161,19 @@ return arg;
@Test
public void testRegress3() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
while(arg < 10) {
break;
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return arg;", stop.toString());
+ code.parse().opto();
+ assertEquals("return arg;", code._stop.toString());
}
@Test
public void testRegress4() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 1;
while(arg < 10) {
a = a + 1;
@@ -184,14 +184,14 @@ while(arg < 10) {
}
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,Phi(Loop,1,(Phi_a+1)),Add);", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof RegionNode);
+ code.parse().opto();
+ assertEquals("return Phi(Region,Phi(Loop,1,(Phi_a+1)),Add);", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof RegionNode);
}
@Test
public void testRegress5() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 1;
while(1) {
a = a + 1;
@@ -200,9 +200,9 @@ while(1) {
}
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (Phi(Loop,1,Add)+1);", stop.toString());
- assertTrue(stop.ret().ctrl() instanceof CProjNode prj && prj._idx==1 );
+ code.parse().opto();
+ assertEquals("return (Phi(Loop,1,Add)+1);", code._stop.toString());
+ assertTrue(code._stop.ctrl() instanceof CProjNode prj && prj._idx==1 );
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter09Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter09Test.java
index c31afcd6..27cd2be7 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter09Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter09Test.java
@@ -1,7 +1,6 @@
package com.seaofnodes.simple;
import com.seaofnodes.simple.evaluator.Evaluator;
-import com.seaofnodes.simple.node.*;
import com.seaofnodes.simple.type.Type;
import com.seaofnodes.simple.type.TypeInteger;
import org.junit.Assert;
@@ -15,7 +14,7 @@ public class Chapter09Test {
@Test
@Ignore
public void testJig() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int v0=0;
arg=0;
while(v0) {
@@ -25,12 +24,12 @@ while(v0) {
}
return 0;
""");
- StopNode stop = parser.parse().iterate();
+ code.parse().opto();
}
@Test
public void testGVN1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int x = arg + arg;
if(arg < 10) {
@@ -41,26 +40,26 @@ else {
}
return x;
""");
- StopNode stop = parser.parse();
- assertEquals("Stop[ return (arg*2); return (Mul+1); ]", stop.toString());
- Assert.assertEquals(2L, Evaluator.evaluate(stop, 1));
- Assert.assertEquals(23L, Evaluator.evaluate(stop, 11));
+ code.parse().opto();
+ assertEquals("return Phi(Region,(arg*2),(Mul+1));", code._stop.toString());
+ Assert.assertEquals(2L, Evaluator.evaluate(code._stop, 1));
+ Assert.assertEquals(23L, Evaluator.evaluate(code._stop, 11));
}
@Test
public void testGVN2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return arg*arg-arg*arg;
""");
- StopNode stop = parser.parse();
- assertEquals("return 0;", stop.toString());
- Assert.assertEquals(0L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ Assert.assertEquals(0L, Evaluator.evaluate(code._stop, 1));
}
@Test
public void testWorklist1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int step = 1;
while (arg < 10) {
@@ -68,14 +67,14 @@ while (arg < 10) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,arg,(Phi_arg+2));", stop.toString());
- Assert.assertEquals(11L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return Phi(Loop,arg,(Phi_arg+2));", code._stop.toString());
+ Assert.assertEquals(11L, Evaluator.evaluate(code._stop, 1));
}
@Test
public void testWorklist2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int cond = 0;
int one = 1;
@@ -85,14 +84,14 @@ while (arg < 10) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,arg,(Phi_arg+4));", stop.toString());
- Assert.assertEquals(13L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return Phi(Loop,arg,(Phi_arg+4));", code._stop.toString());
+ Assert.assertEquals(13L, Evaluator.evaluate(code._stop, 1));
}
@Test
public void testWorklist3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int v1 = 0;
int v2 = 0;
@@ -114,13 +113,13 @@ while (arg) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testRegionPeepBug() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int v0=0;
int v1=0;
@@ -132,48 +131,48 @@ while(v1+arg) {
v1=v2;
}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("Stop[ return 0; return 0; ]", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testWhile0() {
- Parser parser = new Parser("while(0) continue; if(0) arg=0;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ CodeGen code = new CodeGen("while(0) continue; if(0) arg=0;");
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testWhile1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
if(0) while(0) {
int arg=arg;
while(0) {}
}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testPrecedence() {
- Parser parser = new Parser("return 3-1+2;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 4;", stop.toString());
+ CodeGen code = new CodeGen("return 3-1+2;");
+ code.parse().opto();
+ assertEquals("return 4;", code._stop.toString());
}
@Test
public void testSwap2() {
- Parser parser = new Parser("return 1+(1+1);");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3;", stop.toString());
+ CodeGen code = new CodeGen("return 1+(1+1);");
+ code.parse().opto();
+ assertEquals("return 3;", code._stop.toString());
}
@Test
public void testFuzz0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int one = 1;
int a = 0;
int zero = 0;
@@ -184,13 +183,13 @@ while(arg) {
}
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,(-(Phi_a+3)));", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,(-(Phi_a+3)));", code._stop.toString());
}
@Test
public void testFuzz1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
while(1) {}
while(arg) break;
while(arg) arg=0;
@@ -198,40 +197,40 @@ arg=0;
int v0=0!=0<-0;
return -0+0+0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testFuzz2() {
- Parser parser = new Parser("return 0+-0;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ CodeGen code = new CodeGen("return 0+-0;");
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testFuzz3() {
- Parser parser = new Parser("int v0=0; while(0==69) while(v0) return 0;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ CodeGen code = new CodeGen("int v0=0; while(0==69) while(v0) return 0;");
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testFuzz4() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
while(1) {
arg=0<=0;
if(1<0) while(arg==-0) arg=arg-arg;
}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return Top;", code._stop.toString());
}
@Test
public void testFuzz5() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
{
int v0=0;
while(1)
@@ -247,25 +246,25 @@ while(1) {
}
return 0!=0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testFuzz6() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int v0=0;
while(0==1) while(v0)
v0=1+v0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return ~int;", code._stop.toString());
}
@Test
public void testFuzz7() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
while(1) {}
int v0=0;
while(v0)
@@ -275,15 +274,15 @@ while(1)
v1=1;
return v1+v0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return Top;", code._stop.toString());
}
@Test
public void testFuzz8() {
- Parser parser = new Parser("while(arg) arg = arg - 1; return arg;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ CodeGen code = new CodeGen("while(arg) arg = arg - 1; return arg;");
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter10Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter10Test.java
index 86d807a5..461c8ed8 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter10Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter10Test.java
@@ -10,7 +10,7 @@ public class Chapter10Test {
@Test
public void testFuzzer() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a = arg/3;
int b = arg*5;
@@ -29,13 +29,13 @@ if( (arg/13)==0 ) {
int r = g+h;
return p-r;
""");
- StopNode stop = parser.parse(false).iterate(false);
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testStruct() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar {
int a;
int b;
@@ -49,13 +49,13 @@ bar.a = 1;
bar.a = 2;
return bar.a;
""");
- StopNode stop = parser.parse(false).iterate();
- assertEquals("return 2;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 2;", code._stop.toString());
}
@Test
public void testExample() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Vector2D { int x; int y; };
Vector2D !v = new Vector2D;
v.x = 1;
@@ -65,36 +65,36 @@ else
v.y = 3;
return v;
""");
- StopNode stop = parser.parse(false).iterate();
- assertEquals("return Vector2D;", stop.toString());
+ code.parse().opto();
+ assertEquals("return Vector2D;", code._stop.toString());
}
@Test
public void testBug() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 {
int v0;
};
s0? v1=null;
int v3=v1.zAicm;
""");
- try { parser.parse(); fail(); }
+ try { code.parse(); fail(); }
catch( Exception e ) { assertEquals("Accessing unknown field 'zAicm' from 'null'",e.getMessage()); }
}
@Test
public void testBug2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 { int v0; };
arg=0+new s0.0;
""");
- try { parser.parse(); fail(); }
+ try { code.parse(); fail(); }
catch( Exception e ) { assertEquals("Expected an identifier, found 'null'",e.getMessage()); }
}
@Test
public void testLoop() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int a; };
Bar !bar = new Bar;
while (arg) {
@@ -103,65 +103,65 @@ while (arg) {
}
return bar.a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,(Phi_a+2));", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,(Phi_a+2));", code._stop.toString());
}
@Test
public void testIf() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int a; };
Bar !bar = new Bar;
if (arg) bar = null;
bar.a = 1;
return bar.a;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Type null is not of declared type *Bar",e.getMessage()); }
}
@Test
public void testIf2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int a; };
Bar? !bar = null;
if (arg) bar = new Bar;
bar.a = 1;
return bar.a;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Might be null accessing 'a'",e.getMessage()); }
}
@Test
public void testIf3() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int a; };
Bar bar = null;
if (arg) bar = null;
bar.a = 1;
return bar.a;
""");
- try { parser.parse(); fail(); }
+ try { code.parse(); fail(); }
catch( Exception e ) { assertEquals("Type null is not of declared type *Bar", e.getMessage()); }
}
@Test
public void testIfOrNull() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int a; };
Bar? !bar = new Bar;
if (arg) bar = null;
if( bar ) bar.a = 1;
return bar;
""");
- StopNode stop = parser.parse(false).iterate();
- assertEquals("return Phi(Region,null,Bar);", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Region,null,Bar);", code._stop.toString());
}
@Test
public void testIfOrNull2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct Bar { int a; };
Bar? !bar = new Bar;
@@ -171,13 +171,13 @@ if( !bar ) rez=4;
else bar.a = 1;
return rez;
""");
- StopNode stop = parser.parse(false).iterate();
- assertEquals("return Phi(Region,4,3);", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Region,4,3);", code._stop.toString());
}
@Test
public void testWhileWithNullInside() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 {int v0;};
s0? !v0 = new s0;
int ret = 0;
@@ -188,14 +188,14 @@ while(arg) {
}
return ret;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) {
assertEquals("Might be null accessing 'v0'", e.getMessage()); }
}
@Test
public void testRedeclareStruct() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 {
int v0;
};
@@ -203,14 +203,14 @@ s0? v1=new s0;
s0? v1;
v1=new s0;
""");
- try { parser.parse(); fail(); }
+ try { code.parse(); fail(); }
catch( Exception e ) { assertEquals("Redefining name 'v1'", e.getMessage()); }
}
@Test
public void testIter() {
// Build and use an iterator
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct Iter {
int x;
@@ -225,14 +225,14 @@ while( i.x < i.len ) {
}
return sum;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,(Phi(Loop,0,(Phi_x+1))+Phi_sum));", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,(Phi(Loop,0,(Phi_x+1))+Phi_sum));", code._stop.toString());
}
@Test
public void test1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 {int v0;};
s0 !ret = new s0;
while(arg) {
@@ -244,13 +244,13 @@ while(arg) {
}
return ret;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,s0,Phi(Region,s0,Phi_ret));", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Loop,s0,Phi(Region,s0,Phi_ret));", code._stop.toString());
}
@Test
public void test2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 {int v0;};
s0 !ret = new s0;
s0 !v0 = new s0;
@@ -262,14 +262,14 @@ while(arg) {
}
return ret;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,s0,Phi(Region,s0,Phi_ret));", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Loop,s0,Phi(Region,s0,Phi_ret));", code._stop.toString());
}
@Test
public void test3() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 {int v0;};
s0 !ret = new s0;
while(arg < 10) {
@@ -279,25 +279,25 @@ while(arg < 10) {
}
return ret;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,s0,Phi(Region,s0,Phi_ret));", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Loop,s0,Phi(Region,s0,Phi_ret));", code._stop.toString());
}
@Test
public void testBug3() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 { int f0; };
return new s0;
int v0=null.f0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return s0;", stop.toString());
- assertEquals("Obj<s0>{f0=0}", Evaluator.evaluate(stop, 0).toString());
+ code.parse().opto();
+ assertEquals("return s0;", code._stop.toString());
+ assertEquals("Obj<s0>{f0=0}", Evaluator.evaluate(code._stop, 0).toString());
}
@Test
public void testBug4() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
if(0) {
while(0) if(arg) continue;
int v0=0;
@@ -307,13 +307,13 @@ if(0) {
}
}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testBug5() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 {
int f0;
};
@@ -321,13 +321,13 @@ if(0) return 0;
else return new s0;
if(new s0.f0) return 0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return s0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return s0;", code._stop.toString());
}
@Test
public void testBug6MissedWorklist() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
while(0) {}
int v4=0;
while(0<arg) {
@@ -337,26 +337,26 @@ while(0<arg) {
}
return 0;
""");
- StopNode stop = parser.parse().iterate();
+ code.parse().opto();
}
@Test
public void testBug7() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct s0 { int f0; };
s0 v0 = new s0;
while(v0.f0) {}
s0 v1 = v0;
return v1;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (const)s0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return (const)s0;", code._stop.toString());
}
@Test
public void testBug8() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int v2=0;
while(0)
while(0) {}
@@ -381,19 +381,19 @@ while(0) {}
} }
}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testBug9() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int v0=arg==0;
while(v0) continue;
return 0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter11Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter11Test.java
index 613b979b..2854941f 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter11Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter11Test.java
@@ -1,7 +1,6 @@
package com.seaofnodes.simple;
import com.seaofnodes.simple.evaluator.Evaluator;
-import com.seaofnodes.simple.node.StopNode;
import org.junit.Test;
@@ -12,7 +11,7 @@ public class Chapter11Test {
// A placeholder test used to rapidly rotate through fuzzer produced issues
@Test
public void testFuzzer() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
while(---- -arg) {
while(-arg) {
@@ -291,14 +290,14 @@ else {
}
}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("Stop[ return 9; return 0; return 0; return 0; return 0; ]", stop.toString());
+ code.parse().opto().typeCheck().codegen();
+ assertEquals("return Phi(Region,9,Top,Top,Top,Top);", code._stop.toString());
}
@Test
public void testPrimes() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
if( arg < 2 ) return 0;
int primeCount = 1;
@@ -323,19 +322,19 @@ while( prime <= arg ) {
}
return primeCount;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("Stop[ return 0; return Phi(Loop,1,Phi(Region,Phi_primeCount,Phi(Region,(Phi_primeCount+1),Phi_primeCount))); ]", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 1)); // No primes 1 or below
- assertEquals(1L, Evaluator.evaluate(stop, 2)); // 2
- assertEquals(2L, Evaluator.evaluate(stop, 3)); // 2, 3
- assertEquals(2L, Evaluator.evaluate(stop, 4)); // 2, 3
- assertEquals(3L, Evaluator.evaluate(stop, 5)); // 2, 3, 5
- assertEquals(4L, Evaluator.evaluate(stop, 10)); // 2, 3, 5, 7
+ code.parse().opto();
+ assertEquals("return Phi(Region,0,Phi(Loop,1,Phi(Region,Phi_primeCount,Phi(Region,(Phi_primeCount+1),Phi_primeCount))));", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 1)); // No primes 1 or below
+ assertEquals(1L, Evaluator.evaluate(code._stop, 2)); // 2
+ assertEquals(2L, Evaluator.evaluate(code._stop, 3)); // 2, 3
+ assertEquals(2L, Evaluator.evaluate(code._stop, 4)); // 2, 3
+ assertEquals(3L, Evaluator.evaluate(code._stop, 5)); // 2, 3, 5
+ assertEquals(4L, Evaluator.evaluate(code._stop, 10)); // 2, 3, 5, 7
}
@Test
public void testAntiDeps1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v=new S;
@@ -345,15 +344,15 @@ i=v.f;
if (arg) v.f=1;
return i;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 2;", stop.toString());
- assertEquals(2L, Evaluator.evaluate(stop, 0));
- assertEquals(2L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return 2;", code._stop.toString());
+ assertEquals(2L, Evaluator.evaluate(code._stop, 0));
+ assertEquals(2L, Evaluator.evaluate(code._stop, 1));
}
@Test
public void testAntiDeps2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v = new S;
@@ -368,13 +367,13 @@ if (arg) {
}
return i;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,.f,0);", stop.toString());
+ code.parse().opto();
+ assertEquals("return Phi(Region,.f,0);", code._stop.toString());
}
@Test
public void testAntiDeps3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v0 = new S;
@@ -387,14 +386,14 @@ if (v1) {
}
return v0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return S;", stop.toString());
+ code.parse().opto();
+ assertEquals("return S;", code._stop.toString());
}
@Test
public void testAntiDeps4() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v = new S;
@@ -405,13 +404,13 @@ if (arg+1) arg= 0;
while (arg) v.f = 2;
return i;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return arg;", stop.toString());
+ code.parse().opto();
+ assertEquals("return arg;", code._stop.toString());
}
@Test
public void testAntiDeps5() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v = new S;
@@ -422,13 +421,13 @@ while(1) {
}
return v;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return S;", stop.toString());
+ code.parse().opto();
+ assertEquals("return S;", code._stop.toString());
}
@Test
public void testAntiDeps6() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct s { int v; };
s !ptr=new s;
@@ -437,13 +436,13 @@ while( -arg )
while(1)
arg = arg+ptr.v;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return Top;", code._stop.toString());
}
@Test
public void testAntiDeps7() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v = new S;
@@ -455,13 +454,13 @@ while (arg) {
}
return i;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testAntiDeps8() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v = new S;
@@ -475,13 +474,13 @@ while(arg) {
}
return arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testAntiDeps9() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v = new S;
@@ -493,13 +492,13 @@ if (arg) {
}
return v;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return S;", stop.toString());
+ code.parse().opto();
+ assertEquals("return S;", code._stop.toString());
}
@Test
public void testExample2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int f; };
S !v = new S;
@@ -512,13 +511,13 @@ while (arg > 0) {
}
return v;
""");
- StopNode stop = parser.parse().iterate();
- //assertEquals("return new S;", stop.toString());
+ code.parse().opto();
+ //assertEquals("return new S;", code._stop.toString());
}
@Test
public void testScheduleUse() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int v0=0;
while(0>=0) {
@@ -529,13 +528,13 @@ while(0>=0) {
}
return 0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return Top;", code._stop.toString());
}
@Test
public void testLoopCarriedDep() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
u32 v0=0;
{
@@ -544,10 +543,11 @@ u32 v0=0;
v1=1>>>v0!=0;
v0=v1/0;
}
+ return v1;
}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter12Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter12Test.java
index 39824d39..b5b6405c 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter12Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter12Test.java
@@ -10,29 +10,29 @@ import static org.junit.Assert.fail;
public class Chapter12Test {
@Test
public void testJig() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return 3.14;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3.14;", stop.toString());
- assertEquals(3.14, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3.14;", code._stop.toString());
+ assertEquals(3.14, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testFloat() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return 3.14;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3.14;", stop.toString());
- assertEquals(3.14, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3.14;", code._stop.toString());
+ assertEquals(3.14, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testSquareRoot() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
flt guess = arg;
while( 1 ) {
@@ -42,21 +42,21 @@ while( 1 ) {
}
return guess;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,(flt)arg,(((ToFloat/Phi_guess)+Phi_guess)/2.0f));", stop.toString());
- assertEquals(3.0, Evaluator.evaluate(stop, 9));
- assertEquals(1.414213562373095, Evaluator.evaluate(stop, 2));
+ code.parse().opto();
+ assertEquals("return Phi(Loop,(flt)arg,(((ToFloat/Phi_guess)+Phi_guess)/2.0f));", code._stop.toString());
+ assertEquals(3.0, Evaluator.evaluate(code._stop, 9));
+ assertEquals(1.414213562373095, Evaluator.evaluate(code._stop, 2));
}
@Test
public void testFPOps() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
flt x = arg;
return x+1==x;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return ((flt)arg==(ToFloat+1.0f));", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return ((flt)arg==(ToFloat+1.0f));", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 1));
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter13Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter13Test.java
index 30d9b147..ca811a2a 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter13Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter13Test.java
@@ -1,7 +1,6 @@
package com.seaofnodes.simple;
import com.seaofnodes.simple.evaluator.Evaluator;
-import com.seaofnodes.simple.node.StopNode;
import org.junit.Test;
import static org.junit.Assert.assertEquals;
import static org.junit.Assert.fail;
@@ -9,18 +8,18 @@ import static org.junit.Assert.fail;
public class Chapter13Test {
@Test
public void testJig() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return 3.14;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3.14;", stop.toString());
- assertEquals(3.14, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3.14;", code._stop.toString());
+ assertEquals(3.14, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testLinkedList0() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct LLI { LLI? next; int i; };
LLI? !head = null;
@@ -33,13 +32,13 @@ while( arg ) {
}
return head.next.i;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Might be null accessing 'i'",e.getMessage()); }
}
@Test
public void testLinkedList1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct LLI { LLI? next; int i; };
LLI? !head = null;
@@ -55,14 +54,14 @@ LLI? next = head.next;
if( next==null ) return 1;
return next.i;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("Stop[ return 0; return 1; return .i; ]", stop.toString());
- assertEquals(2L, Evaluator.evaluate(stop, 3));
+ code.parse().opto();
+ assertEquals("return Phi(Region,0,1,.i);", code._stop.toString());
+ assertEquals(2L, Evaluator.evaluate(code._stop, 3));
}
@Test
public void testCoRecur() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct int0 { int i; flt0? f; };
struct flt0 { flt f; int0? i; };
@@ -74,98 +73,98 @@ i0.f = f0;
f0.i = i0;
return f0.i.f.i.i;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 17;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 17;", code._stop.toString());
}
@Test
public void testNullRef0() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct N { N? next; int i; };
N n = new N;
return n.next;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return null;", stop.toString());
+ code.parse().opto();
+ assertEquals("return null;", code._stop.toString());
}
@Test
public void testNullRef1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct M { int m; };
struct N { M next; int i; };
N n = new N { next = new M; };
return n.next;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (const)M;", stop.toString());
+ code.parse().opto();
+ assertEquals("return (const)M;", code._stop.toString());
}
@Test
public void testNullRef2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct M { int m; };
struct N { M next; int i; };
N n = new N { next = null; }
return n.next;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Type null is not of declared type *M",e.getMessage()); }
}
@Test
public void testNullRef3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct N { N? next; int i; };
N !n = new N;
n.i = 3.14;
return n.i;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Type 3.14 is not of declared type int",e.getMessage()); }
}
@Test
public void testEmpty() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S{};
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testForwardRef0() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S1 { S2? s; };
return new S2;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Unknown struct type 'S2'",e.getMessage()); }
}
@Test
public void testForwardRef1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S1 { S2? s; };
struct S2 { int x; };
return new S1.s=new S2;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return S2;", stop.toString());
+ code.parse().opto();
+ assertEquals("return S2;", code._stop.toString());
}
@Test
public void testcheckNull() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct I {int i;};
struct P { I? pi; };
@@ -176,7 +175,7 @@ p2.pi.i = 2;
if (arg) p1 = new P;
return p1.pi.i + 1;
""");
- try { parser.parse(false).iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Might be null accessing 'i'",e.getMessage()); }
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter14Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter14Test.java
index f4e35fe5..41fb546d 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter14Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter14Test.java
@@ -11,18 +11,18 @@ public class Chapter14Test {
@Test
public void testJig() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return 3.14;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3.14;", stop.toString());
- assertEquals(3.14, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3.14;", code._stop.toString());
+ assertEquals(3.14, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testRange() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int b;
if( arg ) b=1; else b=0;
@@ -31,157 +31,157 @@ if( b < 0 ) c = -1;
if( b > 2 ) c = 1;
return c;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 99;", stop.toString());
- assertEquals(99L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 99;", code._stop.toString());
+ assertEquals(99L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testU8() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
u8 b = 123;
b = b + 456;// Truncate
return b;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 67;", stop.toString());
- assertEquals(67L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 67;", code._stop.toString());
+ assertEquals(67L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testU8While() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
u8 b = 123;
while( b ) b = b + 456;// Truncate
return b;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testU1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
bool b = 123;
b = b + 456;// Truncate
u1 c = b; // No more truncate needed
return c;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testAnd() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int b = 123;
b = b+456 & 31; // Precedence
return b;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3;", stop.toString());
- assertEquals(3L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3;", code._stop.toString());
+ assertEquals(3L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testRefLoad() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct Foo { u1 b; };
Foo !f = new Foo;
f.b = 123;
return f.b;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testSigned() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
i8 b = 255; // Chopped
return b; // Sign extend
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return -1;", stop.toString());
- assertEquals(-1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return -1;", code._stop.toString());
+ assertEquals(-1L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testI8() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
i8 b = arg;
b = b + 1;// Truncate
return b;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (((((arg<<56)>>56)+1)<<56)>>56);", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
- assertEquals(-128L, Evaluator.evaluate(stop, 127));
+ code.parse().opto();
+ assertEquals("return (((((arg<<56)>>56)+1)<<56)>>56);", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
+ assertEquals(-128L, Evaluator.evaluate(code._stop, 127));
}
@Test
public void testMask() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
u16 mask = (1<<16)-1; // AND mask
int c = 123456789 & mask;
return c; //
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 52501;", stop.toString());
- assertEquals(52501L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 52501;", code._stop.toString());
+ assertEquals(52501L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testOr() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return (arg | 123 ^ 456) >>> 1;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (((arg|123)^456)>>>1);", stop.toString());
- assertEquals(217L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return (((arg|123)^456)>>>1);", code._stop.toString());
+ assertEquals(217L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testMaskFloat() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
flt f = arg;
arg = f & 1;
return arg;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Cannot '&' flt",e.getMessage()); }
}
@Test
public void testCloneAnd() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int v0=0;
u32 v1 = 1&(1<<arg)&(1<<arg);
while(arg) v1=-v0;
while(v1) break;
return v1;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (Phi(Loop,((1<<arg)&1),0)&Phi(Loop,Shl,4294967295));", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return (Phi(Loop,((1<<arg)&1),0)&Phi(Loop,Shl,4294967295));", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testAndHigh() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int v0=0;
if(0&0>>>0) {
while(0) {
@@ -193,14 +193,14 @@ if(0&0>>>0) {
}
return v0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testTypes() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
i8 xi8 = 123456789; if( xi8 != 21 ) return -8;
i16 xi16 = 123456789; if( xi16 != -13035 ) return -16;
@@ -219,9 +219,9 @@ f32 ff32 = 3.141592653589793; if( ff32 != 3.1415927410125732) return 5;
return 0;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter15Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter15Test.java
index e7dec389..fc9624d8 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter15Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter15Test.java
@@ -9,32 +9,32 @@ public class Chapter15Test {
@Test
public void testJig() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return 3.14;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3.14;", stop.toString());
- assertEquals(3.14, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3.14;", code._stop.toString());
+ assertEquals(3.14, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testCyclic() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct C { C? l; };
C !c = new C;
c.l = c;
return c;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return C;", stop.toString());
- assertEquals("Obj<C>@1{l=obj@1}", Evaluator.evaluate(stop, 0).toString());
+ code.parse().opto();
+ assertEquals("return C;", code._stop.toString());
+ assertEquals("Obj<C>@1{l=obj@1}", Evaluator.evaluate(code._stop, 0).toString());
}
@Test
public void testSafetyCheck() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
u8[] old = new u8[0];
u8[] !output = new u8[1];
@@ -46,66 +46,66 @@ while (i < old#) {
output[i] = 1;
return output;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return [u8];", stop.toString());
- assertEquals("\u0001", Evaluator.evaluate(stop, 0).toString());
+ code.parse().opto();
+ assertEquals("return [u8];", code._stop.toString());
+ assertEquals("\u0001", Evaluator.evaluate(code._stop, 0).toString());
}
@Test
public void testBasic1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int[] is = new int[2];
return is[1];
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testBasic2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int[] is = new int[2];
int[] is2 = new int[2];
return is[1];
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testBasic3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int[] !a = new int[2];
a[0] = 1;
a[1] = 2;
return a[0];
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testBasic4() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct A { int i; };
A?[] !a = new A?[2];
return a;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return [*A?];", stop.toString());
- assertEquals("Obj<[*A?]>{#=2,[]=[null,null]}", Evaluator.evaluate(stop, 0).toString());
+ code.parse().opto();
+ assertEquals("return [*A?];", code._stop.toString());
+ assertEquals("Obj<[*A?]>{#=2,[]=[null,null]}", Evaluator.evaluate(code._stop, 0).toString());
}
@Test
public void testBasic5() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int x; flt y; };
// A new S
@@ -127,15 +127,15 @@ else {
}
return rez;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,1.2,Phi(Region,2.3,3.14));", stop.toString());
- assertEquals(3.14, Evaluator.evaluate(stop, 0));
- assertEquals(1.2 , Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return Phi(Region,1.2,Phi(Region,2.3,3.14));", code._stop.toString());
+ assertEquals(3.14, Evaluator.evaluate(code._stop, 0));
+ assertEquals(1.2 , Evaluator.evaluate(code._stop, 1));
}
@Test
public void testBasic6() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int x; flt y; };
// A new S
@@ -153,13 +153,13 @@ if( iss[arg] )
rez = iss[arg][2].y;
return rez;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Might be null accessing 'y'",e.getMessage()); }
}
@Test
public void testTree() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
// Can we define a forward-reference array?
struct Tree { Tree?[]? _kids; };
@@ -168,25 +168,25 @@ root._kids = new Tree?[2]; // NO BANG SO ARRAY IS OF IMMUTABLE TREES????
root._kids[0] = new Tree;
return root;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Tree;", stop.toString());
- assertEquals("Obj<Tree>{_kids=Obj<[*Tree?]>{#=2,[]=[Obj<Tree>{_kids=null},null]}}", Evaluator.evaluate(stop, 0).toString());
+ code.parse().opto();
+ assertEquals("return Tree;", code._stop.toString());
+ assertEquals("Obj<Tree>{_kids=Obj<[*Tree?]>{#=2,[]=[Obj<Tree>{_kids=null},null]}}", Evaluator.evaluate(code._stop, 0).toString());
}
@Test
public void testNestedStructAddMemProj() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S { int a; int[] b; };
return 0;
""");
- StopNode stop = parser.parse();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testRollingSum() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int[] !ary = new int[arg];
// Fill [0,1,2,3,4,...]
@@ -203,14 +203,14 @@ while( i < ary# - 1 ) {
}
return ary[1] * 1000 + ary[3]; // 1 * 1000 + 6
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (.[]+(.[]*1000));", stop.toString());
- assertEquals(1006L, Evaluator.evaluate(stop, 4));
+ code.parse().opto();
+ assertEquals("return (.[]+(.[]*1000));", code._stop.toString());
+ assertEquals(1006L, Evaluator.evaluate(code._stop, 4));
}
@Test
public void sieveOEratosthenes() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int[] !ary = new int[arg], !primes = new int[arg];
int nprimes = 0, p=2;
@@ -244,9 +244,9 @@ while( j < nprimes ) {
}
return rez;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return [int];", stop.toString());
- Evaluator.Obj obj = (Evaluator.Obj)Evaluator.evaluate(stop, 20);
+ code.parse().opto();
+ assertEquals("return [int];", code._stop.toString());
+ Evaluator.Obj obj = (Evaluator.Obj)Evaluator.evaluate(code._stop, 20);
assertEquals("[int] {int #; int ![]; }",obj.struct().toString());
long nprimes = (Long)obj.fields()[0];
long[] primes = new long[]{2,3,5,7,11,13,17,19};
@@ -256,7 +256,7 @@ return rez;
@Test
public void testNewNodeInit() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct S {int i; flt f;};
S !s1 = new S;
@@ -266,62 +266,62 @@ s2.f = 2.0;
if (arg) s1 = new S;
return s1.i + s1.f;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return ((flt).i+.f);", stop.toString());
- assertEquals(0.0, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return ((flt).i+.f);", code._stop.toString());
+ assertEquals(0.0, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testBad0() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return new flt;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Cannot allocate a flt",e.getMessage()); }
}
@Test
public void testBad1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int is = new int[2];
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Type *[int] is not of declared type int",e.getMessage()); }
}
@Test
public void testBad2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int[] is = new int[3.14];
return is[1];
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Cannot allocate an array with length 3.14",e.getMessage()); }
}
@Test
public void testBad3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int[] is = new int[arg];
return is[1];
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 4));
- try { Evaluator.evaluate(stop,0); }
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 4));
+ try { Evaluator.evaluate(code._stop,0); }
catch( ArrayIndexOutOfBoundsException e ) { assertEquals("Array index 1 out of bounds for array length 0",e.getMessage()); }
- try { Evaluator.evaluate(stop,-1); }
+ try { Evaluator.evaluate(code._stop,-1); }
catch( NegativeArraySizeException e ) { assertEquals("-1",e.getMessage()); }
}
@Test
public void testProgress() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
i8 v1=0&0;
u8 v2=0;
byte v4=0;
@@ -340,14 +340,14 @@ while(v5+(0&0)) {
}
return v1;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testSharpNot() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
if(0>>0) {}
while(0) {}
@@ -355,14 +355,14 @@ u32 v7=0;
int v8=0;
while(0<--1>>>---(v7*0==v8)) {}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
@Test
public void testProgress2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
if(1) {}
else {
@@ -379,7 +379,7 @@ else {
}
}
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter16Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter16Test.java
index 5450824a..255a721a 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter16Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter16Test.java
@@ -10,180 +10,180 @@ public class Chapter16Test {
@Test
public void testJig() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
return 3.14;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3.14;", stop.toString());
- assertEquals(3.14, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3.14;", code._stop.toString());
+ assertEquals(3.14, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testMulti0() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int x, y;
return x+y;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testMulti1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int x=2, y=x+1;
return x+y;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 5;", stop.toString());
- assertEquals(5L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 5;", code._stop.toString());
+ assertEquals(5L, Evaluator.evaluate(code._stop, 0));
}
// @Test
// public void testFinal0() {
-// Parser parser = new Parser(
+// CodeGen code = new CodeGen(
//"""
//int !x=2;
//x=3;
//return x;
//""");
-// try { parser.parse().iterate(); fail(); }
+// try { code.parse().opto(); fail(); }
// catch( Exception e ) { assertEquals("Cannot reassign final 'x'",e.getMessage()); }
// }
@Test
public void testFinal1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int x=2, y=3;
if( arg ) { int x = y; x = x*x; y=x; } // Shadow final x
return y;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,9,3);", stop.toString());
- assertEquals(3L, Evaluator.evaluate(stop, 0));
- assertEquals(9L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return Phi(Region,9,3);", code._stop.toString());
+ assertEquals(3L, Evaluator.evaluate(code._stop, 0));
+ assertEquals(9L, Evaluator.evaluate(code._stop, 1));
}
@Test
public void testConstruct0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct X { int x=3; };
X z = new X;
return z.x;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3;", stop.toString());
- assertEquals(3L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3;", code._stop.toString());
+ assertEquals(3L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testConstruct1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct X { int !x; };
X z = new X { x=3; };
return z.x;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3;", stop.toString());
- assertEquals(3L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 3;", code._stop.toString());
+ assertEquals(3L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testConstruct2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct X { int x=3; };
X z = new X { x = 4; };
return z.x;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 4;", stop.toString());
- assertEquals(4L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 4;", code._stop.toString());
+ assertEquals(4L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testStructFinal0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Point { int !x, !y; };
Point p = new Point { x=3; y=4; };
return p;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (const)Point;", stop.toString());
- assertEquals("Obj<Point>{x=3,y=4}", Evaluator.evaluate(stop, 0).toString());
+ code.parse().opto();
+ assertEquals("return (const)Point;", code._stop.toString());
+ assertEquals("Obj<Point>{x=3,y=4}", Evaluator.evaluate(code._stop, 0).toString());
}
@Test
public void testStructFinal1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Point { int x=3, y=4; };
Point p = new Point { x=5; y=6; };
p.x++;
return p;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Cannot modify final field 'x'",e.getMessage()); }
}
@Test
public void testStructFinal2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Point { int x=3, y=4; };
Point p = new Point;
p.x++;
return p;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Cannot modify final field 'x'",e.getMessage()); }
}
@Test
public void testStructFinal3() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Point { var x; var y; };
Point p = new Point;
p.x++;
return p;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("'Point' is not fully initialized, field 'x' needs to be set in a constructor",e.getMessage()); }
}
@Test
public void testStructFinal4() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Point { val x=3; val y=4; };
Point p = new Point;
p.x++;
return p;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Cannot reassign final 'x'",e.getMessage()); }
}
@Test
public void testStructFinal5() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Point { var x=3; var y=4; };
Point !p = new Point;
p.x++;
return p;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Point;", stop.toString());
- assertEquals("Obj<Point>{x=4,y=4}", Evaluator.evaluate(stop, 0).toString());
+ code.parse().opto();
+ assertEquals("return Point;", code._stop.toString());
+ assertEquals("Obj<Point>{x=4,y=4}", Evaluator.evaluate(code._stop, 0).toString());
}
// Same as the Chapter13 test with the same name, but using the new
// constructor syntax
@Test
public void testLinkedList1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct LLI { LLI? next; int i; };
LLI? !head = null;
@@ -196,16 +196,16 @@ LLI? next = head.next;
if( !next ) return 1;
return next.i;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("Stop[ return 0; return 1; return .i; ]", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
- assertEquals(1L, Evaluator.evaluate(stop, 1));
- assertEquals(2L, Evaluator.evaluate(stop, 3));
+ code.parse().opto();
+ assertEquals("return Phi(Region,0,1,.i);", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
+ assertEquals(1L, Evaluator.evaluate(code._stop, 1));
+ assertEquals(2L, Evaluator.evaluate(code._stop, 3));
}
@Test
public void testLinkedList2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct LLI { LLI? next; int i; };
LLI? !head = null;
@@ -227,16 +227,16 @@ LLI? next = head.next;
if( !next ) return 1;
return next.i;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("Stop[ return 0; return 1; return .i; ]", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
- assertEquals(1L, Evaluator.evaluate(stop, 1));
- assertEquals(2L, Evaluator.evaluate(stop, 11));
+ code.parse().opto();
+ assertEquals("return Phi(Region,0,1,.i);", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
+ assertEquals(1L, Evaluator.evaluate(code._stop, 1));
+ assertEquals(2L, Evaluator.evaluate(code._stop, 11));
}
@Test
public void testSquare() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
struct Square {
flt !side = arg;
@@ -252,9 +252,9 @@ struct Square {
};
return new Square;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Square;", stop.toString());
- assertEquals("Obj<Square>{side=3.0,diag=1.7320508075688772}", Evaluator.evaluate(stop, 3).toString());
- assertEquals("Obj<Square>{side=4.0,diag=2.0}", Evaluator.evaluate(stop, 4).toString());
+ code.parse().opto();
+ assertEquals("return Square;", code._stop.toString());
+ assertEquals("Obj<Square>{side=3.0,diag=1.7320508075688772}", Evaluator.evaluate(code._stop, 3).toString());
+ assertEquals("Obj<Square>{side=4.0,diag=2.0}", Evaluator.evaluate(code._stop, 4).toString());
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter17Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter17Test.java
index 9a2676d3..06eb150d 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter17Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter17Test.java
@@ -11,187 +11,187 @@ public class Chapter17Test {
@Test
public void testJig() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int i = 0;
i=i=1;
return i;
//return 3.14;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
// ---------------------------------------------------------------
@Test
public void testInc0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
return arg++;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return arg;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return arg;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testInc1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
return arg+++arg++;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return ((arg*2)+1);", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return ((arg*2)+1);", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testInc2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
// -(arg--)-(arg--)
return -arg---arg--;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (-((arg*2)+-1));", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return (-((arg*2)+-1));", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testInc3() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int[] !xs = new int[arg];
xs[0]++;
xs[1]++;
return xs[0];
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 2));
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 2));
}
@Test
public void testInc4() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
u8[] !xs = new u8[1];
xs[0]--;
return xs[0];
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 255;", stop.toString());
- assertEquals(255L, Evaluator.evaluate(stop, 2));
+ code.parse().opto();
+ assertEquals("return 255;", code._stop.toString());
+ assertEquals(255L, Evaluator.evaluate(code._stop, 2));
}
@Test
public void testInc5() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct S { u16 x; };
S !s = new S;
s.x--;
return s.x;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 65535;", stop.toString());
- assertEquals(65535L, Evaluator.evaluate(stop, 2));
+ code.parse().opto();
+ assertEquals("return 65535;", code._stop.toString());
+ assertEquals(65535L, Evaluator.evaluate(code._stop, 2));
}
@Test
public void testInc6() {
- Parser parser = new Parser("return --arg;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (arg+-1);", stop.toString());
- assertEquals(-1L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("return --arg;");
+ code.parse().opto();
+ assertEquals("return (arg+-1);", code._stop.toString());
+ assertEquals(-1L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testInc7() {
- Parser parser = new Parser("u8 x=0; return --x;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 255;", stop.toString());
- assertEquals(255L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("u8 x=0; return --x;");
+ code.parse().opto();
+ assertEquals("return 255;", code._stop.toString());
+ assertEquals(255L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testInc8() {
- Parser parser = new Parser("int x; x+=2; return x+=3;");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 5;", stop.toString());
- assertEquals(5L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("int x; x+=2; return x+=3;");
+ code.parse().opto();
+ assertEquals("return 5;", code._stop.toString());
+ assertEquals(5L, Evaluator.evaluate(code._stop, 0));
}
// ---------------------------------------------------------------
@Test public void testVar0() {
- Parser parser = new Parser("var d; return d;");
- try { parser.parse().iterate(); fail(); }
+ CodeGen code = new CodeGen("var d; return d;");
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Syntax error, expected =expression: ;",e.getMessage()); }
}
@Test public void testVar1() {
- Parser parser = new Parser("val d; return d;");
- try { parser.parse().iterate(); fail(); }
+ CodeGen code = new CodeGen("val d; return d;");
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Syntax error, expected =expression: ;",e.getMessage()); }
}
@Test public void testVar2() {
- Parser parser = new Parser("int x; x=3; x++; return x; // Ok, no initializer so x is mutable ");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 4;", stop.toString());
- assertEquals(4L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("int x; x=3; x++; return x; // Ok, no initializer so x is mutable ");
+ code.parse().opto();
+ assertEquals("return 4;", code._stop.toString());
+ assertEquals(4L, Evaluator.evaluate(code._stop, 0));
}
@Test public void testVar3() {
- Parser parser = new Parser("int x=3; x++; return x; // Ok, primitive so x is mutable despite initializer ");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 4;", stop.toString());
- assertEquals(4L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("int x=3; x++; return x; // Ok, primitive so x is mutable despite initializer ");
+ code.parse().opto();
+ assertEquals("return 4;", code._stop.toString());
+ assertEquals(4L, Evaluator.evaluate(code._stop, 0));
}
@Test public void testVar4() {
- Parser parser = new Parser("struct S{int x;}; S s; s=new S; s.x++; return s.x; // Ok, no initializer so x is mutable ");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("struct S{int x;}; S s; s=new S; s.x++; return s.x; // Ok, no initializer so x is mutable ");
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test public void testVar5() {
- Parser parser = new Parser("struct S{int x;}; S s; s=new S{x=3;}; s.x++; return s.x; // Ok, no initializer so x is mutable ");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 4;", stop.toString());
- assertEquals(4L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("struct S{int x;}; S s; s=new S{x=3;}; s.x++; return s.x; // Ok, no initializer so x is mutable ");
+ code.parse().opto();
+ assertEquals("return 4;", code._stop.toString());
+ assertEquals(4L, Evaluator.evaluate(code._stop, 0));
}
@Test public void testVar6() {
- Parser parser = new Parser("struct S{int x;}; S s=new S; s.x++; return s.x; // Error initializer so x is immutable ");
- try { parser.parse().iterate(); fail(); }
+ CodeGen code = new CodeGen("struct S{int x;}; S s=new S; s.x++; return s.x; // Error initializer so x is immutable ");
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Cannot modify final field 'x'",e.getMessage()); }
}
@Test public void testVar7() {
- Parser parser = new Parser("struct S{int x;}; S s=new S{x=3;}; s.x++; return s.x; // Error initializer so x is immutable ");
- try { parser.parse().iterate(); fail(); }
+ CodeGen code = new CodeGen("struct S{int x;}; S s=new S{x=3;}; s.x++; return s.x; // Error initializer so x is immutable ");
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Cannot modify final field 'x'",e.getMessage()); }
}
@Test public void testVar8() {
- Parser parser = new Parser("struct S{int x;}; S !s=new S; s.x++; return s.x; // Ok, has '!' so s.x is mutable ");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("struct S{int x;}; S !s=new S; s.x++; return s.x; // Ok, has '!' so s.x is mutable ");
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test public void testVar9() {
- Parser parser = new Parser("struct S{int x;}; var s=new S; s.x++; return s.x; // Ok, has var so s.x is mutable ");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 1;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ CodeGen code = new CodeGen("struct S{int x;}; var s=new S; s.x++; return s.x; // Ok, has var so s.x is mutable ");
+ code.parse().opto();
+ assertEquals("return 1;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
@Test public void testVar10() {
- Parser parser = new Parser("struct S{int x;}; val s=new S; s.x++; return s.x; // Error, has val so x is immutable ");
- try { parser.parse().iterate(); fail(); }
+ CodeGen code = new CodeGen("struct S{int x;}; val s=new S; s.x++; return s.x; // Error, has val so x is immutable ");
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Cannot modify final field 'x'",e.getMessage()); }
}
@Test public void testVar11() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int x; };
Bar !bar = new Bar;
bar.x = 3; // Ok, bar is mutable
@@ -204,12 +204,12 @@ foo.bar.x++; // Ok foo and foo.bar and foo.bar.x are all mutable
val xfoo = foo; // Throw away mutability
xfoo.bar.x++; // Error, cannot mutate through xfoo
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto().typeCheck(); fail(); }
catch( Exception e ) { assertEquals("Cannot modify final field 'x'",e.getMessage()); }
}
@Test public void testVar12() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int x; };
Bar !bar = new Bar;
bar.x = 3; // Ok, bar is mutable
@@ -225,24 +225,24 @@ foo.bar.x++; // Bumps to 5
int x5 = xfoo.bar.x; // Ok to read through xfoo, gets 5
return x4*10+x5;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 45;", stop.toString());
- assertEquals(45L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 45;", code._stop.toString());
+ assertEquals(45L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testVar13() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int i,i++;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Redefining name 'i'",e.getMessage()); }
}
@Test
public void testVar14() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct B {};
struct A { B b; };
A x = new A {
@@ -250,127 +250,127 @@ A x = new A {
b = new B;
};
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Cannot read uninitialized field 'b'",e.getMessage()); }
}
@Test
public void testVar15() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct B {};
struct A { B b; };
return new A {
if (arg) b = new B; // Constructor ends with partial init of b
}.b;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("'A' is not fully initialized, field 'b' needs to be set in a constructor",e.getMessage()); }
}
// ---------------------------------------------------------------
@Test
public void testTrinary0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
return arg ? 1 : 2;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,1,2);", stop.toString());
- assertEquals(2L, Evaluator.evaluate(stop, 0));
- assertEquals(1L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return Phi(Region,1,2);", code._stop.toString());
+ assertEquals(2L, Evaluator.evaluate(code._stop, 0));
+ assertEquals(1L, Evaluator.evaluate(code._stop, 1));
}
@Test
public void testTrinary1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
return arg ? 0 : arg;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 0;", stop.toString());
- assertEquals(0L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
@Test
public void testTrinary2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int x; };
var b = arg ? new Bar : null;
return b ? b.x++ + b.x++ : -1;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,1,-1);", stop.toString());
- assertEquals(-1L, Evaluator.evaluate(stop, 0));
- assertEquals( 1L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return Phi(Region,1,-1);", code._stop.toString());
+ assertEquals(-1L, Evaluator.evaluate(code._stop, 0));
+ assertEquals( 1L, Evaluator.evaluate(code._stop, 1));
}
@Test
public void testTrinary3() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { int x; };
var b = arg ? new Bar;
return b ? b.x++ + b.x++ : -1;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,1,-1);", stop.toString());
- assertEquals(-1L, Evaluator.evaluate(stop, 0));
- assertEquals( 1L, Evaluator.evaluate(stop, 1));
+ code.parse().opto();
+ assertEquals("return Phi(Region,1,-1);", code._stop.toString());
+ assertEquals(-1L, Evaluator.evaluate(code._stop, 0));
+ assertEquals( 1L, Evaluator.evaluate(code._stop, 1));
}
@Test
public void testTrinary4() {
// This test case will benefit from an unzipping transformation
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct Bar { Bar? next; int x; };
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"
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,Phi(Region,.x,.x),0);", stop.toString());
- assertEquals( 0L, Evaluator.evaluate(stop, 0));
- assertEquals( 1L, Evaluator.evaluate(stop, 1));
- assertEquals( 2L, Evaluator.evaluate(stop, 2));
+ code.parse().opto();
+ assertEquals("return Phi(Region,Phi(Region,.x,.x),0);", code._stop.toString());
+ assertEquals( 0L, Evaluator.evaluate(code._stop, 0));
+ assertEquals( 1L, Evaluator.evaluate(code._stop, 1));
+ assertEquals( 2L, Evaluator.evaluate(code._stop, 2));
}
@Test
public void testTrinary5() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
flt f=arg?1:1.2;
return f; // missing widening
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Region,1.0f,1.2);", stop.toString());
- assertEquals(1.2, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return Phi(Region,1.0f,1.2);", code._stop.toString());
+ assertEquals(1.2, Evaluator.evaluate(code._stop, 0));
}
// ---------------------------------------------------------------
@Test
public void testFor0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int sum=0;
for( int i=0; i<arg; i++ )
sum += i;
return sum;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,(Phi_sum+Phi(Loop,0,(Phi_i+1))));", stop.toString());
- assertEquals(3L, Evaluator.evaluate(stop, 3));
- assertEquals(45L, Evaluator.evaluate(stop, 10));
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,(Phi_sum+Phi(Loop,0,(Phi_i+1))));", code._stop.toString());
+ assertEquals(3L, Evaluator.evaluate(code._stop, 3));
+ assertEquals(45L, Evaluator.evaluate(code._stop, 10));
}
@Test
public void testFor1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int sum=0, i=0;
for( ; i<arg; i++ )
sum += i;
return sum;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,(Phi_sum+Phi(Loop,0,(Phi_i+1))));", stop.toString());
- assertEquals(3L, Evaluator.evaluate(stop, 3));
- assertEquals(45L, Evaluator.evaluate(stop, 10));
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,(Phi_sum+Phi(Loop,0,(Phi_i+1))));", code._stop.toString());
+ assertEquals(3L, Evaluator.evaluate(code._stop, 3));
+ assertEquals(45L, Evaluator.evaluate(code._stop, 10));
}
@Test
public void testFor2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int sum=0;
for( int i=0; ; i++ ) {
if( i>=arg ) break;
@@ -378,41 +378,41 @@ for( int i=0; ; i++ ) {
}
return sum;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,(Phi_sum+Phi(Loop,0,(Phi_i+1))));", stop.toString());
- assertEquals(3L, Evaluator.evaluate(stop, 3));
- assertEquals(45L, Evaluator.evaluate(stop, 10));
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,(Phi_sum+Phi(Loop,0,(Phi_i+1))));", code._stop.toString());
+ assertEquals(3L, Evaluator.evaluate(code._stop, 3));
+ assertEquals(45L, Evaluator.evaluate(code._stop, 10));
}
@Test
public void testFor3() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int sum=0;
for( int i=0; i<arg; )
sum += i++;
return sum;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,(Phi_sum+Phi(Loop,0,(Phi_i+1))));", stop.toString());
- assertEquals(3L, Evaluator.evaluate(stop, 3));
- assertEquals(45L, Evaluator.evaluate(stop, 10));
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,(Phi_sum+Phi(Loop,0,(Phi_i+1))));", code._stop.toString());
+ assertEquals(3L, Evaluator.evaluate(code._stop, 3));
+ assertEquals(45L, Evaluator.evaluate(code._stop, 10));
}
@Test
public void testFor4() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int sum=0;
for( int i=0; i<arg; i++ )
sum += i;
return i;
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Undefined name 'i'",e.getMessage()); }
}
@Test
public void testFor5() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
for(;;arg++;) {}
""");
- try { parser.parse().iterate(); fail(); }
+ try { code.parse().opto(); fail(); }
catch( Exception e ) { assertEquals("Syntax error, expected Unexpected code after expression: ;",e.getMessage()); }
}
@@ -421,36 +421,36 @@ for(;;arg++;) {}
// ---------------------------------------------------------------
@Test
public void testForward0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct A{
B? f1;
B? f2;
};
return new A;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return A;", stop.toString());
- assertEquals("Obj<A>{f1=null,f2=null}", Evaluator.evaluate(stop).toString());
+ code.parse().opto();
+ assertEquals("return A;", code._stop.toString());
+ assertEquals("Obj<A>{f1=null,f2=null}", Evaluator.evaluate(code._stop).toString());
}
@Test
public void testForward1() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct A{
B?[]? nil_array_of_b;
B?[] not_array_of_b = new B?[0];
};
return new A.not_array_of_b;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return (const)[*B?];", stop.toString());
- assertEquals("Obj<[*B?]>{#=0,[]=[]}", Evaluator.evaluate(stop).toString());
+ code.parse().opto();
+ assertEquals("return (const)[*B?];", code._stop.toString());
+ assertEquals("Obj<[*B?]>{#=0,[]=[]}", Evaluator.evaluate(code._stop).toString());
}
// ---------------------------------------------------------------
@Test
public void testLinkedList2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct LLI { LLI? next; int i; };
LLI? !head = null;
while( arg-- )
@@ -461,14 +461,14 @@ for( ; ptr; ptr = ptr.next )
sum += ptr.i;
return sum;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return Phi(Loop,0,(Phi_sum+.i));", stop.toString());
- assertEquals(45L, Evaluator.evaluate(stop, 10));
+ code.parse().opto();
+ assertEquals("return Phi(Loop,0,(Phi_sum+.i));", code._stop.toString());
+ assertEquals(45L, Evaluator.evaluate(code._stop, 10));
}
@Test
public void sieveOfEratosthenes() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
var ary = new bool[arg], primes = new int[arg];
var nprimes=0, p=0;
@@ -492,9 +492,9 @@ for( int j=0; j<nprimes; j++ )
rez[j] = primes[j];
return rez;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return [int];", stop.toString());
- Evaluator.Obj obj = (Evaluator.Obj)Evaluator.evaluate(stop, 20);
+ code.parse().opto();
+ assertEquals("return [int];", code._stop.toString());
+ Evaluator.Obj obj = (Evaluator.Obj)Evaluator.evaluate(code._stop, 20);
assertEquals("[int] {int #; int ![]; }",obj.struct().toString());
long nprimes = (Long)obj.fields()[0];
long[] primes = new long[]{2,3,5,7,11,13,17,19};
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java
index 369a0c39..938feab0 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java
@@ -11,39 +11,41 @@ public class Chapter18Test {
@Test
public void testJig() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
-return 3.14;
+0 ;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return 3.14;", stop.toString());
- assertEquals(3.14, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return 0;", code._stop.toString());
+ assertEquals(0L, Evaluator.evaluate(code._stop, 0));
}
+ /*
+ */
// ---------------------------------------------------------------
@Test
public void testType0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
{int -> int}? x2 = null; // null function ptr
return x2;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return null;", stop.toString());
- assertNull( Evaluator.evaluate( stop, 0 ) );
+ code.parse().opto();
+ assertEquals("return null;", code._stop.toString());
+ assertNull( Evaluator.evaluate( code._stop, 0 ) );
}
@Ignore @Test
public void testFcn0() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
{int -> int}? sq = { int x ->
x*x
};
return sq;
""");
- StopNode stop = parser.parse().iterate();
- assertEquals("return fcn;", stop.toString());
- assertEquals(1L, Evaluator.evaluate(stop, 0));
+ code.parse().opto();
+ assertEquals("return fcn;", code._stop.toString());
+ assertEquals(1L, Evaluator.evaluate(code._stop, 0));
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/SchedulerTest.java b/chapter18/src/test/java/com/seaofnodes/simple/SchedulerTest.java
index c67217af..e869e133 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/SchedulerTest.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/SchedulerTest.java
@@ -20,7 +20,7 @@ public class SchedulerTest {
@Test
@Ignore
public void testJig() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct S {
int f;
}
@@ -31,14 +31,14 @@ if (arg) v.f=1;
return i;
""");
StopNode._disablePeephole = true;
- StopNode stop = parser.parse();//.iterate();
- var eval = new Evaluator(stop);
+ code.parse();//.opto();
+ var eval = new Evaluator(code._stop);
assertEquals(2L, eval.evaluate(1, 10));
}
@Test
public void testStoreInIf() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct S {
int f;
};
@@ -46,15 +46,15 @@ S !v0=new S;
if(arg) v0.f=1;
return v0;
""");
- StopNode stop = parser.parse().iterate();
- var eval = new Evaluator(stop);
+ code.parse().opto();
+ var eval = new Evaluator(code._stop);
assertObj(eval.evaluate(0, 10), "S", 0L);
assertObj(eval.evaluate(1, 10), "S", 1L);
}
@Test
public void testStoreInIf2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
struct S {
int f;
};
@@ -65,8 +65,8 @@ i=v.f;
if (arg) v.f=1;
return i;
""");
- StopNode stop = parser.parse().iterate();
- var eval = new Evaluator(stop);
+ code.parse().opto();
+ var eval = new Evaluator(code._stop);
assertEquals(2L, eval.evaluate(0, 10));
assertEquals(2L, eval.evaluate(1, 10));
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java b/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java
index 6a1d737d..effd5db5 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java
@@ -3,7 +3,6 @@ package com.seaofnodes.simple;
import com.seaofnodes.simple.type.*;
import org.junit.Assert;
import org.junit.Test;
-import static org.junit.Assert.assertEquals;
import static org.junit.Assert.assertSame;
public class TypeTest {
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java b/chapter18/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java
index ac442585..ab413ed2 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java
@@ -310,6 +310,7 @@ public class Evaluator {
case ProjNode proj -> ((Object[])val( proj.in(0) ))[ proj._idx];
case ScopeMinNode mem -> null;
case ReadOnlyNode ro -> val(ro.in(1));
+ case CallNode call -> Utils.TODO(); // should not reach here, go the IfNode route
default -> throw new AssertionError("Unexpected node " + node);
};
}
@@ -329,31 +330,31 @@ public class Evaluator {
for(; i<block.nodes().length;i++) values[block.nodes()[i]._nid] = exec(block.nodes()[i]);
i=0;
switch (block.exit()) {
- case null:
- return Status.FALLTHROUGH;
- case ReturnNode ret:
- return val(ret.in(1));
- case IfNode ifn:
- block = block.next()[isTrue(val(ifn.in(1))) ? 0 : 1];
- if (block == null) return Status.FALLTHROUGH;
- break;
- case RegionNode region:
- if (loops-- <= 0) return Status.TIMEOUT;
- int exit = block.exitId();
- assert exit > 0 && region.nIns() > exit;
- block = block.next()[0];
- assert block != null;
- for (; i < block.nodes().length; i++) {
- if (!(block.nodes()[i] instanceof PhiNode)) break;
- phiCache.add(val(block.nodes()[i].in(exit)));
- }
- for (i=0; i<phiCache.size(); i++) {
- values[block.nodes()[i]._nid] = phiCache.get(i);
- }
- phiCache.clear();
- break;
- default:
- throw Utils.TODO("Unexpected control node " + block.exit());
+ case null:
+ return Status.FALLTHROUGH;
+ case ReturnNode ret : return val(ret .expr());
+ case StopNode stop: return val(stop.expr());
+ case IfNode ifn:
+ block = block.next()[isTrue(val(ifn.in(1))) ? 0 : 1];
+ if (block == null) return Status.FALLTHROUGH;
+ break;
+ case RegionNode region:
+ if (loops-- <= 0) return Status.TIMEOUT;
+ int exit = block.exitId();
+ assert exit > 0 && region.nIns() > exit;
+ block = block.next()[0];
+ assert block != null;
+ for (; i < block.nodes().length; i++) {
+ if (!(block.nodes()[i] instanceof PhiNode)) break;
+ phiCache.add(val(block.nodes()[i].in(exit)));
+ }
+ for (i=0; i<phiCache.size(); i++) {
+ values[block.nodes()[i]._nid] = phiCache.get(i);
+ }
+ phiCache.clear();
+ break;
+ default:
+ throw Utils.TODO("Unexpected control node " + block.exit());
}
}
}
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/evaluator/Scheduler.java b/chapter18/src/test/java/com/seaofnodes/simple/evaluator/Scheduler.java
index 06169e2c..8b13f12f 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/evaluator/Scheduler.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/evaluator/Scheduler.java
@@ -363,30 +363,21 @@ public class Scheduler {
var data = queue.pop();
var node = data.node;
assert node instanceof CFGNode;
- BasicBlock block;
- switch (node) {
- case StartNode s:
- block = new BasicBlock(s, depth++);
- break;
- case LoopNode l:
- block = new BasicBlock(l, depth++, d(l.in(1)).block);
- break;
- case RegionNode r:
+ BasicBlock block = switch (node) {
+ case StartNode s -> new BasicBlock(s, depth++);
+ case LoopNode l -> new BasicBlock(l, depth++, d(l.in(1)).block);
+ case RegionNode r -> {
var prev = new ArrayList<BasicBlock>();
for(int i=1; i<r.nIns(); i++) {
od(r.in(i)).ifPresent(d->prev.add(d.block));
}
- block = new BasicBlock(r, depth++, prev.toArray(BasicBlock[]::new));
- break;
- case IfNode i:
- block = d(i.in(0)).block;
- break;
- case ReturnNode r:
- block = d(r.in(0)).block;
- break;
- default:
- block = new BasicBlock(node, depth++, d(node.in(0)).block);
+ yield new BasicBlock(r, depth++, prev.toArray(BasicBlock[]::new));
}
+ case IfNode i -> d(i.in(0)).block;
+ case ReturnNode ret -> d(ret .in(0)).block;
+ case StopNode stop -> d(stop.in(0)).block;
+ default -> new BasicBlock(node, depth++, d(node.in(0)).block);
+ };
data.block = block;
if (node instanceof RegionNode r) {
// Regions might have phis which need to be scheduled.
@@ -401,7 +392,7 @@ public class Scheduler {
}
}
}
- if (!(node instanceof ReturnNode))
+ if( !(node instanceof ReturnNode) && !(node instanceof StopNode) )
for (Node n : node._outputs)
if(n instanceof CFGNode && isCFGNodeReady(n) && d(n).block == null)
queue.push(d(n));
@@ -449,7 +440,7 @@ public class Scheduler {
var data = cfgQueue.pop();
node = data.node;
assert node instanceof CFGNode;
- if (!(node instanceof ReturnNode)) {
+ if (!(node instanceof ReturnNode) && !(node instanceof StopNode) ) {
for (var out : node._outputs) if (out!=null && out instanceof CFGNode && isNotXCtrl(out)) markAlive(cfgQueue, out, true);
}
for (var in : node._inputs) if(in!=null && !(in instanceof CFGNode) && isNotXCtrl(in)) markAlive(dataQueue, in, false);
@@ -506,6 +497,9 @@ public class Scheduler {
for(var n:node._outputs) if (n instanceof CProjNode p && p._idx==0) return p;
return null;
}
+ // From start, a Call, or one of many functions
+ if( node instanceof CProjNode c && c.in(0) instanceof StartNode )
+ return c.out(0);
assert node._outputs.stream().filter(x -> x instanceof CFGNode).limit(2).count()<=1;
for(var n:node._outputs) if(n instanceof CFGNode) return n;
return null;
@@ -550,6 +544,7 @@ public class Scheduler {
break;
}
if (last instanceof ReturnNode) break;
+ if( last instanceof StopNode ) break;
if (last instanceof IfNode if_) {
for(var out:if_._outputs) if (out instanceof CFGNode && blocks.get(out) == null) queue.push(d(out));
break;
@@ -561,7 +556,8 @@ public class Scheduler {
case null -> new Block(arr, null, -1, new Block[0]);
case IfNode i -> new Block(arr, i, -1, new Block[2]);
case RegionNode r -> new Block(arr, r, r._inputs.find(prev), new Block[1]);
- case ReturnNode r -> new Block(arr, r, -1, new Block[0]);
+ case ReturnNode r -> new Block(arr, r , -1, new Block[0]);
+ case StopNode stop-> new Block(arr, stop, -1, new Block[0]);
default -> throw new AssertionError("Unexpected block exit node");
});
}
@@ -576,7 +572,7 @@ public class Scheduler {
block.next[0] = blocks.get(r);
break;
default:
- assert block.exit instanceof ReturnNode;
+ assert block.exit instanceof ReturnNode || block.exit instanceof StopNode;
}
}
// And return the block for the start node.
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/fuzzer/Fuzzer.java b/chapter18/src/test/java/com/seaofnodes/simple/fuzzer/Fuzzer.java
index e86fb7b8..6f5307bc 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/fuzzer/Fuzzer.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/fuzzer/Fuzzer.java
@@ -1,10 +1,9 @@
package com.seaofnodes.simple.fuzzer;
-import com.seaofnodes.simple.Parser;
+import com.seaofnodes.simple.CodeGen;
import com.seaofnodes.simple.evaluator.Evaluator;
import com.seaofnodes.simple.node.Node;
import com.seaofnodes.simple.node.StopNode;
-
import java.util.ArrayList;
import java.util.Objects;
import java.util.Random;
@@ -137,9 +136,9 @@ public class Fuzzer {
var sb = new StringBuilder();
new ScriptGenerator(rand, sb, true).genProgram();
try {
- var parser = new Parser(sb.toString());
+ var code = new CodeGen(sb.toString());
- var stop = parser.parse();
+ code.parse();
int parse_peeps= Node.ITER_CNT;
int parse_nops = Node.ITER_NOP_CNT;
double parse_nop_ratio = (double)parse_nops/parse_peeps;
@@ -148,7 +147,7 @@ public class Fuzzer {
double parse_peeps_per_node = (double)parse_peeps/nids;
- stop.iterate();
+ code.opto();
int iter_peeps= Node.ITER_CNT;
int iter_nops = Node.ITER_NOP_CNT;
double iter_nop_ratio = (double)iter_nops/iter_peeps;
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/fuzzer/FuzzerUtils.java b/chapter18/src/test/java/com/seaofnodes/simple/fuzzer/FuzzerUtils.java
index 18ef069a..1efe270c 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/fuzzer/FuzzerUtils.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/fuzzer/FuzzerUtils.java
@@ -1,10 +1,10 @@
package com.seaofnodes.simple.fuzzer;
+import com.seaofnodes.simple.CodeGen;
import com.seaofnodes.simple.IterPeeps;
import com.seaofnodes.simple.Parser;
import com.seaofnodes.simple.node.Node;
import com.seaofnodes.simple.node.StopNode;
-
import java.io.OutputStream;
import java.io.PrintStream;
import java.lang.invoke.MethodHandle;
@@ -126,10 +126,10 @@ class FuzzerUtils {
} catch (Throwable e) {
throw rethrow(e);
}
- var parser = new Parser(script);
+ var code = new CodeGen(script);
Node._disablePeephole = !runPeeps;
- var stop = parser.parse();
- return runPeeps ? stop.iterate() : stop;
+ code.parse();
+ return runPeeps ? code.opto().typeCheck().codegen()._stop : code._stop;
} finally {
NodeWalkVisit.clear();
System.setErr(err);