1 /*
2 * Copyright (c) 1997, 2019, 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
25 #include "precompiled.hpp"
26 #include "jvm.h"
27 #include "classfile/symbolTable.hpp"
28 #include "classfile/vmSymbols.hpp"
29 #include "compiler/compilerDirectives.hpp"
30 #include "memory/allocation.inline.hpp"
31 #include "memory/oopFactory.hpp"
32 #include "memory/metaspaceClosure.hpp"
33 #include "oops/oop.inline.hpp"
34 #include "runtime/handles.inline.hpp"
35 #include "utilities/xmlstream.hpp"
36
37
38 Symbol* vmSymbols::_symbols[vmSymbols::SID_LIMIT];
39
40 Symbol* vmSymbols::_type_signatures[T_VOID+1] = { NULL /*, NULL...*/ };
41
42 inline int compare_symbol(const Symbol* a, const Symbol* b) {
43 if (a == b) return 0;
44 // follow the natural address order:
45 return (address)a > (address)b ? +1 : -1;
46 }
47
48 static vmSymbols::SID vm_symbol_index[vmSymbols::SID_LIMIT];
49 extern "C" {
50 static int compare_vmsymbol_sid(const void* void_a, const void* void_b) {
51 const Symbol* a = vmSymbols::symbol_at(*((vmSymbols::SID*) void_a));
52 const Symbol* b = vmSymbols::symbol_at(*((vmSymbols::SID*) void_b));
53 return compare_symbol(a, b);
54 }
55 }
56
57 #ifdef ASSERT
58 #define VM_SYMBOL_ENUM_NAME_BODY(name, string) #name "\0"
59 static const char* vm_symbol_enum_names =
60 VM_SYMBOLS_DO(VM_SYMBOL_ENUM_NAME_BODY, VM_ALIAS_IGNORE)
61 "\0";
62 static const char* vm_symbol_enum_name(vmSymbols::SID sid) {
63 const char* string = &vm_symbol_enum_names[0];
64 int skip = (int)sid - (int)vmSymbols::FIRST_SID;
65 for (; skip != 0; skip--) {
66 size_t skiplen = strlen(string);
67 if (skiplen == 0) return "<unknown>"; // overflow
68 string += skiplen+1;
69 }
70 return string;
71 }
72 #endif //ASSERT
73
74 // Put all the VM symbol strings in one place.
75 // Makes for a more compact libjvm.
76 #define VM_SYMBOL_BODY(name, string) string "\0"
77 static const char* vm_symbol_bodies = VM_SYMBOLS_DO(VM_SYMBOL_BODY, VM_ALIAS_IGNORE);
78
79 void vmSymbols::initialize(TRAPS) {
80 assert((int)SID_LIMIT <= (1<<log2_SID_LIMIT), "must fit in this bitfield");
81 assert((int)SID_LIMIT*5 > (1<<log2_SID_LIMIT), "make the bitfield smaller, please");
82 assert(vmIntrinsics::FLAG_LIMIT <= (1 << vmIntrinsics::log2_FLAG_LIMIT), "must fit in this bitfield");
83
84 if (!UseSharedSpaces) {
85 const char* string = &vm_symbol_bodies[0];
86 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) {
87 Symbol* sym = SymbolTable::new_permanent_symbol(string);
88 _symbols[index] = sym;
89 string += strlen(string); // skip string body
90 string += 1; // skip trailing null
91 }
92
93 _type_signatures[T_BYTE] = byte_signature();
94 _type_signatures[T_CHAR] = char_signature();
95 _type_signatures[T_DOUBLE] = double_signature();
96 _type_signatures[T_FLOAT] = float_signature();
97 _type_signatures[T_INT] = int_signature();
98 _type_signatures[T_LONG] = long_signature();
99 _type_signatures[T_SHORT] = short_signature();
100 _type_signatures[T_BOOLEAN] = bool_signature();
101 _type_signatures[T_VOID] = void_signature();
102 // no single signatures for T_OBJECT or T_ARRAY
103 #ifdef ASSERT
104 for (int i = (int)T_BOOLEAN; i < (int)T_VOID+1; i++) {
105 Symbol* s = _type_signatures[i];
106 if (s == NULL) continue;
107 BasicType st = signature_type(s);
108 assert(st == i, "");
109 }
110 #endif
111 }
112
113 #ifdef ASSERT
114 // Check for duplicates:
115 for (int i1 = (int)FIRST_SID; i1 < (int)SID_LIMIT; i1++) {
116 Symbol* sym = symbol_at((SID)i1);
117 for (int i2 = (int)FIRST_SID; i2 < i1; i2++) {
118 if (symbol_at((SID)i2) == sym) {
119 tty->print("*** Duplicate VM symbol SIDs %s(%d) and %s(%d): \"",
120 vm_symbol_enum_name((SID)i2), i2,
121 vm_symbol_enum_name((SID)i1), i1);
122 sym->print_symbol_on(tty);
123 tty->print_cr("\"");
124 }
125 }
126 }
127 #endif //ASSERT
128
129 // Create an index for find_id:
130 {
131 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) {
132 vm_symbol_index[index] = (SID)index;
133 }
134 int num_sids = SID_LIMIT-FIRST_SID;
135 qsort(&vm_symbol_index[FIRST_SID], num_sids, sizeof(vm_symbol_index[0]),
136 compare_vmsymbol_sid);
137 }
138
139 #ifdef ASSERT
140 {
141 // Spot-check correspondence between strings, symbols, and enums:
142 assert(_symbols[NO_SID] == NULL, "must be");
143 const char* str = "java/lang/Object";
144 TempNewSymbol jlo = SymbolTable::new_permanent_symbol(str);
145 assert(strncmp(str, (char*)jlo->base(), jlo->utf8_length()) == 0, "");
146 assert(jlo == java_lang_Object(), "");
147 SID sid = VM_SYMBOL_ENUM_NAME(java_lang_Object);
148 assert(find_sid(jlo) == sid, "");
149 assert(symbol_at(sid) == jlo, "");
150
151 // Make sure find_sid produces the right answer in each case.
152 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) {
153 Symbol* sym = symbol_at((SID)index);
154 sid = find_sid(sym);
155 assert(sid == (SID)index, "symbol index works");
156 // Note: If there are duplicates, this assert will fail.
157 // A "Duplicate VM symbol" message will have already been printed.
158 }
159
160 // The string "format" happens (at the moment) not to be a vmSymbol,
161 // though it is a method name in java.lang.String.
162 str = "format";
163 TempNewSymbol fmt = SymbolTable::new_permanent_symbol(str);
164 sid = find_sid(fmt);
165 assert(sid == NO_SID, "symbol index works (negative test)");
166 }
167 #endif
168 }
169
170
171 #ifndef PRODUCT
172 const char* vmSymbols::name_for(vmSymbols::SID sid) {
173 if (sid == NO_SID)
174 return "NO_SID";
175 const char* string = &vm_symbol_bodies[0];
176 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) {
177 if (index == (int)sid)
178 return string;
179 string += strlen(string); // skip string body
180 string += 1; // skip trailing null
181 }
182 return "BAD_SID";
183 }
184 #endif
185
186
187
188 void vmSymbols::symbols_do(SymbolClosure* f) {
189 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) {
190 f->do_symbol(&_symbols[index]);
191 }
192 for (int i = 0; i < T_VOID+1; i++) {
193 f->do_symbol(&_type_signatures[i]);
194 }
195 }
196
197 void vmSymbols::metaspace_pointers_do(MetaspaceClosure *it) {
198 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) {
199 it->push(&_symbols[index]);
200 }
201 for (int i = 0; i < T_VOID+1; i++) {
202 it->push(&_type_signatures[i]);
203 }
204 }
205
206 void vmSymbols::serialize(SerializeClosure* soc) {
207 soc->do_region((u_char*)&_symbols[FIRST_SID],
208 (SID_LIMIT - FIRST_SID) * sizeof(_symbols[0]));
209 soc->do_region((u_char*)_type_signatures, sizeof(_type_signatures));
210 }
211
212
213 BasicType vmSymbols::signature_type(const Symbol* s) {
214 assert(s != NULL, "checking");
215 if (s->utf8_length() == 1) {
216 BasicType result = char2type(s->char_at(0));
217 if (is_java_primitive(result) || result == T_VOID) {
218 assert(s == _type_signatures[result], "");
219 return result;
220 }
221 }
222 return T_OBJECT;
223 }
224
225
226 static int mid_hint = (int)vmSymbols::FIRST_SID+1;
227
228 #ifndef PRODUCT
229 static int find_sid_calls, find_sid_probes;
230 // (Typical counts are calls=7000 and probes=17000.)
231 #endif
232
233 vmSymbols::SID vmSymbols::find_sid(const Symbol* symbol) {
234 // Handle the majority of misses by a bounds check.
235 // Then, use a binary search over the index.
236 // Expected trip count is less than log2_SID_LIMIT, about eight.
237 // This is slow but acceptable, given that calls are not
238 // dynamically common. (Method*::intrinsic_id has a cache.)
239 NOT_PRODUCT(find_sid_calls++);
240 int min = (int)FIRST_SID, max = (int)SID_LIMIT - 1;
241 SID sid = NO_SID, sid1;
242 int cmp1;
243 sid1 = vm_symbol_index[min];
244 cmp1 = compare_symbol(symbol, symbol_at(sid1));
245 if (cmp1 <= 0) { // before the first
246 if (cmp1 == 0) sid = sid1;
247 } else {
248 sid1 = vm_symbol_index[max];
249 cmp1 = compare_symbol(symbol, symbol_at(sid1));
250 if (cmp1 >= 0) { // after the last
251 if (cmp1 == 0) sid = sid1;
252 } else {
253 // After checking the extremes, do a binary search.
254 ++min; --max; // endpoints are done
255 int mid = mid_hint; // start at previous success
256 while (max >= min) {
257 assert(mid >= min && mid <= max, "");
258 NOT_PRODUCT(find_sid_probes++);
259 sid1 = vm_symbol_index[mid];
260 cmp1 = compare_symbol(symbol, symbol_at(sid1));
261 if (cmp1 == 0) {
262 mid_hint = mid;
263 sid = sid1;
264 break;
265 }
266 if (cmp1 < 0)
267 max = mid - 1; // symbol < symbol_at(sid)
268 else
269 min = mid + 1;
270
271 // Pick a new probe point:
272 mid = (max + min) / 2;
273 }
274 }
275 }
276
277 #ifdef ASSERT
278 // Perform the exhaustive self-check the first 1000 calls,
279 // and every 100 calls thereafter.
280 static int find_sid_check_count = -2000;
281 if ((uint)++find_sid_check_count > (uint)100) {
282 if (find_sid_check_count > 0) find_sid_check_count = 0;
283
284 // Make sure this is the right answer, using linear search.
285 // (We have already proven that there are no duplicates in the list.)
286 SID sid2 = NO_SID;
287 for (int index = (int)FIRST_SID; index < (int)SID_LIMIT; index++) {
288 Symbol* sym2 = symbol_at((SID)index);
289 if (sym2 == symbol) {
290 sid2 = (SID)index;
291 break;
292 }
293 }
294 // Unless it's a duplicate, assert that the sids are the same.
295 if (_symbols[sid] != _symbols[sid2]) {
296 assert(sid == sid2, "binary same as linear search");
297 }
298 }
299 #endif //ASSERT
300
301 return sid;
302 }
303
304 vmSymbols::SID vmSymbols::find_sid(const char* symbol_name) {
305 Symbol* symbol = SymbolTable::probe(symbol_name, (int) strlen(symbol_name));
306 if (symbol == NULL) return NO_SID;
307 return find_sid(symbol);
308 }
309
310 static vmIntrinsics::ID wrapper_intrinsic(BasicType type, bool unboxing) {
311 #define TYPE2(type, unboxing) ((int)(type)*2 + ((unboxing) ? 1 : 0))
312 switch (TYPE2(type, unboxing)) {
313 #define BASIC_TYPE_CASE(type, box, unbox) \
314 case TYPE2(type, false): return vmIntrinsics::box; \
315 case TYPE2(type, true): return vmIntrinsics::unbox
316 BASIC_TYPE_CASE(T_BOOLEAN, _Boolean_valueOf, _booleanValue);
317 BASIC_TYPE_CASE(T_BYTE, _Byte_valueOf, _byteValue);
318 BASIC_TYPE_CASE(T_CHAR, _Character_valueOf, _charValue);
319 BASIC_TYPE_CASE(T_SHORT, _Short_valueOf, _shortValue);
320 BASIC_TYPE_CASE(T_INT, _Integer_valueOf, _intValue);
321 BASIC_TYPE_CASE(T_LONG, _Long_valueOf, _longValue);
322 BASIC_TYPE_CASE(T_FLOAT, _Float_valueOf, _floatValue);
323 BASIC_TYPE_CASE(T_DOUBLE, _Double_valueOf, _doubleValue);
324 #undef BASIC_TYPE_CASE
325 }
326 #undef TYPE2
327 return vmIntrinsics::_none;
328 }
329
330 vmIntrinsics::ID vmIntrinsics::for_boxing(BasicType type) {
331 return wrapper_intrinsic(type, false);
332 }
333 vmIntrinsics::ID vmIntrinsics::for_unboxing(BasicType type) {
334 return wrapper_intrinsic(type, true);
335 }
336
337 vmIntrinsics::ID vmIntrinsics::for_raw_conversion(BasicType src, BasicType dest) {
338 #define SRC_DEST(s,d) (((int)(s) << 4) + (int)(d))
339 switch (SRC_DEST(src, dest)) {
340 case SRC_DEST(T_INT, T_FLOAT): return vmIntrinsics::_intBitsToFloat;
341 case SRC_DEST(T_FLOAT, T_INT): return vmIntrinsics::_floatToRawIntBits;
342
343 case SRC_DEST(T_LONG, T_DOUBLE): return vmIntrinsics::_longBitsToDouble;
344 case SRC_DEST(T_DOUBLE, T_LONG): return vmIntrinsics::_doubleToRawLongBits;
345 }
346 #undef SRC_DEST
347
348 return vmIntrinsics::_none;
349 }
350
351 bool vmIntrinsics::preserves_state(vmIntrinsics::ID id) {
352 assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
353 switch(id) {
354 #ifdef JFR_HAVE_INTRINSICS
355 case vmIntrinsics::_counterTime:
356 #endif
357 case vmIntrinsics::_currentTimeMillis:
358 case vmIntrinsics::_nanoTime:
359 case vmIntrinsics::_floatToRawIntBits:
360 case vmIntrinsics::_intBitsToFloat:
361 case vmIntrinsics::_doubleToRawLongBits:
362 case vmIntrinsics::_longBitsToDouble:
363 case vmIntrinsics::_getClass:
364 case vmIntrinsics::_isInstance:
365 case vmIntrinsics::_currentThread:
366 case vmIntrinsics::_dabs:
367 case vmIntrinsics::_fabs:
368 case vmIntrinsics::_iabs:
369 case vmIntrinsics::_labs:
370 case vmIntrinsics::_dsqrt:
371 case vmIntrinsics::_dsin:
372 case vmIntrinsics::_dcos:
373 case vmIntrinsics::_dtan:
374 case vmIntrinsics::_dlog:
375 case vmIntrinsics::_dlog10:
376 case vmIntrinsics::_dexp:
377 case vmIntrinsics::_dpow:
378 case vmIntrinsics::_checkIndex:
379 case vmIntrinsics::_Reference_get:
380 case vmIntrinsics::_updateCRC32:
381 case vmIntrinsics::_updateBytesCRC32:
382 case vmIntrinsics::_updateByteBufferCRC32:
383 case vmIntrinsics::_vectorizedMismatch:
384 case vmIntrinsics::_fmaD:
385 case vmIntrinsics::_fmaF:
386 case vmIntrinsics::_isDigit:
387 case vmIntrinsics::_isLowerCase:
388 case vmIntrinsics::_isUpperCase:
389 case vmIntrinsics::_isWhitespace:
390 return true;
391 default:
392 return false;
393 }
394 }
395
396 bool vmIntrinsics::can_trap(vmIntrinsics::ID id) {
397 assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
398 switch(id) {
399 #ifdef JFR_HAVE_INTRINSICS
400 case vmIntrinsics::_counterTime:
401 case vmIntrinsics::_getClassId:
402 #endif
403 case vmIntrinsics::_currentTimeMillis:
404 case vmIntrinsics::_nanoTime:
405 case vmIntrinsics::_floatToRawIntBits:
406 case vmIntrinsics::_intBitsToFloat:
407 case vmIntrinsics::_doubleToRawLongBits:
408 case vmIntrinsics::_longBitsToDouble:
409 case vmIntrinsics::_currentThread:
410 case vmIntrinsics::_dabs:
411 case vmIntrinsics::_fabs:
412 case vmIntrinsics::_iabs:
413 case vmIntrinsics::_labs:
414 case vmIntrinsics::_dsqrt:
415 case vmIntrinsics::_dsin:
416 case vmIntrinsics::_dcos:
417 case vmIntrinsics::_dtan:
418 case vmIntrinsics::_dlog:
419 case vmIntrinsics::_dlog10:
420 case vmIntrinsics::_dexp:
421 case vmIntrinsics::_dpow:
422 case vmIntrinsics::_updateCRC32:
423 case vmIntrinsics::_updateBytesCRC32:
424 case vmIntrinsics::_updateByteBufferCRC32:
425 case vmIntrinsics::_vectorizedMismatch:
426 case vmIntrinsics::_fmaD:
427 case vmIntrinsics::_fmaF:
428 return false;
429 default:
430 return true;
431 }
432 }
433
434 // Some intrinsics produce different results if they are not pinned
435 bool vmIntrinsics::should_be_pinned(vmIntrinsics::ID id) {
436 assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
437 switch(id) {
438 #ifdef JFR_HAVE_INTRINSICS
439 case vmIntrinsics::_counterTime:
440 #endif
441 case vmIntrinsics::_currentTimeMillis:
442 case vmIntrinsics::_nanoTime:
443 return true;
444 default:
445 return false;
446 }
447 }
448
449 bool vmIntrinsics::does_virtual_dispatch(vmIntrinsics::ID id) {
450 assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
451 switch(id) {
452 case vmIntrinsics::_hashCode:
453 case vmIntrinsics::_clone:
454 return true;
455 break;
456 default:
457 return false;
458 }
459 }
460
461 int vmIntrinsics::predicates_needed(vmIntrinsics::ID id) {
462 assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
463 switch (id) {
464 case vmIntrinsics::_cipherBlockChaining_encryptAESCrypt:
465 case vmIntrinsics::_cipherBlockChaining_decryptAESCrypt:
466 case vmIntrinsics::_electronicCodeBook_encryptAESCrypt:
467 case vmIntrinsics::_electronicCodeBook_decryptAESCrypt:
468 case vmIntrinsics::_counterMode_AESCrypt:
469 return 1;
470 case vmIntrinsics::_digestBase_implCompressMB:
471 return 3;
472 default:
473 return 0;
474 }
475 }
476
477 bool vmIntrinsics::is_intrinsic_available(vmIntrinsics::ID id) {
478 return !vmIntrinsics::is_intrinsic_disabled(id) &&
479 !vmIntrinsics::is_disabled_by_flags(id);
480 }
481
482 bool vmIntrinsics::is_intrinsic_disabled(vmIntrinsics::ID id) {
483 assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
484
485 // Canonicalize DisableIntrinsic to contain only ',' as a separator.
486 // Note, DirectiveSet may not be created at this point yet since this code
487 // is called from initial stub geenration code.
488 char* local_list = (char*)DirectiveSet::canonicalize_disableintrinsic(DisableIntrinsic);
489 char* save_ptr;
490 bool found = false;
491
492 char* token = strtok_r(local_list, ",", &save_ptr);
493 while (token != NULL) {
494 if (strcmp(token, vmIntrinsics::name_at(id)) == 0) {
495 found = true;
496 break;
497 } else {
498 token = strtok_r(NULL, ",", &save_ptr);
499 }
500 }
501
502 FREE_C_HEAP_ARRAY(char, local_list);
503 return found;
504 }
505
506
507 bool vmIntrinsics::is_disabled_by_flags(const methodHandle& method) {
508 vmIntrinsics::ID id = method->intrinsic_id();
509 assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
510 return is_disabled_by_flags(id);
511 }
512
513 bool vmIntrinsics::is_disabled_by_flags(vmIntrinsics::ID id) {
514 assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
515
516 // -XX:-InlineNatives disables nearly all intrinsics except the ones listed in
517 // the following switch statement.
518 if (!InlineNatives) {
519 switch (id) {
520 case vmIntrinsics::_indexOfL:
521 case vmIntrinsics::_indexOfU:
522 case vmIntrinsics::_indexOfUL:
523 case vmIntrinsics::_indexOfIL:
524 case vmIntrinsics::_indexOfIU:
525 case vmIntrinsics::_indexOfIUL:
526 case vmIntrinsics::_indexOfU_char:
527 case vmIntrinsics::_compareToL:
528 case vmIntrinsics::_compareToU:
529 case vmIntrinsics::_compareToLU:
530 case vmIntrinsics::_compareToUL:
531 case vmIntrinsics::_equalsL:
532 case vmIntrinsics::_equalsU:
533 case vmIntrinsics::_equalsC:
534 case vmIntrinsics::_getCharStringU:
535 case vmIntrinsics::_putCharStringU:
536 case vmIntrinsics::_compressStringC:
537 case vmIntrinsics::_compressStringB:
538 case vmIntrinsics::_inflateStringC:
539 case vmIntrinsics::_inflateStringB:
540 case vmIntrinsics::_getAndAddInt:
541 case vmIntrinsics::_getAndAddLong:
542 case vmIntrinsics::_getAndSetInt:
543 case vmIntrinsics::_getAndSetLong:
544 case vmIntrinsics::_getAndSetReference:
545 case vmIntrinsics::_loadFence:
546 case vmIntrinsics::_storeFence:
547 case vmIntrinsics::_fullFence:
548 case vmIntrinsics::_hasNegatives:
549 case vmIntrinsics::_Reference_get:
550 break;
551 default:
552 return true;
553 }
554 }
555
556 switch (id) {
557 case vmIntrinsics::_isInstance:
558 case vmIntrinsics::_isAssignableFrom:
559 case vmIntrinsics::_getModifiers:
560 case vmIntrinsics::_isInterface:
561 case vmIntrinsics::_isArray:
562 case vmIntrinsics::_isPrimitive:
563 case vmIntrinsics::_isHiddenClass:
564 case vmIntrinsics::_getSuperclass:
565 case vmIntrinsics::_Class_cast:
566 case vmIntrinsics::_getLength:
567 case vmIntrinsics::_newArray:
568 case vmIntrinsics::_getClass:
569 if (!InlineClassNatives) return true;
570 break;
571 case vmIntrinsics::_currentThread:
572 if (!InlineThreadNatives) return true;
573 break;
574 case vmIntrinsics::_floatToRawIntBits:
575 case vmIntrinsics::_intBitsToFloat:
576 case vmIntrinsics::_doubleToRawLongBits:
577 case vmIntrinsics::_longBitsToDouble:
578 case vmIntrinsics::_ceil:
579 case vmIntrinsics::_floor:
580 case vmIntrinsics::_rint:
581 case vmIntrinsics::_dabs:
582 case vmIntrinsics::_fabs:
583 case vmIntrinsics::_iabs:
584 case vmIntrinsics::_labs:
585 case vmIntrinsics::_dsqrt:
586 case vmIntrinsics::_dsin:
587 case vmIntrinsics::_dcos:
588 case vmIntrinsics::_dtan:
589 case vmIntrinsics::_dlog:
590 case vmIntrinsics::_dexp:
591 case vmIntrinsics::_dpow:
592 case vmIntrinsics::_dlog10:
593 case vmIntrinsics::_datan2:
594 case vmIntrinsics::_min:
595 case vmIntrinsics::_max:
596 case vmIntrinsics::_floatToIntBits:
597 case vmIntrinsics::_doubleToLongBits:
598 case vmIntrinsics::_maxF:
599 case vmIntrinsics::_minF:
600 case vmIntrinsics::_maxD:
601 case vmIntrinsics::_minD:
602 if (!InlineMathNatives) return true;
603 break;
604 case vmIntrinsics::_fmaD:
605 case vmIntrinsics::_fmaF:
606 if (!InlineMathNatives || !UseFMA) return true;
607 break;
608 case vmIntrinsics::_arraycopy:
609 if (!InlineArrayCopy) return true;
610 break;
611 case vmIntrinsics::_updateCRC32:
612 case vmIntrinsics::_updateBytesCRC32:
613 case vmIntrinsics::_updateByteBufferCRC32:
614 if (!UseCRC32Intrinsics) return true;
615 break;
616 case vmIntrinsics::_getReference:
617 case vmIntrinsics::_getBoolean:
618 case vmIntrinsics::_getByte:
619 case vmIntrinsics::_getShort:
620 case vmIntrinsics::_getChar:
621 case vmIntrinsics::_getInt:
622 case vmIntrinsics::_getLong:
623 case vmIntrinsics::_getFloat:
624 case vmIntrinsics::_getDouble:
625 case vmIntrinsics::_putReference:
626 case vmIntrinsics::_putBoolean:
627 case vmIntrinsics::_putByte:
628 case vmIntrinsics::_putShort:
629 case vmIntrinsics::_putChar:
630 case vmIntrinsics::_putInt:
631 case vmIntrinsics::_putLong:
632 case vmIntrinsics::_putFloat:
633 case vmIntrinsics::_putDouble:
634 case vmIntrinsics::_getReferenceVolatile:
635 case vmIntrinsics::_getBooleanVolatile:
636 case vmIntrinsics::_getByteVolatile:
637 case vmIntrinsics::_getShortVolatile:
638 case vmIntrinsics::_getCharVolatile:
639 case vmIntrinsics::_getIntVolatile:
640 case vmIntrinsics::_getLongVolatile:
641 case vmIntrinsics::_getFloatVolatile:
642 case vmIntrinsics::_getDoubleVolatile:
643 case vmIntrinsics::_putReferenceVolatile:
644 case vmIntrinsics::_putBooleanVolatile:
645 case vmIntrinsics::_putByteVolatile:
646 case vmIntrinsics::_putShortVolatile:
647 case vmIntrinsics::_putCharVolatile:
648 case vmIntrinsics::_putIntVolatile:
649 case vmIntrinsics::_putLongVolatile:
650 case vmIntrinsics::_putFloatVolatile:
651 case vmIntrinsics::_putDoubleVolatile:
652 case vmIntrinsics::_getReferenceAcquire:
653 case vmIntrinsics::_getBooleanAcquire:
654 case vmIntrinsics::_getByteAcquire:
655 case vmIntrinsics::_getShortAcquire:
656 case vmIntrinsics::_getCharAcquire:
657 case vmIntrinsics::_getIntAcquire:
658 case vmIntrinsics::_getLongAcquire:
659 case vmIntrinsics::_getFloatAcquire:
660 case vmIntrinsics::_getDoubleAcquire:
661 case vmIntrinsics::_putReferenceRelease:
662 case vmIntrinsics::_putBooleanRelease:
663 case vmIntrinsics::_putByteRelease:
664 case vmIntrinsics::_putShortRelease:
665 case vmIntrinsics::_putCharRelease:
666 case vmIntrinsics::_putIntRelease:
667 case vmIntrinsics::_putLongRelease:
668 case vmIntrinsics::_putFloatRelease:
669 case vmIntrinsics::_putDoubleRelease:
670 case vmIntrinsics::_getReferenceOpaque:
671 case vmIntrinsics::_getBooleanOpaque:
672 case vmIntrinsics::_getByteOpaque:
673 case vmIntrinsics::_getShortOpaque:
674 case vmIntrinsics::_getCharOpaque:
675 case vmIntrinsics::_getIntOpaque:
676 case vmIntrinsics::_getLongOpaque:
677 case vmIntrinsics::_getFloatOpaque:
678 case vmIntrinsics::_getDoubleOpaque:
679 case vmIntrinsics::_putReferenceOpaque:
680 case vmIntrinsics::_putBooleanOpaque:
681 case vmIntrinsics::_putByteOpaque:
682 case vmIntrinsics::_putShortOpaque:
683 case vmIntrinsics::_putCharOpaque:
684 case vmIntrinsics::_putIntOpaque:
685 case vmIntrinsics::_putLongOpaque:
686 case vmIntrinsics::_putFloatOpaque:
687 case vmIntrinsics::_putDoubleOpaque:
688 case vmIntrinsics::_getAndAddInt:
689 case vmIntrinsics::_getAndAddLong:
690 case vmIntrinsics::_getAndSetInt:
691 case vmIntrinsics::_getAndSetLong:
692 case vmIntrinsics::_getAndSetReference:
693 case vmIntrinsics::_loadFence:
694 case vmIntrinsics::_storeFence:
695 case vmIntrinsics::_fullFence:
696 case vmIntrinsics::_compareAndSetLong:
697 case vmIntrinsics::_weakCompareAndSetLong:
698 case vmIntrinsics::_weakCompareAndSetLongPlain:
699 case vmIntrinsics::_weakCompareAndSetLongAcquire:
700 case vmIntrinsics::_weakCompareAndSetLongRelease:
701 case vmIntrinsics::_compareAndSetInt:
702 case vmIntrinsics::_weakCompareAndSetInt:
703 case vmIntrinsics::_weakCompareAndSetIntPlain:
704 case vmIntrinsics::_weakCompareAndSetIntAcquire:
705 case vmIntrinsics::_weakCompareAndSetIntRelease:
706 case vmIntrinsics::_compareAndSetReference:
707 case vmIntrinsics::_weakCompareAndSetReference:
708 case vmIntrinsics::_weakCompareAndSetReferencePlain:
709 case vmIntrinsics::_weakCompareAndSetReferenceAcquire:
710 case vmIntrinsics::_weakCompareAndSetReferenceRelease:
711 case vmIntrinsics::_compareAndExchangeInt:
712 case vmIntrinsics::_compareAndExchangeIntAcquire:
713 case vmIntrinsics::_compareAndExchangeIntRelease:
714 case vmIntrinsics::_compareAndExchangeLong:
715 case vmIntrinsics::_compareAndExchangeLongAcquire:
716 case vmIntrinsics::_compareAndExchangeLongRelease:
717 case vmIntrinsics::_compareAndExchangeReference:
718 case vmIntrinsics::_compareAndExchangeReferenceAcquire:
719 case vmIntrinsics::_compareAndExchangeReferenceRelease:
720 if (!InlineUnsafeOps) return true;
721 break;
722 case vmIntrinsics::_getShortUnaligned:
723 case vmIntrinsics::_getCharUnaligned:
724 case vmIntrinsics::_getIntUnaligned:
725 case vmIntrinsics::_getLongUnaligned:
726 case vmIntrinsics::_putShortUnaligned:
727 case vmIntrinsics::_putCharUnaligned:
728 case vmIntrinsics::_putIntUnaligned:
729 case vmIntrinsics::_putLongUnaligned:
730 case vmIntrinsics::_allocateInstance:
731 if (!InlineUnsafeOps || !UseUnalignedAccesses) return true;
732 break;
733 case vmIntrinsics::_hashCode:
734 if (!InlineObjectHash) return true;
735 break;
736 case vmIntrinsics::_aescrypt_encryptBlock:
737 case vmIntrinsics::_aescrypt_decryptBlock:
738 if (!UseAESIntrinsics) return true;
739 break;
740 case vmIntrinsics::_cipherBlockChaining_encryptAESCrypt:
741 case vmIntrinsics::_cipherBlockChaining_decryptAESCrypt:
742 if (!UseAESIntrinsics) return true;
743 break;
744 case vmIntrinsics::_electronicCodeBook_encryptAESCrypt:
745 case vmIntrinsics::_electronicCodeBook_decryptAESCrypt:
746 if (!UseAESIntrinsics) return true;
747 break;
748 case vmIntrinsics::_counterMode_AESCrypt:
749 if (!UseAESCTRIntrinsics) return true;
750 break;
751 case vmIntrinsics::_sha_implCompress:
752 if (!UseSHA1Intrinsics) return true;
753 break;
754 case vmIntrinsics::_sha2_implCompress:
755 if (!UseSHA256Intrinsics) return true;
756 break;
757 case vmIntrinsics::_sha5_implCompress:
758 if (!UseSHA512Intrinsics) return true;
759 break;
760 case vmIntrinsics::_digestBase_implCompressMB:
761 if (!(UseSHA1Intrinsics || UseSHA256Intrinsics || UseSHA512Intrinsics)) return true;
762 break;
763 case vmIntrinsics::_ghash_processBlocks:
764 if (!UseGHASHIntrinsics) return true;
765 break;
766 case vmIntrinsics::_base64_encodeBlock:
767 if (!UseBASE64Intrinsics) return true;
768 break;
769 case vmIntrinsics::_updateBytesCRC32C:
770 case vmIntrinsics::_updateDirectByteBufferCRC32C:
771 if (!UseCRC32CIntrinsics) return true;
772 break;
773 case vmIntrinsics::_vectorizedMismatch:
774 if (!UseVectorizedMismatchIntrinsic) return true;
775 break;
776 case vmIntrinsics::_updateBytesAdler32:
777 case vmIntrinsics::_updateByteBufferAdler32:
778 if (!UseAdler32Intrinsics) return true;
779 break;
780 case vmIntrinsics::_copyMemory:
781 if (!InlineArrayCopy || !InlineUnsafeOps) return true;
782 break;
783 #ifdef COMPILER1
784 case vmIntrinsics::_checkIndex:
785 if (!InlineNIOCheckIndex) return true;
786 break;
787 #endif // COMPILER1
788 #ifdef COMPILER2
789 case vmIntrinsics::_clone:
790 case vmIntrinsics::_copyOf:
791 case vmIntrinsics::_copyOfRange:
792 // These intrinsics use both the objectcopy and the arraycopy
793 // intrinsic mechanism.
794 if (!InlineObjectCopy || !InlineArrayCopy) return true;
795 break;
796 case vmIntrinsics::_compareToL:
797 case vmIntrinsics::_compareToU:
798 case vmIntrinsics::_compareToLU:
799 case vmIntrinsics::_compareToUL:
800 if (!SpecialStringCompareTo) return true;
801 break;
802 case vmIntrinsics::_indexOfL:
803 case vmIntrinsics::_indexOfU:
804 case vmIntrinsics::_indexOfUL:
805 case vmIntrinsics::_indexOfIL:
806 case vmIntrinsics::_indexOfIU:
807 case vmIntrinsics::_indexOfIUL:
808 case vmIntrinsics::_indexOfU_char:
809 if (!SpecialStringIndexOf) return true;
810 break;
811 case vmIntrinsics::_equalsL:
812 case vmIntrinsics::_equalsU:
813 if (!SpecialStringEquals) return true;
814 break;
815 case vmIntrinsics::_equalsB:
816 case vmIntrinsics::_equalsC:
817 if (!SpecialArraysEquals) return true;
818 break;
819 case vmIntrinsics::_encodeISOArray:
820 case vmIntrinsics::_encodeByteISOArray:
821 if (!SpecialEncodeISOArray) return true;
822 break;
823 case vmIntrinsics::_getCallerClass:
824 if (!InlineReflectionGetCallerClass) return true;
825 break;
826 case vmIntrinsics::_multiplyToLen:
827 if (!UseMultiplyToLenIntrinsic) return true;
828 break;
829 case vmIntrinsics::_squareToLen:
830 if (!UseSquareToLenIntrinsic) return true;
831 break;
832 case vmIntrinsics::_mulAdd:
833 if (!UseMulAddIntrinsic) return true;
834 break;
835 case vmIntrinsics::_montgomeryMultiply:
836 if (!UseMontgomeryMultiplyIntrinsic) return true;
837 break;
838 case vmIntrinsics::_montgomerySquare:
839 if (!UseMontgomerySquareIntrinsic) return true;
840 break;
841 case vmIntrinsics::_addExactI:
842 case vmIntrinsics::_addExactL:
843 case vmIntrinsics::_decrementExactI:
844 case vmIntrinsics::_decrementExactL:
845 case vmIntrinsics::_incrementExactI:
846 case vmIntrinsics::_incrementExactL:
847 case vmIntrinsics::_multiplyExactI:
848 case vmIntrinsics::_multiplyExactL:
849 case vmIntrinsics::_negateExactI:
850 case vmIntrinsics::_negateExactL:
851 case vmIntrinsics::_subtractExactI:
852 case vmIntrinsics::_subtractExactL:
853 if (!UseMathExactIntrinsics || !InlineMathNatives) return true;
854 break;
855 case vmIntrinsics::_isDigit:
856 case vmIntrinsics::_isLowerCase:
857 case vmIntrinsics::_isUpperCase:
858 case vmIntrinsics::_isWhitespace:
859 if (!UseCharacterCompareIntrinsics) return true;
860 break;
861 #endif // COMPILER2
862 default:
863 return false;
864 }
865
866 return false;
867 }
868
869 #define VM_INTRINSIC_INITIALIZE(id, klass, name, sig, flags) #id "\0"
870 static const char* vm_intrinsic_name_bodies =
871 VM_INTRINSICS_DO(VM_INTRINSIC_INITIALIZE,
872 VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE);
873
874 static const char* vm_intrinsic_name_table[vmIntrinsics::ID_LIMIT];
875
876 const char* vmIntrinsics::name_at(vmIntrinsics::ID id) {
877 const char** nt = &vm_intrinsic_name_table[0];
878 if (nt[_none] == NULL) {
879 char* string = (char*) &vm_intrinsic_name_bodies[0];
880 for (int index = FIRST_ID; index < ID_LIMIT; index++) {
881 nt[index] = string;
882 string += strlen(string); // skip string body
883 string += 1; // skip trailing null
884 }
885 assert(!strcmp(nt[_hashCode], "_hashCode"), "lined up");
886 nt[_none] = "_none";
887 }
888 if ((uint)id < (uint)ID_LIMIT)
889 return vm_intrinsic_name_table[(uint)id];
890 else
891 return "(unknown intrinsic)";
892 }
893
894 // These are flag-matching functions:
895 inline bool match_F_R(jshort flags) {
896 const int req = 0;
897 const int neg = JVM_ACC_STATIC | JVM_ACC_SYNCHRONIZED;
898 return (flags & (req | neg)) == req;
899 }
900 inline bool match_F_Y(jshort flags) {
901 const int req = JVM_ACC_SYNCHRONIZED;
902 const int neg = JVM_ACC_STATIC;
903 return (flags & (req | neg)) == req;
904 }
905 inline bool match_F_RN(jshort flags) {
906 const int req = JVM_ACC_NATIVE;
907 const int neg = JVM_ACC_STATIC | JVM_ACC_SYNCHRONIZED;
908 return (flags & (req | neg)) == req;
909 }
910 inline bool match_F_S(jshort flags) {
911 const int req = JVM_ACC_STATIC;
912 const int neg = JVM_ACC_SYNCHRONIZED;
913 return (flags & (req | neg)) == req;
914 }
915 inline bool match_F_SN(jshort flags) {
916 const int req = JVM_ACC_STATIC | JVM_ACC_NATIVE;
917 const int neg = JVM_ACC_SYNCHRONIZED;
918 return (flags & (req | neg)) == req;
919 }
920 inline bool match_F_RNY(jshort flags) {
921 const int req = JVM_ACC_NATIVE | JVM_ACC_SYNCHRONIZED;
922 const int neg = JVM_ACC_STATIC;
923 return (flags & (req | neg)) == req;
924 }
925
926 // These are for forming case labels:
927 #define ID3(x, y, z) (( jlong)(z) + \
928 ((jlong)(y) << vmSymbols::log2_SID_LIMIT) + \
929 ((jlong)(x) << (2*vmSymbols::log2_SID_LIMIT)) )
930 #define SID_ENUM(n) vmSymbols::VM_SYMBOL_ENUM_NAME(n)
931
932 vmIntrinsics::ID vmIntrinsics::find_id_impl(vmSymbols::SID holder,
933 vmSymbols::SID name,
934 vmSymbols::SID sig,
935 jshort flags) {
936 assert((int)vmSymbols::SID_LIMIT <= (1<<vmSymbols::log2_SID_LIMIT), "must fit");
937
938 // Let the C compiler build the decision tree.
939
940 #define VM_INTRINSIC_CASE(id, klass, name, sig, fcode) \
941 case ID3(SID_ENUM(klass), SID_ENUM(name), SID_ENUM(sig)): \
942 if (!match_##fcode(flags)) break; \
943 return id;
944
945 switch (ID3(holder, name, sig)) {
946 VM_INTRINSICS_DO(VM_INTRINSIC_CASE,
947 VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE);
948 }
949 return vmIntrinsics::_none;
950
951 #undef VM_INTRINSIC_CASE
952 }
953
954
955 const char* vmIntrinsics::short_name_as_C_string(vmIntrinsics::ID id, char* buf, int buflen) {
956 const char* str = name_at(id);
957 #ifndef PRODUCT
958 const char* kname = vmSymbols::name_for(class_for(id));
959 const char* mname = vmSymbols::name_for(name_for(id));
960 const char* sname = vmSymbols::name_for(signature_for(id));
961 const char* fname = "";
962 switch (flags_for(id)) {
963 case F_Y: fname = "synchronized "; break;
964 case F_RN: fname = "native "; break;
965 case F_SN: fname = "native static "; break;
966 case F_S: fname = "static "; break;
967 case F_RNY:fname = "native synchronized "; break;
968 default: break;
969 }
970 const char* kptr = strrchr(kname, JVM_SIGNATURE_SLASH);
971 if (kptr != NULL) kname = kptr + 1;
972 int len = jio_snprintf(buf, buflen, "%s: %s%s.%s%s",
973 str, fname, kname, mname, sname);
974 if (len < buflen)
975 str = buf;
976 #endif //PRODUCT
977 return str;
978 }
979
980
981 // These are to get information about intrinsics.
982
983 #define ID4(x, y, z, f) ((ID3(x, y, z) << vmIntrinsics::log2_FLAG_LIMIT) | (jlong) (f))
984
985 static const jlong intrinsic_info_array[vmIntrinsics::ID_LIMIT+1] = {
986 #define VM_INTRINSIC_INFO(ignore_id, klass, name, sig, fcode) \
987 ID4(SID_ENUM(klass), SID_ENUM(name), SID_ENUM(sig), vmIntrinsics::fcode),
988
989 0, VM_INTRINSICS_DO(VM_INTRINSIC_INFO,
990 VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE)
991 0
992 #undef VM_INTRINSIC_INFO
993 };
994
995 inline jlong intrinsic_info(vmIntrinsics::ID id) {
996 return intrinsic_info_array[vmIntrinsics::ID_from((int)id)];
997 }
998
999 vmSymbols::SID vmIntrinsics::class_for(vmIntrinsics::ID id) {
1000 jlong info = intrinsic_info(id);
1001 int shift = 2*vmSymbols::log2_SID_LIMIT + log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT);
1002 assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1021, "");
1003 return vmSymbols::SID( (info >> shift) & mask );
1004 }
1005
1006 vmSymbols::SID vmIntrinsics::name_for(vmIntrinsics::ID id) {
1007 jlong info = intrinsic_info(id);
1008 int shift = vmSymbols::log2_SID_LIMIT + log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT);
1009 assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1022, "");
1010 return vmSymbols::SID( (info >> shift) & mask );
1011 }
1012
1013 vmSymbols::SID vmIntrinsics::signature_for(vmIntrinsics::ID id) {
1014 jlong info = intrinsic_info(id);
1015 int shift = log2_FLAG_LIMIT, mask = right_n_bits(vmSymbols::log2_SID_LIMIT);
1016 assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 1023, "");
1017 return vmSymbols::SID( (info >> shift) & mask );
1018 }
1019
1020 vmIntrinsics::Flags vmIntrinsics::flags_for(vmIntrinsics::ID id) {
1021 jlong info = intrinsic_info(id);
1022 int shift = 0, mask = right_n_bits(log2_FLAG_LIMIT);
1023 assert(((ID4(1021,1022,1023,15) >> shift) & mask) == 15, "");
1024 return Flags( (info >> shift) & mask );
1025 }
1026
1027
1028 #ifndef PRODUCT
1029 // verify_method performs an extra check on a matched intrinsic method
1030
1031 static bool match_method(Method* m, Symbol* n, Symbol* s) {
1032 return (m->name() == n &&
1033 m->signature() == s);
1034 }
1035
1036 static vmIntrinsics::ID match_method_with_klass(Method* m, Symbol* mk) {
1037 #define VM_INTRINSIC_MATCH(id, klassname, namepart, sigpart, flags) \
1038 { Symbol* k = vmSymbols::klassname(); \
1039 if (mk == k) { \
1040 Symbol* n = vmSymbols::namepart(); \
1041 Symbol* s = vmSymbols::sigpart(); \
1042 if (match_method(m, n, s)) \
1043 return vmIntrinsics::id; \
1044 } }
1045 VM_INTRINSICS_DO(VM_INTRINSIC_MATCH,
1046 VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_SYMBOL_IGNORE, VM_ALIAS_IGNORE);
1047 return vmIntrinsics::_none;
1048 #undef VM_INTRINSIC_MATCH
1049 }
1050
1051 void vmIntrinsics::verify_method(ID actual_id, Method* m) {
1052 Symbol* mk = m->method_holder()->name();
1053 ID declared_id = match_method_with_klass(m, mk);
1054
1055 if (declared_id == actual_id) return; // success
1056
1057 if (declared_id == _none && actual_id != _none && mk == vmSymbols::java_lang_StrictMath()) {
1058 // Here are a few special cases in StrictMath not declared in vmSymbols.hpp.
1059 switch (actual_id) {
1060 case _min:
1061 case _max:
1062 case _dsqrt:
1063 declared_id = match_method_with_klass(m, vmSymbols::java_lang_Math());
1064 if (declared_id == actual_id) return; // acceptable alias
1065 break;
1066 default:
1067 break;
1068 }
1069 }
1070
1071 const char* declared_name = name_at(declared_id);
1072 const char* actual_name = name_at(actual_id);
1073 m = NULL;
1074 ttyLocker ttyl;
1075 if (xtty != NULL) {
1076 xtty->begin_elem("intrinsic_misdeclared actual='%s' declared='%s'",
1077 actual_name, declared_name);
1078 xtty->method(m);
1079 xtty->end_elem("%s", "");
1080 }
1081 if (PrintMiscellaneous && (WizardMode || Verbose)) {
1082 tty->print_cr("*** misidentified method; %s(%d) should be %s(%d):",
1083 declared_name, declared_id, actual_name, actual_id);
1084 m->print_short_name(tty);
1085 tty->cr();
1086 }
1087 }
1088 #endif //PRODUCT