test/wasm2js/conversions-modified.wast

29 (assert_return (invoke "i64.extend_s_i32" (i32.const 0)) (i64.const 0))
30 (assert_return (invoke "i64.extend_s_i32" (i32.const 10000)) (i64.const 10000))
31 (assert_return (invoke "i64.extend_s_i32" (i32.const -10000)) (i64.const -10000))
32 (assert_return (invoke "i64.extend_s_i32" (i32.const -1)) (i64.const -1))
33 (assert_return (invoke "i64.extend_s_i32" (i32.const 0x7fffffff)) (i64.const 0x000000007fffffff))
34 (assert_return (invoke "i64.extend_s_i32" (i32.const 0x80000000)) (i64.const 0xffffffff80000000))
36 (assert_return (invoke "i64.extend_u_i32" (i32.const 0)) (i64.const 0))
37 (assert_return (invoke "i64.extend_u_i32" (i32.const 10000)) (i64.const 10000))
38 (assert_return (invoke "i64.extend_u_i32" (i32.const -10000)) (i64.const 0x00000000ffffd8f0))
39 (assert_return (invoke "i64.extend_u_i32" (i32.const -1)) (i64.const 0xffffffff))
40 (assert_return (invoke "i64.extend_u_i32" (i32.const 0x7fffffff)) (i64.const 0x000000007fffffff))
41 (assert_return (invoke "i64.extend_u_i32" (i32.const 0x80000000)) (i64.const 0x0000000080000000))
43 (assert_return (invoke "i32.wrap_i64" (i64.const -1)) (i32.const -1))
44 (assert_return (invoke "i32.wrap_i64" (i64.const -100000)) (i32.const -100000))
45 (assert_return (invoke "i32.wrap_i64" (i64.const 0x80000000)) (i32.const 0x80000000))
46 (assert_return (invoke "i32.wrap_i64" (i64.const 0xffffffff7fffffff)) (i32.const 0x7fffffff))
47 (assert_return (invoke "i32.wrap_i64" (i64.const 0xffffffff00000000)) (i32.const 0x00000000))
48 (assert_return (invoke "i32.wrap_i64" (i64.const 0xfffffffeffffffff)) (i32.const 0xffffffff))
49 (assert_return (invoke "i32.wrap_i64" (i64.const 0xffffffff00000001)) (i32.const 0x00000001))
50 (assert_return (invoke "i32.wrap_i64" (i64.const 0)) (i32.const 0))
51 (assert_return (invoke "i32.wrap_i64" (i64.const 1311768467463790320)) (i32.const 0x9abcdef0))
52 (assert_return (invoke "i32.wrap_i64" (i64.const 0x00000000ffffffff)) (i32.const 0xffffffff))
53 (assert_return (invoke "i32.wrap_i64" (i64.const 0x0000000100000000)) (i32.const 0x00000000))
54 (assert_return (invoke "i32.wrap_i64" (i64.const 0x0000000100000001)) (i32.const 0x00000001))
56 (assert_return (invoke "i32.trunc_s_f32" (f32.const 0.0)) (i32.const 0))
57 (assert_return (invoke "i32.trunc_s_f32" (f32.const -0.0)) (i32.const 0))
58 (assert_return (invoke "i32.trunc_s_f32" (f32.const 0x1p-149)) (i32.const 0))
59 (assert_return (invoke "i32.trunc_s_f32" (f32.const -0x1p-149)) (i32.const 0))
60 (assert_return (invoke "i32.trunc_s_f32" (f32.const 1.0)) (i32.const 1))
61 (assert_return (invoke "i32.trunc_s_f32" (f32.const 0x1.19999ap+0)) (i32.const 1))
62 (assert_return (invoke "i32.trunc_s_f32" (f32.const 1.5)) (i32.const 1))
63 (assert_return (invoke "i32.trunc_s_f32" (f32.const -1.0)) (i32.const -1))
64 (assert_return (invoke "i32.trunc_s_f32" (f32.const -0x1.19999ap+0)) (i32.const -1))
65 (assert_return (invoke "i32.trunc_s_f32" (f32.const -1.5)) (i32.const -1))
66 (assert_return (invoke "i32.trunc_s_f32" (f32.const -1.9)) (i32.const -1))
67 (assert_return (invoke "i32.trunc_s_f32" (f32.const -2.0)) (i32.const -2))
68 (assert_return (invoke "i32.trunc_s_f32" (f32.const 2147483520.0)) (i32.const 2147483520))
69 (assert_return (invoke "i32.trunc_s_f32" (f32.const -2147483648.0)) (i32.const -2147483648))
70 (assert_trap (invoke "i32.trunc_s_f32" (f32.const 2147483648.0)) "integer overflow")
71 (assert_trap (invoke "i32.trunc_s_f32" (f32.const -2147483904.0)) "integer overflow")
72 (assert_trap (invoke "i32.trunc_s_f32" (f32.const infinity)) "integer overflow")
73 (assert_trap (invoke "i32.trunc_s_f32" (f32.const -infinity)) "integer overflow")
74 (assert_trap (invoke "i32.trunc_s_f32" (f32.const nan)) "invalid conversion to integer")
76 (assert_return (invoke "i32.trunc_u_f32" (f32.const 0.0)) (i32.const 0))
77 (assert_return (invoke "i32.trunc_u_f32" (f32.const -0.0)) (i32.const 0))
78 (assert_return (invoke "i32.trunc_u_f32" (f32.const 0x1p-149)) (i32.const 0))
79 (assert_return (invoke "i32.trunc_u_f32" (f32.const -0x1p-149)) (i32.const 0))
80 (assert_return (invoke "i32.trunc_u_f32" (f32.const 1.0)) (i32.const 1))
81 (assert_return (invoke "i32.trunc_u_f32" (f32.const 0x1.19999ap+0)) (i32.const 1))
82 (assert_return (invoke "i32.trunc_u_f32" (f32.const 1.5)) (i32.const 1))
83 (assert_return (invoke "i32.trunc_u_f32" (f32.const 1.9)) (i32.const 1))
84 (assert_return (invoke "i32.trunc_u_f32" (f32.const 2.0)) (i32.const 2))
85 (assert_return (invoke "i32.trunc_u_f32" (f32.const 2147483648)) (i32.const -2147483648)) ;; 0x1.00…
86 (assert_return (invoke "i32.trunc_u_f32" (f32.const 4294967040.0)) (i32.const -256))
87 (assert_return (invoke "i32.trunc_u_f32" (f32.const -0x1.ccccccp-1)) (i32.const 0))
88 (assert_return (invoke "i32.trunc_u_f32" (f32.const -0x1.fffffep-1)) (i32.const 0))
89 (assert_trap (invoke "i32.trunc_u_f32" (f32.const 4294967296.0)) "integer overflow")
90 (assert_trap (invoke "i32.trunc_u_f32" (f32.const -1.0)) "integer overflow")
91 (assert_trap (invoke "i32.trunc_u_f32" (f32.const infinity)) "integer overflow")
92 (assert_trap (invoke "i32.trunc_u_f32" (f32.const -infinity)) "integer overflow")
93 (assert_trap (invoke "i32.trunc_u_f32" (f32.const nan)) "invalid conversion to integer")
95 (assert_return (invoke "i32.trunc_s_f64" (f64.const 0.0)) (i32.const 0))
96 (assert_return (invoke "i32.trunc_s_f64" (f64.const -0.0)) (i32.const 0))
97 (assert_return (invoke "i32.trunc_s_f64" (f64.const 0x0.0000000000001p-1022)) (i32.const 0))
98 (assert_return (invoke "i32.trunc_s_f64" (f64.const -0x0.0000000000001p-1022)) (i32.const 0))
99 (assert_return (invoke "i32.trunc_s_f64" (f64.const 1.0)) (i32.const 1))
100 (assert_return (invoke "i32.trunc_s_f64" (f64.const 0x1.199999999999ap+0)) (i32.const 1))
101 (assert_return (invoke "i32.trunc_s_f64" (f64.const 1.5)) (i32.const 1))
102 (assert_return (invoke "i32.trunc_s_f64" (f64.const -1.0)) (i32.const -1))
103 (assert_return (invoke "i32.trunc_s_f64" (f64.const -0x1.199999999999ap+0)) (i32.const -1))
104 (assert_return (invoke "i32.trunc_s_f64" (f64.const -1.5)) (i32.const -1))
105 (assert_return (invoke "i32.trunc_s_f64" (f64.const -1.9)) (i32.const -1))
106 (assert_return (invoke "i32.trunc_s_f64" (f64.const -2.0)) (i32.const -2))
107 (assert_return (invoke "i32.trunc_s_f64" (f64.const 2147483647.0)) (i32.const 2147483647))
108 (assert_return (invoke "i32.trunc_s_f64" (f64.const -2147483648.0)) (i32.const -2147483648))
109 (assert_trap (invoke "i32.trunc_s_f64" (f64.const 2147483648.0)) "integer overflow")
110 (assert_trap (invoke "i32.trunc_s_f64" (f64.const -2147483649.0)) "integer overflow")
111 (assert_trap (invoke "i32.trunc_s_f64" (f64.const infinity)) "integer overflow")
112 (assert_trap (invoke "i32.trunc_s_f64" (f64.const -infinity)) "integer overflow")
113 (assert_trap (invoke "i32.trunc_s_f64" (f64.const nan)) "invalid conversion to integer")
115 (assert_return (invoke "i32.trunc_u_f64" (f64.const 0.0)) (i32.const 0))
116 (assert_return (invoke "i32.trunc_u_f64" (f64.const -0.0)) (i32.const 0))
117 (assert_return (invoke "i32.trunc_u_f64" (f64.const 0x0.0000000000001p-1022)) (i32.const 0))
118 (assert_return (invoke "i32.trunc_u_f64" (f64.const -0x0.0000000000001p-1022)) (i32.const 0))
119 (assert_return (invoke "i32.trunc_u_f64" (f64.const 1.0)) (i32.const 1))
120 (assert_return (invoke "i32.trunc_u_f64" (f64.const 0x1.199999999999ap+0)) (i32.const 1))
121 (assert_return (invoke "i32.trunc_u_f64" (f64.const 1.5)) (i32.const 1))
122 (assert_return (invoke "i32.trunc_u_f64" (f64.const 1.9)) (i32.const 1))
123 (assert_return (invoke "i32.trunc_u_f64" (f64.const 2.0)) (i32.const 2))
124 (assert_return (invoke "i32.trunc_u_f64" (f64.const 2147483648)) (i32.const -2147483648)) ;; 0x1.00…
125 (assert_return (invoke "i32.trunc_u_f64" (f64.const 4294967295.0)) (i32.const -1))
126 (assert_return (invoke "i32.trunc_u_f64" (f64.const -0x1.ccccccccccccdp-1)) (i32.const 0))
127 (assert_return (invoke "i32.trunc_u_f64" (f64.const -0x1.fffffffffffffp-1)) (i32.const 0))
128 (assert_return (invoke "i32.trunc_u_f64" (f64.const 1e8)) (i32.const 100000000))
129 (assert_trap (invoke "i32.trunc_u_f64" (f64.const 4294967296.0)) "integer overflow")
130 (assert_trap (invoke "i32.trunc_u_f64" (f64.const -1.0)) "integer overflow")
131 (assert_trap (invoke "i32.trunc_u_f64" (f64.const 1e16)) "integer overflow")
132 (assert_trap (invoke "i32.trunc_u_f64" (f64.const 1e30)) "integer overflow")
133 (assert_trap (invoke "i32.trunc_u_f64" (f64.const 9223372036854775808)) "integer overflow")
134 (assert_trap (invoke "i32.trunc_u_f64" (f64.const infinity)) "integer overflow")
135 (assert_trap (invoke "i32.trunc_u_f64" (f64.const -infinity)) "integer overflow")
136 (assert_trap (invoke "i32.trunc_u_f64" (f64.const nan)) "invalid conversion to integer")
138 (assert_return (invoke "i64.trunc_s_f32" (f32.const 0.0)) (i64.const 0))
139 (assert_return (invoke "i64.trunc_s_f32" (f32.const -0.0)) (i64.const 0))
140 (assert_return (invoke "i64.trunc_s_f32" (f32.const 0x1p-149)) (i64.const 0))
141 (assert_return (invoke "i64.trunc_s_f32" (f32.const -0x1p-149)) (i64.const 0))
142 (assert_return (invoke "i64.trunc_s_f32" (f32.const 1.0)) (i64.const 1))
143 (assert_return (invoke "i64.trunc_s_f32" (f32.const 0x1.19999ap+0)) (i64.const 1))
144 (assert_return (invoke "i64.trunc_s_f32" (f32.const 1.5)) (i64.const 1))
145 (assert_return (invoke "i64.trunc_s_f32" (f32.const -1.0)) (i64.const -1))
146 (assert_return (invoke "i64.trunc_s_f32" (f32.const -0x1.19999ap+0)) (i64.const -1))
147 (assert_return (invoke "i64.trunc_s_f32" (f32.const -1.5)) (i64.const -1))
148 (assert_return (invoke "i64.trunc_s_f32" (f32.const -1.9)) (i64.const -1))
149 (assert_return (invoke "i64.trunc_s_f32" (f32.const -2.0)) (i64.const -2))
150 (assert_return (invoke "i64.trunc_s_f32" (f32.const 4294967296)) (i64.const 4294967296)) ;; 0x1.000…
151 (assert_return (invoke "i64.trunc_s_f32" (f32.const -4294967296)) (i64.const -4294967296)) ;; -0x1.…
152 (assert_return (invoke "i64.trunc_s_f32" (f32.const 9223371487098961920.0)) (i64.const 922337148709…
153 (assert_return (invoke "i64.trunc_s_f32" (f32.const -9223372036854775808.0)) (i64.const -9223372036…
154 (assert_trap (invoke "i64.trunc_s_f32" (f32.const 9223372036854775808.0)) "integer overflow")
155 (assert_trap (invoke "i64.trunc_s_f32" (f32.const -9223373136366403584.0)) "integer overflow")
156 (assert_trap (invoke "i64.trunc_s_f32" (f32.const infinity)) "integer overflow")
157 (assert_trap (invoke "i64.trunc_s_f32" (f32.const -infinity)) "integer overflow")
158 (assert_trap (invoke "i64.trunc_s_f32" (f32.const nan)) "invalid conversion to integer")
160 (assert_return (invoke "i64.trunc_u_f32" (f32.const 0.0)) (i64.const 0))
161 (assert_return (invoke "i64.trunc_u_f32" (f32.const -0.0)) (i64.const 0))
162 (assert_return (invoke "i64.trunc_u_f32" (f32.const 0x1p-149)) (i64.const 0))
163 (assert_return (invoke "i64.trunc_u_f32" (f32.const -0x1p-149)) (i64.const 0))
164 (assert_return (invoke "i64.trunc_u_f32" (f32.const 1.0)) (i64.const 1))
165 (assert_return (invoke "i64.trunc_u_f32" (f32.const 0x1.19999ap+0)) (i64.const 1))
166 (assert_return (invoke "i64.trunc_u_f32" (f32.const 1.5)) (i64.const 1))
167 (assert_return (invoke "i64.trunc_u_f32" (f32.const 4294967296)) (i64.const 4294967296))
168 (assert_return (invoke "i64.trunc_u_f32" (f32.const 18446742974197923840.0)) (i64.const -1099511627…
169 (assert_return (invoke "i64.trunc_u_f32" (f32.const -0x1.ccccccp-1)) (i64.const 0))
170 (assert_return (invoke "i64.trunc_u_f32" (f32.const -0x1.fffffep-1)) (i64.const 0))
171 (assert_trap (invoke "i64.trunc_u_f32" (f32.const 18446744073709551616.0)) "integer overflow")
172 (assert_trap (invoke "i64.trunc_u_f32" (f32.const -1.0)) "integer overflow")
173 (assert_trap (invoke "i64.trunc_u_f32" (f32.const infinity)) "integer overflow")
174 (assert_trap (invoke "i64.trunc_u_f32" (f32.const -infinity)) "integer overflow")
175 (assert_trap (invoke "i64.trunc_u_f32" (f32.const nan)) "invalid conversion to integer")
177 (assert_return (invoke "i64.trunc_s_f64" (f64.const 0.0)) (i64.const 0))
178 (assert_return (invoke "i64.trunc_s_f64" (f64.const -0.0)) (i64.const 0))
179 (assert_return (invoke "i64.trunc_s_f64" (f64.const 0x0.0000000000001p-1022)) (i64.const 0))
180 (assert_return (invoke "i64.trunc_s_f64" (f64.const -0x0.0000000000001p-1022)) (i64.const 0))
181 (assert_return (invoke "i64.trunc_s_f64" (f64.const 1.0)) (i64.const 1))
182 (assert_return (invoke "i64.trunc_s_f64" (f64.const 0x1.199999999999ap+0)) (i64.const 1))
183 (assert_return (invoke "i64.trunc_s_f64" (f64.const 1.5)) (i64.const 1))
184 (assert_return (invoke "i64.trunc_s_f64" (f64.const -1.0)) (i64.const -1))
185 (assert_return (invoke "i64.trunc_s_f64" (f64.const -0x1.199999999999ap+0)) (i64.const -1))
186 (assert_return (invoke "i64.trunc_s_f64" (f64.const -1.5)) (i64.const -1))
187 (assert_return (invoke "i64.trunc_s_f64" (f64.const -1.9)) (i64.const -1))
188 (assert_return (invoke "i64.trunc_s_f64" (f64.const -2.0)) (i64.const -2))
189 (assert_return (invoke "i64.trunc_s_f64" (f64.const 4294967296)) (i64.const 4294967296)) ;; 0x1.000…
190 (assert_return (invoke "i64.trunc_s_f64" (f64.const -4294967296)) (i64.const -4294967296)) ;; -0x1.…
191 (assert_return (invoke "i64.trunc_s_f64" (f64.const 9223372036854774784.0)) (i64.const 922337203685…
192 (assert_return (invoke "i64.trunc_s_f64" (f64.const -9223372036854775808.0)) (i64.const -9223372036…
193 (assert_trap (invoke "i64.trunc_s_f64" (f64.const 9223372036854775808.0)) "integer overflow")
194 (assert_trap (invoke "i64.trunc_s_f64" (f64.const -9223372036854777856.0)) "integer overflow")
195 (assert_trap (invoke "i64.trunc_s_f64" (f64.const infinity)) "integer overflow")
196 (assert_trap (invoke "i64.trunc_s_f64" (f64.const -infinity)) "integer overflow")
197 (assert_trap (invoke "i64.trunc_s_f64" (f64.const nan)) "invalid conversion to integer")
199 (assert_return (invoke "i64.trunc_u_f64" (f64.const 0.0)) (i64.const 0))
200 (assert_return (invoke "i64.trunc_u_f64" (f64.const -0.0)) (i64.const 0))
201 (assert_return (invoke "i64.trunc_u_f64" (f64.const 0x0.0000000000001p-1022)) (i64.const 0))
202 (assert_return (invoke "i64.trunc_u_f64" (f64.const -0x0.0000000000001p-1022)) (i64.const 0))
203 (assert_return (invoke "i64.trunc_u_f64" (f64.const 1.0)) (i64.const 1))
204 (assert_return (invoke "i64.trunc_u_f64" (f64.const 0x1.199999999999ap+0)) (i64.const 1))
205 (assert_return (invoke "i64.trunc_u_f64" (f64.const 1.5)) (i64.const 1))
206 (assert_return (invoke "i64.trunc_u_f64" (f64.const 4294967295)) (i64.const 0xffffffff))
207 (assert_return (invoke "i64.trunc_u_f64" (f64.const 4294967296)) (i64.const 0x100000000))
208 (assert_return (invoke "i64.trunc_u_f64" (f64.const 18446744073709549568.0)) (i64.const -2048))
209 (assert_return (invoke "i64.trunc_u_f64" (f64.const -0x1.ccccccccccccdp-1)) (i64.const 0))
210 (assert_return (invoke "i64.trunc_u_f64" (f64.const -0x1.fffffffffffffp-1)) (i64.const 0))
211 (assert_return (invoke "i64.trunc_u_f64" (f64.const 1e8)) (i64.const 100000000))
212 (assert_return (invoke "i64.trunc_u_f64" (f64.const 1e16)) (i64.const 10000000000000000))
213 (assert_return (invoke "i64.trunc_u_f64" (f64.const 9223372036854775808)) (i64.const -9223372036854…
214 (assert_trap (invoke "i64.trunc_u_f64" (f64.const 18446744073709551616.0)) "integer overflow")
215 (assert_trap (invoke "i64.trunc_u_f64" (f64.const -1.0)) "integer overflow")
216 (assert_trap (invoke "i64.trunc_u_f64" (f64.const infinity)) "integer overflow")
217 (assert_trap (invoke "i64.trunc_u_f64" (f64.const -infinity)) "integer overflow")
218 (assert_trap (invoke "i64.trunc_u_f64" (f64.const nan)) "invalid conversion to integer")
220 (assert_return (invoke "f32.convert_s_i32" (i32.const 1)) (f32.const 1.0))
221 (assert_return (invoke "f32.convert_s_i32" (i32.const -1)) (f32.const -1.0))
222 (assert_return (invoke "f32.convert_s_i32" (i32.const 0)) (f32.const 0.0))
223 (assert_return (invoke "f32.convert_s_i32" (i32.const 2147483647)) (f32.const 2147483648))
224 (assert_return (invoke "f32.convert_s_i32" (i32.const -2147483648)) (f32.const -2147483648))
225 (assert_return (invoke "f32.convert_s_i32" (i32.const 1234567890)) (f32.const 0x1.26580cp+30))
227 (assert_return (invoke "f32.convert_s_i32" (i32.const 16777217)) (f32.const 16777216.0))
228 (assert_return (invoke "f32.convert_s_i32" (i32.const -16777217)) (f32.const -16777216.0))
229 (assert_return (invoke "f32.convert_s_i32" (i32.const 16777219)) (f32.const 16777220.0))
230 (assert_return (invoke "f32.convert_s_i32" (i32.const -16777219)) (f32.const -16777220.0))
232 (assert_return (invoke "f32.convert_s_i64" (i64.const 1)) (f32.const 1.0))
233 (assert_return (invoke "f32.convert_s_i64" (i64.const -1)) (f32.const -1.0))
234 (assert_return (invoke "f32.convert_s_i64" (i64.const 0)) (f32.const 0.0))
235 (assert_return (invoke "f32.convert_s_i64" (i64.const 9223372036854775807)) (f32.const 922337203685…
236 (assert_return (invoke "f32.convert_s_i64" (i64.const -9223372036854775808)) (f32.const -9223372036…
237 (assert_return (invoke "f32.convert_s_i64" (i64.const 314159265358979)) (f32.const 0x1.1db9e8p+48))…
239 (assert_return (invoke "f32.convert_s_i64" (i64.const 16777217)) (f32.const 16777216.0))
240 (assert_return (invoke "f32.convert_s_i64" (i64.const -16777217)) (f32.const -16777216.0))
241 (assert_return (invoke "f32.convert_s_i64" (i64.const 16777219)) (f32.const 16777220.0))
242 (assert_return (invoke "f32.convert_s_i64" (i64.const -16777219)) (f32.const -16777220.0))
244 (assert_return (invoke "f64.convert_s_i32" (i32.const 1)) (f64.const 1.0))
245 (assert_return (invoke "f64.convert_s_i32" (i32.const -1)) (f64.const -1.0))
246 (assert_return (invoke "f64.convert_s_i32" (i32.const 0)) (f64.const 0.0))
247 (assert_return (invoke "f64.convert_s_i32" (i32.const 2147483647)) (f64.const 2147483647))
248 (assert_return (invoke "f64.convert_s_i32" (i32.const -2147483648)) (f64.const -2147483648))
249 (assert_return (invoke "f64.convert_s_i32" (i32.const 987654321)) (f64.const 987654321))
251 (assert_return (invoke "f64.convert_s_i64" (i64.const 1)) (f64.const 1.0))
252 (assert_return (invoke "f64.convert_s_i64" (i64.const -1)) (f64.const -1.0))
253 (assert_return (invoke "f64.convert_s_i64" (i64.const 0)) (f64.const 0.0))
254 (assert_return (invoke "f64.convert_s_i64" (i64.const 9223372036854775807)) (f64.const 922337203685…
255 (assert_return (invoke "f64.convert_s_i64" (i64.const -9223372036854775808)) (f64.const -9223372036…
256 (assert_return (invoke "f64.convert_s_i64" (i64.const 4669201609102990)) (f64.const 466920160910299…
258 (assert_return (invoke "f64.convert_s_i64" (i64.const 9007199254740993)) (f64.const 900719925474099…
259 (assert_return (invoke "f64.convert_s_i64" (i64.const -9007199254740993)) (f64.const -9007199254740…
260 (assert_return (invoke "f64.convert_s_i64" (i64.const 9007199254740995)) (f64.const 900719925474099…
261 (assert_return (invoke "f64.convert_s_i64" (i64.const -9007199254740995)) (f64.const -9007199254740…
263 (assert_return (invoke "f32.convert_u_i32" (i32.const 1)) (f32.const 1.0))
264 (assert_return (invoke "f32.convert_u_i32" (i32.const 0)) (f32.const 0.0))
265 (assert_return (invoke "f32.convert_u_i32" (i32.const 2147483647)) (f32.const 2147483648))
266 (assert_return (invoke "f32.convert_u_i32" (i32.const -2147483648)) (f32.const 2147483648))
267 (assert_return (invoke "f32.convert_u_i32" (i32.const 0x12345678)) (f32.const 0x1.234568p+28))
268 (assert_return (invoke "f32.convert_u_i32" (i32.const 0xffffffff)) (f32.const 4294967296.0))
270 (assert_return (invoke "f32.convert_u_i32" (i32.const 16777217)) (f32.const 16777216.0))
271 (assert_return (invoke "f32.convert_u_i32" (i32.const 16777219)) (f32.const 16777220.0))
273 (assert_return (invoke "f32.convert_u_i64" (i64.const 1)) (f32.const 1.0))
274 (assert_return (invoke "f32.convert_u_i64" (i64.const 0)) (f32.const 0.0))
275 (assert_return (invoke "f32.convert_u_i64" (i64.const 9223372036854775807)) (f32.const 922337203685…
276 (assert_return (invoke "f32.convert_u_i64" (i64.const -9223372036854775808)) (f32.const 92233720368…
277 (assert_return (invoke "f32.convert_u_i64" (i64.const 0xffffffffffffffff)) (f32.const 1844674407370…
279 (assert_return (invoke "f32.convert_u_i64" (i64.const 16777217)) (f32.const 16777216.0))
280 (assert_return (invoke "f32.convert_u_i64" (i64.const 16777219)) (f32.const 16777220.0))
282 (assert_return (invoke "f64.convert_u_i32" (i32.const 1)) (f64.const 1.0))
283 (assert_return (invoke "f64.convert_u_i32" (i32.const 0)) (f64.const 0.0))
284 (assert_return (invoke "f64.convert_u_i32" (i32.const 2147483647)) (f64.const 2147483647))
285 (assert_return (invoke "f64.convert_u_i32" (i32.const -2147483648)) (f64.const 2147483648))
286 (assert_return (invoke "f64.convert_u_i32" (i32.const 0xffffffff)) (f64.const 4294967295.0))
288 (assert_return (invoke "f64.convert_u_i64" (i64.const 1)) (f64.const 1.0))
289 (assert_return (invoke "f64.convert_u_i64" (i64.const 0)) (f64.const 0.0))
290 (assert_return (invoke "f64.convert_u_i64" (i64.const 9223372036854775807)) (f64.const 922337203685…
291 (assert_return (invoke "f64.convert_u_i64" (i64.const -9223372036854775808)) (f64.const 92233720368…
292 (assert_return (invoke "f64.convert_u_i64" (i64.const 0xffffffffffffffff)) (f64.const 1844674407370…
294 (assert_return (invoke "f64.convert_u_i64" (i64.const 9007199254740993)) (f64.const 900719925474099…
295 (assert_return (invoke "f64.convert_u_i64" (i64.const 9007199254740995)) (f64.const 900719925474099…
297 (assert_return (invoke "f64.promote_f32" (f32.const 0.0)) (f64.const 0.0))
298 (assert_return (invoke "f64.promote_f32" (f32.const -0.0)) (f64.const -0.0))
299 (assert_return (invoke "f64.promote_f32" (f32.const 0x1p-149)) (f64.const 0x1p-149))
300 (assert_return (invoke "f64.promote_f32" (f32.const -0x1p-149)) (f64.const -0x1p-149))
301 (assert_return (invoke "f64.promote_f32" (f32.const 1.0)) (f64.const 1.0))
302 (assert_return (invoke "f64.promote_f32" (f32.const -1.0)) (f64.const -1.0))
303 (assert_return (invoke "f64.promote_f32" (f32.const -0x1.fffffep+127)) (f64.const -0x1.fffffep+127))
304 (assert_return (invoke "f64.promote_f32" (f32.const 0x1.fffffep+127)) (f64.const 0x1.fffffep+127))
306 (assert_return (invoke "f64.promote_f32" (f32.const 0x1p-119)) (f64.const 0x1p-119))
308 (assert_return (invoke "f64.promote_f32" (f32.const 0x1.8f867ep+125)) (f64.const 6.6382536710104395…
309 (assert_return (invoke "f64.promote_f32" (f32.const infinity)) (f64.const infinity))
310 (assert_return (invoke "f64.promote_f32" (f32.const -infinity)) (f64.const -infinity))
311 (assert_return (invoke "f64.promote_f32" (f32.const nan)) (f64.const nan))
313 (assert_return (invoke "f32.demote_f64" (f64.const 0.0)) (f32.const 0.0))
314 (assert_return (invoke "f32.demote_f64" (f64.const -0.0)) (f32.const -0.0))
315 (assert_return (invoke "f32.demote_f64" (f64.const 0x0.0000000000001p-1022)) (f32.const 0.0))
316 (assert_return (invoke "f32.demote_f64" (f64.const -0x0.0000000000001p-1022)) (f32.const -0.0))
317 (assert_return (invoke "f32.demote_f64" (f64.const 1.0)) (f32.const 1.0))
318 (assert_return (invoke "f32.demote_f64" (f64.const -1.0)) (f32.const -1.0))
319 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.fffffe0000000p-127)) (f32.const 0x1p-126))
320 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.fffffe0000000p-127)) (f32.const -0x1p-126))
321 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.fffffdfffffffp-127)) (f32.const 0x1.fffffcp-…
322 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.fffffdfffffffp-127)) (f32.const -0x1.fffffc…
323 (assert_return (invoke "f32.demote_f64" (f64.const 0x1p-149)) (f32.const 0x1p-149))
324 (assert_return (invoke "f32.demote_f64" (f64.const -0x1p-149)) (f32.const -0x1p-149))
325 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.fffffd0000000p+127)) (f32.const 0x1.fffffcp+…
326 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.fffffd0000000p+127)) (f32.const -0x1.fffffc…
327 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.fffffd0000001p+127)) (f32.const 0x1.fffffep+…
328 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.fffffd0000001p+127)) (f32.const -0x1.fffffe…
329 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.fffffep+127)) (f32.const 0x1.fffffep+127))
330 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.fffffep+127)) (f32.const -0x1.fffffep+127))
331 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.fffffefffffffp+127)) (f32.const 0x1.fffffep+…
332 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.fffffefffffffp+127)) (f32.const -0x1.fffffe…
333 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.ffffffp+127)) (f32.const infinity))
334 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.ffffffp+127)) (f32.const -infinity))
335 (assert_return (invoke "f32.demote_f64" (f64.const 0x1p-119)) (f32.const 0x1p-119))
336 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.8f867ep+125)) (f32.const 0x1.8f867ep+125))
337 (assert_return (invoke "f32.demote_f64" (f64.const infinity)) (f32.const infinity))
338 (assert_return (invoke "f32.demote_f64" (f64.const -infinity)) (f32.const -infinity))
339 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000000000001p+0)) (f32.const 1.0))
340 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.fffffffffffffp-1)) (f32.const 1.0))
341 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000010000000p+0)) (f32.const 0x1.000000p+0))
342 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000010000001p+0)) (f32.const 0x1.000002p+0))
343 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.000002fffffffp+0)) (f32.const 0x1.000002p+0))
344 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000030000000p+0)) (f32.const 0x1.000004p+0))
345 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000050000000p+0)) (f32.const 0x1.000004p+0))
346 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000010000000p+24)) (f32.const 0x1.0p+24))
347 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000010000001p+24)) (f32.const 0x1.000002p+2…
348 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.000002fffffffp+24)) (f32.const 0x1.000002p+2…
349 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000030000000p+24)) (f32.const 0x1.000004p+2…
350 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.4eae4f7024c7p+108)) (f32.const 0x1.4eae5p+10…
351 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.a12e71e358685p-113)) (f32.const 0x1.a12e72p-…
352 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.cb98354d521ffp-127)) (f32.const 0x1.cb9834p-…
353 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.6972b30cfb562p+1)) (f32.const -0x1.6972b4p+…
354 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.bedbe4819d4c4p+112)) (f32.const -0x1.bedbe4…
355 (assert_return (invoke "f32.demote_f64" (f64.const nan)) (f32.const nan))
356 (assert_return (invoke "f32.demote_f64" (f64.const 0x1p-1022)) (f32.const 0.0))
357 (assert_return (invoke "f32.demote_f64" (f64.const -0x1p-1022)) (f32.const -0.0))
358 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0p-150)) (f32.const 0.0))
359 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.0p-150)) (f32.const -0.0))
360 (assert_return (invoke "f32.demote_f64" (f64.const 0x1.0000000000001p-150)) (f32.const 0x1p-149))
361 (assert_return (invoke "f32.demote_f64" (f64.const -0x1.0000000000001p-150)) (f32.const -0x1p-149))
363 (assert_return (invoke "f32.reinterpret_i32" (i32.const 0)) (f32.const 0.0))
364 (assert_return (invoke "f32.reinterpret_i32" (i32.const 0x80000000)) (f32.const -0.0))
365 (assert_return (invoke "f32.reinterpret_i32" (i32.const 1)) (f32.const 0x1p-149))
366 (assert_return (invoke "f32.reinterpret_i32" (i32.const -1)) (f32.const -nan:0x7fffff))
367 (assert_return (invoke "f32.reinterpret_i32" (i32.const 123456789)) (f32.const 0x1.b79a2ap-113))
368 (assert_return (invoke "f32.reinterpret_i32" (i32.const -2147483647)) (f32.const -0x1p-149))
369 (assert_return (invoke "f32.reinterpret_i32" (i32.const 0x7f800000)) (f32.const infinity))
370 (assert_return (invoke "f32.reinterpret_i32" (i32.const 0xff800000)) (f32.const -infinity))
371 (assert_return (invoke "f32.reinterpret_i32" (i32.const 0x7fc00000)) (f32.const nan))
372 (assert_return (invoke "f32.reinterpret_i32" (i32.const 0xffc00000)) (f32.const -nan))
373 (assert_return (invoke "f32.reinterpret_i32" (i32.const 0x7fa00000)) (f32.const nan:0x200000))
374 (assert_return (invoke "f32.reinterpret_i32" (i32.const 0xffa00000)) (f32.const -nan:0x200000))
376 (assert_return (invoke "f64.reinterpret_i64" (i64.const 0)) (f64.const 0.0))
377 (assert_return (invoke "f64.reinterpret_i64" (i64.const 1)) (f64.const 0x0.0000000000001p-1022))
378 (assert_return (invoke "f64.reinterpret_i64" (i64.const -1)) (f64.const -nan:0xfffffffffffff))
379 (assert_return (invoke "f64.reinterpret_i64" (i64.const 0x8000000000000000)) (f64.const -0.0))
380 (assert_return (invoke "f64.reinterpret_i64" (i64.const 1234567890)) (f64.const 0x0.00000499602d2p-…
381 (assert_return (invoke "f64.reinterpret_i64" (i64.const -9223372036854775807)) (f64.const -0x0.0000…
382 (assert_return (invoke "f64.reinterpret_i64" (i64.const 0x7ff0000000000000)) (f64.const infinity))
383 (assert_return (invoke "f64.reinterpret_i64" (i64.const 0xfff0000000000000)) (f64.const -infinity))
384 (assert_return (invoke "f64.reinterpret_i64" (i64.const 0x7ff8000000000000)) (f64.const nan))
385 (assert_return (invoke "f64.reinterpret_i64" (i64.const 0xfff8000000000000)) (f64.const -nan))
386 (assert_return (invoke "f64.reinterpret_i64" (i64.const 0x7ff4000000000000)) (f64.const nan:0x40000…
387 (assert_return (invoke "f64.reinterpret_i64" (i64.const 0xfff4000000000000)) (f64.const -nan:0x4000…
389 (assert_return (invoke "i32.reinterpret_f32" (f32.const 0.0)) (i32.const 0))
390 (assert_return (invoke "i32.reinterpret_f32" (f32.const -0.0)) (i32.const 0x80000000))
391 (assert_return (invoke "i32.reinterpret_f32" (f32.const 0x1p-149)) (i32.const 1))
392 ;;(assert_return (invoke "i32.reinterpret_f32" (f32.const -nan:0x7fffff)) (i32.const -1))
393 (assert_return (invoke "i32.reinterpret_f32" (f32.const -0x1p-149)) (i32.const 0x80000001))
394 (assert_return (invoke "i32.reinterpret_f32" (f32.const 1.0)) (i32.const 1065353216))
395 (assert_return (invoke "i32.reinterpret_f32" (f32.const 3.1415926)) (i32.const 1078530010))
396 (assert_return (invoke "i32.reinterpret_f32" (f32.const 0x1.fffffep+127)) (i32.const 2139095039))
397 (assert_return (invoke "i32.reinterpret_f32" (f32.const -0x1.fffffep+127)) (i32.const -8388609))
398 (assert_return (invoke "i32.reinterpret_f32" (f32.const infinity)) (i32.const 0x7f800000))
399 (assert_return (invoke "i32.reinterpret_f32" (f32.const -infinity)) (i32.const 0xff800000))
400 ;;(assert_return (invoke "i32.reinterpret_f32" (f32.const nan)) (i32.const 0x7fc00000))
401 ;;(assert_return (invoke "i32.reinterpret_f32" (f32.const -nan)) (i32.const 0xffc00000))
402 ;;(assert_return (invoke "i32.reinterpret_f32" (f32.const nan:0x200000)) (i32.const 0x7fa00000))
403 ;;(assert_return (invoke "i32.reinterpret_f32" (f32.const -nan:0x200000)) (i32.const 0xffa00000))
405 (assert_return (invoke "i64.reinterpret_f64" (f64.const 0.0)) (i64.const 0))
406 (assert_return (invoke "i64.reinterpret_f64" (f64.const -0.0)) (i64.const 0x8000000000000000))
407 (assert_return (invoke "i64.reinterpret_f64" (f64.const 0x0.0000000000001p-1022)) (i64.const 1))
408 ;;(assert_return (invoke "i64.reinterpret_f64" (f64.const -nan:0xfffffffffffff)) (i64.const -1))
409 (assert_return (invoke "i64.reinterpret_f64" (f64.const -0x0.0000000000001p-1022)) (i64.const 0x800…
410 (assert_return (invoke "i64.reinterpret_f64" (f64.const 1.0)) (i64.const 4607182418800017408))
411 (assert_return (invoke "i64.reinterpret_f64" (f64.const 3.14159265358979)) (i64.const 4614256656552…
412 (assert_return (invoke "i64.reinterpret_f64" (f64.const 0x1.fffffffffffffp+1023)) (i64.const 921886…
413 (assert_return (invoke "i64.reinterpret_f64" (f64.const -0x1.fffffffffffffp+1023)) (i64.const -4503…
414 (assert_return (invoke "i64.reinterpret_f64" (f64.const infinity)) (i64.const 0x7ff0000000000000))
415 (assert_return (invoke "i64.reinterpret_f64" (f64.const -infinity)) (i64.const 0xfff0000000000000))
416 ;;(assert_return (invoke "i64.reinterpret_f64" (f64.const nan)) (i64.const 0x7ff8000000000000))
417 ;;(assert_return (invoke "i64.reinterpret_f64" (f64.const -nan)) (i64.const 0xfff8000000000000))
418 ;;(assert_return (invoke "i64.reinterpret_f64" (f64.const nan:0x4000000000000)) (i64.const 0x7ff400…
419 ;;(assert_return (invoke "i64.reinterpret_f64" (f64.const -nan:0x4000000000000)) (i64.const 0xfff40…