diff options
Diffstat (limited to 'test/lit')
| -rw-r--r-- | test/lit/passes/optimize-instructions-exceptions.wast | 2 | ||||
| -rw-r--r-- | test/lit/passes/poppify.wast | 38 |
2 files changed, 38 insertions, 2 deletions
diff --git a/test/lit/passes/optimize-instructions-exceptions.wast b/test/lit/passes/optimize-instructions-exceptions.wast index e2b60e0f1..9d22224fb 100644 --- a/test/lit/passes/optimize-instructions-exceptions.wast +++ b/test/lit/passes/optimize-instructions-exceptions.wast @@ -5,7 +5,7 @@ (module ;; CHECK: (func $test ;; CHECK-NEXT: (if - ;; CHECK-NEXT: (try (result i32) + ;; CHECK-NEXT: (try $try (result i32) ;; CHECK-NEXT: (do ;; CHECK-NEXT: (i32.const 123) ;; CHECK-NEXT: ) diff --git a/test/lit/passes/poppify.wast b/test/lit/passes/poppify.wast index 1b9ba1fb3..bc88dd878 100644 --- a/test/lit/passes/poppify.wast +++ b/test/lit/passes/poppify.wast @@ -178,7 +178,7 @@ ) ;; CHECK: (func $try-catch (result i32) - ;; CHECK-NEXT: (try (result i32) + ;; CHECK-NEXT: (try $try (result i32) ;; CHECK-NEXT: (do ;; CHECK-NEXT: (i32.const 0) ;; CHECK-NEXT: (throw $e @@ -208,6 +208,42 @@ ) ) + ;; CHECK: (func $try-delegate (result i32) + ;; CHECK-NEXT: (try $l0 (result i32) + ;; CHECK-NEXT: (do + ;; CHECK-NEXT: (try $try + ;; CHECK-NEXT: (do + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (throw $e + ;; CHECK-NEXT: (pop i32) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (delegate $l0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (catch $e + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $try-delegate (result i32) + (try $l0 i32 + (do + (try + (do + (throw $e + (i32.const 0) + ) + ) + (delegate $l0) + ) + ) + (catch $e + (pop i32) + ) + ) + ) + ;; CHECK: (func $tuple (result i32 i64) ;; CHECK-NEXT: (i32.const 0) ;; CHECK-NEXT: (i64.const 1) |