summaryrefslogtreecommitdiff
path: root/src/test/java/com/seaofnodes/simple/Chapter06Test.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/java/com/seaofnodes/simple/Chapter06Test.java')
-rw-r--r--src/test/java/com/seaofnodes/simple/Chapter06Test.java116
1 files changed, 62 insertions, 54 deletions
diff --git a/src/test/java/com/seaofnodes/simple/Chapter06Test.java b/src/test/java/com/seaofnodes/simple/Chapter06Test.java
index 50c0580d..2107cdb0 100644
--- a/src/test/java/com/seaofnodes/simple/Chapter06Test.java
+++ b/src/test/java/com/seaofnodes/simple/Chapter06Test.java
@@ -10,32 +10,31 @@ 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.print());
+ assertTrue(code.ctrl() instanceof FunNode);
}
@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.print());
}
@Test
public void testPeepholeCFG() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( true )
@@ -44,14 +43,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.print());
+ assertTrue(code.ctrl() instanceof FunNode);
}
@Test
public void testIfIf() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg!=1 )
@@ -63,14 +62,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.print());
}
@Test
public void testIfArgIf() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( 1==1 )
@@ -82,15 +82,16 @@ 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.print());
}
@Test
public void testMerge3With2() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
+arg=2;
int a=1;
if( arg==1 )
if( arg==2 )
@@ -103,14 +104,15 @@ else
a=5;
return a;
""", TypeInteger.constant(2));
- StopNode stop = parser.parse();
- assertEquals("return 5;", stop.toString());
+ code.parse().opto();
+ assertEquals("return 5;", code.print());
}
@Test
public void testMerge3With1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
+arg=1;
int a=1;
if( arg==1 )
if( arg==2 )
@@ -123,13 +125,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.print());
}
@Test
public void testMerge3Peephole() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
int a=1;
if( arg==1 )
@@ -142,15 +144,16 @@ 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.print());
}
@Test
public void testMerge3Peephole1() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
+arg=1;
int a=1;
if( arg==1 )
if( 1==2 )
@@ -163,14 +166,15 @@ 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.print());
}
@Test
public void testMerge3Peephole3() {
- Parser parser = new Parser(
+ CodeGen code = new CodeGen(
"""
+arg=3;
int a=1;
if( arg==1 )
if( 1==2 )
@@ -183,13 +187,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.print());
}
@Test
public void testDemo1NonConst() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 0;
int b = 1;
if( arg ) {
@@ -199,14 +203,15 @@ 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.print());
}
@Test
public void testDemo1True() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
+arg=1;
int a = 0;
int b = 1;
if( arg ) {
@@ -216,13 +221,14 @@ 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.print());
}
@Test
public void testDemo1False() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
+arg=0;
int a = 0;
int b = 1;
if( arg ) {
@@ -232,13 +238,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.print());
}
@Test
public void testDemo2NonConst() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
int a = 0;
int b = 1;
int c = 0;
@@ -250,14 +256,15 @@ 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.print());
}
@Test
public void testDemo2True() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
+arg=1;
int a = 0;
int b = 1;
int c = 0;
@@ -269,13 +276,14 @@ 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.print());
}
@Test
public void testDemo2arg2() {
- Parser parser = new Parser("""
+ CodeGen code = new CodeGen("""
+arg=2;
int a = 0;
int b = 1;
int c = 0;
@@ -287,8 +295,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.print());
}
}
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-15 13:51:19 +0000