| // Copyright 2016 the V8 project authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #include "src/wasm/wasm-macro-gen.h" |
| #include "src/wasm/wasm-module.h" |
| |
| #include "test/cctest/cctest.h" |
| #include "test/cctest/compiler/value-helper.h" |
| #include "test/cctest/wasm/wasm-run-utils.h" |
| #include "test/common/wasm/test-signatures.h" |
| |
| using namespace v8::base; |
| using namespace v8::internal; |
| using namespace v8::internal::compiler; |
| using namespace v8::internal::wasm; |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Splat) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| BUILD(r, |
| WASM_SIMD_I32x4_EXTRACT_LANE(0, WASM_SIMD_I32x4_SPLAT(WASM_I32V(5)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(5, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Add) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| BUILD(r, WASM_SIMD_I32x4_EXTRACT_LANE( |
| 0, WASM_SIMD_I32x4_ADD(WASM_SIMD_I32x4_SPLAT(WASM_I32V(5)), |
| WASM_SIMD_I32x4_SPLAT(WASM_I32V(6))))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(11, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_F32x4_Splat) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| BUILD(r, |
| WASM_IF_ELSE(WASM_F32_EQ(WASM_SIMD_F32x4_EXTRACT_LANE( |
| 0, WASM_SIMD_F32x4_SPLAT(WASM_F32(9.5))), |
| WASM_F32(9.5)), |
| WASM_RETURN1(WASM_I32V(1)), WASM_RETURN1(WASM_I32V(0)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Extract_With_F32x4) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| BUILD(r, |
| WASM_IF_ELSE(WASM_I32_EQ(WASM_SIMD_I32x4_EXTRACT_LANE( |
| 0, WASM_SIMD_F32x4_SPLAT(WASM_F32(30.5))), |
| WASM_I32_REINTERPRET_F32(WASM_F32(30.5))), |
| WASM_RETURN1(WASM_I32V(1)), WASM_RETURN1(WASM_I32V(0)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_F32x4_Extract_With_I32x4) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| BUILD(r, |
| WASM_IF_ELSE(WASM_F32_EQ(WASM_SIMD_F32x4_EXTRACT_LANE( |
| 0, WASM_SIMD_I32x4_SPLAT(WASM_I32V(15))), |
| WASM_F32_REINTERPRET_I32(WASM_I32V(15))), |
| WASM_RETURN1(WASM_I32V(1)), WASM_RETURN1(WASM_I32V(0)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_F32x4_Add_With_I32x4) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| BUILD(r, |
| WASM_IF_ELSE( |
| WASM_F32_EQ(WASM_SIMD_F32x4_EXTRACT_LANE( |
| 0, WASM_SIMD_F32x4_ADD( |
| WASM_SIMD_I32x4_SPLAT(WASM_I32V(32)), |
| WASM_SIMD_I32x4_SPLAT(WASM_I32V(19)))), |
| WASM_F32_ADD(WASM_F32_REINTERPRET_I32(WASM_I32V(32)), |
| WASM_F32_REINTERPRET_I32(WASM_I32V(19)))), |
| WASM_RETURN1(WASM_I32V(1)), WASM_RETURN1(WASM_I32V(0)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Add_With_F32x4) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| BUILD(r, |
| WASM_IF_ELSE( |
| WASM_I32_EQ(WASM_SIMD_I32x4_EXTRACT_LANE( |
| 0, WASM_SIMD_I32x4_ADD( |
| WASM_SIMD_F32x4_SPLAT(WASM_F32(21.25)), |
| WASM_SIMD_F32x4_SPLAT(WASM_F32(31.5)))), |
| WASM_I32_ADD(WASM_I32_REINTERPRET_F32(WASM_F32(21.25)), |
| WASM_I32_REINTERPRET_F32(WASM_F32(31.5)))), |
| WASM_RETURN1(WASM_I32V(1)), WASM_RETURN1(WASM_I32V(0)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Local) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| r.AllocateLocal(kAstS128); |
| BUILD(r, WASM_BLOCK(WASM_SET_LOCAL(1, WASM_SIMD_I32x4_SPLAT(WASM_I32V(31))), |
| WASM_RETURN1( |
| WASM_SIMD_I32x4_EXTRACT_LANE(0, WASM_GET_LOCAL(1))))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(31, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Replace_Lane) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| r.AllocateLocal(kAstS128); |
| BUILD(r, |
| WASM_BLOCK( |
| WASM_SET_LOCAL(1, WASM_SIMD_I32x4_SPLAT(WASM_I32V(31))), |
| WASM_SET_LOCAL(1, WASM_SIMD_I32x4_REPLACE_LANE(2, WASM_GET_LOCAL(1), |
| WASM_I32V(53))), |
| WASM_RETURN1(WASM_SIMD_I32x4_EXTRACT_LANE(2, WASM_GET_LOCAL(1))))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(53, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_F32x4_Replace_Lane) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| r.AllocateLocal(kAstF32); |
| r.AllocateLocal(kAstS128); |
| BUILD(r, WASM_BLOCK( |
| WASM_SET_LOCAL(2, WASM_SIMD_F32x4_SPLAT(WASM_F32(23.5))), |
| WASM_SET_LOCAL(2, WASM_SIMD_F32x4_REPLACE_LANE( |
| 3, WASM_GET_LOCAL(2), WASM_F32(65.25))), |
| WASM_SET_LOCAL( |
| 1, WASM_SIMD_F32x4_EXTRACT_LANE(3, WASM_GET_LOCAL(2))), |
| WASM_IF(WASM_F32_EQ(WASM_GET_LOCAL(1), WASM_F32(65.25)), |
| WASM_RETURN1(WASM_I32V(1))), |
| WASM_RETURN1(WASM_I32V(0)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Splat_From_Extract) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| r.AllocateLocal(kAstI32); |
| r.AllocateLocal(kAstS128); |
| BUILD(r, |
| WASM_BLOCK( |
| WASM_SET_LOCAL(1, WASM_SIMD_I32x4_EXTRACT_LANE( |
| 0, WASM_SIMD_I32x4_SPLAT(WASM_I32V(76)))), |
| WASM_SET_LOCAL(2, WASM_SIMD_I32x4_SPLAT(WASM_GET_LOCAL(1))), |
| WASM_RETURN1(WASM_SIMD_I32x4_EXTRACT_LANE(1, WASM_GET_LOCAL(2))))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(76, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Get_Global) { |
| FLAG_wasm_simd_prototype = true; |
| TestingModule module(kExecuteCompiled); |
| int32_t* global = module.AddGlobal<int32_t>(kAstS128); |
| *(global) = 0; |
| *(global + 1) = 1; |
| *(global + 2) = 2; |
| *(global + 3) = 3; |
| WasmRunner<int32_t> r(&module, MachineType::Int32()); |
| r.AllocateLocal(kAstI32); |
| BUILD(r, WASM_BLOCK( |
| WASM_SET_LOCAL(1, WASM_I32V(1)), |
| WASM_IF(WASM_I32_NE(WASM_I32V(0), WASM_SIMD_I32x4_EXTRACT_LANE( |
| 0, WASM_GET_GLOBAL(0))), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF(WASM_I32_NE(WASM_I32V(1), WASM_SIMD_I32x4_EXTRACT_LANE( |
| 1, WASM_GET_GLOBAL(0))), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF(WASM_I32_NE(WASM_I32V(2), WASM_SIMD_I32x4_EXTRACT_LANE( |
| 2, WASM_GET_GLOBAL(0))), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF(WASM_I32_NE(WASM_I32V(3), WASM_SIMD_I32x4_EXTRACT_LANE( |
| 3, WASM_GET_GLOBAL(0))), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_RETURN1(WASM_GET_LOCAL(1)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call(0)); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_Set_Global) { |
| FLAG_wasm_simd_prototype = true; |
| TestingModule module(kExecuteCompiled); |
| int32_t* global = module.AddGlobal<int32_t>(kAstS128); |
| WasmRunner<int32_t> r(&module, MachineType::Int32()); |
| BUILD(r, WASM_BLOCK( |
| WASM_SET_GLOBAL(0, WASM_SIMD_I32x4_SPLAT(WASM_I32V(23))), |
| WASM_SET_GLOBAL(0, WASM_SIMD_I32x4_REPLACE_LANE( |
| 1, WASM_GET_GLOBAL(0), WASM_I32V(34))), |
| WASM_SET_GLOBAL(0, WASM_SIMD_I32x4_REPLACE_LANE( |
| 2, WASM_GET_GLOBAL(0), WASM_I32V(45))), |
| WASM_SET_GLOBAL(0, WASM_SIMD_I32x4_REPLACE_LANE( |
| 3, WASM_GET_GLOBAL(0), WASM_I32V(56))), |
| WASM_RETURN1(WASM_I32V(1)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call(0)); } |
| CHECK_EQ(*global, 23); |
| CHECK_EQ(*(global + 1), 34); |
| CHECK_EQ(*(global + 2), 45); |
| CHECK_EQ(*(global + 3), 56); |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_F32x4_Get_Global) { |
| FLAG_wasm_simd_prototype = true; |
| TestingModule module(kExecuteCompiled); |
| float* global = module.AddGlobal<float>(kAstS128); |
| *(global) = 0.0; |
| *(global + 1) = 1.5; |
| *(global + 2) = 2.25; |
| *(global + 3) = 3.5; |
| WasmRunner<int32_t> r(&module, MachineType::Int32()); |
| r.AllocateLocal(kAstI32); |
| BUILD(r, WASM_BLOCK( |
| WASM_SET_LOCAL(1, WASM_I32V(1)), |
| WASM_IF(WASM_F32_NE(WASM_F32(0.0), WASM_SIMD_F32x4_EXTRACT_LANE( |
| 0, WASM_GET_GLOBAL(0))), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF(WASM_F32_NE(WASM_F32(1.5), WASM_SIMD_F32x4_EXTRACT_LANE( |
| 1, WASM_GET_GLOBAL(0))), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF(WASM_F32_NE(WASM_F32(2.25), WASM_SIMD_F32x4_EXTRACT_LANE( |
| 2, WASM_GET_GLOBAL(0))), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF(WASM_F32_NE(WASM_F32(3.5), WASM_SIMD_F32x4_EXTRACT_LANE( |
| 3, WASM_GET_GLOBAL(0))), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_RETURN1(WASM_GET_LOCAL(1)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call(0)); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_F32x4_Set_Global) { |
| FLAG_wasm_simd_prototype = true; |
| TestingModule module(kExecuteCompiled); |
| float* global = module.AddGlobal<float>(kAstS128); |
| WasmRunner<int32_t> r(&module, MachineType::Int32()); |
| BUILD(r, WASM_BLOCK( |
| WASM_SET_GLOBAL(0, WASM_SIMD_F32x4_SPLAT(WASM_F32(13.5))), |
| WASM_SET_GLOBAL(0, WASM_SIMD_F32x4_REPLACE_LANE( |
| 1, WASM_GET_GLOBAL(0), WASM_F32(45.5))), |
| WASM_SET_GLOBAL(0, WASM_SIMD_F32x4_REPLACE_LANE( |
| 2, WASM_GET_GLOBAL(0), WASM_F32(32.25))), |
| WASM_SET_GLOBAL(0, WASM_SIMD_F32x4_REPLACE_LANE( |
| 3, WASM_GET_GLOBAL(0), WASM_F32(65.0))), |
| WASM_RETURN1(WASM_I32V(1)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call(0)); } |
| CHECK_EQ(*global, 13.5); |
| CHECK_EQ(*(global + 1), 45.5); |
| CHECK_EQ(*(global + 2), 32.25); |
| CHECK_EQ(*(global + 3), 65.0); |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_I32x4_For) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| r.AllocateLocal(kAstI32); |
| r.AllocateLocal(kAstS128); |
| BUILD( |
| r, |
| WASM_BLOCK( |
| WASM_SET_LOCAL(2, WASM_SIMD_I32x4_SPLAT(WASM_I32V(31))), |
| WASM_SET_LOCAL(2, WASM_SIMD_I32x4_REPLACE_LANE(1, WASM_GET_LOCAL(2), |
| WASM_I32V(53))), |
| WASM_SET_LOCAL(2, WASM_SIMD_I32x4_REPLACE_LANE(2, WASM_GET_LOCAL(2), |
| WASM_I32V(23))), |
| WASM_SET_LOCAL(1, WASM_I32V(0)), |
| WASM_LOOP(WASM_SET_LOCAL(2, WASM_SIMD_I32x4_ADD( |
| WASM_GET_LOCAL(2), |
| WASM_SIMD_I32x4_SPLAT(WASM_I32V(1)))), |
| WASM_IF(WASM_I32_NE(WASM_INC_LOCAL(1), WASM_I32V(5)), |
| WASM_BR(1))), |
| WASM_SET_LOCAL(1, WASM_I32V(1)), |
| WASM_IF( |
| WASM_I32_NE(WASM_SIMD_I32x4_EXTRACT_LANE(0, WASM_GET_LOCAL(2)), |
| WASM_I32V(36)), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF( |
| WASM_I32_NE(WASM_SIMD_I32x4_EXTRACT_LANE(1, WASM_GET_LOCAL(2)), |
| WASM_I32V(58)), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF( |
| WASM_I32_NE(WASM_SIMD_I32x4_EXTRACT_LANE(2, WASM_GET_LOCAL(2)), |
| WASM_I32V(28)), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF( |
| WASM_I32_NE(WASM_SIMD_I32x4_EXTRACT_LANE(3, WASM_GET_LOCAL(2)), |
| WASM_I32V(36)), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_RETURN1(WASM_GET_LOCAL(1)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } |
| } |
| |
| WASM_EXEC_COMPILED_TEST(Simd_F32x4_For) { |
| FLAG_wasm_simd_prototype = true; |
| WasmRunner<int32_t> r(kExecuteCompiled, MachineType::Int32()); |
| r.AllocateLocal(kAstI32); |
| r.AllocateLocal(kAstS128); |
| BUILD(r, WASM_BLOCK( |
| WASM_SET_LOCAL(2, WASM_SIMD_F32x4_SPLAT(WASM_F32(21.25))), |
| WASM_SET_LOCAL(2, WASM_SIMD_F32x4_REPLACE_LANE( |
| 3, WASM_GET_LOCAL(2), WASM_F32(19.5))), |
| WASM_SET_LOCAL(1, WASM_I32V(0)), |
| WASM_LOOP( |
| WASM_SET_LOCAL(2, WASM_SIMD_F32x4_ADD( |
| WASM_GET_LOCAL(2), |
| WASM_SIMD_F32x4_SPLAT(WASM_F32(2.0)))), |
| WASM_IF(WASM_I32_NE(WASM_INC_LOCAL(1), WASM_I32V(3)), |
| WASM_BR(1))), |
| WASM_SET_LOCAL(1, WASM_I32V(1)), |
| WASM_IF(WASM_F32_NE( |
| WASM_SIMD_F32x4_EXTRACT_LANE(0, WASM_GET_LOCAL(2)), |
| WASM_F32(27.25)), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_IF(WASM_F32_NE( |
| WASM_SIMD_F32x4_EXTRACT_LANE(3, WASM_GET_LOCAL(2)), |
| WASM_F32(25.5)), |
| WASM_SET_LOCAL(1, WASM_I32V(0))), |
| WASM_RETURN1(WASM_GET_LOCAL(1)))); |
| FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } |
| } |