summaryrefslogtreecommitdiff
path: root/chapter18/src/test/java/com/seaofnodes
diff options
context:
space:
mode:
authorCliff Click <cliffc@acm.org>2024-12-03 13:51:58 -0800
committerCliff Click <cliffc@acm.org>2025-01-15 15:07:30 -0800
commit2136abe8071833fd072c4be13c885525b46f5320 (patch)
treedc3ff85a9cff2a505ea40b67e8a309017a80adc3 /chapter18/src/test/java/com/seaofnodes
parent61a06caa60b4c446f45dcb699a1546981413786d (diff)
downloadSimple-2136abe8071833fd072c4be13c885525b46f5320.tar.gz
Simple-2136abe8071833fd072c4be13c885525b46f5320.zip
Greatly improved JSViewer
Handle memory edges. Color-coded edges & nodes to match lattice. Add SB vs StringBuilder. JSViewer needs SB to keep my sanity. Catch successful peeps and `show` them. Drop unused LLVM format, so I don't need to support Yet Another Printer. SimpleWebSocket handles longer packets; more robust close. Bug fix st/new fold. Bug fix Phi pull-down op losing precision.
Diffstat (limited to 'chapter18/src/test/java/com/seaofnodes')
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java2
-rw-r--r--chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java2
2 files changed, 2 insertions, 2 deletions
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java b/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java
index 2c6cca8c..e39fc5d8 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/Chapter18Test.java
@@ -21,7 +21,7 @@ return 3.14;
// ---------------------------------------------------------------
- @Test
+ @Ignore @Test
public void testType0() {
Parser parser = new Parser("""
{int -> int}? x2 = null; // null function ptr
diff --git a/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java b/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java
index 1cb97cf6..61103f54 100644
--- a/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java
+++ b/chapter18/src/test/java/com/seaofnodes/simple/TypeTest.java
@@ -32,7 +32,7 @@ public class TypeTest {
Assert.assertNotEquals(m3, m4);
Assert.assertEquals(TypeStruct.BOT, s1.meet(s2));
- Assert.assertEquals(TypeMem.make(-1,TypeInteger.U16), m1.meet(m2));
+ Assert.assertEquals(TypeMem.make(0,TypeInteger.U16), m1.meet(m2));
Assert.assertEquals(TypeMem .BOT, m2.meet(m3));
Assert.assertEquals(TypeMem .BOT, m3.meet(m4));