Line data    Source code

       1             : // Copyright 2017 the V8 project authors. All rights reserved.
       2             : // Use of this source code is governed by a BSD-style license that can be
       3             : // found in the LICENSE file.
       4             : 
       5             : #include "test/cctest/cctest.h"
       6             : #include "test/cctest/wasm/wasm-run-utils.h"
       7             : #include "test/common/wasm/wasm-macro-gen.h"
       8             : 
       9             : namespace v8 {
      10             : namespace internal {
      11             : namespace wasm {
      12             : 
      13             : // TODO(gdeepti): Enable tests to run in the interpreter.
      14       28367 : WASM_EXEC_TEST(I32SExtendI8) {
      15             :   EXPERIMENTAL_FLAG_SCOPE(se);
      16          15 :   WasmRunner<int32_t, int32_t> r(execution_tier);
      17          15 :   BUILD(r, WASM_I32_SIGN_EXT_I8(WASM_GET_LOCAL(0)));
      18          15 :   CHECK_EQ(0, r.Call(0));
      19          15 :   CHECK_EQ(1, r.Call(1));
      20          15 :   CHECK_EQ(-1, r.Call(-1));
      21          15 :   CHECK_EQ(0x7a, r.Call(0x7a));
      22          15 :   CHECK_EQ(-0x80, r.Call(0x80));
      23          15 : }
      24             : 
      25       28367 : WASM_EXEC_TEST(I32SExtendI16) {
      26             :   EXPERIMENTAL_FLAG_SCOPE(se);
      27          15 :   WasmRunner<int32_t, int32_t> r(execution_tier);
      28          15 :   BUILD(r, WASM_I32_SIGN_EXT_I16(WASM_GET_LOCAL(0)));
      29          15 :   CHECK_EQ(0, r.Call(0));
      30          15 :   CHECK_EQ(1, r.Call(1));
      31          15 :   CHECK_EQ(-1, r.Call(-1));
      32          15 :   CHECK_EQ(0x7afa, r.Call(0x7afa));
      33          15 :   CHECK_EQ(-0x8000, r.Call(0x8000));
      34          15 : }
      35             : 
      36       28367 : WASM_EXEC_TEST(I64SExtendI8) {
      37             :   EXPERIMENTAL_FLAG_SCOPE(se);
      38          15 :   WasmRunner<int64_t, int64_t> r(execution_tier);
      39          15 :   BUILD(r, WASM_I64_SIGN_EXT_I8(WASM_GET_LOCAL(0)));
      40          15 :   CHECK_EQ(0, r.Call(0));
      41          15 :   CHECK_EQ(1, r.Call(1));
      42          15 :   CHECK_EQ(-1, r.Call(-1));
      43          15 :   CHECK_EQ(0x7a, r.Call(0x7a));
      44          15 :   CHECK_EQ(-0x80, r.Call(0x80));
      45          15 : }
      46             : 
      47       28367 : WASM_EXEC_TEST(I64SExtendI16) {
      48             :   EXPERIMENTAL_FLAG_SCOPE(se);
      49          15 :   WasmRunner<int64_t, int64_t> r(execution_tier);
      50          15 :   BUILD(r, WASM_I64_SIGN_EXT_I16(WASM_GET_LOCAL(0)));
      51          15 :   CHECK_EQ(0, r.Call(0));
      52          15 :   CHECK_EQ(1, r.Call(1));
      53          15 :   CHECK_EQ(-1, r.Call(-1));
      54          15 :   CHECK_EQ(0x7afa, r.Call(0x7afa));
      55          15 :   CHECK_EQ(-0x8000, r.Call(0x8000));
      56          15 : }
      57             : 
      58       28367 : WASM_EXEC_TEST(I64SExtendI32) {
      59             :   EXPERIMENTAL_FLAG_SCOPE(se);
      60          15 :   WasmRunner<int64_t, int64_t> r(execution_tier);
      61          15 :   BUILD(r, WASM_I64_SIGN_EXT_I32(WASM_GET_LOCAL(0)));
      62          15 :   CHECK_EQ(0, r.Call(0));
      63          15 :   CHECK_EQ(1, r.Call(1));
      64          15 :   CHECK_EQ(-1, r.Call(-1));
      65          15 :   CHECK_EQ(0x7fffffff, r.Call(0x7fffffff));
      66          15 :   CHECK_EQ(-0x80000000LL, r.Call(0x80000000));
      67          15 : }
      68             : 
      69             : }  // namespace wasm
      70             : }  // namespace internal
      71       85011 : }  // namespace v8