]>
Commit | Line | Data |
---|---|---|
abe05a73 XL |
1 | (module |
2 | (type $0 (func)) | |
3 | (memory $0 0) | |
4 | (func $contrast (; 0 ;) (type $0) | |
5 | (local $x i32) | |
6 | (local $y i32) | |
7 | (local $z i32) | |
8 | (local $a i32) | |
9 | (local $b i32) | |
10 | (nop) | |
11 | (if | |
12 | (tee_local $x | |
13 | (i32.const 1) | |
14 | ) | |
15 | (nop) | |
16 | ) | |
17 | (if | |
18 | (get_local $x) | |
19 | (nop) | |
20 | ) | |
21 | (nop) | |
22 | (drop | |
23 | (if (result i32) | |
24 | (i32.const 2) | |
25 | (i32.const 3) | |
26 | (i32.const 4) | |
27 | ) | |
28 | ) | |
29 | (nop) | |
30 | (drop | |
31 | (block $block (result i32) | |
32 | (i32.const 5) | |
33 | ) | |
34 | ) | |
35 | (if | |
36 | (i32.const 6) | |
37 | (set_local $a | |
38 | (i32.const 7) | |
39 | ) | |
40 | (set_local $a | |
41 | (i32.const 8) | |
42 | ) | |
43 | ) | |
44 | (drop | |
45 | (get_local $a) | |
46 | ) | |
47 | (block $val | |
48 | (if | |
49 | (i32.const 10) | |
50 | (block $block4 | |
51 | (set_local $b | |
52 | (i32.const 11) | |
53 | ) | |
54 | (br $val) | |
55 | ) | |
56 | ) | |
57 | (set_local $b | |
58 | (i32.const 12) | |
59 | ) | |
60 | ) | |
61 | (drop | |
62 | (get_local $b) | |
63 | ) | |
64 | ) | |
65 | (func $no-unreachable (; 1 ;) (type $0) | |
66 | (local $x i32) | |
67 | (unreachable) | |
68 | ) | |
69 | (func $implicit-trap-and-global-effects (; 2 ;) (type $0) | |
70 | (local $var$0 i32) | |
71 | (set_local $var$0 | |
72 | (i32.trunc_u/f64 | |
73 | (f64.const -nan:0xfffffffffffc3) | |
74 | ) | |
75 | ) | |
76 | (f32.store align=1 | |
77 | (i32.const 22) | |
78 | (f32.const 154) | |
79 | ) | |
80 | (drop | |
81 | (get_local $var$0) | |
82 | ) | |
83 | ) | |
84 | (func $implicit-trap-and-local-effects (; 3 ;) (type $0) | |
85 | (local $var$0 i32) | |
86 | (local $other i32) | |
87 | (nop) | |
88 | (set_local $other | |
89 | (i32.const 100) | |
90 | ) | |
91 | (drop | |
92 | (i32.trunc_u/f64 | |
93 | (f64.const -nan:0xfffffffffffc3) | |
94 | ) | |
95 | ) | |
96 | (if | |
97 | (i32.const 1) | |
98 | (drop | |
99 | (get_local $other) | |
100 | ) | |
101 | ) | |
102 | ) | |
103 | ) |