summaryrefslogtreecommitdiff
path: root/deps/v8/test/cctest/wasm/test-run-wasm-relocation.cc
blob: f34a1a323e709435bb4332e571181b53a3834fce (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
// Copyright 2015 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 <stdlib.h>

#include "src/v8.h"

#include "test/cctest/cctest.h"
#include "test/cctest/compiler/c-signature.h"
#include "test/cctest/wasm/wasm-run-utils.h"

using namespace v8::internal;
using namespace v8::internal::compiler;

#define FOREACH_TYPE(TEST_BODY)    \
  TEST_BODY(int32_t, WASM_I32_ADD) \
  TEST_BODY(int64_t, WASM_I64_ADD) \
  TEST_BODY(float, WASM_F32_ADD)   \
  TEST_BODY(double, WASM_F64_ADD)

#define LOAD_SET_GLOBAL_TEST_BODY(C_TYPE, ADD)                               \
  TEST(WasmRelocateGlobal_##C_TYPE) {                                        \
    WasmRunner<C_TYPE, C_TYPE> r(kExecuteCompiled);                          \
                                                                             \
    r.module().AddGlobal<C_TYPE>();                                          \
    r.module().AddGlobal<C_TYPE>();                                          \
                                                                             \
    /* global = global + p0 */                                               \
    BUILD(r, WASM_SET_GLOBAL(1, ADD(WASM_GET_GLOBAL(0), WASM_GET_LOCAL(0))), \
          WASM_GET_GLOBAL(0));                                               \
    CHECK_EQ(1, r.module().instance->function_code.size());                  \
                                                                             \
    int filter = 1 << RelocInfo::WASM_GLOBAL_REFERENCE;                      \
                                                                             \
    Handle<Code> code = r.module().instance->function_code[0];               \
                                                                             \
    Address old_start = r.module().instance->globals_start;                  \
    Address new_start = old_start + 1;                                       \
                                                                             \
    Address old_addresses[4];                                                \
    uint32_t address_index = 0U;                                             \
    for (RelocIterator it(*code, filter); !it.done(); it.next()) {           \
      old_addresses[address_index] = it.rinfo()->wasm_global_reference();    \
      it.rinfo()->update_wasm_global_reference(old_start, new_start);        \
      ++address_index;                                                       \
    }                                                                        \
    CHECK_LE(address_index, 4U);                                             \
                                                                             \
    address_index = 0U;                                                      \
    for (RelocIterator it(*code, filter); !it.done(); it.next()) {           \
      CHECK_EQ(old_addresses[address_index] + 1,                             \
               it.rinfo()->wasm_global_reference());                         \
      ++address_index;                                                       \
    }                                                                        \
    CHECK_LE(address_index, 4U);                                             \
  }

FOREACH_TYPE(LOAD_SET_GLOBAL_TEST_BODY)