| File: | jdk/src/hotspot/share/opto/library_call.hpp |
| Warning: | line 89, column 17 Value stored to 'ignored_callee' during its initialization is never read |
Press '?' to see keyboard shortcuts
Keyboard shortcuts:
| 1 | /* |
| 2 | * Copyright (c) 2020, 2021, 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 "ci/ciMethod.hpp" |
| 26 | #include "classfile/javaClasses.hpp" |
| 27 | #include "opto/callGenerator.hpp" |
| 28 | #include "opto/graphKit.hpp" |
| 29 | #include "opto/castnode.hpp" |
| 30 | #include "opto/convertnode.hpp" |
| 31 | #include "opto/intrinsicnode.hpp" |
| 32 | #include "opto/movenode.hpp" |
| 33 | |
| 34 | class LibraryIntrinsic : public InlineCallGenerator { |
| 35 | // Extend the set of intrinsics known to the runtime: |
| 36 | public: |
| 37 | private: |
| 38 | bool _is_virtual; |
| 39 | bool _does_virtual_dispatch; |
| 40 | int8_t _predicates_count; // Intrinsic is predicated by several conditions |
| 41 | int8_t _last_predicate; // Last generated predicate |
| 42 | vmIntrinsics::ID _intrinsic_id; |
| 43 | |
| 44 | public: |
| 45 | LibraryIntrinsic(ciMethod* m, bool is_virtual, int predicates_count, bool does_virtual_dispatch, vmIntrinsics::ID id) |
| 46 | : InlineCallGenerator(m), |
| 47 | _is_virtual(is_virtual), |
| 48 | _does_virtual_dispatch(does_virtual_dispatch), |
| 49 | _predicates_count((int8_t)predicates_count), |
| 50 | _last_predicate((int8_t)-1), |
| 51 | _intrinsic_id(id) |
| 52 | { |
| 53 | } |
| 54 | virtual bool is_intrinsic() const { return true; } |
| 55 | virtual bool is_virtual() const { return _is_virtual; } |
| 56 | virtual bool is_predicated() const { return _predicates_count > 0; } |
| 57 | virtual int predicates_count() const { return _predicates_count; } |
| 58 | virtual bool does_virtual_dispatch() const { return _does_virtual_dispatch; } |
| 59 | virtual JVMState* generate(JVMState* jvms); |
| 60 | virtual Node* generate_predicate(JVMState* jvms, int predicate); |
| 61 | vmIntrinsics::ID intrinsic_id() const { return _intrinsic_id; } |
| 62 | }; |
| 63 | |
| 64 | |
| 65 | // Local helper class for LibraryIntrinsic: |
| 66 | class LibraryCallKit : public GraphKit { |
| 67 | private: |
| 68 | LibraryIntrinsic* _intrinsic; // the library intrinsic being called |
| 69 | Node* _result; // the result node, if any |
| 70 | int _reexecute_sp; // the stack pointer when bytecode needs to be reexecuted |
| 71 | |
| 72 | const TypeOopPtr* sharpen_unsafe_type(Compile::AliasType* alias_type, const TypePtr *adr_type); |
| 73 | |
| 74 | public: |
| 75 | LibraryCallKit(JVMState* jvms, LibraryIntrinsic* intrinsic) |
| 76 | : GraphKit(jvms), |
| 77 | _intrinsic(intrinsic), |
| 78 | _result(NULL__null) |
| 79 | { |
| 80 | // Check if this is a root compile. In that case we don't have a caller. |
| 81 | if (!jvms->has_method()) { |
| 82 | _reexecute_sp = sp(); |
| 83 | } else { |
| 84 | // Find out how many arguments the interpreter needs when deoptimizing |
| 85 | // and save the stack pointer value so it can used by uncommon_trap. |
| 86 | // We find the argument count by looking at the declared signature. |
| 87 | bool ignored_will_link; |
| 88 | ciSignature* declared_signature = NULL__null; |
| 89 | ciMethod* ignored_callee = caller()->get_method_at_bci(bci(), ignored_will_link, &declared_signature); |
Value stored to 'ignored_callee' during its initialization is never read | |
| 90 | const int nargs = declared_signature->arg_size_for_bc(caller()->java_code_at_bci(bci())); |
| 91 | _reexecute_sp = sp() + nargs; // "push" arguments back on stack |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | virtual LibraryCallKit* is_LibraryCallKit() const { return (LibraryCallKit*)this; } |
| 96 | |
| 97 | ciMethod* caller() const { return jvms()->method(); } |
| 98 | int bci() const { return jvms()->bci(); } |
| 99 | LibraryIntrinsic* intrinsic() const { return _intrinsic; } |
| 100 | vmIntrinsics::ID intrinsic_id() const { return _intrinsic->intrinsic_id(); } |
| 101 | ciMethod* callee() const { return _intrinsic->method(); } |
| 102 | |
| 103 | bool try_to_inline(int predicate); |
| 104 | Node* try_to_predicate(int predicate); |
| 105 | |
| 106 | void push_result() { |
| 107 | // Push the result onto the stack. |
| 108 | if (!stopped() && result() != NULL__null) { |
| 109 | BasicType bt = result()->bottom_type()->basic_type(); |
| 110 | push_node(bt, result()); |
| 111 | } |
| 112 | } |
| 113 | |
| 114 | private: |
| 115 | void fatal_unexpected_iid(vmIntrinsics::ID iid) { |
| 116 | fatal("unexpected intrinsic %d: %s", vmIntrinsics::as_int(iid), vmIntrinsics::name_at(iid))do { (*g_assert_poison) = 'X';; report_fatal(INTERNAL_ERROR, "/home/daniel/Projects/java/jdk/src/hotspot/share/opto/library_call.hpp" , 116, "unexpected intrinsic %d: %s", vmIntrinsics::as_int(iid ), vmIntrinsics::name_at(iid)); ::breakpoint(); } while (0); |
| 117 | } |
| 118 | |
| 119 | void set_result(Node* n) { assert(_result == NULL, "only set once")do { if (!(_result == __null)) { (*g_assert_poison) = 'X';; report_vm_error ("/home/daniel/Projects/java/jdk/src/hotspot/share/opto/library_call.hpp" , 119, "assert(" "_result == __null" ") failed", "only set once" ); ::breakpoint(); } } while (0); _result = n; } |
| 120 | void set_result(RegionNode* region, PhiNode* value); |
| 121 | Node* result() { return _result; } |
| 122 | |
| 123 | virtual int reexecute_sp() { return _reexecute_sp; } |
| 124 | |
| 125 | // Helper functions to inline natives |
| 126 | Node* generate_guard(Node* test, RegionNode* region, float true_prob); |
| 127 | Node* generate_slow_guard(Node* test, RegionNode* region); |
| 128 | Node* generate_fair_guard(Node* test, RegionNode* region); |
| 129 | Node* generate_negative_guard(Node* index, RegionNode* region, |
| 130 | // resulting CastII of index: |
| 131 | Node* *pos_index = NULL__null); |
| 132 | Node* generate_limit_guard(Node* offset, Node* subseq_length, |
| 133 | Node* array_length, |
| 134 | RegionNode* region); |
| 135 | void generate_string_range_check(Node* array, Node* offset, |
| 136 | Node* length, bool char_count); |
| 137 | Node* generate_current_thread(Node* &tls_output); |
| 138 | Node* load_mirror_from_klass(Node* klass); |
| 139 | Node* load_klass_from_mirror_common(Node* mirror, bool never_see_null, |
| 140 | RegionNode* region, int null_path, |
| 141 | int offset); |
| 142 | Node* load_klass_from_mirror(Node* mirror, bool never_see_null, |
| 143 | RegionNode* region, int null_path) { |
| 144 | int offset = java_lang_Class::klass_offset(); |
| 145 | return load_klass_from_mirror_common(mirror, never_see_null, |
| 146 | region, null_path, |
| 147 | offset); |
| 148 | } |
| 149 | Node* load_array_klass_from_mirror(Node* mirror, bool never_see_null, |
| 150 | RegionNode* region, int null_path) { |
| 151 | int offset = java_lang_Class::array_klass_offset(); |
| 152 | return load_klass_from_mirror_common(mirror, never_see_null, |
| 153 | region, null_path, |
| 154 | offset); |
| 155 | } |
| 156 | Node* generate_access_flags_guard(Node* kls, |
| 157 | int modifier_mask, int modifier_bits, |
| 158 | RegionNode* region); |
| 159 | Node* generate_interface_guard(Node* kls, RegionNode* region); |
| 160 | Node* generate_hidden_class_guard(Node* kls, RegionNode* region); |
| 161 | Node* generate_array_guard(Node* kls, RegionNode* region) { |
| 162 | return generate_array_guard_common(kls, region, false, false); |
| 163 | } |
| 164 | Node* generate_non_array_guard(Node* kls, RegionNode* region) { |
| 165 | return generate_array_guard_common(kls, region, false, true); |
| 166 | } |
| 167 | Node* generate_objArray_guard(Node* kls, RegionNode* region) { |
| 168 | return generate_array_guard_common(kls, region, true, false); |
| 169 | } |
| 170 | Node* generate_non_objArray_guard(Node* kls, RegionNode* region) { |
| 171 | return generate_array_guard_common(kls, region, true, true); |
| 172 | } |
| 173 | Node* generate_array_guard_common(Node* kls, RegionNode* region, |
| 174 | bool obj_array, bool not_array); |
| 175 | Node* generate_virtual_guard(Node* obj_klass, RegionNode* slow_region); |
| 176 | CallJavaNode* generate_method_call(vmIntrinsics::ID method_id, |
| 177 | bool is_virtual = false, bool is_static = false); |
| 178 | CallJavaNode* generate_method_call_static(vmIntrinsics::ID method_id) { |
| 179 | return generate_method_call(method_id, false, true); |
| 180 | } |
| 181 | CallJavaNode* generate_method_call_virtual(vmIntrinsics::ID method_id) { |
| 182 | return generate_method_call(method_id, true, false); |
| 183 | } |
| 184 | Node* load_field_from_object(Node* fromObj, const char* fieldName, const char* fieldTypeString, DecoratorSet decorators, bool is_static, ciInstanceKlass* fromKls); |
| 185 | Node* field_address_from_object(Node* fromObj, const char* fieldName, const char* fieldTypeString, bool is_exact, bool is_static, ciInstanceKlass* fromKls); |
| 186 | |
| 187 | Node* make_string_method_node(int opcode, Node* str1_start, Node* cnt1, Node* str2_start, Node* cnt2, StrIntrinsicNode::ArgEnc ae); |
| 188 | bool inline_string_compareTo(StrIntrinsicNode::ArgEnc ae); |
| 189 | bool inline_string_indexOf(StrIntrinsicNode::ArgEnc ae); |
| 190 | bool inline_string_indexOfI(StrIntrinsicNode::ArgEnc ae); |
| 191 | Node* make_indexOf_node(Node* src_start, Node* src_count, Node* tgt_start, Node* tgt_count, |
| 192 | RegionNode* region, Node* phi, StrIntrinsicNode::ArgEnc ae); |
| 193 | bool inline_string_indexOfChar(StrIntrinsicNode::ArgEnc ae); |
| 194 | bool inline_string_equals(StrIntrinsicNode::ArgEnc ae); |
| 195 | bool inline_string_toBytesU(); |
| 196 | bool inline_string_getCharsU(); |
| 197 | bool inline_string_copy(bool compress); |
| 198 | bool inline_string_char_access(bool is_store); |
| 199 | Node* round_double_node(Node* n); |
| 200 | bool runtime_math(const TypeFunc* call_type, address funcAddr, const char* funcName); |
| 201 | bool inline_math_native(vmIntrinsics::ID id); |
| 202 | bool inline_math(vmIntrinsics::ID id); |
| 203 | bool inline_double_math(vmIntrinsics::ID id); |
| 204 | bool inline_math_pow(); |
| 205 | template <typename OverflowOp> |
| 206 | bool inline_math_overflow(Node* arg1, Node* arg2); |
| 207 | void inline_math_mathExact(Node* math, Node* test); |
| 208 | bool inline_math_addExactI(bool is_increment); |
| 209 | bool inline_math_addExactL(bool is_increment); |
| 210 | bool inline_math_multiplyExactI(); |
| 211 | bool inline_math_multiplyExactL(); |
| 212 | bool inline_math_multiplyHigh(); |
| 213 | bool inline_math_unsignedMultiplyHigh(); |
| 214 | bool inline_math_negateExactI(); |
| 215 | bool inline_math_negateExactL(); |
| 216 | bool inline_math_subtractExactI(bool is_decrement); |
| 217 | bool inline_math_subtractExactL(bool is_decrement); |
| 218 | bool inline_min_max(vmIntrinsics::ID id); |
| 219 | bool inline_notify(vmIntrinsics::ID id); |
| 220 | Node* generate_min_max(vmIntrinsics::ID id, Node* x, Node* y); |
| 221 | // This returns Type::AnyPtr, RawPtr, or OopPtr. |
| 222 | int classify_unsafe_addr(Node* &base, Node* &offset, BasicType type); |
| 223 | Node* make_unsafe_address(Node*& base, Node* offset, BasicType type = T_ILLEGAL, bool can_cast = false); |
| 224 | |
| 225 | typedef enum { Relaxed, Opaque, Volatile, Acquire, Release } AccessKind; |
| 226 | DecoratorSet mo_decorator_for_access_kind(AccessKind kind); |
| 227 | bool inline_unsafe_access(bool is_store, BasicType type, AccessKind kind, bool is_unaligned); |
| 228 | static bool klass_needs_init_guard(Node* kls); |
| 229 | bool inline_unsafe_allocate(); |
| 230 | bool inline_unsafe_newArray(bool uninitialized); |
| 231 | bool inline_unsafe_writeback0(); |
| 232 | bool inline_unsafe_writebackSync0(bool is_pre); |
| 233 | bool inline_unsafe_copyMemory(); |
| 234 | bool inline_native_currentThread(); |
| 235 | |
| 236 | bool inline_native_time_funcs(address method, const char* funcName); |
| 237 | #ifdef JFR_HAVE_INTRINSICS |
| 238 | bool inline_native_classID(); |
| 239 | bool inline_native_getEventWriter(); |
| 240 | #endif |
| 241 | bool inline_native_Class_query(vmIntrinsics::ID id); |
| 242 | bool inline_native_subtype_check(); |
| 243 | bool inline_native_getLength(); |
| 244 | bool inline_array_copyOf(bool is_copyOfRange); |
| 245 | bool inline_array_equals(StrIntrinsicNode::ArgEnc ae); |
| 246 | bool inline_preconditions_checkIndex(BasicType bt); |
| 247 | void copy_to_clone(Node* obj, Node* alloc_obj, Node* obj_size, bool is_array); |
| 248 | bool inline_native_clone(bool is_virtual); |
| 249 | bool inline_native_Reflection_getCallerClass(); |
| 250 | // Helper function for inlining native object hash method |
| 251 | bool inline_native_hashcode(bool is_virtual, bool is_static); |
| 252 | bool inline_native_getClass(); |
| 253 | |
| 254 | // Helper functions for inlining arraycopy |
| 255 | bool inline_arraycopy(); |
| 256 | AllocateArrayNode* tightly_coupled_allocation(Node* ptr); |
| 257 | JVMState* arraycopy_restore_alloc_state(AllocateArrayNode* alloc, int& saved_reexecute_sp); |
| 258 | void arraycopy_move_allocation_here(AllocateArrayNode* alloc, Node* dest, JVMState* saved_jvms, int saved_reexecute_sp, |
| 259 | uint new_idx); |
| 260 | |
| 261 | typedef enum { LS_get_add, LS_get_set, LS_cmp_swap, LS_cmp_swap_weak, LS_cmp_exchange } LoadStoreKind; |
| 262 | bool inline_unsafe_load_store(BasicType type, LoadStoreKind kind, AccessKind access_kind); |
| 263 | bool inline_unsafe_fence(vmIntrinsics::ID id); |
| 264 | bool inline_onspinwait(); |
| 265 | bool inline_fp_conversions(vmIntrinsics::ID id); |
| 266 | bool inline_number_methods(vmIntrinsics::ID id); |
| 267 | bool inline_reference_get(); |
| 268 | bool inline_reference_refersTo0(bool is_phantom); |
| 269 | bool inline_Class_cast(); |
| 270 | bool inline_aescrypt_Block(vmIntrinsics::ID id); |
| 271 | bool inline_cipherBlockChaining_AESCrypt(vmIntrinsics::ID id); |
| 272 | bool inline_electronicCodeBook_AESCrypt(vmIntrinsics::ID id); |
| 273 | bool inline_counterMode_AESCrypt(vmIntrinsics::ID id); |
| 274 | Node* inline_cipherBlockChaining_AESCrypt_predicate(bool decrypting); |
| 275 | Node* inline_electronicCodeBook_AESCrypt_predicate(bool decrypting); |
| 276 | Node* inline_counterMode_AESCrypt_predicate(); |
| 277 | Node* get_key_start_from_aescrypt_object(Node* aescrypt_object); |
| 278 | bool inline_ghash_processBlocks(); |
| 279 | bool inline_base64_encodeBlock(); |
| 280 | bool inline_base64_decodeBlock(); |
| 281 | bool inline_digestBase_implCompress(vmIntrinsics::ID id); |
| 282 | bool inline_digestBase_implCompressMB(int predicate); |
| 283 | bool inline_digestBase_implCompressMB(Node* digestBaseObj, ciInstanceKlass* instklass, |
| 284 | const char* state_type, address stubAddr, const char *stubName, |
| 285 | Node* src_start, Node* ofs, Node* limit); |
| 286 | Node* get_state_from_digest_object(Node *digestBase_object, const char* state_type); |
| 287 | Node* get_digest_length_from_digest_object(Node *digestBase_object); |
| 288 | Node* inline_digestBase_implCompressMB_predicate(int predicate); |
| 289 | bool inline_encodeISOArray(bool ascii); |
| 290 | bool inline_updateCRC32(); |
| 291 | bool inline_updateBytesCRC32(); |
| 292 | bool inline_updateByteBufferCRC32(); |
| 293 | Node* get_table_from_crc32c_class(ciInstanceKlass *crc32c_class); |
| 294 | bool inline_updateBytesCRC32C(); |
| 295 | bool inline_updateDirectByteBufferCRC32C(); |
| 296 | bool inline_updateBytesAdler32(); |
| 297 | bool inline_updateByteBufferAdler32(); |
| 298 | bool inline_multiplyToLen(); |
| 299 | bool inline_hasNegatives(); |
| 300 | bool inline_squareToLen(); |
| 301 | bool inline_mulAdd(); |
| 302 | bool inline_montgomeryMultiply(); |
| 303 | bool inline_montgomerySquare(); |
| 304 | bool inline_bigIntegerShift(bool isRightShift); |
| 305 | bool inline_vectorizedMismatch(); |
| 306 | bool inline_fma(vmIntrinsics::ID id); |
| 307 | bool inline_character_compare(vmIntrinsics::ID id); |
| 308 | bool inline_fp_min_max(vmIntrinsics::ID id); |
| 309 | bool inline_galoisCounterMode_AESCrypt(); |
| 310 | Node* inline_galoisCounterMode_AESCrypt_predicate(); |
| 311 | |
| 312 | bool inline_profileBoolean(); |
| 313 | bool inline_isCompileConstant(); |
| 314 | |
| 315 | // Vector API support |
| 316 | bool inline_vector_nary_operation(int n); |
| 317 | bool inline_vector_frombits_coerced(); |
| 318 | bool inline_vector_shuffle_to_vector(); |
| 319 | bool inline_vector_shuffle_iota(); |
| 320 | bool inline_vector_mask_operation(); |
| 321 | bool inline_vector_mem_operation(bool is_store); |
| 322 | bool inline_vector_mem_masked_operation(bool is_store); |
| 323 | bool inline_vector_gather_scatter(bool is_scatter); |
| 324 | bool inline_vector_reduction(); |
| 325 | bool inline_vector_test(); |
| 326 | bool inline_vector_blend(); |
| 327 | bool inline_vector_rearrange(); |
| 328 | bool inline_vector_compare(); |
| 329 | bool inline_vector_broadcast_int(); |
| 330 | bool inline_vector_convert(); |
| 331 | bool inline_vector_extract(); |
| 332 | bool inline_vector_insert(); |
| 333 | Node* gen_call_to_svml(int vector_api_op_id, BasicType bt, int num_elem, Node* opd1, Node* opd2); |
| 334 | |
| 335 | enum VectorMaskUseType { |
| 336 | VecMaskUseLoad = 1 << 0, |
| 337 | VecMaskUseStore = 1 << 1, |
| 338 | VecMaskUseAll = VecMaskUseLoad | VecMaskUseStore, |
| 339 | VecMaskUsePred = 1 << 2, |
| 340 | VecMaskNotUsed = 1 << 3 |
| 341 | }; |
| 342 | |
| 343 | bool arch_supports_vector(int op, int num_elem, BasicType type, VectorMaskUseType mask_use_type, bool has_scalar_args = false); |
| 344 | bool arch_supports_vector_rotate(int opc, int num_elem, BasicType elem_bt, VectorMaskUseType mask_use_type, bool has_scalar_args = false); |
| 345 | |
| 346 | void clear_upper_avx() { |
| 347 | #ifdef X86 |
| 348 | if (UseAVX >= 2) { |
| 349 | C->set_clear_upper_avx(true); |
| 350 | } |
| 351 | #endif |
| 352 | } |
| 353 | |
| 354 | bool inline_getObjectSize(); |
| 355 | |
| 356 | bool inline_blackhole(); |
| 357 | }; |
| 358 |