some test cases for try-catch

Author: butterunderflow

benchmarks/wasm/trycatch/throw_twice.wat

@@ -0,0 +1,38 @@
+;; kept in delimited continuation example
+(module
+  ;; output: 1, 2, 6, 2, 3, 4, 4, 5
+  (type (;0;) (func (param i32)))
+  (type (;1;) (func))
+  (import "console" "log" (func (;0;) (type 0)))
+  (func (;1;) (type 1)
+    (local i32)
+    try
+      i32.const 1
+      call 0
+      block
+        block
+          i32.const 42
+          ;; [42]
+          throw
+          i32.const 6
+          call 0
+          i32.const 42
+          ;; [42]
+          throw
+        end
+      end
+      i32.const 3
+      call 0
+    catch
+      ;; [42, resume]
+      i32.const 2
+      call 0
+      drop
+      resume0
+      i32.const 4
+      call 0
+    end
+    i32.const 5
+    call 0
+    )
+  (start 1))

benchmarks/wasm/trycatch/throw_twice2.wat

@@ -0,0 +1,38 @@
+;; pushed to meta continuation example
+(module
+  ;; output: 1, 2, 6, 2, 3, 4, 5
+  (type (;0;) (func (param i32)))
+  (type (;1;) (func))
+  (import "console" "log" (func (;0;) (type 0)))
+  (func (;1;) (type 1)
+    (local i32)
+    try
+      i32.const 1
+      call 0
+      block
+        block
+          i32.const 42
+          ;; [42]
+          throw
+        end
+        i32.const 6
+        call 0
+        i32.const 42
+        ;; [42]
+        throw
+      end
+      i32.const 3
+      call 0
+    catch
+      ;; [42, resume]
+      i32.const 2
+      call 0
+      drop
+      resume0
+      i32.const 4   ;; |---> adk
+      call 0        ;; |
+    end
+    i32.const 5
+    call 0
+    )
+  (start 1))

benchmarks/wasm/trycatch/try_catch_br3.wat

@@ -0,0 +1,35 @@
+;; ignored example
+(module
+  ;; output: 1, 2, 3, 5
+  ;;         4 is not printed, because the delimited continuation is dropped by break instruction
+  (type (;0;) (func (param i32)))
+  (type (;1;) (func))
+  (import "console" "log" (func (;0;) (type 0)))
+  (func (;1;) (type 1)
+    (local i32)
+    try
+      i32.const 1
+      call 0
+      block
+        block
+          i32.const 42
+          ;; [42]
+          throw
+          br 0
+        end
+      end
+      i32.const 3
+      call 0
+    catch
+      ;; [42, resume]
+      i32.const 2
+      call 0
+      drop
+      resume0
+      i32.const 4
+      call 0
+    end
+    i32.const 5
+    call 0
+    )
+  (start 1))

src/test/scala/genwasym/TestFx.scala

@@ -144,4 +144,16 @@ class TestFx extends FunSuite {
   }
   */
 
+  test("try-catch-throw-twice") {
+    testFileOutput("./benchmarks/wasm/trycatch/throw_twice.wat", List(1, 2, 6, 2, 3, 4, 4, 5))
+  }
+
+  test("try-catch-throw-twice2") {
+    testFileOutput("./benchmarks/wasm/trycatch/throw_twice2.wat", List(1, 2, 6, 2, 3, 4, 4, 5))
+  }
+
+  test("try-catch-br3") {
+    testFileOutput("./benchmarks/wasm/trycatch/try_catch_br3.wat", List(1, 2, 3, 5))
+  }
+
 }