1 /* 2 * Copyright (c) 2011, 2020, 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 // no precompiled headers 25 #include "ci/ciUtilities.hpp" 26 #include "gc/shared/barrierSet.hpp" 27 #include "gc/shared/cardTable.hpp" 28 #include "gc/shared/collectedHeap.hpp" 29 #include "jvmci/jvmciEnv.hpp" 30 #include "jvmci/jvmciCompilerToVM.hpp" 31 #include "jvmci/vmStructs_jvmci.hpp" 32 #include "memory/universe.hpp" 33 #include "oops/compressedOops.hpp" 34 #include "oops/klass.inline.hpp" 35 #include "runtime/sharedRuntime.hpp" 36 #include "utilities/resourceHash.hpp" 37 38 39 int CompilerToVM::Data::Klass_vtable_start_offset; 40 int CompilerToVM::Data::Klass_vtable_length_offset; 41 42 int CompilerToVM::Data::Method_extra_stack_entries; 43 44 address CompilerToVM::Data::SharedRuntime_ic_miss_stub; 45 address CompilerToVM::Data::SharedRuntime_handle_wrong_method_stub; 46 address CompilerToVM::Data::SharedRuntime_deopt_blob_unpack; 47 address CompilerToVM::Data::SharedRuntime_deopt_blob_uncommon_trap; 48 49 size_t CompilerToVM::Data::ThreadLocalAllocBuffer_alignment_reserve; 50 51 CollectedHeap* CompilerToVM::Data::Universe_collectedHeap; 52 int CompilerToVM::Data::Universe_base_vtable_size; 53 address CompilerToVM::Data::Universe_narrow_oop_base; 54 int CompilerToVM::Data::Universe_narrow_oop_shift; 55 address CompilerToVM::Data::Universe_narrow_klass_base; 56 int CompilerToVM::Data::Universe_narrow_klass_shift; 57 void* CompilerToVM::Data::Universe_non_oop_bits; 58 uintptr_t CompilerToVM::Data::Universe_verify_oop_mask; 59 uintptr_t CompilerToVM::Data::Universe_verify_oop_bits; 60 61 bool CompilerToVM::Data::_supports_inline_contig_alloc; 62 HeapWord** CompilerToVM::Data::_heap_end_addr; 63 HeapWord* volatile* CompilerToVM::Data::_heap_top_addr; 64 int CompilerToVM::Data::_max_oop_map_stack_offset; 65 int CompilerToVM::Data::_fields_annotations_base_offset; 66 67 CardTable::CardValue* CompilerToVM::Data::cardtable_start_address; 68 int CompilerToVM::Data::cardtable_shift; 69 70 int CompilerToVM::Data::vm_page_size; 71 72 int CompilerToVM::Data::sizeof_vtableEntry = sizeof(vtableEntry); 73 int CompilerToVM::Data::sizeof_ExceptionTableElement = sizeof(ExceptionTableElement); 74 int CompilerToVM::Data::sizeof_LocalVariableTableElement = sizeof(LocalVariableTableElement); 75 int CompilerToVM::Data::sizeof_ConstantPool = sizeof(ConstantPool); 76 int CompilerToVM::Data::sizeof_narrowKlass = sizeof(narrowKlass); 77 int CompilerToVM::Data::sizeof_arrayOopDesc = sizeof(arrayOopDesc); 78 int CompilerToVM::Data::sizeof_BasicLock = sizeof(BasicLock); 79 80 address CompilerToVM::Data::dsin; 81 address CompilerToVM::Data::dcos; 82 address CompilerToVM::Data::dtan; 83 address CompilerToVM::Data::dexp; 84 address CompilerToVM::Data::dlog; 85 address CompilerToVM::Data::dlog10; 86 address CompilerToVM::Data::dpow; 87 88 address CompilerToVM::Data::symbol_init; 89 address CompilerToVM::Data::symbol_clinit; 90 91 void CompilerToVM::Data::initialize(JVMCI_TRAPS) { 92 Klass_vtable_start_offset = in_bytes(Klass::vtable_start_offset()); 93 Klass_vtable_length_offset = in_bytes(Klass::vtable_length_offset()); 94 95 Method_extra_stack_entries = Method::extra_stack_entries(); 96 97 SharedRuntime_ic_miss_stub = SharedRuntime::get_ic_miss_stub(); 98 SharedRuntime_handle_wrong_method_stub = SharedRuntime::get_handle_wrong_method_stub(); 99 SharedRuntime_deopt_blob_unpack = SharedRuntime::deopt_blob()->unpack(); 100 SharedRuntime_deopt_blob_uncommon_trap = SharedRuntime::deopt_blob()->uncommon_trap(); 101 102 ThreadLocalAllocBuffer_alignment_reserve = ThreadLocalAllocBuffer::alignment_reserve(); 103 104 Universe_collectedHeap = Universe::heap(); 105 Universe_base_vtable_size = Universe::base_vtable_size(); 106 Universe_narrow_oop_base = CompressedOops::base(); 107 Universe_narrow_oop_shift = CompressedOops::shift(); 108 Universe_narrow_klass_base = CompressedKlassPointers::base(); 109 Universe_narrow_klass_shift = CompressedKlassPointers::shift(); 110 Universe_non_oop_bits = Universe::non_oop_word(); 111 Universe_verify_oop_mask = Universe::verify_oop_mask(); 112 Universe_verify_oop_bits = Universe::verify_oop_bits(); 113 114 _supports_inline_contig_alloc = Universe::heap()->supports_inline_contig_alloc(); 115 _heap_end_addr = _supports_inline_contig_alloc ? Universe::heap()->end_addr() : (HeapWord**) -1; 116 _heap_top_addr = _supports_inline_contig_alloc ? Universe::heap()->top_addr() : (HeapWord* volatile*) -1; 117 118 _max_oop_map_stack_offset = (OopMapValue::register_mask - VMRegImpl::stack2reg(0)->value()) * VMRegImpl::stack_slot_size; 119 int max_oop_map_stack_index = _max_oop_map_stack_offset / VMRegImpl::stack_slot_size; 120 assert(OopMapValue::legal_vm_reg_name(VMRegImpl::stack2reg(max_oop_map_stack_index)), "should be valid"); 121 assert(!OopMapValue::legal_vm_reg_name(VMRegImpl::stack2reg(max_oop_map_stack_index + 1)), "should be invalid"); 122 123 symbol_init = (address) vmSymbols::object_initializer_name(); 124 symbol_clinit = (address) vmSymbols::class_initializer_name(); 125 126 _fields_annotations_base_offset = Array<AnnotationArray*>::base_offset_in_bytes(); 127 128 BarrierSet* bs = BarrierSet::barrier_set(); 129 if (bs->is_a(BarrierSet::CardTableBarrierSet)) { 130 CardTable::CardValue* base = ci_card_table_address(); 131 assert(base != NULL, "unexpected byte_map_base"); 132 cardtable_start_address = base; 133 cardtable_shift = CardTable::card_shift; 134 } else { 135 // No card mark barriers 136 cardtable_start_address = 0; 137 cardtable_shift = 0; 138 } 139 140 vm_page_size = os::vm_page_size(); 141 142 #define SET_TRIGFUNC(name) \ 143 if (StubRoutines::name() != NULL) { \ 144 name = StubRoutines::name(); \ 145 } else { \ 146 name = CAST_FROM_FN_PTR(address, SharedRuntime::name); \ 147 } 148 149 SET_TRIGFUNC(dsin); 150 SET_TRIGFUNC(dcos); 151 SET_TRIGFUNC(dtan); 152 SET_TRIGFUNC(dexp); 153 SET_TRIGFUNC(dlog10); 154 SET_TRIGFUNC(dlog); 155 SET_TRIGFUNC(dpow); 156 157 #undef SET_TRIGFUNC 158 } 159 160 JVMCIObjectArray CompilerToVM::initialize_intrinsics(JVMCI_TRAPS) { 161 JVMCIObjectArray vmIntrinsics = JVMCIENV->new_VMIntrinsicMethod_array(vmIntrinsics::ID_LIMIT - 1, JVMCI_CHECK_NULL); 162 int index = 0; 163 vmSymbols::SID kls_sid = vmSymbols::NO_SID; 164 JVMCIObject kls_str; 165 #define VM_SYMBOL_TO_STRING(s) \ 166 JVMCIENV->create_string(vmSymbols::symbol_at(vmSymbols::VM_SYMBOL_ENUM_NAME(s)), JVMCI_CHECK_NULL) 167 #define VM_INTRINSIC_INFO(id, kls, name, sig, ignore_fcode) { \ 168 vmSymbols::SID sid = vmSymbols::VM_SYMBOL_ENUM_NAME(kls); \ 169 if (kls_sid != sid) { \ 170 kls_str = VM_SYMBOL_TO_STRING(kls); \ 171 kls_sid = sid; \ 172 } \ 173 JVMCIObject name_str = VM_SYMBOL_TO_STRING(name); \ 174 JVMCIObject sig_str = VM_SYMBOL_TO_STRING(sig); \ 175 JVMCIObject vmIntrinsicMethod = JVMCIENV->new_VMIntrinsicMethod(kls_str, name_str, sig_str, (jint) vmIntrinsics::id, JVMCI_CHECK_NULL); \ 176 JVMCIENV->put_object_at(vmIntrinsics, index++, vmIntrinsicMethod); \ 177 } 178 179 VM_INTRINSICS_DO(VM_INTRINSIC_INFO, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE) 180 #undef VM_SYMBOL_TO_STRING 181 #undef VM_INTRINSIC_INFO 182 assert(index == vmIntrinsics::ID_LIMIT - 1, "must be"); 183 184 return vmIntrinsics; 185 } 186 187 #define PREDEFINED_CONFIG_FLAGS(do_bool_flag, do_intx_flag, do_uintx_flag) \ 188 do_intx_flag(AllocateInstancePrefetchLines) \ 189 do_intx_flag(AllocatePrefetchDistance) \ 190 do_intx_flag(AllocatePrefetchInstr) \ 191 do_intx_flag(AllocatePrefetchLines) \ 192 do_intx_flag(AllocatePrefetchStepSize) \ 193 do_intx_flag(AllocatePrefetchStyle) \ 194 do_intx_flag(BciProfileWidth) \ 195 do_bool_flag(BootstrapJVMCI) \ 196 do_bool_flag(CITime) \ 197 do_bool_flag(CITimeEach) \ 198 do_uintx_flag(CodeCacheSegmentSize) \ 199 do_intx_flag(CodeEntryAlignment) \ 200 do_intx_flag(ContendedPaddingWidth) \ 201 do_bool_flag(DontCompileHugeMethods) \ 202 do_bool_flag(EagerJVMCI) \ 203 do_bool_flag(EnableContended) \ 204 do_bool_flag(FoldStableValues) \ 205 do_bool_flag(ForceUnreachable) \ 206 do_intx_flag(HugeMethodLimit) \ 207 do_bool_flag(Inline) \ 208 do_intx_flag(JVMCICounterSize) \ 209 do_bool_flag(JVMCIPrintProperties) \ 210 do_bool_flag(JVMCIUseFastLocking) \ 211 do_intx_flag(MethodProfileWidth) \ 212 do_intx_flag(ObjectAlignmentInBytes) \ 213 do_bool_flag(PrintInlining) \ 214 do_bool_flag(ReduceInitialCardMarks) \ 215 do_bool_flag(RestrictContended) \ 216 do_intx_flag(StackReservedPages) \ 217 do_intx_flag(StackShadowPages) \ 218 do_bool_flag(TLABStats) \ 219 do_uintx_flag(TLABWasteIncrement) \ 220 do_intx_flag(TypeProfileWidth) \ 221 do_bool_flag(UseAESIntrinsics) \ 222 X86_ONLY(do_intx_flag(UseAVX)) \ 223 do_bool_flag(UseBiasedLocking) \ 224 do_bool_flag(UseCRC32Intrinsics) \ 225 do_bool_flag(UseCompressedClassPointers) \ 226 do_bool_flag(UseCompressedOops) \ 227 X86_ONLY(do_bool_flag(UseCountLeadingZerosInstruction)) \ 228 X86_ONLY(do_bool_flag(UseCountTrailingZerosInstruction)) \ 229 do_bool_flag(UseG1GC) \ 230 do_bool_flag(UseParallelGC) \ 231 do_bool_flag(UseParallelOldGC) \ 232 do_bool_flag(UseSerialGC) \ 233 do_bool_flag(UseZGC) \ 234 do_bool_flag(UseEpsilonGC) \ 235 COMPILER2_PRESENT(do_bool_flag(UseMontgomeryMultiplyIntrinsic)) \ 236 COMPILER2_PRESENT(do_bool_flag(UseMontgomerySquareIntrinsic)) \ 237 COMPILER2_PRESENT(do_bool_flag(UseMulAddIntrinsic)) \ 238 COMPILER2_PRESENT(do_bool_flag(UseMultiplyToLenIntrinsic)) \ 239 do_bool_flag(UsePopCountInstruction) \ 240 do_bool_flag(UseSHA1Intrinsics) \ 241 do_bool_flag(UseSHA256Intrinsics) \ 242 do_bool_flag(UseSHA512Intrinsics) \ 243 do_intx_flag(UseSSE) \ 244 COMPILER2_PRESENT(do_bool_flag(UseSquareToLenIntrinsic)) \ 245 do_bool_flag(UseStackBanging) \ 246 do_bool_flag(UseTLAB) \ 247 do_bool_flag(VerifyOops) \ 248 249 #define BOXED_BOOLEAN(name, value) name = ((jboolean)(value) ? boxedTrue : boxedFalse) 250 #define BOXED_DOUBLE(name, value) do { jvalue p; p.d = (jdouble) (value); name = JVMCIENV->create_box(T_DOUBLE, &p, JVMCI_CHECK_NULL);} while(0) 251 #define BOXED_LONG(name, value) \ 252 do { \ 253 jvalue p; p.j = (jlong) (value); \ 254 JVMCIObject* e = longs.get(p.j); \ 255 if (e == NULL) { \ 256 JVMCIObject h = JVMCIENV->create_box(T_LONG, &p, JVMCI_CHECK_NULL); \ 257 longs.put(p.j, h); \ 258 name = h; \ 259 } else { \ 260 name = (*e); \ 261 } \ 262 } while (0) 263 264 #define CSTRING_TO_JSTRING(name, value) \ 265 JVMCIObject name; \ 266 do { \ 267 if (value != NULL) { \ 268 JVMCIObject* e = strings.get(value); \ 269 if (e == NULL) { \ 270 JVMCIObject h = JVMCIENV->create_string(value, JVMCI_CHECK_NULL); \ 271 strings.put(value, h); \ 272 name = h; \ 273 } else { \ 274 name = (*e); \ 275 } \ 276 } \ 277 } while (0) 278 279 jobjectArray readConfiguration0(JNIEnv *env, JVMCI_TRAPS) { 280 Thread* THREAD = Thread::current(); 281 ResourceHashtable<jlong, JVMCIObject> longs; 282 ResourceHashtable<const char*, JVMCIObject, &CompilerToVM::cstring_hash, &CompilerToVM::cstring_equals> strings; 283 284 jvalue prim; 285 prim.z = true; JVMCIObject boxedTrue = JVMCIENV->create_box(T_BOOLEAN, &prim, JVMCI_CHECK_NULL); 286 prim.z = false; JVMCIObject boxedFalse = JVMCIENV->create_box(T_BOOLEAN, &prim, JVMCI_CHECK_NULL); 287 288 CompilerToVM::Data::initialize(JVMCI_CHECK_NULL); 289 290 JVMCIENV->VMField_initialize(JVMCI_CHECK_NULL); 291 JVMCIENV->VMFlag_initialize(JVMCI_CHECK_NULL); 292 JVMCIENV->VMIntrinsicMethod_initialize(JVMCI_CHECK_NULL); 293 294 int len = JVMCIVMStructs::localHotSpotVMStructs_count(); 295 JVMCIObjectArray vmFields = JVMCIENV->new_VMField_array(len, JVMCI_CHECK_NULL); 296 for (int i = 0; i < len ; i++) { 297 VMStructEntry vmField = JVMCIVMStructs::localHotSpotVMStructs[i]; 298 size_t name_buf_len = strlen(vmField.typeName) + strlen(vmField.fieldName) + 2 /* "::" */; 299 char* name_buf = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, char, name_buf_len + 1); 300 sprintf(name_buf, "%s::%s", vmField.typeName, vmField.fieldName); 301 CSTRING_TO_JSTRING(name, name_buf); 302 CSTRING_TO_JSTRING(type, vmField.typeString); 303 JVMCIObject box; 304 if (vmField.isStatic && vmField.typeString != NULL) { 305 if (strcmp(vmField.typeString, "bool") == 0) { 306 BOXED_BOOLEAN(box, *(jbyte*) vmField.address); 307 assert(box.is_non_null(), "must have a box"); 308 } else if (strcmp(vmField.typeString, "int") == 0 || 309 strcmp(vmField.typeString, "jint") == 0 || 310 strcmp(vmField.typeString, "uint32_t") == 0) { 311 BOXED_LONG(box, *(jint*) vmField.address); 312 assert(box.is_non_null(), "must have a box"); 313 } else if (strcmp(vmField.typeString, "uint64_t") == 0) { 314 BOXED_LONG(box, *(uint64_t*) vmField.address); 315 assert(box.is_non_null(), "must have a box"); 316 } else if (strcmp(vmField.typeString, "address") == 0 || 317 strcmp(vmField.typeString, "intptr_t") == 0 || 318 strcmp(vmField.typeString, "uintptr_t") == 0 || 319 strcmp(vmField.typeString, "OopHandle") == 0 || 320 strcmp(vmField.typeString, "size_t") == 0 || 321 // All foo* types are addresses. 322 vmField.typeString[strlen(vmField.typeString) - 1] == '*') { 323 BOXED_LONG(box, *((address*) vmField.address)); 324 assert(box.is_non_null(), "must have a box"); 325 } else { 326 JVMCI_ERROR_NULL("VM field %s has unsupported type %s", name_buf, vmField.typeString); 327 } 328 } 329 JVMCIObject vmFieldObj = JVMCIENV->new_VMField(name, type, vmField.offset, (jlong) vmField.address, box, JVMCI_CHECK_NULL); 330 JVMCIENV->put_object_at(vmFields, i, vmFieldObj); 331 } 332 333 int ints_len = JVMCIVMStructs::localHotSpotVMIntConstants_count(); 334 int longs_len = JVMCIVMStructs::localHotSpotVMLongConstants_count(); 335 len = ints_len + longs_len; 336 JVMCIObjectArray vmConstants = JVMCIENV->new_Object_array(len * 2, JVMCI_CHECK_NULL); 337 int insert = 0; 338 for (int i = 0; i < ints_len ; i++) { 339 VMIntConstantEntry c = JVMCIVMStructs::localHotSpotVMIntConstants[i]; 340 CSTRING_TO_JSTRING(name, c.name); 341 JVMCIObject value; 342 BOXED_LONG(value, c.value); 343 JVMCIENV->put_object_at(vmConstants, insert++, name); 344 JVMCIENV->put_object_at(vmConstants, insert++, value); 345 } 346 for (int i = 0; i < longs_len ; i++) { 347 VMLongConstantEntry c = JVMCIVMStructs::localHotSpotVMLongConstants[i]; 348 CSTRING_TO_JSTRING(name, c.name); 349 JVMCIObject value; 350 BOXED_LONG(value, c.value); 351 JVMCIENV->put_object_at(vmConstants, insert++, name); 352 JVMCIENV->put_object_at(vmConstants, insert++, value); 353 } 354 assert(insert == len * 2, "must be"); 355 356 len = JVMCIVMStructs::localHotSpotVMAddresses_count(); 357 JVMCIObjectArray vmAddresses = JVMCIENV->new_Object_array(len * 2, JVMCI_CHECK_NULL); 358 for (int i = 0; i < len ; i++) { 359 VMAddressEntry a = JVMCIVMStructs::localHotSpotVMAddresses[i]; 360 CSTRING_TO_JSTRING(name, a.name); 361 JVMCIObject value; 362 BOXED_LONG(value, a.value); 363 JVMCIENV->put_object_at(vmAddresses, i * 2, name); 364 JVMCIENV->put_object_at(vmAddresses, i * 2 + 1, value); 365 } 366 367 #define COUNT_FLAG(ignore) +1 368 #ifdef ASSERT 369 #define CHECK_FLAG(type, name) { \ 370 const JVMFlag* flag = JVMFlag::find_declared_flag(#name); \ 371 assert(flag != NULL, "No such flag named " #name); \ 372 assert(flag->is_##type(), "JVMFlag " #name " is not of type " #type); \ 373 } 374 #else 375 #define CHECK_FLAG(type, name) 376 #endif 377 378 #define ADD_FLAG(type, name, convert) { \ 379 CHECK_FLAG(type, name) \ 380 CSTRING_TO_JSTRING(fname, #name); \ 381 CSTRING_TO_JSTRING(ftype, #type); \ 382 convert(value, name); \ 383 JVMCIObject vmFlagObj = JVMCIENV->new_VMFlag(fname, ftype, value, JVMCI_CHECK_NULL); \ 384 JVMCIENV->put_object_at(vmFlags, i++, vmFlagObj); \ 385 } 386 #define ADD_BOOL_FLAG(name) ADD_FLAG(bool, name, BOXED_BOOLEAN) 387 #define ADD_INTX_FLAG(name) ADD_FLAG(intx, name, BOXED_LONG) 388 #define ADD_UINTX_FLAG(name) ADD_FLAG(uintx, name, BOXED_LONG) 389 390 len = 0 + PREDEFINED_CONFIG_FLAGS(COUNT_FLAG, COUNT_FLAG, COUNT_FLAG); 391 JVMCIObjectArray vmFlags = JVMCIENV->new_VMFlag_array(len, JVMCI_CHECK_NULL); 392 int i = 0; 393 JVMCIObject value; 394 PREDEFINED_CONFIG_FLAGS(ADD_BOOL_FLAG, ADD_INTX_FLAG, ADD_UINTX_FLAG) 395 396 JVMCIObjectArray vmIntrinsics = CompilerToVM::initialize_intrinsics(JVMCI_CHECK_NULL); 397 398 JVMCIObjectArray data = JVMCIENV->new_Object_array(5, JVMCI_CHECK_NULL); 399 JVMCIENV->put_object_at(data, 0, vmFields); 400 JVMCIENV->put_object_at(data, 1, vmConstants); 401 JVMCIENV->put_object_at(data, 2, vmAddresses); 402 JVMCIENV->put_object_at(data, 3, vmFlags); 403 JVMCIENV->put_object_at(data, 4, vmIntrinsics); 404 405 return JVMCIENV->get_jobjectArray(data); 406 }