blob: 4ab0708c4c20bad0e41b43f85a5f7fb75d8195f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; Test that we do not emit an invalid (ref exn) when exceptions are enabled
;; but not GC. GC is required for us to be non-nullable.
;; RUN: wasm-opt %s --enable-reference-types --enable-exception-handling --disable-gc --roundtrip -S -o - | filecheck %s
(module
;; CHECK: (func $test (result exnref)
;; CHECK-NEXT: (block $label$1 (result exnref)
;; CHECK-NEXT: (try_table (catch_all_ref $label$1)
;; CHECK-NEXT: (unreachable)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $test (result exnref)
;; It is valid to write (ref exn) in Binaryen IR, and internally that is how
;; we represent things, but when we emit the binary we emit a nullable type,
;; so after the roundtrip we are less refined.
(block $label (result (ref exn))
(try_table (catch_all_ref $label)
(unreachable)
)
)
)
)
|
