src/cpu/x86/vm/relocInfo_x86.cpp

Sat, 29 Sep 2012 06:40:00 -0400

author
coleenp
date
Sat, 29 Sep 2012 06:40:00 -0400
changeset 4142
d8ce2825b193
parent 4037
da91efe96a93
child 4318
cd3d6a6b95d9
permissions
-rw-r--r--

8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
Summary: Capitalize these metadata types (and objArrayKlass)
Reviewed-by: stefank, twisti, kvn

duke@435 1 /*
coleenp@4037 2 * Copyright (c) 1998, 2012, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #include "precompiled.hpp"
stefank@2314 26 #include "asm/assembler.inline.hpp"
stefank@2314 27 #include "assembler_x86.inline.hpp"
stefank@2314 28 #include "code/relocInfo.hpp"
stefank@2314 29 #include "nativeInst_x86.hpp"
stefank@2314 30 #include "oops/oop.inline.hpp"
stefank@2314 31 #include "runtime/safepoint.hpp"
duke@435 32
duke@435 33
never@2657 34 void Relocation::pd_set_data_value(address x, intptr_t o, bool verify_only) {
duke@435 35 #ifdef AMD64
duke@435 36 x += o;
duke@435 37 typedef Assembler::WhichOperand WhichOperand;
never@739 38 WhichOperand which = (WhichOperand) format(); // that is, disp32 or imm, call32, narrow oop
duke@435 39 assert(which == Assembler::disp32_operand ||
kvn@599 40 which == Assembler::narrow_oop_operand ||
never@739 41 which == Assembler::imm_operand, "format unpacks ok");
never@739 42 if (which == Assembler::imm_operand) {
never@2657 43 if (verify_only) {
never@2657 44 assert(*pd_address_in_code() == x, "instructions must match");
never@2657 45 } else {
never@2657 46 *pd_address_in_code() = x;
never@2657 47 }
kvn@599 48 } else if (which == Assembler::narrow_oop_operand) {
kvn@599 49 address disp = Assembler::locate_operand(addr(), which);
coleenp@4037 50 // both compressed oops and compressed classes look the same
coleenp@4037 51 if (Universe::heap()->is_in_reserved((oop)x)) {
never@2657 52 if (verify_only) {
never@2657 53 assert(*(uint32_t*) disp == oopDesc::encode_heap_oop((oop)x), "instructions must match");
never@2657 54 } else {
never@2657 55 *(int32_t*) disp = oopDesc::encode_heap_oop((oop)x);
never@2657 56 }
duke@435 57 } else {
coleenp@4037 58 if (verify_only) {
coleenp@4037 59 assert(*(uint32_t*) disp == oopDesc::encode_klass((Klass*)x), "instructions must match");
coleenp@4037 60 } else {
coleenp@4037 61 *(int32_t*) disp = oopDesc::encode_klass((Klass*)x);
coleenp@4037 62 }
coleenp@4037 63 }
coleenp@4037 64 } else {
duke@435 65 // Note: Use runtime_call_type relocations for call32_operand.
duke@435 66 address ip = addr();
duke@435 67 address disp = Assembler::locate_operand(ip, which);
duke@435 68 address next_ip = Assembler::locate_next_instruction(ip);
never@2657 69 if (verify_only) {
never@2657 70 assert(*(int32_t*) disp == (x - next_ip), "instructions must match");
never@2657 71 } else {
never@2657 72 *(int32_t*) disp = x - next_ip;
never@2657 73 }
duke@435 74 }
duke@435 75 #else
never@2657 76 if (verify_only) {
never@2657 77 assert(*pd_address_in_code() == (x + o), "instructions must match");
never@2657 78 } else {
never@2657 79 *pd_address_in_code() = x + o;
never@2657 80 }
duke@435 81 #endif // AMD64
duke@435 82 }
duke@435 83
duke@435 84
duke@435 85 address Relocation::pd_call_destination(address orig_addr) {
duke@435 86 intptr_t adj = 0;
duke@435 87 if (orig_addr != NULL) {
duke@435 88 // We just moved this call instruction from orig_addr to addr().
duke@435 89 // This means its target will appear to have grown by addr() - orig_addr.
duke@435 90 adj = -( addr() - orig_addr );
duke@435 91 }
duke@435 92 NativeInstruction* ni = nativeInstruction_at(addr());
duke@435 93 if (ni->is_call()) {
duke@435 94 return nativeCall_at(addr())->destination() + adj;
duke@435 95 } else if (ni->is_jump()) {
duke@435 96 return nativeJump_at(addr())->jump_destination() + adj;
duke@435 97 } else if (ni->is_cond_jump()) {
duke@435 98 return nativeGeneralJump_at(addr())->jump_destination() + adj;
duke@435 99 } else if (ni->is_mov_literal64()) {
duke@435 100 return (address) ((NativeMovConstReg*)ni)->data();
duke@435 101 } else {
duke@435 102 ShouldNotReachHere();
duke@435 103 return NULL;
duke@435 104 }
duke@435 105 }
duke@435 106
duke@435 107
duke@435 108 void Relocation::pd_set_call_destination(address x) {
duke@435 109 NativeInstruction* ni = nativeInstruction_at(addr());
duke@435 110 if (ni->is_call()) {
duke@435 111 nativeCall_at(addr())->set_destination(x);
duke@435 112 } else if (ni->is_jump()) {
duke@435 113 NativeJump* nj = nativeJump_at(addr());
never@739 114
never@739 115 // Unresolved jumps are recognized by a destination of -1
never@739 116 // However 64bit can't actually produce such an address
never@739 117 // and encodes a jump to self but jump_destination will
never@739 118 // return a -1 as the signal. We must not relocate this
never@739 119 // jmp or the ic code will not see it as unresolved.
never@739 120
duke@435 121 if (nj->jump_destination() == (address) -1) {
never@739 122 x = addr(); // jump to self
duke@435 123 }
duke@435 124 nj->set_jump_destination(x);
duke@435 125 } else if (ni->is_cond_jump()) {
duke@435 126 // %%%% kludge this, for now, until we get a jump_destination method
duke@435 127 address old_dest = nativeGeneralJump_at(addr())->jump_destination();
duke@435 128 address disp = Assembler::locate_operand(addr(), Assembler::call32_operand);
duke@435 129 *(jint*)disp += (x - old_dest);
duke@435 130 } else if (ni->is_mov_literal64()) {
duke@435 131 ((NativeMovConstReg*)ni)->set_data((intptr_t)x);
duke@435 132 } else {
duke@435 133 ShouldNotReachHere();
duke@435 134 }
duke@435 135 }
duke@435 136
duke@435 137
duke@435 138 address* Relocation::pd_address_in_code() {
duke@435 139 // All embedded Intel addresses are stored in 32-bit words.
duke@435 140 // Since the addr points at the start of the instruction,
duke@435 141 // we must parse the instruction a bit to find the embedded word.
duke@435 142 assert(is_data(), "must be a DataRelocation");
duke@435 143 typedef Assembler::WhichOperand WhichOperand;
never@739 144 WhichOperand which = (WhichOperand) format(); // that is, disp32 or imm/imm32
duke@435 145 #ifdef AMD64
duke@435 146 assert(which == Assembler::disp32_operand ||
duke@435 147 which == Assembler::call32_operand ||
never@739 148 which == Assembler::imm_operand, "format unpacks ok");
never@739 149 if (which != Assembler::imm_operand) {
duke@435 150 // The "address" in the code is a displacement can't return it as
duke@435 151 // and address* since it is really a jint*
duke@435 152 ShouldNotReachHere();
duke@435 153 return NULL;
duke@435 154 }
duke@435 155 #else
never@739 156 assert(which == Assembler::disp32_operand || which == Assembler::imm_operand, "format unpacks ok");
duke@435 157 #endif // AMD64
duke@435 158 return (address*) Assembler::locate_operand(addr(), which);
duke@435 159 }
duke@435 160
duke@435 161
duke@435 162 address Relocation::pd_get_address_from_code() {
duke@435 163 #ifdef AMD64
duke@435 164 // All embedded Intel addresses are stored in 32-bit words.
duke@435 165 // Since the addr points at the start of the instruction,
duke@435 166 // we must parse the instruction a bit to find the embedded word.
duke@435 167 assert(is_data(), "must be a DataRelocation");
duke@435 168 typedef Assembler::WhichOperand WhichOperand;
never@739 169 WhichOperand which = (WhichOperand) format(); // that is, disp32 or imm/imm32
duke@435 170 assert(which == Assembler::disp32_operand ||
duke@435 171 which == Assembler::call32_operand ||
never@739 172 which == Assembler::imm_operand, "format unpacks ok");
never@739 173 if (which != Assembler::imm_operand) {
duke@435 174 address ip = addr();
duke@435 175 address disp = Assembler::locate_operand(ip, which);
duke@435 176 address next_ip = Assembler::locate_next_instruction(ip);
duke@435 177 address a = next_ip + *(int32_t*) disp;
duke@435 178 return a;
duke@435 179 }
duke@435 180 #endif // AMD64
duke@435 181 return *pd_address_in_code();
duke@435 182 }
duke@435 183
duke@435 184 int Relocation::pd_breakpoint_size() {
duke@435 185 // minimum breakpoint size, in short words
duke@435 186 return NativeIllegalInstruction::instruction_size / sizeof(short);
duke@435 187 }
duke@435 188
duke@435 189 void Relocation::pd_swap_in_breakpoint(address x, short* instrs, int instrlen) {
duke@435 190 Untested("pd_swap_in_breakpoint");
duke@435 191 if (instrs != NULL) {
duke@435 192 assert(instrlen * sizeof(short) == NativeIllegalInstruction::instruction_size, "enough instrlen in reloc. data");
duke@435 193 for (int i = 0; i < instrlen; i++) {
duke@435 194 instrs[i] = ((short*)x)[i];
duke@435 195 }
duke@435 196 }
duke@435 197 NativeIllegalInstruction::insert(x);
duke@435 198 }
duke@435 199
duke@435 200
duke@435 201 void Relocation::pd_swap_out_breakpoint(address x, short* instrs, int instrlen) {
duke@435 202 Untested("pd_swap_out_breakpoint");
duke@435 203 assert(NativeIllegalInstruction::instruction_size == sizeof(short), "right address unit for update");
duke@435 204 NativeInstruction* ni = nativeInstruction_at(x);
duke@435 205 *(short*)ni->addr_at(0) = instrs[0];
duke@435 206 }
never@739 207
never@739 208 void poll_Relocation::fix_relocation_after_move(const CodeBuffer* src, CodeBuffer* dest) {
never@739 209 #ifdef _LP64
iveresov@2686 210 if (!Assembler::is_polling_page_far()) {
iveresov@2686 211 typedef Assembler::WhichOperand WhichOperand;
iveresov@2686 212 WhichOperand which = (WhichOperand) format();
iveresov@2686 213 // This format is imm but it is really disp32
iveresov@2686 214 which = Assembler::disp32_operand;
iveresov@2686 215 address orig_addr = old_addr_for(addr(), src, dest);
iveresov@2686 216 NativeInstruction* oni = nativeInstruction_at(orig_addr);
iveresov@2686 217 int32_t* orig_disp = (int32_t*) Assembler::locate_operand(orig_addr, which);
iveresov@2686 218 // This poll_addr is incorrect by the size of the instruction it is irrelevant
iveresov@2686 219 intptr_t poll_addr = (intptr_t)oni + *orig_disp;
never@739 220
iveresov@2686 221 NativeInstruction* ni = nativeInstruction_at(addr());
iveresov@2686 222 intptr_t new_disp = poll_addr - (intptr_t) ni;
never@739 223
iveresov@2686 224 int32_t* disp = (int32_t*) Assembler::locate_operand(addr(), which);
iveresov@2686 225 * disp = (int32_t)new_disp;
iveresov@2686 226 }
never@739 227 #endif // _LP64
never@739 228 }
never@739 229
never@739 230 void poll_return_Relocation::fix_relocation_after_move(const CodeBuffer* src, CodeBuffer* dest) {
never@739 231 #ifdef _LP64
iveresov@2686 232 if (!Assembler::is_polling_page_far()) {
iveresov@2686 233 typedef Assembler::WhichOperand WhichOperand;
iveresov@2686 234 WhichOperand which = (WhichOperand) format();
iveresov@2686 235 // This format is imm but it is really disp32
iveresov@2686 236 which = Assembler::disp32_operand;
iveresov@2686 237 address orig_addr = old_addr_for(addr(), src, dest);
iveresov@2686 238 NativeInstruction* oni = nativeInstruction_at(orig_addr);
iveresov@2686 239 int32_t* orig_disp = (int32_t*) Assembler::locate_operand(orig_addr, which);
iveresov@2686 240 // This poll_addr is incorrect by the size of the instruction it is irrelevant
iveresov@2686 241 intptr_t poll_addr = (intptr_t)oni + *orig_disp;
never@739 242
iveresov@2686 243 NativeInstruction* ni = nativeInstruction_at(addr());
iveresov@2686 244 intptr_t new_disp = poll_addr - (intptr_t) ni;
never@739 245
iveresov@2686 246 int32_t* disp = (int32_t*) Assembler::locate_operand(addr(), which);
iveresov@2686 247 * disp = (int32_t)new_disp;
iveresov@2686 248 }
never@739 249 #endif // _LP64
never@739 250 }
coleenp@4037 251
coleenp@4037 252 void metadata_Relocation::pd_fix_value(address x) {
coleenp@4037 253 }

mercurial