OLD | NEW |
1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include <stdint.h> | 5 #include <stdint.h> |
6 #include <stdlib.h> | 6 #include <stdlib.h> |
7 #include <string.h> | 7 #include <string.h> |
8 | 8 |
9 #include "src/wasm/wasm-macro-gen.h" | 9 #include "src/wasm/wasm-macro-gen.h" |
10 | 10 |
(...skipping 114 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
125 WasmRunner<int32_t> r(MachineType::Int64(), MachineType::Int64()); | 125 WasmRunner<int32_t> r(MachineType::Int64(), MachineType::Int64()); |
126 BUILD(r, WASM_I64_GEU(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))); | 126 BUILD(r, WASM_I64_GEU(WASM_GET_LOCAL(0), WASM_GET_LOCAL(1))); |
127 FOR_UINT64_INPUTS(i) { | 127 FOR_UINT64_INPUTS(i) { |
128 FOR_UINT64_INPUTS(j) { CHECK_EQ(*i >= *j ? 1 : 0, r.Call(*i, *j)); } | 128 FOR_UINT64_INPUTS(j) { CHECK_EQ(*i >= *j ? 1 : 0, r.Call(*i, *j)); } |
129 } | 129 } |
130 } | 130 } |
131 // kExprI32ConvertI64: | 131 // kExprI32ConvertI64: |
132 TEST(Run_WasmI32ConvertI64) { | 132 TEST(Run_WasmI32ConvertI64) { |
133 FOR_INT64_INPUTS(i) { | 133 FOR_INT64_INPUTS(i) { |
134 WasmRunner<int32_t> r; | 134 WasmRunner<int32_t> r; |
135 BUILD(r, WASM_I32_CONVERT_I64(WASM_I64(*i))); | 135 BUILD(r, WASM_I32_CONVERT_I64(WASM_I64V(*i))); |
136 CHECK_EQ(static_cast<int32_t>(*i), r.Call()); | 136 CHECK_EQ(static_cast<int32_t>(*i), r.Call()); |
137 } | 137 } |
138 } | 138 } |
139 // kExprI64SConvertI32: | 139 // kExprI64SConvertI32: |
140 // kExprI64UConvertI32: | 140 // kExprI64UConvertI32: |
141 | 141 |
142 // kExprF64ReinterpretI64: | 142 // kExprF64ReinterpretI64: |
143 // kExprI64ReinterpretF64: | 143 // kExprI64ReinterpretF64: |
144 | 144 |
145 // kExprI64Clz: | 145 // kExprI64Clz: |
146 // kExprI64Ctz: | 146 // kExprI64Ctz: |
147 // kExprI64Popcnt: | 147 // kExprI64Popcnt: |
148 | 148 |
149 // kExprF32SConvertI64: | 149 // kExprF32SConvertI64: |
150 TEST(Run_Wasm_F32SConvertI64) { | |
151 WasmRunner<float> r(MachineType::Int64()); | |
152 BUILD(r, WASM_F32_SCONVERT_I64(WASM_GET_LOCAL(0))); | |
153 FOR_INT64_INPUTS(i) { CHECK_EQ(static_cast<float>(*i), r.Call(*i)); } | |
154 } | |
155 | |
156 // kExprF32UConvertI64: | 150 // kExprF32UConvertI64: |
157 TEST(Run_Wasm_F32UConvertI64) { | |
158 struct { | |
159 uint64_t input; | |
160 uint32_t expected; | |
161 } values[] = {{0x0, 0x0}, | |
162 {0x1, 0x3f800000}, | |
163 {0xffffffff, 0x4f800000}, | |
164 {0x1b09788b, 0x4dd84bc4}, | |
165 {0x4c5fce8, 0x4c98bf9d}, | |
166 {0xcc0de5bf, 0x4f4c0de6}, | |
167 {0x2, 0x40000000}, | |
168 {0x3, 0x40400000}, | |
169 {0x4, 0x40800000}, | |
170 {0x5, 0x40a00000}, | |
171 {0x8, 0x41000000}, | |
172 {0x9, 0x41100000}, | |
173 {0xffffffffffffffff, 0x5f800000}, | |
174 {0xfffffffffffffffe, 0x5f800000}, | |
175 {0xfffffffffffffffd, 0x5f800000}, | |
176 {0x0, 0x0}, | |
177 {0x100000000, 0x4f800000}, | |
178 {0xffffffff00000000, 0x5f800000}, | |
179 {0x1b09788b00000000, 0x5dd84bc4}, | |
180 {0x4c5fce800000000, 0x5c98bf9d}, | |
181 {0xcc0de5bf00000000, 0x5f4c0de6}, | |
182 {0x200000000, 0x50000000}, | |
183 {0x300000000, 0x50400000}, | |
184 {0x400000000, 0x50800000}, | |
185 {0x500000000, 0x50a00000}, | |
186 {0x800000000, 0x51000000}, | |
187 {0x900000000, 0x51100000}, | |
188 {0x273a798e187937a3, 0x5e1ce9e6}, | |
189 {0xece3af835495a16b, 0x5f6ce3b0}, | |
190 {0xb668ecc11223344, 0x5d3668ed}, | |
191 {0x9e, 0x431e0000}, | |
192 {0x43, 0x42860000}, | |
193 {0xaf73, 0x472f7300}, | |
194 {0x116b, 0x458b5800}, | |
195 {0x658ecc, 0x4acb1d98}, | |
196 {0x2b3b4c, 0x4a2ced30}, | |
197 {0x88776655, 0x4f087766}, | |
198 {0x70000000, 0x4ee00000}, | |
199 {0x7200000, 0x4ce40000}, | |
200 {0x7fffffff, 0x4f000000}, | |
201 {0x56123761, 0x4eac246f}, | |
202 {0x7fffff00, 0x4efffffe}, | |
203 {0x761c4761eeeeeeee, 0x5eec388f}, | |
204 {0x80000000eeeeeeee, 0x5f000000}, | |
205 {0x88888888dddddddd, 0x5f088889}, | |
206 {0xa0000000dddddddd, 0x5f200000}, | |
207 {0xddddddddaaaaaaaa, 0x5f5dddde}, | |
208 {0xe0000000aaaaaaaa, 0x5f600000}, | |
209 {0xeeeeeeeeeeeeeeee, 0x5f6eeeef}, | |
210 {0xfffffffdeeeeeeee, 0x5f800000}, | |
211 {0xf0000000dddddddd, 0x5f700000}, | |
212 {0x7fffffdddddddd, 0x5b000000}, | |
213 {0x3fffffaaaaaaaa, 0x5a7fffff}, | |
214 {0x1fffffaaaaaaaa, 0x59fffffd}, | |
215 {0xfffff, 0x497ffff0}, | |
216 {0x7ffff, 0x48ffffe0}, | |
217 {0x3ffff, 0x487fffc0}, | |
218 {0x1ffff, 0x47ffff80}, | |
219 {0xffff, 0x477fff00}, | |
220 {0x7fff, 0x46fffe00}, | |
221 {0x3fff, 0x467ffc00}, | |
222 {0x1fff, 0x45fff800}, | |
223 {0xfff, 0x457ff000}, | |
224 {0x7ff, 0x44ffe000}, | |
225 {0x3ff, 0x447fc000}, | |
226 {0x1ff, 0x43ff8000}, | |
227 {0x3fffffffffff, 0x56800000}, | |
228 {0x1fffffffffff, 0x56000000}, | |
229 {0xfffffffffff, 0x55800000}, | |
230 {0x7ffffffffff, 0x55000000}, | |
231 {0x3ffffffffff, 0x54800000}, | |
232 {0x1ffffffffff, 0x54000000}, | |
233 {0x8000008000000000, 0x5f000000}, | |
234 {0x8000008000000001, 0x5f000001}, | |
235 {0x8000000000000400, 0x5f000000}, | |
236 {0x8000000000000401, 0x5f000000}}; | |
237 WasmRunner<float> r(MachineType::Uint64()); | |
238 BUILD(r, WASM_F32_UCONVERT_I64(WASM_GET_LOCAL(0))); | |
239 for (size_t i = 0; i < arraysize(values); i++) { | |
240 CHECK_EQ(bit_cast<float>(values[i].expected), r.Call(values[i].input)); | |
241 } | |
242 } | |
243 | |
244 // kExprF64SConvertI64: | 151 // kExprF64SConvertI64: |
245 TEST(Run_WasmF64SConvertI64) { | |
246 WasmRunner<double> r(MachineType::Int64()); | |
247 BUILD(r, WASM_F64_SCONVERT_I64(WASM_GET_LOCAL(0))); | |
248 FOR_INT64_INPUTS(i) { CHECK_EQ(static_cast<double>(*i), r.Call(*i)); } | |
249 } | |
250 | |
251 // kExprF64UConvertI64: | 152 // kExprF64UConvertI64: |
252 TEST(Run_Wasm_F64UConvertI64) { | |
253 struct { | |
254 uint64_t input; | |
255 uint64_t expected; | |
256 } values[] = {{0x0, 0x0}, | |
257 {0x1, 0x3ff0000000000000}, | |
258 {0xffffffff, 0x41efffffffe00000}, | |
259 {0x1b09788b, 0x41bb09788b000000}, | |
260 {0x4c5fce8, 0x419317f3a0000000}, | |
261 {0xcc0de5bf, 0x41e981bcb7e00000}, | |
262 {0x2, 0x4000000000000000}, | |
263 {0x3, 0x4008000000000000}, | |
264 {0x4, 0x4010000000000000}, | |
265 {0x5, 0x4014000000000000}, | |
266 {0x8, 0x4020000000000000}, | |
267 {0x9, 0x4022000000000000}, | |
268 {0xffffffffffffffff, 0x43f0000000000000}, | |
269 {0xfffffffffffffffe, 0x43f0000000000000}, | |
270 {0xfffffffffffffffd, 0x43f0000000000000}, | |
271 {0x100000000, 0x41f0000000000000}, | |
272 {0xffffffff00000000, 0x43efffffffe00000}, | |
273 {0x1b09788b00000000, 0x43bb09788b000000}, | |
274 {0x4c5fce800000000, 0x439317f3a0000000}, | |
275 {0xcc0de5bf00000000, 0x43e981bcb7e00000}, | |
276 {0x200000000, 0x4200000000000000}, | |
277 {0x300000000, 0x4208000000000000}, | |
278 {0x400000000, 0x4210000000000000}, | |
279 {0x500000000, 0x4214000000000000}, | |
280 {0x800000000, 0x4220000000000000}, | |
281 {0x900000000, 0x4222000000000000}, | |
282 {0x273a798e187937a3, 0x43c39d3cc70c3c9c}, | |
283 {0xece3af835495a16b, 0x43ed9c75f06a92b4}, | |
284 {0xb668ecc11223344, 0x43a6cd1d98224467}, | |
285 {0x9e, 0x4063c00000000000}, | |
286 {0x43, 0x4050c00000000000}, | |
287 {0xaf73, 0x40e5ee6000000000}, | |
288 {0x116b, 0x40b16b0000000000}, | |
289 {0x658ecc, 0x415963b300000000}, | |
290 {0x2b3b4c, 0x41459da600000000}, | |
291 {0x88776655, 0x41e10eeccaa00000}, | |
292 {0x70000000, 0x41dc000000000000}, | |
293 {0x7200000, 0x419c800000000000}, | |
294 {0x7fffffff, 0x41dfffffffc00000}, | |
295 {0x56123761, 0x41d5848dd8400000}, | |
296 {0x7fffff00, 0x41dfffffc0000000}, | |
297 {0x761c4761eeeeeeee, 0x43dd8711d87bbbbc}, | |
298 {0x80000000eeeeeeee, 0x43e00000001dddde}, | |
299 {0x88888888dddddddd, 0x43e11111111bbbbc}, | |
300 {0xa0000000dddddddd, 0x43e40000001bbbbc}, | |
301 {0xddddddddaaaaaaaa, 0x43ebbbbbbbb55555}, | |
302 {0xe0000000aaaaaaaa, 0x43ec000000155555}, | |
303 {0xeeeeeeeeeeeeeeee, 0x43edddddddddddde}, | |
304 {0xfffffffdeeeeeeee, 0x43efffffffbdddde}, | |
305 {0xf0000000dddddddd, 0x43ee0000001bbbbc}, | |
306 {0x7fffffdddddddd, 0x435ffffff7777777}, | |
307 {0x3fffffaaaaaaaa, 0x434fffffd5555555}, | |
308 {0x1fffffaaaaaaaa, 0x433fffffaaaaaaaa}, | |
309 {0xfffff, 0x412ffffe00000000}, | |
310 {0x7ffff, 0x411ffffc00000000}, | |
311 {0x3ffff, 0x410ffff800000000}, | |
312 {0x1ffff, 0x40fffff000000000}, | |
313 {0xffff, 0x40efffe000000000}, | |
314 {0x7fff, 0x40dfffc000000000}, | |
315 {0x3fff, 0x40cfff8000000000}, | |
316 {0x1fff, 0x40bfff0000000000}, | |
317 {0xfff, 0x40affe0000000000}, | |
318 {0x7ff, 0x409ffc0000000000}, | |
319 {0x3ff, 0x408ff80000000000}, | |
320 {0x1ff, 0x407ff00000000000}, | |
321 {0x3fffffffffff, 0x42cfffffffffff80}, | |
322 {0x1fffffffffff, 0x42bfffffffffff00}, | |
323 {0xfffffffffff, 0x42affffffffffe00}, | |
324 {0x7ffffffffff, 0x429ffffffffffc00}, | |
325 {0x3ffffffffff, 0x428ffffffffff800}, | |
326 {0x1ffffffffff, 0x427ffffffffff000}, | |
327 {0x8000008000000000, 0x43e0000010000000}, | |
328 {0x8000008000000001, 0x43e0000010000000}, | |
329 {0x8000000000000400, 0x43e0000000000000}, | |
330 {0x8000000000000401, 0x43e0000000000001}}; | |
331 WasmRunner<double> r(MachineType::Uint64()); | |
332 BUILD(r, WASM_F64_UCONVERT_I64(WASM_GET_LOCAL(0))); | |
333 for (size_t i = 0; i < arraysize(values); i++) { | |
334 CHECK_EQ(bit_cast<double>(values[i].expected), r.Call(values[i].input)); | |
335 } | |
336 } | |
337 | |
338 // kExprI64SConvertF32: | 153 // kExprI64SConvertF32: |
339 // kExprI64SConvertF64: | 154 // kExprI64SConvertF64: |
340 // kExprI64UConvertF32: | 155 // kExprI64UConvertF32: |
341 // kExprI64UConvertF64: | 156 // kExprI64UConvertF64: |
342 | 157 |
343 TEST(Run_WasmCallI64Parameter) { | 158 TEST(Run_WasmCallI64Parameter) { |
344 // Build the target function. | 159 // Build the target function. |
345 LocalType param_types[20]; | 160 LocalType param_types[20]; |
346 for (int i = 0; i < 20; i++) param_types[i] = kAstI64; | 161 for (int i = 0; i < 20; i++) param_types[i] = kAstI64; |
347 param_types[3] = kAstI32; | 162 param_types[3] = kAstI32; |
348 param_types[4] = kAstI32; | 163 param_types[4] = kAstI32; |
349 FunctionSig sig(1, 19, param_types); | 164 FunctionSig sig(1, 19, param_types); |
350 for (int i = 0; i < 19; i++) { | 165 for (int i = 0; i < 19; i++) { |
351 TestingModule module; | 166 TestingModule module; |
352 WasmFunctionCompiler t(&sig, &module); | 167 WasmFunctionCompiler t(&sig, &module); |
353 if (i == 2 || i == 3) { | 168 if (i == 2 || i == 3) { |
354 continue; | 169 continue; |
355 } else { | 170 } else { |
356 BUILD(t, WASM_GET_LOCAL(i)); | 171 BUILD(t, WASM_GET_LOCAL(i)); |
357 } | 172 } |
358 uint32_t index = t.CompileAndAdd(); | 173 uint32_t index = t.CompileAndAdd(); |
359 | 174 |
360 // Build the calling function. | 175 // Build the calling function. |
361 WasmRunner<int32_t> r; | 176 WasmRunner<int32_t> r; |
362 r.env()->module = &module; | 177 r.env()->module = &module; |
363 BUILD(r, | 178 BUILD( |
364 WASM_I32_CONVERT_I64(WASM_CALL_FUNCTION( | 179 r, |
365 index, WASM_I64(0xbcd12340000000b), WASM_I64(0xbcd12340000000c), | 180 WASM_I32_CONVERT_I64(WASM_CALL_FUNCTION( |
366 WASM_I32(0xd), WASM_I32_CONVERT_I64(WASM_I64(0xbcd12340000000e)), | 181 index, WASM_I64V_9(0xbcd12340000000b), |
367 WASM_I64(0xbcd12340000000f), WASM_I64(0xbcd1234000000010), | 182 WASM_I64V_9(0xbcd12340000000c), WASM_I32V_1(0xd), |
368 WASM_I64(0xbcd1234000000011), WASM_I64(0xbcd1234000000012), | 183 WASM_I32_CONVERT_I64(WASM_I64V_9(0xbcd12340000000e)), |
369 WASM_I64(0xbcd1234000000013), WASM_I64(0xbcd1234000000014), | 184 WASM_I64V_9(0xbcd12340000000f), WASM_I64V_10(0xbcd1234000000010), |
370 WASM_I64(0xbcd1234000000015), WASM_I64(0xbcd1234000000016), | 185 WASM_I64V_10(0xbcd1234000000011), WASM_I64V_10(0xbcd1234000000012), |
371 WASM_I64(0xbcd1234000000017), WASM_I64(0xbcd1234000000018), | 186 WASM_I64V_10(0xbcd1234000000013), WASM_I64V_10(0xbcd1234000000014), |
372 WASM_I64(0xbcd1234000000019), WASM_I64(0xbcd123400000001a), | 187 WASM_I64V_10(0xbcd1234000000015), WASM_I64V_10(0xbcd1234000000016), |
373 WASM_I64(0xbcd123400000001b), WASM_I64(0xbcd123400000001c), | 188 WASM_I64V_10(0xbcd1234000000017), WASM_I64V_10(0xbcd1234000000018), |
374 WASM_I64(0xbcd123400000001d)))); | 189 WASM_I64V_10(0xbcd1234000000019), WASM_I64V_10(0xbcd123400000001a), |
| 190 WASM_I64V_10(0xbcd123400000001b), WASM_I64V_10(0xbcd123400000001c), |
| 191 WASM_I64V_10(0xbcd123400000001d)))); |
375 | 192 |
376 CHECK_EQ(i + 0xb, r.Call()); | 193 CHECK_EQ(i + 0xb, r.Call()); |
377 } | 194 } |
378 } | 195 } |
OLD | NEW |