summaryrefslogtreecommitdiff
path: root/test/passes/remove-unused-names_optimize-instructions_all-features.wast
diff options
context:
space:
mode:
authorHeejin Ahn <aheejin@gmail.com>2020-05-11 10:51:07 -0700
committerGitHub <noreply@github.com>2020-05-11 10:51:07 -0700
commit3de8c98b682e1347e5c50c58eaddc4b01f3e26ab (patch)
treec068fef90f72839106f6f15f48f34c12d526ef99 /test/passes/remove-unused-names_optimize-instructions_all-features.wast
parent91ec2ee5bedefc4736fcda78ae39298846aeeb41 (diff)
downloadbinaryen-3de8c98b682e1347e5c50c58eaddc4b01f3e26ab.tar.gz
binaryen-3de8c98b682e1347e5c50c58eaddc4b01f3e26ab.tar.bz2
binaryen-3de8c98b682e1347e5c50c58eaddc4b01f3e26ab.zip
Make try body start with 'do' (#2846)
In WebAssembly/exception-handling#52, We decided to put `try` bodies in a `do` clause to be more consistent with `catch`. - Before ```wast (try ... (catch ... ) ) ``` - After ```wast (try (do ... ) (catch ... ) ) ``` Another upside of this change is when there are multiple instructions within a `try` body, we no longer need to wrap them in a `block`.
Diffstat (limited to 'test/passes/remove-unused-names_optimize-instructions_all-features.wast')
-rw-r--r--test/passes/remove-unused-names_optimize-instructions_all-features.wast14
1 files changed, 9 insertions, 5 deletions
diff --git a/test/passes/remove-unused-names_optimize-instructions_all-features.wast b/test/passes/remove-unused-names_optimize-instructions_all-features.wast
index bb8f90074..1c39a9d84 100644
--- a/test/passes/remove-unused-names_optimize-instructions_all-features.wast
+++ b/test/passes/remove-unused-names_optimize-instructions_all-features.wast
@@ -11,7 +11,9 @@
;; try - try body does not throw, can
(local.set $x0
(try (result i32)
- (i32.const 1)
+ (do
+ (i32.const 1)
+ )
(catch
(drop (exnref.pop))
(i32.const 3)
@@ -23,7 +25,7 @@
;; try - try body may throw, can't
(local.set $x1
(try (result i32)
- (block (result i32)
+ (do
(call $dummy)
(i32.const 1)
)
@@ -38,9 +40,11 @@
;; nested try - inner try may throw but will be caught by inner catch, can
(local.set $x2
(try (result i32)
- (block (result i32)
+ (do
(try
- (throw $e (i32.const 0))
+ (do
+ (throw $e (i32.const 0))
+ )
(catch
(drop (exnref.pop))
)
@@ -58,7 +62,7 @@
;; nested try - inner catch may throw, can't
(local.set $x3
(try (result i32)
- (block (result i32)
+ (do
(try
(catch
(drop (exnref.pop))