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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
(module
(type $t (func (result i32)))
(func $nn (param $r (ref $t)) (result i32)
(block $l
(return (call_ref $t (br_on_null $l (local.get $r))))
)
(i32.const -1)
)
(func $n (param $r (ref null $t)) (result i32)
(block $l
(return (call_ref $t (br_on_null $l (local.get $r))))
)
(i32.const -1)
)
(func $f (result i32) (i32.const 7))
(func (export "nullable-null") (result i32) (call $n (ref.null $t)))
(func (export "nonnullable-f") (result i32) (call $nn (ref.func $f)))
(func (export "nullable-f") (result i32) (call $n (ref.func $f)))
(func (export "unreachable") (result i32)
(block $l
(return (call_ref $t (br_on_null $l (unreachable))))
)
(i32.const -1)
)
)
(assert_trap (invoke "unreachable") "unreachable")
(assert_return (invoke "nullable-null") (i32.const -1))
(assert_return (invoke "nonnullable-f") (i32.const 7))
(assert_return (invoke "nullable-f") (i32.const 7))
(module
(type $t (func))
(func (param $r (ref $t)) (drop (br_on_null 0 (local.get $r))))
(func (param $r (ref func)) (drop (br_on_null 0 (local.get $r))))
(func (param $r (ref extern)) (drop (br_on_null 0 (local.get $r))))
)
(assert_invalid
;; the same module as the first one in this file, but with a type added to
;; the block
(module
(type $t (func (result i32)))
(func $nn (param $r (ref $t)) (result i32)
(block $l (ref null $t) ;; br_on_null sends no value; a br to here is bad
(return (call_ref $t (br_on_null $l (local.get $r))))
)
(i32.const -1)
)
)
"bad break type"
)
|
