OLD | NEW |
1 // Copyright 2016 the V8 project authors. All rights reserved. | 1 // Copyright 2016 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 "src/assembler-inl.h" | 5 #include "src/assembler-inl.h" |
6 #include "src/wasm/wasm-macro-gen.h" | 6 #include "src/wasm/wasm-macro-gen.h" |
7 #include "test/cctest/cctest.h" | 7 #include "test/cctest/cctest.h" |
8 #include "test/cctest/compiler/value-helper.h" | 8 #include "test/cctest/compiler/value-helper.h" |
9 #include "test/cctest/wasm/wasm-run-utils.h" | 9 #include "test/cctest/wasm/wasm-run-utils.h" |
10 | 10 |
(...skipping 373 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
384 #define WASM_SIMD_I8x16_EXTRACT_LANE(lane, x) \ | 384 #define WASM_SIMD_I8x16_EXTRACT_LANE(lane, x) \ |
385 x, WASM_SIMD_OP(kExprI8x16ExtractLane), TO_BYTE(lane) | 385 x, WASM_SIMD_OP(kExprI8x16ExtractLane), TO_BYTE(lane) |
386 #define WASM_SIMD_I8x16_REPLACE_LANE(lane, x, y) \ | 386 #define WASM_SIMD_I8x16_REPLACE_LANE(lane, x, y) \ |
387 x, y, WASM_SIMD_OP(kExprI8x16ReplaceLane), TO_BYTE(lane) | 387 x, y, WASM_SIMD_OP(kExprI8x16ReplaceLane), TO_BYTE(lane) |
388 | 388 |
389 #define WASM_SIMD_F32x4_FROM_I32x4(x) x, WASM_SIMD_OP(kExprF32x4SConvertI32x4) | 389 #define WASM_SIMD_F32x4_FROM_I32x4(x) x, WASM_SIMD_OP(kExprF32x4SConvertI32x4) |
390 #define WASM_SIMD_F32x4_FROM_U32x4(x) x, WASM_SIMD_OP(kExprF32x4UConvertI32x4) | 390 #define WASM_SIMD_F32x4_FROM_U32x4(x) x, WASM_SIMD_OP(kExprF32x4UConvertI32x4) |
391 #define WASM_SIMD_I32x4_FROM_F32x4(x) x, WASM_SIMD_OP(kExprI32x4SConvertF32x4) | 391 #define WASM_SIMD_I32x4_FROM_F32x4(x) x, WASM_SIMD_OP(kExprI32x4SConvertF32x4) |
392 #define WASM_SIMD_U32x4_FROM_F32x4(x) x, WASM_SIMD_OP(kExprI32x4UConvertF32x4) | 392 #define WASM_SIMD_U32x4_FROM_F32x4(x) x, WASM_SIMD_OP(kExprI32x4UConvertF32x4) |
393 | 393 |
394 // Skip FP operations on extremely large or extremely small values, which may | 394 // Skip FP tests involving extremely large or extremely small values, which |
395 // cause tests to fail due to non-IEEE-754 arithmetic on some platforms. | 395 // may fail due to non-IEEE-754 SIMD arithmetic on some platforms. |
396 bool SkipFPTestInput(float x) { | 396 bool SkipFPValue(float x) { |
397 float abs_x = std::fabs(x); | 397 float abs_x = std::fabs(x); |
398 const float kSmallFloatThreshold = 1.0e-32f; | 398 const float kSmallFloatThreshold = 1.0e-32f; |
399 const float kLargeFloatThreshold = 1.0e32f; | 399 const float kLargeFloatThreshold = 1.0e32f; |
400 return abs_x != 0.0f && // 0 or -0 are fine. | 400 return abs_x != 0.0f && // 0 or -0 are fine. |
401 (abs_x < kSmallFloatThreshold || abs_x > kLargeFloatThreshold); | 401 (abs_x < kSmallFloatThreshold || abs_x > kLargeFloatThreshold); |
402 } | 402 } |
403 | 403 |
404 // Skip tests where the expected value is a NaN. Our WASM test code can't | 404 // Skip tests where the expected value is a NaN, since our WASM test code |
405 // deal with NaNs. | 405 // doesn't handle NaNs. Also skip extreme values. |
406 bool SkipFPExpectedValue(float x) { return std::isnan(x); } | 406 bool SkipFPExpectedValue(float x) { return std::isnan(x) || SkipFPValue(x); } |
407 | 407 |
408 #if V8_TARGET_ARCH_ARM || SIMD_LOWERING_TARGET | 408 #if V8_TARGET_ARCH_ARM || SIMD_LOWERING_TARGET |
409 WASM_EXEC_COMPILED_TEST(F32x4Splat) { | 409 WASM_EXEC_COMPILED_TEST(F32x4Splat) { |
410 FLAG_wasm_simd_prototype = true; | 410 FLAG_wasm_simd_prototype = true; |
411 | 411 |
412 WasmRunner<int32_t, float> r(kExecuteCompiled); | 412 WasmRunner<int32_t, float> r(kExecuteCompiled); |
413 byte lane_val = 0; | 413 byte lane_val = 0; |
414 byte simd = r.AllocateLocal(kWasmS128); | 414 byte simd = r.AllocateLocal(kWasmS128); |
415 BUILD(r, | 415 BUILD(r, |
416 WASM_SET_LOCAL(simd, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(lane_val))), | 416 WASM_SET_LOCAL(simd, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(lane_val))), |
(...skipping 63 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
480 byte a = 0; | 480 byte a = 0; |
481 byte low = 1; | 481 byte low = 1; |
482 byte high = 2; | 482 byte high = 2; |
483 byte simd = r.AllocateLocal(kWasmS128); | 483 byte simd = r.AllocateLocal(kWasmS128); |
484 BUILD(r, WASM_SET_LOCAL(simd, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(a))), | 484 BUILD(r, WASM_SET_LOCAL(simd, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(a))), |
485 WASM_SET_LOCAL(simd, WASM_SIMD_UNOP(simd_op, WASM_GET_LOCAL(simd))), | 485 WASM_SET_LOCAL(simd, WASM_SIMD_UNOP(simd_op, WASM_GET_LOCAL(simd))), |
486 WASM_SIMD_CHECK_SPLAT_F32x4_ESTIMATE(simd, low, high), | 486 WASM_SIMD_CHECK_SPLAT_F32x4_ESTIMATE(simd, low, high), |
487 WASM_RETURN1(WASM_ONE)); | 487 WASM_RETURN1(WASM_ONE)); |
488 | 488 |
489 FOR_FLOAT32_INPUTS(i) { | 489 FOR_FLOAT32_INPUTS(i) { |
490 if (SkipFPTestInput(*i)) continue; | 490 if (SkipFPValue(*i)) continue; |
491 float expected = expected_op(*i); | 491 float expected = expected_op(*i); |
492 if (SkipFPExpectedValue(expected)) continue; | 492 if (SkipFPExpectedValue(expected)) continue; |
493 float abs_error = std::abs(expected) * error; | 493 float abs_error = std::abs(expected) * error; |
494 CHECK_EQ(1, r.Call(*i, expected - abs_error, expected + abs_error)); | 494 CHECK_EQ(1, r.Call(*i, expected - abs_error, expected + abs_error)); |
495 } | 495 } |
496 } | 496 } |
497 | 497 |
498 WASM_EXEC_COMPILED_TEST(F32x4Abs) { RunF32x4UnOpTest(kExprF32x4Abs, std::abs); } | 498 WASM_EXEC_COMPILED_TEST(F32x4Abs) { RunF32x4UnOpTest(kExprF32x4Abs, std::abs); } |
499 WASM_EXEC_COMPILED_TEST(F32x4Neg) { RunF32x4UnOpTest(kExprF32x4Neg, Negate); } | 499 WASM_EXEC_COMPILED_TEST(F32x4Neg) { RunF32x4UnOpTest(kExprF32x4Neg, Negate); } |
500 #endif // V8_TARGET_ARCH_ARM || SIMD_LOWERING_TARGET | 500 #endif // V8_TARGET_ARCH_ARM || SIMD_LOWERING_TARGET |
(...skipping 23 matching lines...) Expand all Loading... |
524 byte expected = 2; | 524 byte expected = 2; |
525 byte simd0 = r.AllocateLocal(kWasmS128); | 525 byte simd0 = r.AllocateLocal(kWasmS128); |
526 byte simd1 = r.AllocateLocal(kWasmS128); | 526 byte simd1 = r.AllocateLocal(kWasmS128); |
527 BUILD(r, WASM_SET_LOCAL(simd0, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(a))), | 527 BUILD(r, WASM_SET_LOCAL(simd0, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(a))), |
528 WASM_SET_LOCAL(simd1, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(b))), | 528 WASM_SET_LOCAL(simd1, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(b))), |
529 WASM_SET_LOCAL(simd1, WASM_SIMD_BINOP(simd_op, WASM_GET_LOCAL(simd0), | 529 WASM_SET_LOCAL(simd1, WASM_SIMD_BINOP(simd_op, WASM_GET_LOCAL(simd0), |
530 WASM_GET_LOCAL(simd1))), | 530 WASM_GET_LOCAL(simd1))), |
531 WASM_SIMD_CHECK_SPLAT_F32x4(simd1, expected), WASM_RETURN1(WASM_ONE)); | 531 WASM_SIMD_CHECK_SPLAT_F32x4(simd1, expected), WASM_RETURN1(WASM_ONE)); |
532 | 532 |
533 FOR_FLOAT32_INPUTS(i) { | 533 FOR_FLOAT32_INPUTS(i) { |
534 if (SkipFPTestInput(*i)) continue; | 534 if (SkipFPValue(*i)) continue; |
535 FOR_FLOAT32_INPUTS(j) { | 535 FOR_FLOAT32_INPUTS(j) { |
536 if (SkipFPTestInput(*j)) continue; | 536 if (SkipFPValue(*j)) continue; |
537 float expected = expected_op(*i, *j); | 537 float expected = expected_op(*i, *j); |
538 if (SkipFPExpectedValue(expected)) continue; | 538 if (SkipFPExpectedValue(expected)) continue; |
539 CHECK_EQ(1, r.Call(*i, *j, expected)); | 539 CHECK_EQ(1, r.Call(*i, *j, expected)); |
540 } | 540 } |
541 } | 541 } |
542 } | 542 } |
543 | 543 |
544 WASM_EXEC_COMPILED_TEST(F32x4Add) { RunF32x4BinOpTest(kExprF32x4Add, Add); } | 544 WASM_EXEC_COMPILED_TEST(F32x4Add) { RunF32x4BinOpTest(kExprF32x4Add, Add); } |
545 WASM_EXEC_COMPILED_TEST(F32x4Sub) { RunF32x4BinOpTest(kExprF32x4Sub, Sub); } | 545 WASM_EXEC_COMPILED_TEST(F32x4Sub) { RunF32x4BinOpTest(kExprF32x4Sub, Sub); } |
546 WASM_EXEC_COMPILED_TEST(F32x4Mul) { RunF32x4BinOpTest(kExprF32x4Mul, Mul); } | 546 WASM_EXEC_COMPILED_TEST(F32x4Mul) { RunF32x4BinOpTest(kExprF32x4Mul, Mul); } |
(...skipping 30 matching lines...) Expand all Loading... |
577 byte simd1 = r.AllocateLocal(kWasmS128); | 577 byte simd1 = r.AllocateLocal(kWasmS128); |
578 BUILD(r, WASM_SET_LOCAL(simd0, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(a))), | 578 BUILD(r, WASM_SET_LOCAL(simd0, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(a))), |
579 WASM_SET_LOCAL(simd1, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(b))), | 579 WASM_SET_LOCAL(simd1, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(b))), |
580 WASM_SET_LOCAL(simd1, | 580 WASM_SET_LOCAL(simd1, |
581 WASM_SIMD_MATERIALIZE_BOOLS( | 581 WASM_SIMD_MATERIALIZE_BOOLS( |
582 32x4, WASM_SIMD_BINOP(simd_op, WASM_GET_LOCAL(simd0), | 582 32x4, WASM_SIMD_BINOP(simd_op, WASM_GET_LOCAL(simd0), |
583 WASM_GET_LOCAL(simd1)))), | 583 WASM_GET_LOCAL(simd1)))), |
584 WASM_SIMD_CHECK_SPLAT4(I32x4, simd1, I32, expected), WASM_ONE); | 584 WASM_SIMD_CHECK_SPLAT4(I32x4, simd1, I32, expected), WASM_ONE); |
585 | 585 |
586 FOR_FLOAT32_INPUTS(i) { | 586 FOR_FLOAT32_INPUTS(i) { |
587 if (SkipFPTestInput(*i)) continue; | 587 if (SkipFPValue(*i)) continue; |
588 FOR_FLOAT32_INPUTS(j) { | 588 FOR_FLOAT32_INPUTS(j) { |
589 if (SkipFPTestInput(*j)) continue; | 589 if (SkipFPValue(*j)) continue; |
590 float diff = *i - *j; | 590 float diff = *i - *j; |
591 if (SkipFPExpectedValue(diff)) continue; | 591 if (SkipFPExpectedValue(diff)) continue; |
592 CHECK_EQ(1, r.Call(*i, *j, expected_op(*i, *j))); | 592 CHECK_EQ(1, r.Call(*i, *j, expected_op(*i, *j))); |
593 } | 593 } |
594 } | 594 } |
595 } | 595 } |
596 | 596 |
597 WASM_EXEC_COMPILED_TEST(F32x4Eq) { RunF32x4CompareOpTest(kExprF32x4Eq, Equal); } | 597 WASM_EXEC_COMPILED_TEST(F32x4Eq) { RunF32x4CompareOpTest(kExprF32x4Eq, Equal); } |
598 | 598 |
599 WASM_EXEC_COMPILED_TEST(F32x4Ne) { | 599 WASM_EXEC_COMPILED_TEST(F32x4Ne) { |
(...skipping 301 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
901 byte simd1 = r.AllocateLocal(kWasmS128); | 901 byte simd1 = r.AllocateLocal(kWasmS128); |
902 byte simd2 = r.AllocateLocal(kWasmS128); | 902 byte simd2 = r.AllocateLocal(kWasmS128); |
903 BUILD( | 903 BUILD( |
904 r, WASM_SET_LOCAL(simd0, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(a))), | 904 r, WASM_SET_LOCAL(simd0, WASM_SIMD_F32x4_SPLAT(WASM_GET_LOCAL(a))), |
905 WASM_SET_LOCAL(simd1, WASM_SIMD_I32x4_FROM_F32x4(WASM_GET_LOCAL(simd0))), | 905 WASM_SET_LOCAL(simd1, WASM_SIMD_I32x4_FROM_F32x4(WASM_GET_LOCAL(simd0))), |
906 WASM_SIMD_CHECK_SPLAT4(I32x4, simd1, I32, expected_signed), | 906 WASM_SIMD_CHECK_SPLAT4(I32x4, simd1, I32, expected_signed), |
907 WASM_SET_LOCAL(simd2, WASM_SIMD_U32x4_FROM_F32x4(WASM_GET_LOCAL(simd0))), | 907 WASM_SET_LOCAL(simd2, WASM_SIMD_U32x4_FROM_F32x4(WASM_GET_LOCAL(simd0))), |
908 WASM_SIMD_CHECK_SPLAT4(I32x4, simd2, I32, expected_unsigned), WASM_ONE); | 908 WASM_SIMD_CHECK_SPLAT4(I32x4, simd2, I32, expected_unsigned), WASM_ONE); |
909 | 909 |
910 FOR_FLOAT32_INPUTS(i) { | 910 FOR_FLOAT32_INPUTS(i) { |
911 if (SkipFPTestInput(*i)) continue; | 911 if (SkipFPValue(*i)) continue; |
912 int32_t signed_value = ConvertToInt(*i, false); | 912 int32_t signed_value = ConvertToInt(*i, false); |
913 int32_t unsigned_value = ConvertToInt(*i, true); | 913 int32_t unsigned_value = ConvertToInt(*i, true); |
914 CHECK_EQ(1, r.Call(*i, signed_value, unsigned_value)); | 914 CHECK_EQ(1, r.Call(*i, signed_value, unsigned_value)); |
915 } | 915 } |
916 } | 916 } |
917 | 917 |
918 void RunI32x4UnOpTest(WasmOpcode simd_op, Int32UnOp expected_op) { | 918 void RunI32x4UnOpTest(WasmOpcode simd_op, Int32UnOp expected_op) { |
919 FLAG_wasm_simd_prototype = true; | 919 FLAG_wasm_simd_prototype = true; |
920 WasmRunner<int32_t, int32_t, int32_t> r(kExecuteCompiled); | 920 WasmRunner<int32_t, int32_t, int32_t> r(kExecuteCompiled); |
921 byte a = 0; | 921 byte a = 0; |
(...skipping 933 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1855 WASM_SIMD_I32x4_EXTRACT_LANE( | 1855 WASM_SIMD_I32x4_EXTRACT_LANE( |
1856 0, WASM_LOAD_MEM(MachineType::Simd128(), WASM_ZERO))); | 1856 0, WASM_LOAD_MEM(MachineType::Simd128(), WASM_ZERO))); |
1857 | 1857 |
1858 FOR_INT32_INPUTS(i) { | 1858 FOR_INT32_INPUTS(i) { |
1859 int32_t expected = *i; | 1859 int32_t expected = *i; |
1860 r.module().WriteMemory(&memory[0], expected); | 1860 r.module().WriteMemory(&memory[0], expected); |
1861 CHECK_EQ(expected, r.Call()); | 1861 CHECK_EQ(expected, r.Call()); |
1862 } | 1862 } |
1863 } | 1863 } |
1864 #endif // V8_TARGET_ARCH_ARM || SIMD_LOWERING_TARGET | 1864 #endif // V8_TARGET_ARCH_ARM || SIMD_LOWERING_TARGET |
OLD | NEW |