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