// 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 r(kExecuteCompiled); 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 r(kExecuteCompiled); 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 r(kExecuteCompiled); BUILD(r, WASM_IF_ELSE_I(WASM_F32_EQ(WASM_SIMD_F32x4_EXTRACT_LANE( 0, WASM_SIMD_F32x4_SPLAT(WASM_F32(9.5))), WASM_F32(9.5)), WASM_I32V(1), 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 r(kExecuteCompiled); BUILD(r, WASM_IF_ELSE_I( 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_I32V(1), 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 r(kExecuteCompiled); BUILD(r, WASM_IF_ELSE_I(WASM_F32_EQ(WASM_SIMD_F32x4_EXTRACT_LANE( 0, WASM_SIMD_I32x4_SPLAT(WASM_I32V(15))), WASM_F32_REINTERPRET_I32(WASM_I32V(15))), WASM_I32V(1), 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 r(kExecuteCompiled); BUILD(r, WASM_IF_ELSE_I( 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_I32V(1), 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 r(kExecuteCompiled); BUILD(r, WASM_IF_ELSE_I( 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_I32V(1), 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 r(kExecuteCompiled); r.AllocateLocal(kWasmS128); BUILD(r, WASM_SET_LOCAL(0, WASM_SIMD_I32x4_SPLAT(WASM_I32V(31))), WASM_SIMD_I32x4_EXTRACT_LANE(0, WASM_GET_LOCAL(0))); FOR_INT32_INPUTS(i) { CHECK_EQ(31, r.Call()); } } WASM_EXEC_COMPILED_TEST(Simd_I32x4_Replace_Lane) { FLAG_wasm_simd_prototype = true; WasmRunner r(kExecuteCompiled); r.AllocateLocal(kWasmS128); BUILD(r, WASM_SET_LOCAL(0, WASM_SIMD_I32x4_SPLAT(WASM_I32V(31))), WASM_SET_LOCAL(0, WASM_SIMD_I32x4_REPLACE_LANE(2, WASM_GET_LOCAL(0), WASM_I32V(53))), WASM_SIMD_I32x4_EXTRACT_LANE(2, WASM_GET_LOCAL(0))); FOR_INT32_INPUTS(i) { CHECK_EQ(53, r.Call()); } } WASM_EXEC_COMPILED_TEST(Simd_F32x4_Replace_Lane) { FLAG_wasm_simd_prototype = true; WasmRunner r(kExecuteCompiled); r.AllocateLocal(kWasmF32); r.AllocateLocal(kWasmS128); BUILD(r, WASM_SET_LOCAL(1, WASM_SIMD_F32x4_SPLAT(WASM_F32(23.5))), WASM_SET_LOCAL(1, WASM_SIMD_F32x4_REPLACE_LANE(3, WASM_GET_LOCAL(1), WASM_F32(65.25))), WASM_SET_LOCAL(0, WASM_SIMD_F32x4_EXTRACT_LANE(3, WASM_GET_LOCAL(1))), WASM_IF(WASM_F32_EQ(WASM_GET_LOCAL(0), WASM_F32(65.25)), WASM_RETURN1(WASM_I32V(1))), 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 r(kExecuteCompiled); r.AllocateLocal(kWasmI32); r.AllocateLocal(kWasmS128); BUILD(r, WASM_SET_LOCAL(0, WASM_SIMD_I32x4_EXTRACT_LANE( 0, WASM_SIMD_I32x4_SPLAT(WASM_I32V(76)))), WASM_SET_LOCAL(1, WASM_SIMD_I32x4_SPLAT(WASM_GET_LOCAL(0))), WASM_SIMD_I32x4_EXTRACT_LANE(1, WASM_GET_LOCAL(1))); FOR_INT32_INPUTS(i) { CHECK_EQ(76, r.Call()); } } WASM_EXEC_COMPILED_TEST(Simd_I32x4_Get_Global) { FLAG_wasm_simd_prototype = true; WasmRunner r(kExecuteCompiled); int32_t* global = r.module().AddGlobal(kWasmS128); *(global) = 0; *(global + 1) = 1; *(global + 2) = 2; *(global + 3) = 3; r.AllocateLocal(kWasmI32); BUILD( r, 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_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; WasmRunner r(kExecuteCompiled); int32_t* global = r.module().AddGlobal(kWasmS128); BUILD(r, 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_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; WasmRunner r(kExecuteCompiled); float* global = r.module().AddGlobal(kWasmS128); *(global) = 0.0; *(global + 1) = 1.5; *(global + 2) = 2.25; *(global + 3) = 3.5; r.AllocateLocal(kWasmI32); BUILD( r, 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_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; WasmRunner r(kExecuteCompiled); float* global = r.module().AddGlobal(kWasmS128); BUILD(r, 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_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 r(kExecuteCompiled); r.AllocateLocal(kWasmI32); r.AllocateLocal(kWasmS128); BUILD(r, WASM_SET_LOCAL(1, WASM_SIMD_I32x4_SPLAT(WASM_I32V(31))), WASM_SET_LOCAL(1, WASM_SIMD_I32x4_REPLACE_LANE(1, WASM_GET_LOCAL(1), WASM_I32V(53))), WASM_SET_LOCAL(1, WASM_SIMD_I32x4_REPLACE_LANE(2, WASM_GET_LOCAL(1), WASM_I32V(23))), WASM_SET_LOCAL(0, WASM_I32V(0)), WASM_LOOP( WASM_SET_LOCAL( 1, WASM_SIMD_I32x4_ADD(WASM_GET_LOCAL(1), WASM_SIMD_I32x4_SPLAT(WASM_I32V(1)))), WASM_IF(WASM_I32_NE(WASM_INC_LOCAL(0), WASM_I32V(5)), WASM_BR(1))), WASM_SET_LOCAL(0, WASM_I32V(1)), WASM_IF(WASM_I32_NE(WASM_SIMD_I32x4_EXTRACT_LANE(0, WASM_GET_LOCAL(1)), WASM_I32V(36)), WASM_SET_LOCAL(0, WASM_I32V(0))), WASM_IF(WASM_I32_NE(WASM_SIMD_I32x4_EXTRACT_LANE(1, WASM_GET_LOCAL(1)), WASM_I32V(58)), WASM_SET_LOCAL(0, WASM_I32V(0))), WASM_IF(WASM_I32_NE(WASM_SIMD_I32x4_EXTRACT_LANE(2, WASM_GET_LOCAL(1)), WASM_I32V(28)), WASM_SET_LOCAL(0, WASM_I32V(0))), WASM_IF(WASM_I32_NE(WASM_SIMD_I32x4_EXTRACT_LANE(3, WASM_GET_LOCAL(1)), WASM_I32V(36)), WASM_SET_LOCAL(0, WASM_I32V(0))), WASM_GET_LOCAL(0)); FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } } WASM_EXEC_COMPILED_TEST(Simd_F32x4_For) { FLAG_wasm_simd_prototype = true; WasmRunner r(kExecuteCompiled); r.AllocateLocal(kWasmI32); r.AllocateLocal(kWasmS128); BUILD(r, WASM_SET_LOCAL(1, WASM_SIMD_F32x4_SPLAT(WASM_F32(21.25))), WASM_SET_LOCAL(1, WASM_SIMD_F32x4_REPLACE_LANE(3, WASM_GET_LOCAL(1), WASM_F32(19.5))), WASM_SET_LOCAL(0, WASM_I32V(0)), WASM_LOOP( WASM_SET_LOCAL( 1, WASM_SIMD_F32x4_ADD(WASM_GET_LOCAL(1), WASM_SIMD_F32x4_SPLAT(WASM_F32(2.0)))), WASM_IF(WASM_I32_NE(WASM_INC_LOCAL(0), WASM_I32V(3)), WASM_BR(1))), WASM_SET_LOCAL(0, WASM_I32V(1)), WASM_IF(WASM_F32_NE(WASM_SIMD_F32x4_EXTRACT_LANE(0, WASM_GET_LOCAL(1)), WASM_F32(27.25)), WASM_SET_LOCAL(0, WASM_I32V(0))), WASM_IF(WASM_F32_NE(WASM_SIMD_F32x4_EXTRACT_LANE(3, WASM_GET_LOCAL(1)), WASM_F32(25.5)), WASM_SET_LOCAL(0, WASM_I32V(0))), WASM_GET_LOCAL(0)); FOR_INT32_INPUTS(i) { CHECK_EQ(1, r.Call()); } }