src/cpu/x86/vm/relocInfo_x86.cpp

Fri, 16 Aug 2019 16:50:17 +0200

author
eosterlund
date
Fri, 16 Aug 2019 16:50:17 +0200
changeset 9834
bb1da64b0492
parent 8647
0b611970fa8b
child 8856
ac27a9c85bea
permissions
-rw-r--r--

8229345: Memory leak due to vtable stubs not being shared on SPARC
Reviewed-by: mdoerr, dholmes, kvn

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

mercurial