1 /*
   2  * Copyright (c) 2011, 2017, 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 
  24 #include "precompiled.hpp"
  25 #include "asm/register.hpp"
  26 #include "classfile/vmSymbols.hpp"
  27 #include "code/compiledIC.hpp"
  28 #include "code/vmreg.inline.hpp"
  29 #include "compiler/compileBroker.hpp"
  30 #include "compiler/disassembler.hpp"
  31 #include "jvmci/jvmciEnv.hpp"
  32 #include "jvmci/jvmciCompiler.hpp"
  33 #include "jvmci/jvmciCodeInstaller.hpp"
  34 #include "jvmci/jvmciJavaClasses.hpp"
  35 #include "jvmci/jvmciCompilerToVM.hpp"
  36 #include "jvmci/jvmciRuntime.hpp"
  37 #include "oops/oop.inline.hpp"
  38 #include "oops/objArrayOop.inline.hpp"
  39 #include "runtime/javaCalls.hpp"
  40 #include "runtime/safepointMechanism.inline.hpp"
  41 #include "utilities/align.hpp"
  42 
  43 // frequently used constants
  44 // Allocate them with new so they are never destroyed (otherwise, a
  45 // forced exit could destroy these objects while they are still in
  46 // use).
  47 ConstantOopWriteValue* CodeInstaller::_oop_null_scope_value = new (ResourceObj::C_HEAP, mtCompiler) ConstantOopWriteValue(NULL);
  48 ConstantIntValue*      CodeInstaller::_int_m1_scope_value = new (ResourceObj::C_HEAP, mtCompiler) ConstantIntValue(-1);
  49 ConstantIntValue*      CodeInstaller::_int_0_scope_value =  new (ResourceObj::C_HEAP, mtCompiler) ConstantIntValue((jint)0);
  50 ConstantIntValue*      CodeInstaller::_int_1_scope_value =  new (ResourceObj::C_HEAP, mtCompiler) ConstantIntValue(1);
  51 ConstantIntValue*      CodeInstaller::_int_2_scope_value =  new (ResourceObj::C_HEAP, mtCompiler) ConstantIntValue(2);
  52 LocationValue*         CodeInstaller::_illegal_value = new (ResourceObj::C_HEAP, mtCompiler) LocationValue(Location());
  53 
  54 Method* getMethodFromHotSpotMethod(oop hotspot_method) {
  55   assert(hotspot_method != NULL && hotspot_method->is_a(HotSpotResolvedJavaMethodImpl::klass()), "sanity");
  56   return CompilerToVM::asMethod(hotspot_method);
  57 }
  58 
  59 VMReg getVMRegFromLocation(Handle location, int total_frame_size, TRAPS) {
  60   if (location.is_null()) {
  61     THROW_NULL(vmSymbols::java_lang_NullPointerException());
  62   }
  63 
  64   Handle reg(THREAD, code_Location::reg(location));
  65   jint offset = code_Location::offset(location);
  66 
  67   if (reg.not_null()) {
  68     // register
  69     jint number = code_Register::number(reg);
  70     VMReg vmReg = CodeInstaller::get_hotspot_reg(number, CHECK_NULL);
  71     if (offset % 4 == 0) {
  72       return vmReg->next(offset / 4);
  73     } else {
  74       JVMCI_ERROR_NULL("unaligned subregister offset %d in oop map", offset);
  75     }
  76   } else {
  77     // stack slot
  78     if (offset % 4 == 0) {
  79       VMReg vmReg = VMRegImpl::stack2reg(offset / 4);
  80       if (!OopMapValue::legal_vm_reg_name(vmReg)) {
  81         // This restriction only applies to VMRegs that are used in OopMap but
  82         // since that's the only use of VMRegs it's simplest to put this test
  83         // here.  This test should also be equivalent legal_vm_reg_name but JVMCI
  84         // clients can use max_oop_map_stack_stack_offset to detect this problem
  85         // directly.  The asserts just ensure that the tests are in agreement.
  86         assert(offset > CompilerToVM::Data::max_oop_map_stack_offset(), "illegal VMReg");
  87         JVMCI_ERROR_NULL("stack offset %d is too large to be encoded in OopMap (max %d)",
  88                          offset, CompilerToVM::Data::max_oop_map_stack_offset());
  89       }
  90       assert(OopMapValue::legal_vm_reg_name(vmReg), "illegal VMReg");
  91       return vmReg;
  92     } else {
  93       JVMCI_ERROR_NULL("unaligned stack offset %d in oop map", offset);
  94     }
  95   }
  96 }
  97 
  98 // creates a HotSpot oop map out of the byte arrays provided by DebugInfo
  99 OopMap* CodeInstaller::create_oop_map(Handle debug_info, TRAPS) {
 100   Handle reference_map(THREAD, DebugInfo::referenceMap(debug_info));
 101   if (reference_map.is_null()) {
 102     THROW_NULL(vmSymbols::java_lang_NullPointerException());
 103   }
 104   if (!reference_map->is_a(HotSpotReferenceMap::klass())) {
 105     JVMCI_ERROR_NULL("unknown reference map: %s", reference_map->klass()->signature_name());
 106   }
 107   if (HotSpotReferenceMap::maxRegisterSize(reference_map) > 16) {
 108     _has_wide_vector = true;
 109   }
 110   OopMap* map = new OopMap(_total_frame_size, _parameter_count);
 111   objArrayHandle objects(THREAD, HotSpotReferenceMap::objects(reference_map));
 112   objArrayHandle derivedBase(THREAD, HotSpotReferenceMap::derivedBase(reference_map));
 113   typeArrayHandle sizeInBytes(THREAD, HotSpotReferenceMap::sizeInBytes(reference_map));
 114   if (objects.is_null() || derivedBase.is_null() || sizeInBytes.is_null()) {
 115     THROW_NULL(vmSymbols::java_lang_NullPointerException());
 116   }
 117   if (objects->length() != derivedBase->length() || objects->length() != sizeInBytes->length()) {
 118     JVMCI_ERROR_NULL("arrays in reference map have different sizes: %d %d %d", objects->length(), derivedBase->length(), sizeInBytes->length());
 119   }
 120   for (int i = 0; i < objects->length(); i++) {
 121     Handle location(THREAD, objects->obj_at(i));
 122     Handle baseLocation(THREAD, derivedBase->obj_at(i));
 123     int bytes = sizeInBytes->int_at(i);
 124 
 125     VMReg vmReg = getVMRegFromLocation(location, _total_frame_size, CHECK_NULL);
 126     if (baseLocation.not_null()) {
 127       // derived oop
 128 #ifdef _LP64
 129       if (bytes == 8) {
 130 #else
 131       if (bytes == 4) {
 132 #endif
 133         VMReg baseReg = getVMRegFromLocation(baseLocation, _total_frame_size, CHECK_NULL);
 134         map->set_derived_oop(vmReg, baseReg);
 135       } else {
 136         JVMCI_ERROR_NULL("invalid derived oop size in ReferenceMap: %d", bytes);
 137       }
 138 #ifdef _LP64
 139     } else if (bytes == 8) {
 140       // wide oop
 141       map->set_oop(vmReg);
 142     } else if (bytes == 4) {
 143       // narrow oop
 144       map->set_narrowoop(vmReg);
 145 #else
 146     } else if (bytes == 4) {
 147       map->set_oop(vmReg);
 148 #endif
 149     } else {
 150       JVMCI_ERROR_NULL("invalid oop size in ReferenceMap: %d", bytes);
 151     }
 152   }
 153 
 154   Handle callee_save_info(THREAD, (oop) DebugInfo::calleeSaveInfo(debug_info));
 155   if (callee_save_info.not_null()) {
 156     objArrayHandle registers(THREAD, RegisterSaveLayout::registers(callee_save_info));
 157     typeArrayHandle slots(THREAD, RegisterSaveLayout::slots(callee_save_info));
 158     for (jint i = 0; i < slots->length(); i++) {
 159       Handle jvmci_reg (THREAD, registers->obj_at(i));
 160       jint jvmci_reg_number = code_Register::number(jvmci_reg);
 161       VMReg hotspot_reg = CodeInstaller::get_hotspot_reg(jvmci_reg_number, CHECK_NULL);
 162       // HotSpot stack slots are 4 bytes
 163       jint jvmci_slot = slots->int_at(i);
 164       jint hotspot_slot = jvmci_slot * VMRegImpl::slots_per_word;
 165       VMReg hotspot_slot_as_reg = VMRegImpl::stack2reg(hotspot_slot);
 166       map->set_callee_saved(hotspot_slot_as_reg, hotspot_reg);
 167 #ifdef _LP64
 168       // (copied from generate_oop_map() in c1_Runtime1_x86.cpp)
 169       VMReg hotspot_slot_hi_as_reg = VMRegImpl::stack2reg(hotspot_slot + 1);
 170       map->set_callee_saved(hotspot_slot_hi_as_reg, hotspot_reg->next());
 171 #endif
 172     }
 173   }
 174   return map;
 175 }
 176 
 177 AOTOopRecorder::AOTOopRecorder(Arena* arena, bool deduplicate) : OopRecorder(arena, deduplicate) {
 178   _meta_refs = new GrowableArray<jobject>();
 179 }
 180 
 181 int AOTOopRecorder::nr_meta_refs() const {
 182   return _meta_refs->length();
 183 }
 184 
 185 jobject AOTOopRecorder::meta_element(int pos) const {
 186   return _meta_refs->at(pos);
 187 }
 188 
 189 int AOTOopRecorder::find_index(Metadata* h) {
 190   JavaThread* THREAD = JavaThread::current();
 191   int oldCount = metadata_count();
 192   int index =  this->OopRecorder::find_index(h);
 193   int newCount = metadata_count();
 194 
 195   if (oldCount == newCount) {
 196     // found a match
 197     return index;
 198   }
 199 
 200   vmassert(index + 1 == newCount, "must be last");
 201 
 202   Klass* klass = NULL;
 203   oop result = NULL;
 204   if (h->is_klass()) {
 205     klass = (Klass*) h;
 206     result = CompilerToVM::get_jvmci_type(klass, CATCH);
 207   } else if (h->is_method()) {
 208     Method* method = (Method*) h;
 209     methodHandle mh(method);
 210     result = CompilerToVM::get_jvmci_method(method, CATCH);
 211   }
 212   jobject ref = JNIHandles::make_local(THREAD, result);
 213   record_meta_ref(ref, index);
 214 
 215   return index;
 216 }
 217 
 218 int AOTOopRecorder::find_index(jobject h) {
 219   if (h == NULL) {
 220     return 0;
 221   }
 222   oop javaMirror = JNIHandles::resolve(h);
 223   Klass* klass = java_lang_Class::as_Klass(javaMirror);
 224   return find_index(klass);
 225 }
 226 
 227 void AOTOopRecorder::record_meta_ref(jobject o, int index) {
 228   assert(index > 0, "must be 1..n");
 229   index -= 1; // reduce by one to convert to array index
 230 
 231   assert(index == _meta_refs->length(), "must be last");
 232   _meta_refs->append(o);
 233 }
 234 
 235 void* CodeInstaller::record_metadata_reference(CodeSection* section, address dest, Handle constant, TRAPS) {
 236   /*
 237    * This method needs to return a raw (untyped) pointer, since the value of a pointer to the base
 238    * class is in general not equal to the pointer of the subclass. When patching metaspace pointers,
 239    * the compiler expects a direct pointer to the subclass (Klass* or Method*), not a pointer to the
 240    * base class (Metadata* or MetaspaceObj*).
 241    */
 242   oop obj = HotSpotMetaspaceConstantImpl::metaspaceObject(constant);
 243   if (obj->is_a(HotSpotResolvedObjectTypeImpl::klass())) {
 244     Klass* klass = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(obj));
 245     assert(!HotSpotMetaspaceConstantImpl::compressed(constant), "unexpected compressed klass pointer %s @ " INTPTR_FORMAT, klass->name()->as_C_string(), p2i(klass));
 246     int index = _oop_recorder->find_index(klass);
 247     section->relocate(dest, metadata_Relocation::spec(index));
 248     TRACE_jvmci_3("metadata[%d of %d] = %s", index, _oop_recorder->metadata_count(), klass->name()->as_C_string());
 249     return klass;
 250   } else if (obj->is_a(HotSpotResolvedJavaMethodImpl::klass())) {
 251     Method* method = (Method*) (address) HotSpotResolvedJavaMethodImpl::metaspaceMethod(obj);
 252     assert(!HotSpotMetaspaceConstantImpl::compressed(constant), "unexpected compressed method pointer %s @ " INTPTR_FORMAT, method->name()->as_C_string(), p2i(method));
 253     int index = _oop_recorder->find_index(method);
 254     section->relocate(dest, metadata_Relocation::spec(index));
 255     TRACE_jvmci_3("metadata[%d of %d] = %s", index, _oop_recorder->metadata_count(), method->name()->as_C_string());
 256     return method;
 257   } else {
 258     JVMCI_ERROR_NULL("unexpected metadata reference for constant of type %s", obj->klass()->signature_name());
 259   }
 260 }
 261 
 262 #ifdef _LP64
 263 narrowKlass CodeInstaller::record_narrow_metadata_reference(CodeSection* section, address dest, Handle constant, TRAPS) {
 264   oop obj = HotSpotMetaspaceConstantImpl::metaspaceObject(constant);
 265   assert(HotSpotMetaspaceConstantImpl::compressed(constant), "unexpected uncompressed pointer");
 266 
 267   if (!obj->is_a(HotSpotResolvedObjectTypeImpl::klass())) {
 268     JVMCI_ERROR_0("unexpected compressed pointer of type %s", obj->klass()->signature_name());
 269   }
 270 
 271   Klass* klass = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(obj));
 272   int index = _oop_recorder->find_index(klass);
 273   section->relocate(dest, metadata_Relocation::spec(index));
 274   TRACE_jvmci_3("narrowKlass[%d of %d] = %s", index, _oop_recorder->metadata_count(), klass->name()->as_C_string());
 275   return Klass::encode_klass(klass);
 276 }
 277 #endif
 278 
 279 Location::Type CodeInstaller::get_oop_type(Thread* thread, Handle value) {
 280   Handle valueKind(thread, Value::valueKind(value));
 281   Handle platformKind(thread, ValueKind::platformKind(valueKind));
 282 
 283   if (platformKind == word_kind()) {
 284     return Location::oop;
 285   } else {
 286     return Location::narrowoop;
 287   }
 288 }
 289 
 290 ScopeValue* CodeInstaller::get_scope_value(Handle value, BasicType type, GrowableArray<ScopeValue*>* objects, ScopeValue* &second, TRAPS) {
 291   second = NULL;
 292   if (value.is_null()) {
 293     THROW_NULL(vmSymbols::java_lang_NullPointerException());
 294   } else if (value == Value::ILLEGAL()) {
 295     if (type != T_ILLEGAL) {
 296       JVMCI_ERROR_NULL("unexpected illegal value, expected %s", basictype_to_str(type));
 297     }
 298     return _illegal_value;
 299   } else if (value->is_a(RegisterValue::klass())) {
 300     Handle reg(THREAD, RegisterValue::reg(value));
 301     jint number = code_Register::number(reg);
 302     VMReg hotspotRegister = get_hotspot_reg(number, CHECK_NULL);
 303     if (is_general_purpose_reg(hotspotRegister)) {
 304       Location::Type locationType;
 305       if (type == T_OBJECT) {
 306         locationType = get_oop_type(THREAD, value);
 307       } else if (type == T_LONG) {
 308         locationType = Location::lng;
 309       } else if (type == T_INT || type == T_FLOAT || type == T_SHORT || type == T_CHAR || type == T_BYTE || type == T_BOOLEAN) {
 310         locationType = Location::int_in_long;
 311       } else {
 312         JVMCI_ERROR_NULL("unexpected type %s in cpu register", basictype_to_str(type));
 313       }
 314       ScopeValue* value = new LocationValue(Location::new_reg_loc(locationType, hotspotRegister));
 315       if (type == T_LONG) {
 316         second = value;
 317       }
 318       return value;
 319     } else {
 320       Location::Type locationType;
 321       if (type == T_FLOAT) {
 322         // this seems weird, but the same value is used in c1_LinearScan
 323         locationType = Location::normal;
 324       } else if (type == T_DOUBLE) {
 325         locationType = Location::dbl;
 326       } else {
 327         JVMCI_ERROR_NULL("unexpected type %s in floating point register", basictype_to_str(type));
 328       }
 329       ScopeValue* value = new LocationValue(Location::new_reg_loc(locationType, hotspotRegister));
 330       if (type == T_DOUBLE) {
 331         second = value;
 332       }
 333       return value;
 334     }
 335   } else if (value->is_a(StackSlot::klass())) {
 336     jint offset = StackSlot::offset(value);
 337     if (StackSlot::addFrameSize(value)) {
 338       offset += _total_frame_size;
 339     }
 340 
 341     Location::Type locationType;
 342     if (type == T_OBJECT) {
 343       locationType = get_oop_type(THREAD, value);
 344     } else if (type == T_LONG) {
 345       locationType = Location::lng;
 346     } else if (type == T_DOUBLE) {
 347       locationType = Location::dbl;
 348     } else if (type == T_INT || type == T_FLOAT || type == T_SHORT || type == T_CHAR || type == T_BYTE || type == T_BOOLEAN) {
 349       locationType = Location::normal;
 350     } else {
 351       JVMCI_ERROR_NULL("unexpected type %s in stack slot", basictype_to_str(type));
 352     }
 353     ScopeValue* value = new LocationValue(Location::new_stk_loc(locationType, offset));
 354     if (type == T_DOUBLE || type == T_LONG) {
 355       second = value;
 356     }
 357     return value;
 358   } else if (value->is_a(JavaConstant::klass())) {
 359     if (value->is_a(PrimitiveConstant::klass())) {
 360       if (value->is_a(RawConstant::klass())) {
 361         jlong prim = PrimitiveConstant::primitive(value);
 362         return new ConstantLongValue(prim);
 363       } else {
 364         Handle primitive_constant_kind(THREAD, PrimitiveConstant::kind(value));
 365         BasicType constantType = JVMCIRuntime::kindToBasicType(primitive_constant_kind, CHECK_NULL);
 366         if (type != constantType) {
 367           JVMCI_ERROR_NULL("primitive constant type doesn't match, expected %s but got %s", basictype_to_str(type), basictype_to_str(constantType));
 368         }
 369         if (type == T_INT || type == T_FLOAT) {
 370           jint prim = (jint)PrimitiveConstant::primitive(value);
 371           switch (prim) {
 372             case -1: return _int_m1_scope_value;
 373             case  0: return _int_0_scope_value;
 374             case  1: return _int_1_scope_value;
 375             case  2: return _int_2_scope_value;
 376             default: return new ConstantIntValue(prim);
 377           }
 378         } else if (type == T_LONG || type == T_DOUBLE) {
 379           jlong prim = PrimitiveConstant::primitive(value);
 380           second = _int_1_scope_value;
 381           return new ConstantLongValue(prim);
 382         } else {
 383           JVMCI_ERROR_NULL("unexpected primitive constant type %s", basictype_to_str(type));
 384         }
 385       }
 386     } else if (value->is_a(NullConstant::klass()) || value->is_a(HotSpotCompressedNullConstant::klass())) {
 387       if (type == T_OBJECT) {
 388         return _oop_null_scope_value;
 389       } else {
 390         JVMCI_ERROR_NULL("unexpected null constant, expected %s", basictype_to_str(type));
 391       }
 392     } else if (value->is_a(HotSpotObjectConstantImpl::klass())) {
 393       if (type == T_OBJECT) {
 394         oop obj = HotSpotObjectConstantImpl::object(value);
 395         if (obj == NULL) {
 396           JVMCI_ERROR_NULL("null value must be in NullConstant");
 397         }
 398         return new ConstantOopWriteValue(JNIHandles::make_local(obj));
 399       } else {
 400         JVMCI_ERROR_NULL("unexpected object constant, expected %s", basictype_to_str(type));
 401       }
 402     }
 403   } else if (value->is_a(VirtualObject::klass())) {
 404     if (type == T_OBJECT) {
 405       int id = VirtualObject::id(value);
 406       if (0 <= id && id < objects->length()) {
 407         ScopeValue* object = objects->at(id);
 408         if (object != NULL) {
 409           return object;
 410         }
 411       }
 412       JVMCI_ERROR_NULL("unknown virtual object id %d", id);
 413     } else {
 414       JVMCI_ERROR_NULL("unexpected virtual object, expected %s", basictype_to_str(type));
 415     }
 416   }
 417 
 418   JVMCI_ERROR_NULL("unexpected value in scope: %s", value->klass()->signature_name())
 419 }
 420 
 421 void CodeInstaller::record_object_value(ObjectValue* sv, Handle value, GrowableArray<ScopeValue*>* objects, TRAPS) {
 422   // Might want a HandleMark here.
 423   Handle type(THREAD, VirtualObject::type(value));
 424   int id = VirtualObject::id(value);
 425   oop javaMirror = HotSpotResolvedObjectTypeImpl::javaClass(type);
 426   Klass* klass = java_lang_Class::as_Klass(javaMirror);
 427   bool isLongArray = klass == Universe::longArrayKlassObj();
 428 
 429   objArrayHandle values(THREAD, VirtualObject::values(value));
 430   objArrayHandle slotKinds(THREAD, VirtualObject::slotKinds(value));
 431   for (jint i = 0; i < values->length(); i++) {
 432     HandleMark hm(THREAD);
 433     ScopeValue* cur_second = NULL;
 434     Handle object(THREAD, values->obj_at(i));
 435     Handle slot_kind (THREAD, slotKinds->obj_at(i));
 436     BasicType type = JVMCIRuntime::kindToBasicType(slot_kind, CHECK);
 437     ScopeValue* value = get_scope_value(object, type, objects, cur_second, CHECK);
 438 
 439     if (isLongArray && cur_second == NULL) {
 440       // we're trying to put ints into a long array... this isn't really valid, but it's used for some optimizations.
 441       // add an int 0 constant
 442       cur_second = _int_0_scope_value;
 443     }
 444 
 445     if (cur_second != NULL) {
 446       sv->field_values()->append(cur_second);
 447     }
 448     assert(value != NULL, "missing value");
 449     sv->field_values()->append(value);
 450   }
 451 }
 452 
 453 MonitorValue* CodeInstaller::get_monitor_value(Handle value, GrowableArray<ScopeValue*>* objects, TRAPS) {
 454   if (value.is_null()) {
 455     THROW_NULL(vmSymbols::java_lang_NullPointerException());
 456   }
 457   if (!value->is_a(StackLockValue::klass())) {
 458     JVMCI_ERROR_NULL("Monitors must be of type StackLockValue, got %s", value->klass()->signature_name());
 459   }
 460 
 461   ScopeValue* second = NULL;
 462   Handle stack_lock_owner(THREAD, StackLockValue::owner(value));
 463   ScopeValue* owner_value = get_scope_value(stack_lock_owner, T_OBJECT, objects, second, CHECK_NULL);
 464   assert(second == NULL, "monitor cannot occupy two stack slots");
 465 
 466   Handle stack_lock_slot(THREAD, StackLockValue::slot(value));
 467   ScopeValue* lock_data_value = get_scope_value(stack_lock_slot, T_LONG, objects, second, CHECK_NULL);
 468   assert(second == lock_data_value, "monitor is LONG value that occupies two stack slots");
 469   assert(lock_data_value->is_location(), "invalid monitor location");
 470   Location lock_data_loc = ((LocationValue*)lock_data_value)->location();
 471 
 472   bool eliminated = false;
 473   if (StackLockValue::eliminated(value)) {
 474     eliminated = true;
 475   }
 476 
 477   return new MonitorValue(owner_value, lock_data_loc, eliminated);
 478 }
 479 
 480 void CodeInstaller::initialize_dependencies(oop compiled_code, OopRecorder* recorder, TRAPS) {
 481   JavaThread* thread = JavaThread::current();
 482   assert(THREAD == thread, "");
 483   CompilerThread* compilerThread = thread->is_Compiler_thread() ? thread->as_CompilerThread() : NULL;
 484   _oop_recorder = recorder;
 485   _dependencies = new Dependencies(&_arena, _oop_recorder, compilerThread != NULL ? compilerThread->log() : NULL);
 486   objArrayHandle assumptions(THREAD, HotSpotCompiledCode::assumptions(compiled_code));
 487   if (!assumptions.is_null()) {
 488     int length = assumptions->length();
 489     for (int i = 0; i < length; ++i) {
 490       Handle assumption(THREAD, assumptions->obj_at(i));
 491       if (!assumption.is_null()) {
 492         if (assumption->klass() == Assumptions_NoFinalizableSubclass::klass()) {
 493           assumption_NoFinalizableSubclass(THREAD, assumption);
 494         } else if (assumption->klass() == Assumptions_ConcreteSubtype::klass()) {
 495           assumption_ConcreteSubtype(THREAD, assumption);
 496         } else if (assumption->klass() == Assumptions_LeafType::klass()) {
 497           assumption_LeafType(THREAD, assumption);
 498         } else if (assumption->klass() == Assumptions_ConcreteMethod::klass()) {
 499           assumption_ConcreteMethod(THREAD, assumption);
 500         } else if (assumption->klass() == Assumptions_CallSiteTargetValue::klass()) {
 501           assumption_CallSiteTargetValue(THREAD, assumption);
 502         } else {
 503           JVMCI_ERROR("unexpected Assumption subclass %s", assumption->klass()->signature_name());
 504         }
 505       }
 506     }
 507   }
 508   if (JvmtiExport::can_hotswap_or_post_breakpoint()) {
 509     objArrayHandle methods(THREAD, HotSpotCompiledCode::methods(compiled_code));
 510     if (!methods.is_null()) {
 511       int length = methods->length();
 512       for (int i = 0; i < length; ++i) {
 513         Handle method_handle(THREAD, methods->obj_at(i));
 514         methodHandle method = getMethodFromHotSpotMethod(method_handle());
 515         _dependencies->assert_evol_method(method());
 516       }
 517     }
 518   }
 519 }
 520 
 521 RelocBuffer::~RelocBuffer() {
 522   if (_buffer != NULL) {
 523     FREE_C_HEAP_ARRAY(char, _buffer);
 524   }
 525 }
 526 
 527 address RelocBuffer::begin() const {
 528   if (_buffer != NULL) {
 529     return (address) _buffer;
 530   }
 531   return (address) _static_buffer;
 532 }
 533 
 534 void RelocBuffer::set_size(size_t bytes) {
 535   assert(bytes <= _size, "can't grow in size!");
 536   _size = bytes;
 537 }
 538 
 539 void RelocBuffer::ensure_size(size_t bytes) {
 540   assert(_buffer == NULL, "can only be used once");
 541   assert(_size == 0, "can only be used once");
 542   if (bytes >= RelocBuffer::stack_size) {
 543     _buffer = NEW_C_HEAP_ARRAY(char, bytes, mtInternal);
 544   }
 545   _size = bytes;
 546 }
 547 
 548 JVMCIEnv::CodeInstallResult CodeInstaller::gather_metadata(Handle target, Handle compiled_code, CodeMetadata& metadata, TRAPS) {
 549   CodeBuffer buffer("JVMCI Compiler CodeBuffer for Metadata");
 550   jobject compiled_code_obj = JNIHandles::make_local(compiled_code());
 551   AOTOopRecorder* recorder = new AOTOopRecorder(&_arena, true);
 552   initialize_dependencies(JNIHandles::resolve(compiled_code_obj), recorder, CHECK_OK);
 553 
 554   metadata.set_oop_recorder(recorder);
 555 
 556   // Get instructions and constants CodeSections early because we need it.
 557   _instructions = buffer.insts();
 558   _constants = buffer.consts();
 559 
 560   initialize_fields(target(), JNIHandles::resolve(compiled_code_obj), CHECK_OK);
 561   JVMCIEnv::CodeInstallResult result = initialize_buffer(buffer, false, CHECK_OK);
 562   if (result != JVMCIEnv::ok) {
 563     return result;
 564   }
 565 
 566   _debug_recorder->pcs_size(); // create the sentinel record
 567 
 568   assert(_debug_recorder->pcs_length() >= 2, "must be at least 2");
 569 
 570   metadata.set_pc_desc(_debug_recorder->pcs(), _debug_recorder->pcs_length());
 571   metadata.set_scopes(_debug_recorder->stream()->buffer(), _debug_recorder->data_size());
 572   metadata.set_exception_table(&_exception_handler_table);
 573 
 574   RelocBuffer* reloc_buffer = metadata.get_reloc_buffer();
 575 
 576   reloc_buffer->ensure_size(buffer.total_relocation_size());
 577   size_t size = (size_t) buffer.copy_relocations_to(reloc_buffer->begin(), (CodeBuffer::csize_t) reloc_buffer->size(), true);
 578   reloc_buffer->set_size(size);
 579   return JVMCIEnv::ok;
 580 }
 581 
 582 // constructor used to create a method
 583 JVMCIEnv::CodeInstallResult CodeInstaller::install(JVMCICompiler* compiler, Handle target, Handle compiled_code, CodeBlob*& cb, Handle installed_code, Handle speculation_log, TRAPS) {
 584   CodeBuffer buffer("JVMCI Compiler CodeBuffer");
 585   jobject compiled_code_obj = JNIHandles::make_local(compiled_code());
 586   OopRecorder* recorder = new OopRecorder(&_arena, true);
 587   initialize_dependencies(JNIHandles::resolve(compiled_code_obj), recorder, CHECK_OK);
 588 
 589   // Get instructions and constants CodeSections early because we need it.
 590   _instructions = buffer.insts();
 591   _constants = buffer.consts();
 592 
 593   initialize_fields(target(), JNIHandles::resolve(compiled_code_obj), CHECK_OK);
 594   JVMCIEnv::CodeInstallResult result = initialize_buffer(buffer, true, CHECK_OK);
 595   if (result != JVMCIEnv::ok) {
 596     return result;
 597   }
 598 
 599   int stack_slots = _total_frame_size / HeapWordSize; // conversion to words
 600 
 601   if (!compiled_code->is_a(HotSpotCompiledNmethod::klass())) {
 602     oop stubName = HotSpotCompiledCode::name(compiled_code_obj);
 603     if (oopDesc::is_null(stubName)) {
 604       JVMCI_ERROR_OK("stub should have a name");
 605     }
 606     char* name = strdup(java_lang_String::as_utf8_string(stubName));
 607     cb = RuntimeStub::new_runtime_stub(name,
 608                                        &buffer,
 609                                        CodeOffsets::frame_never_safe,
 610                                        stack_slots,
 611                                        _debug_recorder->_oopmaps,
 612                                        false);
 613     result = JVMCIEnv::ok;
 614   } else {
 615     nmethod* nm = NULL;
 616     methodHandle method = getMethodFromHotSpotMethod(HotSpotCompiledNmethod::method(compiled_code));
 617     jint entry_bci = HotSpotCompiledNmethod::entryBCI(compiled_code);
 618     jint id = HotSpotCompiledNmethod::id(compiled_code);
 619     bool has_unsafe_access = HotSpotCompiledNmethod::hasUnsafeAccess(compiled_code) == JNI_TRUE;
 620     JVMCIEnv* env = (JVMCIEnv*) (address) HotSpotCompiledNmethod::jvmciEnv(compiled_code);
 621     if (id == -1) {
 622       // Make sure a valid compile_id is associated with every compile
 623       id = CompileBroker::assign_compile_id_unlocked(Thread::current(), method, entry_bci);
 624     }
 625     result = JVMCIEnv::register_method(method, nm, entry_bci, &_offsets, _orig_pc_offset, &buffer,
 626                                        stack_slots, _debug_recorder->_oopmaps, &_exception_handler_table,
 627                                        compiler, _debug_recorder, _dependencies, env, id,
 628                                        has_unsafe_access, _has_wide_vector, installed_code, compiled_code, speculation_log);
 629     cb = nm->as_codeblob_or_null();
 630     if (nm != NULL && env == NULL) {
 631       DirectiveSet* directive = DirectivesStack::getMatchingDirective(method, compiler);
 632       bool printnmethods = directive->PrintAssemblyOption || directive->PrintNMethodsOption;
 633       if (!printnmethods && (PrintDebugInfo || PrintRelocations || PrintDependencies || PrintExceptionHandlers)) {
 634         nm->print_nmethod(printnmethods);
 635       }
 636       DirectivesStack::release(directive);
 637     }
 638   }
 639 
 640   if (cb != NULL) {
 641     // Make sure the pre-calculated constants section size was correct.
 642     guarantee((cb->code_begin() - cb->content_begin()) >= _constants_size, "%d < %d", (int)(cb->code_begin() - cb->content_begin()), _constants_size);
 643   }
 644   return result;
 645 }
 646 
 647 void CodeInstaller::initialize_fields(oop target, oop compiled_code, TRAPS) {
 648   if (compiled_code->is_a(HotSpotCompiledNmethod::klass())) {
 649     Handle hotspotJavaMethod(THREAD, HotSpotCompiledNmethod::method(compiled_code));
 650     methodHandle method = getMethodFromHotSpotMethod(hotspotJavaMethod());
 651     _parameter_count = method->size_of_parameters();
 652     TRACE_jvmci_2("installing code for %s", method->name_and_sig_as_C_string());
 653   } else {
 654     // Must be a HotSpotCompiledRuntimeStub.
 655     // Only used in OopMap constructor for non-product builds
 656     _parameter_count = 0;
 657   }
 658   _sites_handle = JNIHandles::make_local(HotSpotCompiledCode::sites(compiled_code));
 659 
 660   _code_handle = JNIHandles::make_local(HotSpotCompiledCode::targetCode(compiled_code));
 661   _code_size = HotSpotCompiledCode::targetCodeSize(compiled_code);
 662   _total_frame_size = HotSpotCompiledCode::totalFrameSize(compiled_code);
 663 
 664   oop deoptRescueSlot = HotSpotCompiledCode::deoptRescueSlot(compiled_code);
 665   if (deoptRescueSlot == NULL) {
 666     _orig_pc_offset = -1;
 667   } else {
 668     _orig_pc_offset = StackSlot::offset(deoptRescueSlot);
 669     if (StackSlot::addFrameSize(deoptRescueSlot)) {
 670       _orig_pc_offset += _total_frame_size;
 671     }
 672     if (_orig_pc_offset < 0) {
 673       JVMCI_ERROR("invalid deopt rescue slot: %d", _orig_pc_offset);
 674     }
 675   }
 676 
 677   // Pre-calculate the constants section size.  This is required for PC-relative addressing.
 678   _data_section_handle = JNIHandles::make_local(HotSpotCompiledCode::dataSection(compiled_code));
 679   if ((_constants->alignment() % HotSpotCompiledCode::dataSectionAlignment(compiled_code)) != 0) {
 680     JVMCI_ERROR("invalid data section alignment: %d", HotSpotCompiledCode::dataSectionAlignment(compiled_code));
 681   }
 682   _constants_size = data_section()->length();
 683 
 684   _data_section_patches_handle = JNIHandles::make_local(HotSpotCompiledCode::dataSectionPatches(compiled_code));
 685 
 686 #ifndef PRODUCT
 687   _comments_handle = JNIHandles::make_local(HotSpotCompiledCode::comments(compiled_code));
 688 #endif
 689 
 690   _next_call_type = INVOKE_INVALID;
 691 
 692   _has_wide_vector = false;
 693 
 694   oop arch = TargetDescription::arch(target);
 695   _word_kind_handle = JNIHandles::make_local(Architecture::wordKind(arch));
 696 }
 697 
 698 int CodeInstaller::estimate_stubs_size(TRAPS) {
 699   // Estimate the number of static and aot call stubs that might be emitted.
 700   int static_call_stubs = 0;
 701   int aot_call_stubs = 0;
 702   objArrayOop sites = this->sites();
 703   for (int i = 0; i < sites->length(); i++) {
 704     oop site = sites->obj_at(i);
 705     if (site != NULL) {
 706       if (site->is_a(site_Mark::klass())) {
 707         oop id_obj = site_Mark::id(site);
 708         if (id_obj != NULL) {
 709           if (!java_lang_boxing_object::is_instance(id_obj, T_INT)) {
 710             JVMCI_ERROR_0("expected Integer id, got %s", id_obj->klass()->signature_name());
 711           }
 712           jint id = id_obj->int_field(java_lang_boxing_object::value_offset_in_bytes(T_INT));
 713           if (id == INVOKESTATIC || id == INVOKESPECIAL) {
 714             static_call_stubs++;
 715           }
 716         }
 717       }
 718       if (UseAOT && site->is_a(site_Call::klass())) {
 719         oop target = site_Call::target(site);
 720         InstanceKlass* target_klass = InstanceKlass::cast(target->klass());
 721         if (!target_klass->is_subclass_of(SystemDictionary::HotSpotForeignCallTarget_klass())) {
 722           // Add far aot trampolines.
 723           aot_call_stubs++;
 724         }
 725       }
 726     }
 727   }
 728   int size = static_call_stubs * CompiledStaticCall::to_interp_stub_size();
 729 #if INCLUDE_AOT
 730   size += aot_call_stubs * CompiledStaticCall::to_aot_stub_size();
 731 #endif
 732   return size;
 733 }
 734 
 735 // perform data and call relocation on the CodeBuffer
 736 JVMCIEnv::CodeInstallResult CodeInstaller::initialize_buffer(CodeBuffer& buffer, bool check_size, TRAPS) {
 737   HandleMark hm;
 738   objArrayHandle sites(THREAD, this->sites());
 739   int locs_buffer_size = sites->length() * (relocInfo::length_limit + sizeof(relocInfo));
 740 
 741   // Allocate enough space in the stub section for the static call
 742   // stubs.  Stubs have extra relocs but they are managed by the stub
 743   // section itself so they don't need to be accounted for in the
 744   // locs_buffer above.
 745   int stubs_size = estimate_stubs_size(CHECK_OK);
 746   int total_size = align_up(_code_size, buffer.insts()->alignment()) + align_up(_constants_size, buffer.consts()->alignment()) + align_up(stubs_size, buffer.stubs()->alignment());
 747 
 748   if (check_size && total_size > JVMCINMethodSizeLimit) {
 749     return JVMCIEnv::code_too_large;
 750   }
 751 
 752   buffer.initialize(total_size, locs_buffer_size);
 753   if (buffer.blob() == NULL) {
 754     return JVMCIEnv::cache_full;
 755   }
 756   buffer.initialize_stubs_size(stubs_size);
 757   buffer.initialize_consts_size(_constants_size);
 758 
 759   _debug_recorder = new DebugInformationRecorder(_oop_recorder);
 760   _debug_recorder->set_oopmaps(new OopMapSet());
 761 
 762   buffer.initialize_oop_recorder(_oop_recorder);
 763 
 764   // copy the constant data into the newly created CodeBuffer
 765   address end_data = _constants->start() + _constants_size;
 766   memcpy(_constants->start(), data_section()->base(T_BYTE), _constants_size);
 767   _constants->set_end(end_data);
 768 
 769   // copy the code into the newly created CodeBuffer
 770   address end_pc = _instructions->start() + _code_size;
 771   guarantee(_instructions->allocates2(end_pc), "initialize should have reserved enough space for all the code");
 772   memcpy(_instructions->start(), code()->base(T_BYTE), _code_size);
 773   _instructions->set_end(end_pc);
 774 
 775   for (int i = 0; i < data_section_patches()->length(); i++) {
 776     HandleMark hm(THREAD);
 777     Handle patch(THREAD, data_section_patches()->obj_at(i));
 778     if (patch.is_null()) {
 779       THROW_(vmSymbols::java_lang_NullPointerException(), JVMCIEnv::ok);
 780     }
 781     Handle reference(THREAD, site_DataPatch::reference(patch));
 782     if (reference.is_null()) {
 783       THROW_(vmSymbols::java_lang_NullPointerException(), JVMCIEnv::ok);
 784     }
 785     if (!reference->is_a(site_ConstantReference::klass())) {
 786       JVMCI_ERROR_OK("invalid patch in data section: %s", reference->klass()->signature_name());
 787     }
 788     Handle constant(THREAD, site_ConstantReference::constant(reference));
 789     if (constant.is_null()) {
 790       THROW_(vmSymbols::java_lang_NullPointerException(), JVMCIEnv::ok);
 791     }
 792     address dest = _constants->start() + site_Site::pcOffset(patch);
 793     if (constant->is_a(HotSpotMetaspaceConstantImpl::klass())) {
 794       if (HotSpotMetaspaceConstantImpl::compressed(constant)) {
 795 #ifdef _LP64
 796         *((narrowKlass*) dest) = record_narrow_metadata_reference(_constants, dest, constant, CHECK_OK);
 797 #else
 798         JVMCI_ERROR_OK("unexpected compressed Klass* in 32-bit mode");
 799 #endif
 800       } else {
 801         *((void**) dest) = record_metadata_reference(_constants, dest, constant, CHECK_OK);
 802       }
 803     } else if (constant->is_a(HotSpotObjectConstantImpl::klass())) {
 804       Handle obj(THREAD, HotSpotObjectConstantImpl::object(constant));
 805       jobject value = JNIHandles::make_local(obj());
 806       int oop_index = _oop_recorder->find_index(value);
 807 
 808       if (HotSpotObjectConstantImpl::compressed(constant)) {
 809 #ifdef _LP64
 810         _constants->relocate(dest, oop_Relocation::spec(oop_index), relocInfo::narrow_oop_in_const);
 811 #else
 812         JVMCI_ERROR_OK("unexpected compressed oop in 32-bit mode");
 813 #endif
 814       } else {
 815         _constants->relocate(dest, oop_Relocation::spec(oop_index));
 816       }
 817     } else {
 818       JVMCI_ERROR_OK("invalid constant in data section: %s", constant->klass()->signature_name());
 819     }
 820   }
 821   jint last_pc_offset = -1;
 822   for (int i = 0; i < sites->length(); i++) {
 823     HandleMark hm(THREAD);
 824     Handle site(THREAD, sites->obj_at(i));
 825     if (site.is_null()) {
 826       THROW_(vmSymbols::java_lang_NullPointerException(), JVMCIEnv::ok);
 827     }
 828 
 829     jint pc_offset = site_Site::pcOffset(site);
 830 
 831     if (site->is_a(site_Call::klass())) {
 832       TRACE_jvmci_4("call at %i", pc_offset);
 833       site_Call(buffer, pc_offset, site, CHECK_OK);
 834     } else if (site->is_a(site_Infopoint::klass())) {
 835       // three reasons for infopoints denote actual safepoints
 836       oop reason = site_Infopoint::reason(site);
 837       if (site_InfopointReason::SAFEPOINT() == reason || site_InfopointReason::CALL() == reason || site_InfopointReason::IMPLICIT_EXCEPTION() == reason) {
 838         TRACE_jvmci_4("safepoint at %i", pc_offset);
 839         site_Safepoint(buffer, pc_offset, site, CHECK_OK);
 840         if (_orig_pc_offset < 0) {
 841           JVMCI_ERROR_OK("method contains safepoint, but has no deopt rescue slot");
 842         }
 843       } else {
 844         TRACE_jvmci_4("infopoint at %i", pc_offset);
 845         site_Infopoint(buffer, pc_offset, site, CHECK_OK);
 846       }
 847     } else if (site->is_a(site_DataPatch::klass())) {
 848       TRACE_jvmci_4("datapatch at %i", pc_offset);
 849       site_DataPatch(buffer, pc_offset, site, CHECK_OK);
 850     } else if (site->is_a(site_Mark::klass())) {
 851       TRACE_jvmci_4("mark at %i", pc_offset);
 852       site_Mark(buffer, pc_offset, site, CHECK_OK);
 853     } else if (site->is_a(site_ExceptionHandler::klass())) {
 854       TRACE_jvmci_4("exceptionhandler at %i", pc_offset);
 855       site_ExceptionHandler(pc_offset, site);
 856     } else {
 857       JVMCI_ERROR_OK("unexpected site subclass: %s", site->klass()->signature_name());
 858     }
 859     last_pc_offset = pc_offset;
 860 
 861     JavaThread* thread = JavaThread::current();
 862     if (SafepointMechanism::poll(thread)) {
 863       // this is a hacky way to force a safepoint check but nothing else was jumping out at me.
 864       ThreadToNativeFromVM ttnfv(thread);
 865     }
 866   }
 867 
 868 #ifndef PRODUCT
 869   if (comments() != NULL) {
 870     for (int i = 0; i < comments()->length(); i++) {
 871       oop comment = comments()->obj_at(i);
 872       assert(comment->is_a(HotSpotCompiledCode_Comment::klass()), "cce");
 873       jint offset = HotSpotCompiledCode_Comment::pcOffset(comment);
 874       char* text = java_lang_String::as_utf8_string(HotSpotCompiledCode_Comment::text(comment));
 875       buffer.block_comment(offset, text);
 876     }
 877   }
 878 #endif
 879   return JVMCIEnv::ok;
 880 }
 881 
 882 void CodeInstaller::assumption_NoFinalizableSubclass(Thread* thread, Handle assumption) {
 883   Handle receiverType_handle (thread, Assumptions_NoFinalizableSubclass::receiverType(assumption()));
 884   Klass* receiverType = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(receiverType_handle));
 885   _dependencies->assert_has_no_finalizable_subclasses(receiverType);
 886 }
 887 
 888 void CodeInstaller::assumption_ConcreteSubtype(Thread* thread, Handle assumption) {
 889   Handle context_handle (thread, Assumptions_ConcreteSubtype::context(assumption()));
 890   Handle subtype_handle (thread, Assumptions_ConcreteSubtype::subtype(assumption()));
 891   Klass* context = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(context_handle));
 892   Klass* subtype = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(subtype_handle));
 893 
 894   assert(context->is_abstract(), "");
 895   _dependencies->assert_abstract_with_unique_concrete_subtype(context, subtype);
 896 }
 897 
 898 void CodeInstaller::assumption_LeafType(Thread* thread, Handle assumption) {
 899   Handle context_handle (thread, Assumptions_LeafType::context(assumption()));
 900   Klass* context = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(context_handle));
 901 
 902   _dependencies->assert_leaf_type(context);
 903 }
 904 
 905 void CodeInstaller::assumption_ConcreteMethod(Thread* thread, Handle assumption) {
 906   Handle impl_handle (thread, Assumptions_ConcreteMethod::impl(assumption()));
 907   Handle context_handle (thread, Assumptions_ConcreteMethod::context(assumption()));
 908 
 909   methodHandle impl = getMethodFromHotSpotMethod(impl_handle());
 910   Klass* context = java_lang_Class::as_Klass(HotSpotResolvedObjectTypeImpl::javaClass(context_handle));
 911 
 912   _dependencies->assert_unique_concrete_method(context, impl());
 913 }
 914 
 915 void CodeInstaller::assumption_CallSiteTargetValue(Thread* thread, Handle assumption) {
 916   Handle callSite(thread, Assumptions_CallSiteTargetValue::callSite(assumption()));
 917   Handle methodHandle(thread, Assumptions_CallSiteTargetValue::methodHandle(assumption()));
 918 
 919   _dependencies->assert_call_site_target_value(callSite(), methodHandle());
 920 }
 921 
 922 void CodeInstaller::site_ExceptionHandler(jint pc_offset, Handle exc) {
 923   jint handler_offset = site_ExceptionHandler::handlerPos(exc);
 924 
 925   // Subtable header
 926   _exception_handler_table.add_entry(HandlerTableEntry(1, pc_offset, 0));
 927 
 928   // Subtable entry
 929   _exception_handler_table.add_entry(HandlerTableEntry(-1, handler_offset, 0));
 930 }
 931 
 932 // If deoptimization happens, the interpreter should reexecute these bytecodes.
 933 // This function mainly helps the compilers to set up the reexecute bit.
 934 static bool bytecode_should_reexecute(Bytecodes::Code code) {
 935   switch (code) {
 936     case Bytecodes::_invokedynamic:
 937     case Bytecodes::_invokevirtual:
 938     case Bytecodes::_invokeinterface:
 939     case Bytecodes::_invokespecial:
 940     case Bytecodes::_invokestatic:
 941       return false;
 942     default:
 943       return true;
 944     }
 945   return true;
 946 }
 947 
 948 GrowableArray<ScopeValue*>* CodeInstaller::record_virtual_objects(Handle debug_info, TRAPS) {
 949   objArrayHandle virtualObjects(THREAD, DebugInfo::virtualObjectMapping(debug_info));
 950   if (virtualObjects.is_null()) {
 951     return NULL;
 952   }
 953   GrowableArray<ScopeValue*>* objects = new GrowableArray<ScopeValue*>(virtualObjects->length(), virtualObjects->length(), NULL);
 954   // Create the unique ObjectValues
 955   for (int i = 0; i < virtualObjects->length(); i++) {
 956     HandleMark hm(THREAD);
 957     Handle value(THREAD, virtualObjects->obj_at(i));
 958     int id = VirtualObject::id(value);
 959     Handle type(THREAD, VirtualObject::type(value));
 960     oop javaMirror = HotSpotResolvedObjectTypeImpl::javaClass(type);
 961     ObjectValue* sv = new ObjectValue(id, new ConstantOopWriteValue(JNIHandles::make_local(Thread::current(), javaMirror)));
 962     if (id < 0 || id >= objects->length()) {
 963       JVMCI_ERROR_NULL("virtual object id %d out of bounds", id);
 964     }
 965     if (objects->at(id) != NULL) {
 966       JVMCI_ERROR_NULL("duplicate virtual object id %d", id);
 967     }
 968     objects->at_put(id, sv);
 969   }
 970   // All the values which could be referenced by the VirtualObjects
 971   // exist, so now describe all the VirtualObjects themselves.
 972   for (int i = 0; i < virtualObjects->length(); i++) {
 973     HandleMark hm(THREAD);
 974     Handle value(THREAD, virtualObjects->obj_at(i));
 975     int id = VirtualObject::id(value);
 976     record_object_value(objects->at(id)->as_ObjectValue(), value, objects, CHECK_NULL);
 977   }
 978   _debug_recorder->dump_object_pool(objects);
 979   return objects;
 980 }
 981 
 982 void CodeInstaller::record_scope(jint pc_offset, Handle debug_info, ScopeMode scope_mode, bool return_oop, TRAPS) {
 983   Handle position(THREAD, DebugInfo::bytecodePosition(debug_info));
 984   if (position.is_null()) {
 985     // Stubs do not record scope info, just oop maps
 986     return;
 987   }
 988 
 989   GrowableArray<ScopeValue*>* objectMapping;
 990   if (scope_mode == CodeInstaller::FullFrame) {
 991     objectMapping = record_virtual_objects(debug_info, CHECK);
 992   } else {
 993     objectMapping = NULL;
 994   }
 995   record_scope(pc_offset, position, scope_mode, objectMapping, return_oop, CHECK);
 996 }
 997 
 998 void CodeInstaller::record_scope(jint pc_offset, Handle position, ScopeMode scope_mode, GrowableArray<ScopeValue*>* objects, bool return_oop, TRAPS) {
 999   Handle frame;
1000   if (scope_mode == CodeInstaller::FullFrame) {
1001     if (!position->is_a(BytecodeFrame::klass())) {
1002       JVMCI_ERROR("Full frame expected for debug info at %i", pc_offset);
1003     }
1004     frame = position;
1005   }
1006   Handle caller_frame (THREAD, BytecodePosition::caller(position));
1007   if (caller_frame.not_null()) {
1008     record_scope(pc_offset, caller_frame, scope_mode, objects, return_oop, CHECK);
1009   }
1010 
1011   Handle hotspot_method (THREAD, BytecodePosition::method(position));
1012   Method* method = getMethodFromHotSpotMethod(hotspot_method());
1013   jint bci = BytecodePosition::bci(position);
1014   if (bci == BytecodeFrame::BEFORE_BCI()) {
1015     bci = SynchronizationEntryBCI;
1016   }
1017 
1018   TRACE_jvmci_2("Recording scope pc_offset=%d bci=%d method=%s", pc_offset, bci, method->name_and_sig_as_C_string());
1019 
1020   bool reexecute = false;
1021   if (frame.not_null()) {
1022     if (bci == SynchronizationEntryBCI){
1023        reexecute = false;
1024     } else {
1025       Bytecodes::Code code = Bytecodes::java_code_at(method, method->bcp_from(bci));
1026       reexecute = bytecode_should_reexecute(code);
1027       if (frame.not_null()) {
1028         reexecute = (BytecodeFrame::duringCall(frame) == JNI_FALSE);
1029       }
1030     }
1031   }
1032 
1033   DebugToken* locals_token = NULL;
1034   DebugToken* expressions_token = NULL;
1035   DebugToken* monitors_token = NULL;
1036   bool throw_exception = false;
1037 
1038   if (frame.not_null()) {
1039     jint local_count = BytecodeFrame::numLocals(frame);
1040     jint expression_count = BytecodeFrame::numStack(frame);
1041     jint monitor_count = BytecodeFrame::numLocks(frame);
1042     objArrayHandle values(THREAD, BytecodeFrame::values(frame));
1043     objArrayHandle slotKinds(THREAD, BytecodeFrame::slotKinds(frame));
1044 
1045     if (values.is_null() || slotKinds.is_null()) {
1046       THROW(vmSymbols::java_lang_NullPointerException());
1047     }
1048     if (local_count + expression_count + monitor_count != values->length()) {
1049       JVMCI_ERROR("unexpected values length %d in scope (%d locals, %d expressions, %d monitors)", values->length(), local_count, expression_count, monitor_count);
1050     }
1051     if (local_count + expression_count != slotKinds->length()) {
1052       JVMCI_ERROR("unexpected slotKinds length %d in scope (%d locals, %d expressions)", slotKinds->length(), local_count, expression_count);
1053     }
1054 
1055     GrowableArray<ScopeValue*>* locals = local_count > 0 ? new GrowableArray<ScopeValue*> (local_count) : NULL;
1056     GrowableArray<ScopeValue*>* expressions = expression_count > 0 ? new GrowableArray<ScopeValue*> (expression_count) : NULL;
1057     GrowableArray<MonitorValue*>* monitors = monitor_count > 0 ? new GrowableArray<MonitorValue*> (monitor_count) : NULL;
1058 
1059     TRACE_jvmci_2("Scope at bci %d with %d values", bci, values->length());
1060     TRACE_jvmci_2("%d locals %d expressions, %d monitors", local_count, expression_count, monitor_count);
1061 
1062     for (jint i = 0; i < values->length(); i++) {
1063       HandleMark hm(THREAD);
1064       ScopeValue* second = NULL;
1065       Handle value(THREAD, values->obj_at(i));
1066       if (i < local_count) {
1067         BasicType type = JVMCIRuntime::kindToBasicType(Handle(THREAD, slotKinds->obj_at(i)), CHECK);
1068         ScopeValue* first = get_scope_value(value, type, objects, second, CHECK);
1069         if (second != NULL) {
1070           locals->append(second);
1071         }
1072         locals->append(first);
1073       } else if (i < local_count + expression_count) {
1074         BasicType type = JVMCIRuntime::kindToBasicType(Handle(THREAD, slotKinds->obj_at(i)), CHECK);
1075         ScopeValue* first = get_scope_value(value, type, objects, second, CHECK);
1076         if (second != NULL) {
1077           expressions->append(second);
1078         }
1079         expressions->append(first);
1080       } else {
1081         MonitorValue *monitor = get_monitor_value(value, objects, CHECK);
1082         monitors->append(monitor);
1083       }
1084       if (second != NULL) {
1085         i++;
1086         if (i >= values->length() || values->obj_at(i) != Value::ILLEGAL()) {
1087           JVMCI_ERROR("double-slot value not followed by Value.ILLEGAL");
1088         }
1089       }
1090     }
1091 
1092     locals_token = _debug_recorder->create_scope_values(locals);
1093     expressions_token = _debug_recorder->create_scope_values(expressions);
1094     monitors_token = _debug_recorder->create_monitor_values(monitors);
1095 
1096     throw_exception = BytecodeFrame::rethrowException(frame) == JNI_TRUE;
1097   }
1098 
1099   _debug_recorder->describe_scope(pc_offset, method, NULL, bci, reexecute, throw_exception, false, return_oop,
1100                                   locals_token, expressions_token, monitors_token);
1101 }
1102 
1103 void CodeInstaller::site_Safepoint(CodeBuffer& buffer, jint pc_offset, Handle site, TRAPS) {
1104   Handle debug_info (THREAD, site_Infopoint::debugInfo(site));
1105   if (debug_info.is_null()) {
1106     JVMCI_ERROR("debug info expected at safepoint at %i", pc_offset);
1107   }
1108 
1109   // address instruction = _instructions->start() + pc_offset;
1110   // jint next_pc_offset = Assembler::locate_next_instruction(instruction) - _instructions->start();
1111   OopMap *map = create_oop_map(debug_info, CHECK);
1112   _debug_recorder->add_safepoint(pc_offset, map);
1113   record_scope(pc_offset, debug_info, CodeInstaller::FullFrame, CHECK);
1114   _debug_recorder->end_safepoint(pc_offset);
1115 }
1116 
1117 void CodeInstaller::site_Infopoint(CodeBuffer& buffer, jint pc_offset, Handle site, TRAPS) {
1118   Handle debug_info (THREAD, site_Infopoint::debugInfo(site));
1119   if (debug_info.is_null()) {
1120     JVMCI_ERROR("debug info expected at infopoint at %i", pc_offset);
1121   }
1122 
1123   // We'd like to check that pc_offset is greater than the
1124   // last pc recorded with _debug_recorder (raising an exception if not)
1125   // but DebugInformationRecorder doesn't have sufficient public API.
1126 
1127   _debug_recorder->add_non_safepoint(pc_offset);
1128   record_scope(pc_offset, debug_info, CodeInstaller::BytecodePosition, CHECK);
1129   _debug_recorder->end_non_safepoint(pc_offset);
1130 }
1131 
1132 void CodeInstaller::site_Call(CodeBuffer& buffer, jint pc_offset, Handle site, TRAPS) {
1133   Handle target(THREAD, site_Call::target(site));
1134   InstanceKlass* target_klass = InstanceKlass::cast(target->klass());
1135 
1136   Handle hotspot_method; // JavaMethod
1137   Handle foreign_call;
1138 
1139   if (target_klass->is_subclass_of(SystemDictionary::HotSpotForeignCallTarget_klass())) {
1140     foreign_call = target;
1141   } else {
1142     hotspot_method = target;
1143   }
1144 
1145   Handle debug_info (THREAD, site_Call::debugInfo(site));
1146 
1147   assert(hotspot_method.not_null() ^ foreign_call.not_null(), "Call site needs exactly one type");
1148 
1149   NativeInstruction* inst = nativeInstruction_at(_instructions->start() + pc_offset);
1150   jint next_pc_offset = CodeInstaller::pd_next_offset(inst, pc_offset, hotspot_method, CHECK);
1151 
1152   if (debug_info.not_null()) {
1153     OopMap *map = create_oop_map(debug_info, CHECK);
1154     _debug_recorder->add_safepoint(next_pc_offset, map);
1155 
1156     bool return_oop = hotspot_method.not_null() && getMethodFromHotSpotMethod(hotspot_method())->is_returning_oop();
1157 
1158     record_scope(next_pc_offset, debug_info, CodeInstaller::FullFrame, return_oop, CHECK);
1159   }
1160 
1161   if (foreign_call.not_null()) {
1162     jlong foreign_call_destination = HotSpotForeignCallTarget::address(foreign_call);
1163     if (_immutable_pic_compilation) {
1164       // Use fake short distance during PIC compilation.
1165       foreign_call_destination = (jlong)(_instructions->start() + pc_offset);
1166     }
1167     CodeInstaller::pd_relocate_ForeignCall(inst, foreign_call_destination, CHECK);
1168   } else { // method != NULL
1169     if (debug_info.is_null()) {
1170       JVMCI_ERROR("debug info expected at call at %i", pc_offset);
1171     }
1172 
1173     TRACE_jvmci_3("method call");
1174     CodeInstaller::pd_relocate_JavaMethod(hotspot_method, pc_offset, CHECK);
1175     if (_next_call_type == INVOKESTATIC || _next_call_type == INVOKESPECIAL) {
1176       // Need a static call stub for transitions from compiled to interpreted.
1177       CompiledStaticCall::emit_to_interp_stub(buffer, _instructions->start() + pc_offset);
1178     }
1179 #if INCLUDE_AOT
1180     // Trampoline to far aot code.
1181     CompiledStaticCall::emit_to_aot_stub(buffer, _instructions->start() + pc_offset);
1182 #endif
1183   }
1184 
1185   _next_call_type = INVOKE_INVALID;
1186 
1187   if (debug_info.not_null()) {
1188     _debug_recorder->end_safepoint(next_pc_offset);
1189   }
1190 }
1191 
1192 void CodeInstaller::site_DataPatch(CodeBuffer& buffer, jint pc_offset, Handle site, TRAPS) {
1193   Handle reference(THREAD, site_DataPatch::reference(site));
1194   if (reference.is_null()) {
1195     THROW(vmSymbols::java_lang_NullPointerException());
1196   } else if (reference->is_a(site_ConstantReference::klass())) {
1197     Handle constant(THREAD, site_ConstantReference::constant(reference));
1198     if (constant.is_null()) {
1199       THROW(vmSymbols::java_lang_NullPointerException());
1200     } else if (constant->is_a(HotSpotObjectConstantImpl::klass())) {
1201       if (!_immutable_pic_compilation) {
1202         // Do not patch during PIC compilation.
1203         pd_patch_OopConstant(pc_offset, constant, CHECK);
1204       }
1205     } else if (constant->is_a(HotSpotMetaspaceConstantImpl::klass())) {
1206       if (!_immutable_pic_compilation) {
1207         pd_patch_MetaspaceConstant(pc_offset, constant, CHECK);
1208       }
1209     } else if (constant->is_a(HotSpotSentinelConstant::klass())) {
1210       if (!_immutable_pic_compilation) {
1211         JVMCI_ERROR("sentinel constant not supported for normal compiles: %s", constant->klass()->signature_name());
1212       }
1213     } else {
1214       JVMCI_ERROR("unknown constant type in data patch: %s", constant->klass()->signature_name());
1215     }
1216   } else if (reference->is_a(site_DataSectionReference::klass())) {
1217     int data_offset = site_DataSectionReference::offset(reference);
1218     if (0 <= data_offset && data_offset < _constants_size) {
1219       pd_patch_DataSectionReference(pc_offset, data_offset, CHECK);
1220     } else {
1221       JVMCI_ERROR("data offset 0x%X points outside data section (size 0x%X)", data_offset, _constants_size);
1222     }
1223   } else {
1224     JVMCI_ERROR("unknown data patch type: %s", reference->klass()->signature_name());
1225   }
1226 }
1227 
1228 void CodeInstaller::site_Mark(CodeBuffer& buffer, jint pc_offset, Handle site, TRAPS) {
1229   Handle id_obj (THREAD, site_Mark::id(site));
1230 
1231   if (id_obj.not_null()) {
1232     if (!java_lang_boxing_object::is_instance(id_obj(), T_INT)) {
1233       JVMCI_ERROR("expected Integer id, got %s", id_obj->klass()->signature_name());
1234     }
1235     jint id = id_obj->int_field(java_lang_boxing_object::value_offset_in_bytes(T_INT));
1236 
1237     address pc = _instructions->start() + pc_offset;
1238 
1239     switch (id) {
1240       case UNVERIFIED_ENTRY:
1241         _offsets.set_value(CodeOffsets::Entry, pc_offset);
1242         break;
1243       case VERIFIED_ENTRY:
1244         _offsets.set_value(CodeOffsets::Verified_Entry, pc_offset);
1245         break;
1246       case OSR_ENTRY:
1247         _offsets.set_value(CodeOffsets::OSR_Entry, pc_offset);
1248         break;
1249       case EXCEPTION_HANDLER_ENTRY:
1250         _offsets.set_value(CodeOffsets::Exceptions, pc_offset);
1251         break;
1252       case DEOPT_HANDLER_ENTRY:
1253         _offsets.set_value(CodeOffsets::Deopt, pc_offset);
1254         break;
1255       case INVOKEVIRTUAL:
1256       case INVOKEINTERFACE:
1257       case INLINE_INVOKE:
1258       case INVOKESTATIC:
1259       case INVOKESPECIAL:
1260         _next_call_type = (MarkId) id;
1261         _invoke_mark_pc = pc;
1262         break;
1263       case POLL_NEAR:
1264       case POLL_FAR:
1265       case POLL_RETURN_NEAR:
1266       case POLL_RETURN_FAR:
1267         pd_relocate_poll(pc, id, CHECK);
1268         break;
1269       case CARD_TABLE_SHIFT:
1270       case CARD_TABLE_ADDRESS:
1271       case HEAP_TOP_ADDRESS:
1272       case HEAP_END_ADDRESS:
1273       case NARROW_KLASS_BASE_ADDRESS:
1274       case NARROW_OOP_BASE_ADDRESS:
1275       case CRC_TABLE_ADDRESS:
1276       case LOG_OF_HEAP_REGION_GRAIN_BYTES:
1277       case INLINE_CONTIGUOUS_ALLOCATION_SUPPORTED:
1278         break;
1279       default:
1280         JVMCI_ERROR("invalid mark id: %d", id);
1281         break;
1282     }
1283   }
1284 }
1285