Tue, 20 Jul 2010 08:41:42 -0700
6964170: Verifier crashes
Summary: Check if klassOop != NULL rather than klass_part != NULL
Reviewed-by: kamg, never
duke@435 | 1 | /* |
trims@1907 | 2 | * Copyright (c) 1997, 2009, Oracle and/or its affiliates. All rights reserved. |
duke@435 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@435 | 4 | * |
duke@435 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@435 | 6 | * under the terms of the GNU General Public License version 2 only, as |
duke@435 | 7 | * published by the Free Software Foundation. |
duke@435 | 8 | * |
duke@435 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@435 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@435 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@435 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@435 | 13 | * accompanied this code). |
duke@435 | 14 | * |
duke@435 | 15 | * You should have received a copy of the GNU General Public License version |
duke@435 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@435 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@435 | 18 | * |
trims@1907 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
trims@1907 | 20 | * or visit www.oracle.com if you need additional information or have any |
trims@1907 | 21 | * questions. |
duke@435 | 22 | * |
duke@435 | 23 | */ |
duke@435 | 24 | |
duke@435 | 25 | # include "incls/_precompiled.incl" |
duke@435 | 26 | # include "incls/_vmSymbols.cpp.incl" |
duke@435 | 27 | |
duke@435 | 28 | |
duke@435 | 29 | symbolOop vmSymbols::_symbols[vmSymbols::SID_LIMIT]; |
duke@435 | 30 | |
duke@435 | 31 | symbolOop vmSymbols::_type_signatures[T_VOID+1] = { NULL /*, NULL...*/ }; |
duke@435 | 32 | |
duke@435 | 33 | inline int compare_symbol(symbolOop a, symbolOop b) { |
duke@435 | 34 | if (a == b) return 0; |
duke@435 | 35 | // follow the natural address order: |
duke@435 | 36 | return (address)a > (address)b ? +1 : -1; |
duke@435 | 37 | } |
duke@435 | 38 | |
duke@435 | 39 | static vmSymbols::SID vm_symbol_index[vmSymbols::SID_LIMIT]; |
duke@435 | 40 | extern "C" { |
duke@435 | 41 | static int compare_vmsymbol_sid(const void* void_a, const void* void_b) { |
duke@435 | 42 | symbolOop a = vmSymbols::symbol_at(*((vmSymbols::SID*) void_a)); |
duke@435 | 43 | symbolOop b = vmSymbols::symbol_at(*((vmSymbols::SID*) void_b)); |
duke@435 | 44 | return compare_symbol(a, b); |
duke@435 | 45 | } |
duke@435 | 46 | } |
duke@435 | 47 | |
duke@435 | 48 | #ifndef PRODUCT |
duke@435 | 49 | #define VM_SYMBOL_ENUM_NAME_BODY(name, string) #name "\0" |
duke@435 | 50 | static const char* vm_symbol_enum_names = |
duke@435 | 51 | VM_SYMBOLS_DO(VM_SYMBOL_ENUM_NAME_BODY, VM_ALIAS_IGNORE) |
duke@435 | 52 | "\0"; |
duke@435 | 53 | static const char* vm_symbol_enum_name(vmSymbols::SID sid) { |
duke@435 | 54 | const char* string = &vm_symbol_enum_names[0]; |
duke@435 | 55 | int skip = (int)sid - (int)vmSymbols::FIRST_SID; |
duke@435 | 56 | for (; skip != 0; skip--) { |
duke@435 | 57 | size_t skiplen = strlen(string); |
duke@435 | 58 | if (skiplen == 0) return "<unknown>"; // overflow |
duke@435 | 59 | string += skiplen+1; |
duke@435 | 60 | } |
duke@435 | 61 | return string; |
duke@435 | 62 | } |
duke@435 | 63 | #endif //PRODUCT |
duke@435 | 64 | |
duke@435 | 65 | // Put all the VM symbol strings in one place. |
duke@435 | 66 | // Makes for a more compact libjvm. |
duke@435 | 67 | #define VM_SYMBOL_BODY(name, string) string "\0" |
duke@435 | 68 | static const char* vm_symbol_bodies = VM_SYMBOLS_DO(VM_SYMBOL_BODY, VM_ALIAS_IGNORE); |
duke@435 | 69 | |
duke@435 | 70 | void vmSymbols::initialize(TRAPS) { |
duke@435 | 71 | assert((int)SID_LIMIT <= (1<<log2_SID_LIMIT), "must fit in this bitfield"); |
duke@435 | 72 | assert((int)SID_LIMIT*5 > (1<<log2_SID_LIMIT), "make the bitfield smaller, please"); |
twisti@1568 | 73 | assert(vmIntrinsics::FLAG_LIMIT <= (1 << vmIntrinsics::log2_FLAG_LIMIT), "must fit in this bitfield"); |
duke@435 | 74 | |
duke@435 | 75 | if (!UseSharedSpaces) { |
duke@435 | 76 | const char* string = &vm_symbol_bodies[0]; |
duke@435 | 77 | for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { |
duke@435 | 78 | symbolOop sym = oopFactory::new_symbol(string, CHECK); |
duke@435 | 79 | _symbols[index] = sym; |
duke@435 | 80 | string += strlen(string); // skip string body |
duke@435 | 81 | string += 1; // skip trailing null |
duke@435 | 82 | } |
duke@435 | 83 | |
duke@435 | 84 | _type_signatures[T_BYTE] = byte_signature(); |
duke@435 | 85 | _type_signatures[T_CHAR] = char_signature(); |
duke@435 | 86 | _type_signatures[T_DOUBLE] = double_signature(); |
duke@435 | 87 | _type_signatures[T_FLOAT] = float_signature(); |
duke@435 | 88 | _type_signatures[T_INT] = int_signature(); |
duke@435 | 89 | _type_signatures[T_LONG] = long_signature(); |
duke@435 | 90 | _type_signatures[T_SHORT] = short_signature(); |
duke@435 | 91 | _type_signatures[T_BOOLEAN] = bool_signature(); |
duke@435 | 92 | _type_signatures[T_VOID] = void_signature(); |
duke@435 | 93 | // no single signatures for T_OBJECT or T_ARRAY |
duke@435 | 94 | } |
duke@435 | 95 | |
duke@435 | 96 | #ifdef ASSERT |
duke@435 | 97 | // Check for duplicates: |
duke@435 | 98 | for (int i1 = (int)FIRST_SID; i1 < (int)SID_LIMIT; i1++) { |
duke@435 | 99 | symbolOop sym = symbol_at((SID)i1); |
duke@435 | 100 | for (int i2 = (int)FIRST_SID; i2 < i1; i2++) { |
duke@435 | 101 | if (symbol_at((SID)i2) == sym) { |
duke@435 | 102 | tty->print("*** Duplicate VM symbol SIDs %s(%d) and %s(%d): \"", |
duke@435 | 103 | vm_symbol_enum_name((SID)i2), i2, |
duke@435 | 104 | vm_symbol_enum_name((SID)i1), i1); |
duke@435 | 105 | sym->print_symbol_on(tty); |
duke@435 | 106 | tty->print_cr("\""); |
duke@435 | 107 | } |
duke@435 | 108 | } |
duke@435 | 109 | } |
duke@435 | 110 | #endif //ASSERT |
duke@435 | 111 | |
duke@435 | 112 | // Create an index for find_id: |
duke@435 | 113 | { |
duke@435 | 114 | for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { |
duke@435 | 115 | vm_symbol_index[index] = (SID)index; |
duke@435 | 116 | } |
duke@435 | 117 | int num_sids = SID_LIMIT-FIRST_SID; |
duke@435 | 118 | qsort(&vm_symbol_index[FIRST_SID], num_sids, sizeof(vm_symbol_index[0]), |
duke@435 | 119 | compare_vmsymbol_sid); |
duke@435 | 120 | } |
duke@435 | 121 | |
duke@435 | 122 | #ifdef ASSERT |
duke@435 | 123 | { |
duke@435 | 124 | // Spot-check correspondence between strings, symbols, and enums: |
duke@435 | 125 | assert(_symbols[NO_SID] == NULL, "must be"); |
duke@435 | 126 | const char* str = "java/lang/Object"; |
duke@435 | 127 | symbolOop sym = oopFactory::new_symbol(str, CHECK); |
duke@435 | 128 | assert(strcmp(str, (char*)sym->base()) == 0, ""); |
duke@435 | 129 | assert(sym == java_lang_Object(), ""); |
duke@435 | 130 | SID sid = VM_SYMBOL_ENUM_NAME(java_lang_Object); |
duke@435 | 131 | assert(find_sid(sym) == sid, ""); |
duke@435 | 132 | assert(symbol_at(sid) == sym, ""); |
duke@435 | 133 | |
duke@435 | 134 | // Make sure find_sid produces the right answer in each case. |
duke@435 | 135 | for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { |
duke@435 | 136 | sym = symbol_at((SID)index); |
duke@435 | 137 | sid = find_sid(sym); |
duke@435 | 138 | assert(sid == (SID)index, "symbol index works"); |
duke@435 | 139 | // Note: If there are duplicates, this assert will fail. |
duke@435 | 140 | // A "Duplicate VM symbol" message will have already been printed. |
duke@435 | 141 | } |
duke@435 | 142 | |
duke@435 | 143 | // The string "format" happens (at the moment) not to be a vmSymbol, |
duke@435 | 144 | // though it is a method name in java.lang.String. |
duke@435 | 145 | str = "format"; |
duke@435 | 146 | sym = oopFactory::new_symbol(str, CHECK); |
duke@435 | 147 | sid = find_sid(sym); |
duke@435 | 148 | assert(sid == NO_SID, "symbol index works (negative test)"); |
duke@435 | 149 | } |
duke@435 | 150 | #endif |
duke@435 | 151 | } |
duke@435 | 152 | |
duke@435 | 153 | |
duke@435 | 154 | #ifndef PRODUCT |
duke@435 | 155 | const char* vmSymbols::name_for(vmSymbols::SID sid) { |
duke@435 | 156 | if (sid == NO_SID) |
duke@435 | 157 | return "NO_SID"; |
duke@435 | 158 | const char* string = &vm_symbol_bodies[0]; |
duke@435 | 159 | for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { |
duke@435 | 160 | if (index == (int)sid) |
duke@435 | 161 | return string; |
duke@435 | 162 | string += strlen(string); // skip string body |
duke@435 | 163 | string += 1; // skip trailing null |
duke@435 | 164 | } |
duke@435 | 165 | return "BAD_SID"; |
duke@435 | 166 | } |
duke@435 | 167 | #endif |
duke@435 | 168 | |
duke@435 | 169 | |
duke@435 | 170 | |
duke@435 | 171 | void vmSymbols::oops_do(OopClosure* f, bool do_all) { |
duke@435 | 172 | for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { |
duke@435 | 173 | f->do_oop((oop*) &_symbols[index]); |
duke@435 | 174 | } |
duke@435 | 175 | for (int i = 0; i < T_VOID+1; i++) { |
duke@435 | 176 | if (_type_signatures[i] != NULL) { |
duke@435 | 177 | assert(i >= T_BOOLEAN, "checking"); |
duke@435 | 178 | f->do_oop((oop*)&_type_signatures[i]); |
duke@435 | 179 | } else if (do_all) { |
duke@435 | 180 | f->do_oop((oop*)&_type_signatures[i]); |
duke@435 | 181 | } |
duke@435 | 182 | } |
duke@435 | 183 | } |
duke@435 | 184 | |
duke@435 | 185 | |
duke@435 | 186 | BasicType vmSymbols::signature_type(symbolOop s) { |
duke@435 | 187 | assert(s != NULL, "checking"); |
duke@435 | 188 | for (int i = T_BOOLEAN; i < T_VOID+1; i++) { |
duke@435 | 189 | if (s == _type_signatures[i]) { |
duke@435 | 190 | return (BasicType)i; |
duke@435 | 191 | } |
duke@435 | 192 | } |
duke@435 | 193 | return T_OBJECT; |
duke@435 | 194 | } |
duke@435 | 195 | |
duke@435 | 196 | |
duke@435 | 197 | static int mid_hint = (int)vmSymbols::FIRST_SID+1; |
duke@435 | 198 | |
duke@435 | 199 | #ifndef PRODUCT |
duke@435 | 200 | static int find_sid_calls, find_sid_probes; |
duke@435 | 201 | // (Typical counts are calls=7000 and probes=17000.) |
duke@435 | 202 | #endif |
duke@435 | 203 | |
duke@435 | 204 | vmSymbols::SID vmSymbols::find_sid(symbolOop symbol) { |
duke@435 | 205 | // Handle the majority of misses by a bounds check. |
duke@435 | 206 | // Then, use a binary search over the index. |
duke@435 | 207 | // Expected trip count is less than log2_SID_LIMIT, about eight. |
duke@435 | 208 | // This is slow but acceptable, given that calls are not |
duke@435 | 209 | // dynamically common. (methodOop::intrinsic_id has a cache.) |
duke@435 | 210 | NOT_PRODUCT(find_sid_calls++); |
duke@435 | 211 | int min = (int)FIRST_SID, max = (int)SID_LIMIT - 1; |
duke@435 | 212 | SID sid = NO_SID, sid1; |
duke@435 | 213 | int cmp1; |
duke@435 | 214 | sid1 = vm_symbol_index[min]; |
duke@435 | 215 | cmp1 = compare_symbol(symbol, symbol_at(sid1)); |
duke@435 | 216 | if (cmp1 <= 0) { // before the first |
duke@435 | 217 | if (cmp1 == 0) sid = sid1; |
duke@435 | 218 | } else { |
duke@435 | 219 | sid1 = vm_symbol_index[max]; |
duke@435 | 220 | cmp1 = compare_symbol(symbol, symbol_at(sid1)); |
duke@435 | 221 | if (cmp1 >= 0) { // after the last |
duke@435 | 222 | if (cmp1 == 0) sid = sid1; |
duke@435 | 223 | } else { |
duke@435 | 224 | // After checking the extremes, do a binary search. |
duke@435 | 225 | ++min; --max; // endpoints are done |
duke@435 | 226 | int mid = mid_hint; // start at previous success |
duke@435 | 227 | while (max >= min) { |
duke@435 | 228 | assert(mid >= min && mid <= max, ""); |
duke@435 | 229 | NOT_PRODUCT(find_sid_probes++); |
duke@435 | 230 | sid1 = vm_symbol_index[mid]; |
duke@435 | 231 | cmp1 = compare_symbol(symbol, symbol_at(sid1)); |
duke@435 | 232 | if (cmp1 == 0) { |
duke@435 | 233 | mid_hint = mid; |
duke@435 | 234 | sid = sid1; |
duke@435 | 235 | break; |
duke@435 | 236 | } |
duke@435 | 237 | if (cmp1 < 0) |
duke@435 | 238 | max = mid - 1; // symbol < symbol_at(sid) |
duke@435 | 239 | else |
duke@435 | 240 | min = mid + 1; |
duke@435 | 241 | |
duke@435 | 242 | // Pick a new probe point: |
duke@435 | 243 | mid = (max + min) / 2; |
duke@435 | 244 | } |
duke@435 | 245 | } |
duke@435 | 246 | } |
duke@435 | 247 | |
duke@435 | 248 | #ifdef ASSERT |
duke@435 | 249 | // Perform the exhaustive self-check the first 1000 calls, |
duke@435 | 250 | // and every 100 calls thereafter. |
duke@435 | 251 | static int find_sid_check_count = -2000; |
duke@435 | 252 | if ((uint)++find_sid_check_count > (uint)100) { |
duke@435 | 253 | if (find_sid_check_count > 0) find_sid_check_count = 0; |
duke@435 | 254 | |
duke@435 | 255 | // Make sure this is the right answer, using linear search. |
duke@435 | 256 | // (We have already proven that there are no duplicates in the list.) |
duke@435 | 257 | SID sid2 = NO_SID; |
duke@435 | 258 | for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) { |
duke@435 | 259 | symbolOop sym2 = symbol_at((SID)index); |
duke@435 | 260 | if (sym2 == symbol) { |
duke@435 | 261 | sid2 = (SID)index; |
duke@435 | 262 | break; |
duke@435 | 263 | } |
duke@435 | 264 | } |
duke@435 | 265 | // Unless it's a duplicate, assert that the sids are the same. |
duke@435 | 266 | if (_symbols[sid] != _symbols[sid2]) { |
duke@435 | 267 | assert(sid == sid2, "binary same as linear search"); |
duke@435 | 268 | } |
duke@435 | 269 | } |
duke@435 | 270 | #endif //ASSERT |
duke@435 | 271 | |
duke@435 | 272 | return sid; |
duke@435 | 273 | } |
duke@435 | 274 | |
twisti@1568 | 275 | static vmIntrinsics::ID wrapper_intrinsic(BasicType type, bool unboxing) { |
twisti@1568 | 276 | #define TYPE2(type, unboxing) ((int)(type)*2 + ((unboxing) ? 1 : 0)) |
twisti@1568 | 277 | switch (TYPE2(type, unboxing)) { |
twisti@1568 | 278 | #define BASIC_TYPE_CASE(type, box, unbox) \ |
twisti@1568 | 279 | case TYPE2(type, false): return vmIntrinsics::box; \ |
twisti@1568 | 280 | case TYPE2(type, true): return vmIntrinsics::unbox |
twisti@1568 | 281 | BASIC_TYPE_CASE(T_BOOLEAN, _Boolean_valueOf, _booleanValue); |
twisti@1568 | 282 | BASIC_TYPE_CASE(T_BYTE, _Byte_valueOf, _byteValue); |
twisti@1568 | 283 | BASIC_TYPE_CASE(T_CHAR, _Character_valueOf, _charValue); |
twisti@1568 | 284 | BASIC_TYPE_CASE(T_SHORT, _Short_valueOf, _shortValue); |
twisti@1568 | 285 | BASIC_TYPE_CASE(T_INT, _Integer_valueOf, _intValue); |
twisti@1568 | 286 | BASIC_TYPE_CASE(T_LONG, _Long_valueOf, _longValue); |
twisti@1568 | 287 | BASIC_TYPE_CASE(T_FLOAT, _Float_valueOf, _floatValue); |
twisti@1568 | 288 | BASIC_TYPE_CASE(T_DOUBLE, _Double_valueOf, _doubleValue); |
twisti@1568 | 289 | #undef BASIC_TYPE_CASE |
twisti@1568 | 290 | } |
twisti@1568 | 291 | #undef TYPE2 |
twisti@1568 | 292 | return vmIntrinsics::_none; |
twisti@1568 | 293 | } |
twisti@1568 | 294 | |
twisti@1568 | 295 | vmIntrinsics::ID vmIntrinsics::for_boxing(BasicType type) { |
twisti@1568 | 296 | return wrapper_intrinsic(type, false); |
twisti@1568 | 297 | } |
twisti@1568 | 298 | vmIntrinsics::ID vmIntrinsics::for_unboxing(BasicType type) { |
twisti@1568 | 299 | return wrapper_intrinsic(type, true); |
twisti@1568 | 300 | } |
twisti@1568 | 301 | |
twisti@1573 | 302 | vmIntrinsics::ID vmIntrinsics::for_raw_conversion(BasicType src, BasicType dest) { |
twisti@1573 | 303 | #define SRC_DEST(s,d) (((int)(s) << 4) + (int)(d)) |
twisti@1573 | 304 | switch (SRC_DEST(src, dest)) { |
twisti@1573 | 305 | case SRC_DEST(T_INT, T_FLOAT): return vmIntrinsics::_intBitsToFloat; |
twisti@1573 | 306 | case SRC_DEST(T_FLOAT, T_INT): return vmIntrinsics::_floatToRawIntBits; |
twisti@1573 | 307 | |
twisti@1573 | 308 | case SRC_DEST(T_LONG, T_DOUBLE): return vmIntrinsics::_longBitsToDouble; |
twisti@1573 | 309 | case SRC_DEST(T_DOUBLE, T_LONG): return vmIntrinsics::_doubleToRawLongBits; |
twisti@1573 | 310 | } |
twisti@1573 | 311 | #undef SRC_DEST |
twisti@1573 | 312 | |
twisti@1573 | 313 | return vmIntrinsics::_none; |
twisti@1573 | 314 | } |
twisti@1573 | 315 | |
twisti@1568 | 316 | methodOop vmIntrinsics::method_for(vmIntrinsics::ID id) { |
twisti@1568 | 317 | if (id == _none) return NULL; |
twisti@1568 | 318 | symbolOop cname = vmSymbols::symbol_at(class_for(id)); |
twisti@1568 | 319 | symbolOop mname = vmSymbols::symbol_at(name_for(id)); |
twisti@1568 | 320 | symbolOop msig = vmSymbols::symbol_at(signature_for(id)); |
twisti@1568 | 321 | if (cname == NULL || mname == NULL || msig == NULL) return NULL; |
twisti@1568 | 322 | klassOop k = SystemDictionary::find_well_known_klass(cname); |
twisti@1568 | 323 | if (k == NULL) return NULL; |
twisti@1568 | 324 | return instanceKlass::cast(k)->find_method(mname, msig); |
twisti@1568 | 325 | } |
twisti@1568 | 326 | |
duke@435 | 327 | |
duke@435 | 328 | #define VM_INTRINSIC_INITIALIZE(id, klass, name, sig, flags) #id "\0" |
duke@435 | 329 | static const char* vm_intrinsic_name_bodies = |
duke@435 | 330 | VM_INTRINSICS_DO(VM_INTRINSIC_INITIALIZE, |
duke@435 | 331 | VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE); |
duke@435 | 332 | |
duke@435 | 333 | static const char* vm_intrinsic_name_table[vmIntrinsics::ID_LIMIT]; |
duke@435 | 334 | |
duke@435 | 335 | const char* vmIntrinsics::name_at(vmIntrinsics::ID id) { |
duke@435 | 336 | const char** nt = &vm_intrinsic_name_table[0]; |
duke@435 | 337 | if (nt[_none] == NULL) { |
duke@435 | 338 | char* string = (char*) &vm_intrinsic_name_bodies[0]; |
duke@435 | 339 | for (int index = FIRST_ID; index < ID_LIMIT; index++) { |
duke@435 | 340 | nt[index] = string; |
duke@435 | 341 | string += strlen(string); // skip string body |
duke@435 | 342 | string += 1; // skip trailing null |
duke@435 | 343 | } |
duke@435 | 344 | assert(!strcmp(nt[_hashCode], "_hashCode"), "lined up"); |
duke@435 | 345 | nt[_none] = "_none"; |
duke@435 | 346 | } |
duke@435 | 347 | if ((uint)id < (uint)ID_LIMIT) |
duke@435 | 348 | return vm_intrinsic_name_table[(uint)id]; |
duke@435 | 349 | else |
duke@435 | 350 | return "(unknown intrinsic)"; |
duke@435 | 351 | } |
duke@435 | 352 | |
duke@435 | 353 | // These are flag-matching functions: |
duke@435 | 354 | inline bool match_F_R(jshort flags) { |
duke@435 | 355 | const int req = 0; |
duke@435 | 356 | const int neg = JVM_ACC_STATIC | JVM_ACC_SYNCHRONIZED; |
duke@435 | 357 | return (flags & (req | neg)) == req; |
duke@435 | 358 | } |
never@1515 | 359 | inline bool match_F_Y(jshort flags) { |
never@1515 | 360 | const int req = JVM_ACC_SYNCHRONIZED; |
never@1515 | 361 | const int neg = JVM_ACC_STATIC; |
never@1515 | 362 | return (flags & (req | neg)) == req; |
never@1515 | 363 | } |
duke@435 | 364 | inline bool match_F_RN(jshort flags) { |
duke@435 | 365 | const int req = JVM_ACC_NATIVE; |
duke@435 | 366 | const int neg = JVM_ACC_STATIC | JVM_ACC_SYNCHRONIZED; |
duke@435 | 367 | return (flags & (req | neg)) == req; |
duke@435 | 368 | } |
duke@435 | 369 | inline bool match_F_S(jshort flags) { |
duke@435 | 370 | const int req = JVM_ACC_STATIC; |
duke@435 | 371 | const int neg = JVM_ACC_SYNCHRONIZED; |
duke@435 | 372 | return (flags & (req | neg)) == req; |
duke@435 | 373 | } |
duke@435 | 374 | inline bool match_F_SN(jshort flags) { |
duke@435 | 375 | const int req = JVM_ACC_STATIC | JVM_ACC_NATIVE; |
duke@435 | 376 | const int neg = JVM_ACC_SYNCHRONIZED; |
duke@435 | 377 | return (flags & (req | neg)) == req; |
duke@435 | 378 | } |
kvn@480 | 379 | inline bool match_F_RNY(jshort flags) { |
kvn@480 | 380 | const int req = JVM_ACC_NATIVE | JVM_ACC_SYNCHRONIZED; |
kvn@480 | 381 | const int neg = JVM_ACC_STATIC; |
kvn@480 | 382 | return (flags & (req | neg)) == req; |
kvn@480 | 383 | } |
duke@435 | 384 | |
duke@435 | 385 | // These are for forming case labels: |
twisti@1568 | 386 | #define ID3(x, y, z) (( jlong)(z) + \ |
twisti@1568 | 387 | ((jlong)(y) << vmSymbols::log2_SID_LIMIT) + \ |
twisti@1568 | 388 | ((jlong)(x) << (2*vmSymbols::log2_SID_LIMIT)) ) |
duke@435 | 389 | #define SID_ENUM(n) vmSymbols::VM_SYMBOL_ENUM_NAME(n) |
duke@435 | 390 | |
twisti@1568 | 391 | vmIntrinsics::ID vmIntrinsics::find_id_impl(vmSymbols::SID holder, |
twisti@1568 | 392 | vmSymbols::SID name, |
twisti@1568 | 393 | vmSymbols::SID sig, |
twisti@1568 | 394 | jshort flags) { |
duke@435 | 395 | assert((int)vmSymbols::SID_LIMIT <= (1<<vmSymbols::log2_SID_LIMIT), "must fit"); |
duke@435 | 396 | |
duke@435 | 397 | // Let the C compiler build the decision tree. |
duke@435 | 398 | |
duke@435 | 399 | #define VM_INTRINSIC_CASE(id, klass, name, sig, fcode) \ |
duke@435 | 400 | case ID3(SID_ENUM(klass), SID_ENUM(name), SID_ENUM(sig)): \ |
duke@435 | 401 | if (!match_##fcode(flags)) break; \ |
duke@435 | 402 | return id; |
duke@435 | 403 | |
duke@435 | 404 | switch (ID3(holder, name, sig)) { |
duke@435 | 405 | VM_INTRINSICS_DO(VM_INTRINSIC_CASE, |
duke@435 | 406 | VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE); |
duke@435 | 407 | } |
duke@435 | 408 | return vmIntrinsics::_none; |
duke@435 | 409 | |
duke@435 | 410 | #undef VM_INTRINSIC_CASE |
duke@435 | 411 | } |
duke@435 | 412 | |
duke@435 | 413 | |
duke@435 | 414 | const char* vmIntrinsics::short_name_as_C_string(vmIntrinsics::ID id, char* buf, int buflen) { |
duke@435 | 415 | const char* str = name_at(id); |
duke@435 | 416 | #ifndef PRODUCT |
duke@435 | 417 | const char* kname = vmSymbols::name_for(class_for(id)); |
duke@435 | 418 | const char* mname = vmSymbols::name_for(name_for(id)); |
duke@435 | 419 | const char* sname = vmSymbols::name_for(signature_for(id)); |
duke@435 | 420 | const char* fname = ""; |
duke@435 | 421 | switch (flags_for(id)) { |
never@1515 | 422 | case F_Y: fname = "synchronized "; break; |
duke@435 | 423 | case F_RN: fname = "native "; break; |
duke@435 | 424 | case F_SN: fname = "native static "; break; |
duke@435 | 425 | case F_S: fname = "static "; break; |
kvn@480 | 426 | case F_RNY:fname = "native synchronized "; break; |
duke@435 | 427 | } |
duke@435 | 428 | const char* kptr = strrchr(kname, '/'); |
duke@435 | 429 | if (kptr != NULL) kname = kptr + 1; |
duke@435 | 430 | int len = jio_snprintf(buf, buflen, "%s: %s%s.%s%s", |
duke@435 | 431 | str, fname, kname, mname, sname); |
duke@435 | 432 | if (len < buflen) |
duke@435 | 433 | str = buf; |
duke@435 | 434 | #endif //PRODUCT |
duke@435 | 435 | return str; |
duke@435 | 436 | } |
duke@435 | 437 | |
duke@435 | 438 | |
twisti@1568 | 439 | // These are to get information about intrinsics. |
twisti@1568 | 440 | |
twisti@1568 | 441 | #define ID4(x, y, z, f) ((ID3(x, y, z) << vmIntrinsics::log2_FLAG_LIMIT) | (jlong) (f)) |
twisti@1568 | 442 | |
twisti@1568 | 443 | static const jlong intrinsic_info_array[vmIntrinsics::ID_LIMIT+1] = { |
twisti@1568 | 444 | #define VM_INTRINSIC_INFO(ignore_id, klass, name, sig, fcode) \ |
twisti@1568 | 445 | ID4(SID_ENUM(klass), SID_ENUM(name), SID_ENUM(sig), vmIntrinsics::fcode), |
twisti@1568 | 446 | |
twisti@1568 | 447 | 0, VM_INTRINSICS_DO(VM_INTRINSIC_INFO, |
twisti@1568 | 448 | VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE) |
twisti@1568 | 449 | 0 |
twisti@1568 | 450 | #undef VM_INTRINSIC_INFO |
twisti@1568 | 451 | }; |
twisti@1568 | 452 | |
twisti@1568 | 453 | inline jlong intrinsic_info(vmIntrinsics::ID id) { |
twisti@1568 | 454 | return intrinsic_info_array[vmIntrinsics::ID_from((int)id)]; |
twisti@1568 | 455 | } |
duke@435 | 456 | |
duke@435 | 457 | vmSymbols::SID vmIntrinsics::class_for(vmIntrinsics::ID id) { |
twisti@1568 | 458 | jlong info = intrinsic_info(id); |
twisti@1568 | 459 | int shift = 2*vmSymbols::log2_SID_LIMIT + log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT); |
twisti@1568 | 460 | assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1021, ""); |
twisti@1568 | 461 | return vmSymbols::SID( (info >> shift) & mask ); |
duke@435 | 462 | } |
duke@435 | 463 | |
duke@435 | 464 | vmSymbols::SID vmIntrinsics::name_for(vmIntrinsics::ID id) { |
twisti@1568 | 465 | jlong info = intrinsic_info(id); |
twisti@1568 | 466 | int shift = vmSymbols::log2_SID_LIMIT + log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT); |
twisti@1568 | 467 | assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1022, ""); |
twisti@1568 | 468 | return vmSymbols::SID( (info >> shift) & mask ); |
duke@435 | 469 | } |
duke@435 | 470 | |
duke@435 | 471 | vmSymbols::SID vmIntrinsics::signature_for(vmIntrinsics::ID id) { |
twisti@1568 | 472 | jlong info = intrinsic_info(id); |
twisti@1568 | 473 | int shift = log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT); |
twisti@1568 | 474 | assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1023, ""); |
twisti@1568 | 475 | return vmSymbols::SID( (info >> shift) & mask ); |
duke@435 | 476 | } |
duke@435 | 477 | |
duke@435 | 478 | vmIntrinsics::Flags vmIntrinsics::flags_for(vmIntrinsics::ID id) { |
twisti@1568 | 479 | jlong info = intrinsic_info(id); |
twisti@1568 | 480 | int shift = 0, mask = right_n_bits(log2_FLAG_LIMIT); |
twisti@1568 | 481 | assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 15, ""); |
twisti@1568 | 482 | return Flags( (info >> shift) & mask ); |
duke@435 | 483 | } |
duke@435 | 484 | |
duke@435 | 485 | |
duke@435 | 486 | #ifndef PRODUCT |
duke@435 | 487 | // verify_method performs an extra check on a matched intrinsic method |
duke@435 | 488 | |
duke@435 | 489 | static bool match_method(methodOop m, symbolOop n, symbolOop s) { |
duke@435 | 490 | return (m->name() == n && |
duke@435 | 491 | m->signature() == s); |
duke@435 | 492 | } |
duke@435 | 493 | |
duke@435 | 494 | static vmIntrinsics::ID match_method_with_klass(methodOop m, symbolOop mk) { |
duke@435 | 495 | #define VM_INTRINSIC_MATCH(id, klassname, namepart, sigpart, flags) \ |
duke@435 | 496 | { symbolOop k = vmSymbols::klassname(); \ |
duke@435 | 497 | if (mk == k) { \ |
duke@435 | 498 | symbolOop n = vmSymbols::namepart(); \ |
duke@435 | 499 | symbolOop s = vmSymbols::sigpart(); \ |
duke@435 | 500 | if (match_method(m, n, s)) \ |
duke@435 | 501 | return vmIntrinsics::id; \ |
duke@435 | 502 | } } |
duke@435 | 503 | VM_INTRINSICS_DO(VM_INTRINSIC_MATCH, |
duke@435 | 504 | VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE); |
duke@435 | 505 | return vmIntrinsics::_none; |
duke@435 | 506 | #undef VM_INTRINSIC_MATCH |
duke@435 | 507 | } |
duke@435 | 508 | |
duke@435 | 509 | void vmIntrinsics::verify_method(ID actual_id, methodOop m) { |
duke@435 | 510 | symbolOop mk = Klass::cast(m->method_holder())->name(); |
duke@435 | 511 | ID declared_id = match_method_with_klass(m, mk); |
duke@435 | 512 | |
duke@435 | 513 | if (declared_id == actual_id) return; // success |
duke@435 | 514 | |
duke@435 | 515 | if (declared_id == _none && actual_id != _none && mk == vmSymbols::java_lang_StrictMath()) { |
duke@435 | 516 | // Here are a few special cases in StrictMath not declared in vmSymbols.hpp. |
duke@435 | 517 | switch (actual_id) { |
duke@435 | 518 | case _min: |
duke@435 | 519 | case _max: |
duke@435 | 520 | case _dsqrt: |
duke@435 | 521 | declared_id = match_method_with_klass(m, vmSymbols::java_lang_Math()); |
duke@435 | 522 | if (declared_id == actual_id) return; // acceptable alias |
duke@435 | 523 | break; |
duke@435 | 524 | } |
duke@435 | 525 | } |
duke@435 | 526 | |
duke@435 | 527 | const char* declared_name = name_at(declared_id); |
duke@435 | 528 | const char* actual_name = name_at(actual_id); |
duke@435 | 529 | methodHandle mh = m; |
duke@435 | 530 | m = NULL; |
duke@435 | 531 | ttyLocker ttyl; |
duke@435 | 532 | if (xtty != NULL) { |
duke@435 | 533 | xtty->begin_elem("intrinsic_misdeclared actual='%s' declared='%s'", |
duke@435 | 534 | actual_name, declared_name); |
duke@435 | 535 | xtty->method(mh); |
duke@435 | 536 | xtty->end_elem(""); |
duke@435 | 537 | } |
duke@435 | 538 | if (PrintMiscellaneous && (WizardMode || Verbose)) { |
duke@435 | 539 | tty->print_cr("*** misidentified method; %s(%d) should be %s(%d):", |
duke@435 | 540 | declared_name, declared_id, actual_name, actual_id); |
kvn@480 | 541 | mh()->print_short_name(tty); |
duke@435 | 542 | tty->cr(); |
duke@435 | 543 | } |
duke@435 | 544 | } |
duke@435 | 545 | #endif //PRODUCT |