Skip to content

Commit af545ea

Browse files
committed
Update wasm verification files to use try_table
1 parent 539120b commit af545ea

File tree

2 files changed

+15
-11
lines changed

2 files changed

+15
-11
lines changed

web-image/src/com.oracle.svm.hosted.webimage/src/com/oracle/svm/hosted/webimage/wasm/codegen/verify-wasm-as.wast

Lines changed: 14 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -23,19 +23,23 @@
2323

2424
(start $main)
2525
(func $main
26-
(try
27-
(do (call $throwB))
28-
(catch $tag0
29-
(drop (call $checkException))
30-
)
26+
(block $catchBlock (result (ref $A))
27+
(try_table
28+
(catch $tag0 $catchBlock)
29+
(call $throwB)
30+
(unreachable)
31+
)
3132
)
33+
(drop (call $checkException))
3234

33-
(try
34-
(do (call $throwC))
35-
(catch $tag0
36-
(drop (call $checkException))
37-
)
35+
(block $catchBlock (result (ref $A))
36+
(try_table
37+
(catch $tag0 $catchBlock)
38+
(call $throwC)
39+
(unreachable)
40+
)
3841
)
42+
(drop (call $checkException))
3943
)
4044

4145
(func $checkException (param $p0 (ref $A)) (result (ref null $A))

web-image/src/com.oracle.svm.hosted.webimage/src/com/oracle/svm/hosted/webimage/wasm/codegen/verify-wat2wasm.wast

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
(;
22
Wasm text file to verify the wat2wasm assembler works correctly.
33

4-
Uses features from the exception handling proposal
4+
Uses features from the legacy exception handling proposal
55
;)
66
(module
77
(tag $tag0 (param i32))

0 commit comments

Comments
 (0)