add test

anoma · Jun 26, 2024 · 914b685 · 914b685
1 parent 6342f46
commit 914b685
Show file tree

Hide file tree

Showing 3 changed files with 39 additions and 1 deletion.
diff --git a/test/Casm/Run/Positive.hs b/test/Casm/Run/Positive.hs
@@ -166,5 +166,13 @@ tests =
       $(mkRelDir ".")
       $(mkRelFile "test016.casm")
       $(mkRelFile "out/test016.out")
-      (Just $(mkRelFile "in/test016.json"))
+      (Just $(mkRelFile "in/test016.json")),
+    PosTest
+      "Test017: Peephole optimization"
+      True
+      True
+      $(mkRelDir ".")
+      $(mkRelFile "test017.casm")
+      $(mkRelFile "out/test017.out")
+      Nothing
   ]
diff --git a/tests/Casm/positive/out/test017.out b/tests/Casm/positive/out/test017.out
@@ -0,0 +1 @@
+7
diff --git a/tests/Casm/positive/test017.casm b/tests/Casm/positive/test017.casm
@@ -0,0 +1,29 @@
+-- peephole optimization
+
+call main
+jmp end
+
+main:
+jmp lab_1
+lab_1:
+nop
+nop
+jmp lab_2
+nop
+nop
+lab_2:
+call rel 3
+ret
+nop
+jmp lab_3
+lab_4:
+[ap] = 7; ap++
+call rel 3
+ret
+nop
+[ap] = [fp - 3]; ap++
+ret
+lab_3:
+jmp lab_4
+
+end: