1 /* 2 * Copyright (c) 2011, 2015, 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 "classfile/symbolTable.hpp" 26 #include "jvmci/jvmciJavaClasses.hpp" 27 #include "memory/resourceArea.hpp" 28 #include "oops/oop.inline.hpp" 29 #include "runtime/jniHandles.inline.hpp" 30 31 32 // This macro expands for non-inline functions, in class declarations. 33 34 #define START_CLASS(name) \ 35 void name::check(oop obj, const char* field_name, int offset) { \ 36 assert(obj != NULL, "NULL field access of %s.%s", #name, field_name); \ 37 assert(obj->is_a(SystemDictionary::name##_klass()), "wrong class, " #name " expected, found %s", obj->klass()->external_name()); \ 38 assert(offset != 0, "must be valid offset"); \ 39 } 40 41 #define END_CLASS 42 43 #define FIELD(klass, name, type, accessor, cast) \ 44 type klass::name(jobject obj) { check(JNIHandles::resolve(obj), #name, _##name##_offset); return cast JNIHandles::resolve(obj)->accessor(_##name##_offset); } \ 45 void klass::set_##name(jobject obj, type x) { check(JNIHandles::resolve(obj), #name, _##name##_offset); JNIHandles::resolve(obj)->accessor##_put(_##name##_offset, x); } 46 47 #define EMPTY_CAST 48 #define CHAR_FIELD(klass, name) FIELD(klass, name, jchar, char_field, EMPTY_CAST) 49 #define INT_FIELD(klass, name) FIELD(klass, name, jint, int_field, EMPTY_CAST) 50 #define BOOLEAN_FIELD(klass, name) FIELD(klass, name, jboolean, bool_field, EMPTY_CAST) 51 #define LONG_FIELD(klass, name) FIELD(klass, name, jlong, long_field, EMPTY_CAST) 52 #define FLOAT_FIELD(klass, name) FIELD(klass, name, jfloat, float_field, EMPTY_CAST) 53 #define OOP_FIELD(klass, name, signature) FIELD(klass, name, oop, obj_field, EMPTY_CAST) 54 #define OBJARRAYOOP_FIELD(klass, name, signature) FIELD(klass, name, objArrayOop, obj_field, (objArrayOop)) 55 #define TYPEARRAYOOP_FIELD(klass, name, signature) FIELD(klass, name, typeArrayOop, obj_field, (typeArrayOop)) 56 #define STATIC_OOP_FIELD(klassName, name, signature) STATIC_OOPISH_FIELD(klassName, name, oop, signature) 57 #define STATIC_OBJARRAYOOP_FIELD(klassName, name, signature) STATIC_OOPISH_FIELD(klassName, name, objArrayOop, signature) 58 #define STATIC_OOPISH_FIELD(klassName, name, type, signature) \ 59 type klassName::name() { \ 60 assert(klassName::klass() != NULL && klassName::klass()->is_linked(), "Class not yet linked: " #klassName); \ 61 InstanceKlass* ik = klassName::klass(); \ 62 oop base = ik->static_field_base_raw(); \ 63 oop result = HeapAccess<>::oop_load_at(base, _##name##_offset); \ 64 return type(result); \ 65 } \ 66 void klassName::set_##name(type x) { \ 67 assert(klassName::klass() != NULL && klassName::klass()->is_linked(), "Class not yet linked: " #klassName); \ 68 assert(klassName::klass() != NULL, "Class not yet loaded: " #klassName); \ 69 InstanceKlass* ik = klassName::klass(); \ 70 oop base = ik->static_field_base_raw(); \ 71 HeapAccess<>::oop_store_at(base, _##name##_offset, x); \ 72 } 73 #define STATIC_PRIMITIVE_FIELD(klassName, name, jtypename) \ 74 jtypename klassName::name() { \ 75 assert(klassName::klass() != NULL && klassName::klass()->is_linked(), "Class not yet linked: " #klassName); \ 76 InstanceKlass* ik = klassName::klass(); \ 77 oop base = ik->static_field_base_raw(); \ 78 return HeapAccess<>::load_at(base, _##name##_offset); \ 79 } \ 80 void klassName::set_##name(jtypename x) { \ 81 assert(klassName::klass() != NULL && klassName::klass()->is_linked(), "Class not yet linked: " #klassName); \ 82 InstanceKlass* ik = klassName::klass(); \ 83 oop base = ik->static_field_base_raw(); \ 84 HeapAccess<>::store_at(base, _##name##_offset, x); \ 85 } 86 87 #define STATIC_INT_FIELD(klassName, name) STATIC_PRIMITIVE_FIELD(klassName, name, jint) 88 #define STATIC_BOOLEAN_FIELD(klassName, name) STATIC_PRIMITIVE_FIELD(klassName, name, jboolean) 89 90 COMPILER_CLASSES_DO(START_CLASS, END_CLASS, CHAR_FIELD, INT_FIELD, BOOLEAN_FIELD, LONG_FIELD, FLOAT_FIELD, OOP_FIELD, TYPEARRAYOOP_FIELD, OBJARRAYOOP_FIELD, STATIC_OOP_FIELD, STATIC_OBJARRAYOOP_FIELD, STATIC_INT_FIELD, STATIC_BOOLEAN_FIELD) 91 #undef START_CLASS 92 #undef END_CLASS 93 #undef FIELD 94 #undef CHAR_FIELD 95 #undef INT_FIELD 96 #undef BOOLEAN_FIELD 97 #undef LONG_FIELD 98 #undef FLOAT_FIELD 99 #undef OOP_FIELD 100 #undef TYPEARRAYOOP_FIELD 101 #undef OBJARRAYOOP_FIELD 102 #undef STATIC_OOPISH_FIELD 103 #undef STATIC_OOP_FIELD 104 #undef STATIC_OBJARRAYOOP_FIELD 105 #undef STATIC_INT_FIELD 106 #undef STATIC_BOOLEAN_FIELD 107 #undef STATIC_PRIMITIVE_FIELD 108 #undef EMPTY_CAST 109 110 // This function is similar to javaClasses.cpp, it computes the field offset of a (static or instance) field. 111 // It looks up the name and signature symbols without creating new ones, all the symbols of these classes need to be already loaded. 112 113 void compute_offset(int &dest_offset, Klass* klass, const char* name, const char* signature, bool static_field, TRAPS) { 114 InstanceKlass* ik = InstanceKlass::cast(klass); 115 Symbol* name_symbol = SymbolTable::probe(name, (int)strlen(name)); 116 Symbol* signature_symbol = SymbolTable::probe(signature, (int)strlen(signature)); 117 if (name_symbol == NULL || signature_symbol == NULL) { 118 #ifndef PRODUCT 119 ik->print_on(tty); 120 #endif 121 fatal("symbol with name %s and signature %s was not found in symbol table (klass=%s)", name, signature, klass->name()->as_C_string()); 122 } 123 124 fieldDescriptor fd; 125 if (!ik->find_field(name_symbol, signature_symbol, &fd)) { 126 ResourceMark rm; 127 fatal("Invalid layout of %s %s at %s", name_symbol->as_C_string(), signature_symbol->as_C_string(), ik->external_name()); 128 } 129 guarantee(fd.is_static() == static_field, "static/instance mismatch"); 130 dest_offset = fd.offset(); 131 assert(dest_offset != 0, "must be valid offset"); 132 if (static_field) { 133 // Must ensure classes for static fields are initialized as the 134 // accessor itself does not include a class initialization check. 135 ik->initialize(CHECK); 136 } 137 } 138 139 // This piece of macro magic creates the contents of the jvmci_compute_offsets method that initializes the field indices of all the access classes. 140 141 #define START_CLASS(name) { Klass* k = SystemDictionary::name##_klass(); assert(k != NULL, "Could not find class " #name ""); 142 143 #define END_CLASS } 144 145 #define FIELD(klass, name, signature, static_field) compute_offset(klass::_##name##_offset, k, #name, signature, static_field, CHECK); 146 #define CHAR_FIELD(klass, name) FIELD(klass, name, "C", false) 147 #define INT_FIELD(klass, name) FIELD(klass, name, "I", false) 148 #define BOOLEAN_FIELD(klass, name) FIELD(klass, name, "Z", false) 149 #define LONG_FIELD(klass, name) FIELD(klass, name, "J", false) 150 #define FLOAT_FIELD(klass, name) FIELD(klass, name, "F", false) 151 #define OOP_FIELD(klass, name, signature) FIELD(klass, name, signature, false) 152 #define STATIC_OOP_FIELD(klass, name, signature) FIELD(klass, name, signature, true) 153 #define STATIC_INT_FIELD(klass, name) FIELD(klass, name, "I", true) 154 #define STATIC_BOOLEAN_FIELD(klass, name) FIELD(klass, name, "Z", true) 155 156 157 void JVMCIJavaClasses::compute_offsets(TRAPS) { 158 COMPILER_CLASSES_DO(START_CLASS, END_CLASS, CHAR_FIELD, INT_FIELD, BOOLEAN_FIELD, LONG_FIELD, FLOAT_FIELD, OOP_FIELD, OOP_FIELD, OOP_FIELD, STATIC_OOP_FIELD, STATIC_OOP_FIELD, STATIC_INT_FIELD, STATIC_BOOLEAN_FIELD) 159 } 160 161 #define EMPTY0 162 #define EMPTY1(x) 163 #define EMPTY2(x,y) 164 #define FIELD2(klass, name) int klass::_##name##_offset = 0; 165 #define FIELD3(klass, name, sig) FIELD2(klass, name) 166 167 COMPILER_CLASSES_DO(EMPTY1, EMPTY0, FIELD2, FIELD2, FIELD2, FIELD2, FIELD2, FIELD3, FIELD3, FIELD3, FIELD3, FIELD3, FIELD2, FIELD2) 168