Move to existing test files

WebAssembly · Apr 25, 2023 · 9f16cd1 · 9f16cd1
1 parent 9e9756e
commit 9f16cd1
Show file tree

Hide file tree

Showing 3 changed files with 61 additions and 65 deletions.
diff --git a/test/core/try-br-interactions.wast b/test/core/try-br-interactions.wast
diff --git a/test/core/try_catch.wast b/test/core/try_catch.wast
@@ -147,6 +147,16 @@
       (catch $e0 (i32.const 1))
     )
   )
+
+  (func $throw (throw $e0))
+
+  (func (export "break-try-catch")
+    (try (do (br 0)) (catch $e0))
+  )
+
+  (func (export "break-try-catch_all")
+    (try (do (br 0)) (catch_all))
+  )
 )
 
 (assert_return (invoke "empty-catch"))
@@ -188,6 +198,10 @@
 (assert_return (invoke "catchless-try" (i32.const 0)) (i32.const 0))
 (assert_return (invoke "catchless-try" (i32.const 1)) (i32.const 1))
 
+(assert_return (invoke "break-try-catch"))
+(assert_return (invoke "break-try-catch_all"))
+
+
 (module
   (func $imported-throw (import "test" "throw"))
   (tag $e0)

diff --git a/test/core/try_delegate.wast b/test/core/try_delegate.wast
@@ -115,6 +115,48 @@
                          (delegate $l3))))
           unreachable)
       (catch_all (i32.const 1))))
+
+  (func $throw (throw $e0))
+
+  (func (export "break-try-delegate")
+    (try (do (br 0)) (delegate 0))
+  )
+
+  (func (export "break-and-call-throw") (result i32)
+    (try $outer (result i32)
+      (do
+        (try (result i32)
+          (do
+            (block $a
+              (try (do (br $a)) (delegate $outer))
+            )
+            (call $throw)
+            (i32.const 0)
+          )
+          (catch $e0 (i32.const 1))
+        )
+      )
+      (catch $e0 (i32.const 2))
+    )
+  )
+
+  (func (export "break-and-throw") (result i32)
+    (try $outer (result i32)
+      (do
+        (try (result i32)
+          (do
+            (block $a
+              (try (do (br $a)) (delegate $outer))
+            )
+            (throw $e0)
+            (i32.const 0)
+          )
+          (catch $e0 (i32.const 1))
+        )
+      )
+      (catch $e0 (i32.const 2))
+    )
+  )
 )
 
 (assert_return (invoke "delegate-no-throw") (i32.const 1))
@@ -140,6 +182,11 @@
 
 (assert_return (invoke "delegate-correct-targets") (i32.const 1))
 
+(assert_return (invoke "break-try-delegate"))
+
+(assert_return (invoke "break-and-call-throw") (i32.const 1))
+(assert_return (invoke "break-and-throw") (i32.const 1))
+
 (assert_malformed
   (module quote "(module (func (delegate 0)))")
   "unexpected token"