| OLD | NEW |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 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 <stdlib.h> | 5 #include <stdlib.h> |
| 6 | 6 |
| 7 #include "src/v8.h" | 7 #include "src/v8.h" |
| 8 | 8 |
| 9 #include "test/cctest/cctest.h" | 9 #include "test/cctest/cctest.h" |
| 10 #include "test/cctest/compiler/c-signature.h" | 10 #include "test/cctest/compiler/c-signature.h" |
| 11 #include "test/cctest/wasm/wasm-run-utils.h" | 11 #include "test/cctest/wasm/wasm-run-utils.h" |
| 12 | 12 |
| 13 using namespace v8::internal; | 13 using namespace v8::internal; |
| 14 using namespace v8::internal::compiler; | 14 using namespace v8::internal::compiler; |
| 15 | 15 |
| 16 #define FOREACH_TYPE(TEST_BODY) \ | 16 #define FOREACH_TYPE(TEST_BODY) \ |
| 17 TEST_BODY(int32_t, I32, WASM_I32_ADD) \ | 17 TEST_BODY(int32_t, I32, WASM_I32_ADD) \ |
| 18 TEST_BODY(int64_t, I64, WASM_I64_ADD) \ | 18 TEST_BODY(int64_t, I64, WASM_I64_ADD) \ |
| 19 TEST_BODY(float, F32, WASM_F32_ADD) \ | 19 TEST_BODY(float, F32, WASM_F32_ADD) \ |
| 20 TEST_BODY(double, F64, WASM_F64_ADD) | 20 TEST_BODY(double, F64, WASM_F64_ADD) |
| 21 | 21 |
| 22 #define LOAD_SET_GLOBAL_TEST_BODY(C_TYPE, MACHINE_TYPE, ADD) \ | 22 #define LOAD_SET_GLOBAL_TEST_BODY(C_TYPE, MACHINE_TYPE, ADD) \ |
| 23 TEST(WasmRelocateGlobal##MACHINE_TYPE) { \ | 23 TEST(WasmRelocateGlobal##MACHINE_TYPE) { \ |
| 24 TestingModule module(kExecuteCompiled); \ | 24 TestingModule module(kExecuteCompiled); \ |
| 25 module.AddGlobal<C_TYPE>(kAst##MACHINE_TYPE); \ | 25 module.AddGlobal<C_TYPE>(kAst##MACHINE_TYPE); \ |
| 26 module.AddGlobal<C_TYPE>(kAst##MACHINE_TYPE); \ | 26 module.AddGlobal<C_TYPE>(kAst##MACHINE_TYPE); \ |
| 27 \ | 27 \ |
| 28 WasmRunner<C_TYPE> r(&module, \ | 28 WasmRunner<C_TYPE> r(&module, \ |
| 29 WasmOpcodes::MachineTypeFor(kAst##MACHINE_TYPE)); \ | 29 WasmOpcodes::MachineTypeFor(kAst##MACHINE_TYPE)); \ |
| 30 \ | 30 \ |
| 31 /* global = global + p0 */ \ | 31 /* global = global + p0 */ \ |
| 32 BUILD(r, WASM_SET_GLOBAL(1, ADD(WASM_GET_GLOBAL(0), WASM_GET_LOCAL(0))), \ | 32 BUILD(r, WASM_SET_GLOBAL(1, ADD(WASM_GET_GLOBAL(0), WASM_GET_LOCAL(0)))); \ |
| 33 WASM_GET_GLOBAL(0)); \ | 33 CHECK_EQ(1, module.instance->function_code.size()); \ |
| 34 CHECK_EQ(1, module.instance->function_code.size()); \ | 34 \ |
| 35 \ | 35 int filter = 1 << RelocInfo::WASM_GLOBAL_REFERENCE; \ |
| 36 int filter = 1 << RelocInfo::WASM_GLOBAL_REFERENCE; \ | 36 \ |
| 37 \ | 37 Handle<Code> code = module.instance->function_code[0]; \ |
| 38 Handle<Code> code = module.instance->function_code[0]; \ | 38 \ |
| 39 \ | 39 Address old_start = module.instance->globals_start; \ |
| 40 Address old_start = module.instance->globals_start; \ | 40 Address new_start = old_start + 1; \ |
| 41 Address new_start = old_start + 1; \ | 41 \ |
| 42 \ | 42 Address old_addresses[2]; \ |
| 43 Address old_addresses[4]; \ | 43 uint32_t address_index = 0U; \ |
| 44 uint32_t address_index = 0U; \ | 44 for (RelocIterator it(*code, filter); !it.done(); it.next()) { \ |
| 45 for (RelocIterator it(*code, filter); !it.done(); it.next()) { \ | 45 old_addresses[address_index] = it.rinfo()->wasm_global_reference(); \ |
| 46 old_addresses[address_index] = it.rinfo()->wasm_global_reference(); \ | 46 it.rinfo()->update_wasm_global_reference(old_start, new_start); \ |
| 47 it.rinfo()->update_wasm_global_reference(old_start, new_start); \ | 47 ++address_index; \ |
| 48 ++address_index; \ | 48 } \ |
| 49 } \ | 49 CHECK_EQ(2U, address_index); \ |
| 50 CHECK_LE(address_index, 4U); \ | 50 \ |
| 51 \ | 51 address_index = 0U; \ |
| 52 address_index = 0U; \ | 52 for (RelocIterator it(*code, filter); !it.done(); it.next()) { \ |
| 53 for (RelocIterator it(*code, filter); !it.done(); it.next()) { \ | 53 CHECK_EQ(old_addresses[address_index] + 1, \ |
| 54 CHECK_EQ(old_addresses[address_index] + 1, \ | 54 it.rinfo()->wasm_global_reference()); \ |
| 55 it.rinfo()->wasm_global_reference()); \ | 55 ++address_index; \ |
| 56 ++address_index; \ | 56 } \ |
| 57 } \ | 57 CHECK_EQ(2U, address_index); \ |
| 58 CHECK_LE(address_index, 4U); \ | |
| 59 } | 58 } |
| 60 | 59 |
| 61 FOREACH_TYPE(LOAD_SET_GLOBAL_TEST_BODY) | 60 FOREACH_TYPE(LOAD_SET_GLOBAL_TEST_BODY) |
| OLD | NEW |