blob: b7ebabfdb1a82fa69bdf5778e809d03554210375 (
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
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
59
60
61
62
63
|
(module
;; Check that both sides of the select are evaluated
(func (export "select-trap-left") (param $cond i32) (result i32)
(select (unreachable) (i32.const 0) (local.get $cond))
)
(func (export "select-trap-right") (param $cond i32) (result i32)
(select (i32.const 0) (unreachable) (local.get $cond))
)
(func (export "select-unreached")
(unreachable) (select)
(unreachable) (i32.const 0) (select)
(unreachable) (i32.const 0) (i32.const 0) (select)
(unreachable) (i32.const 0) (i32.const 0) (i32.const 0) (select)
(unreachable) (f32.const 0) (i32.const 0) (select)
(unreachable)
)
(func (export "select_unreached_result_1") (result i32)
(unreachable) (i32.add (select))
)
(func (export "select_unreached_result_2") (result i64)
(unreachable) (i64.add (select (i64.const 0) (i32.const 0)))
)
(func (export "unreachable-num")
(unreachable)
(select)
(i32.eqz)
(drop)
)
(func (export "unreachable-ref")
(unreachable)
(select)
(ref.is_null)
(drop)
)
)
(assert_trap (invoke "select-trap-left" (i32.const 1)) "unreachable")
(assert_trap (invoke "select-trap-left" (i32.const 0)) "unreachable")
(assert_trap (invoke "select-trap-right" (i32.const 1)) "unreachable")
(assert_trap (invoke "select-trap-right" (i32.const 0)) "unreachable")
;; Validation after unreachable
(module
(func (export "meet-bottom")
(block (result f64)
(block (result f32)
(unreachable)
(br_table 0 1 1 (i32.const 1))
)
(drop)
(f64.const 0)
)
(drop)
)
)
(assert_trap (invoke "meet-bottom") "unreachable")
|
