< prev index next >
src/hotspot/share/opto/library_call.cpp
Print this page
@@ -35,19 +35,17 @@
#include "oops/klass.inline.hpp"
#include "oops/objArrayKlass.hpp"
#include "opto/addnode.hpp"
#include "opto/arraycopynode.hpp"
#include "opto/c2compiler.hpp"
-#include "opto/callGenerator.hpp"
#include "opto/castnode.hpp"
#include "opto/cfgnode.hpp"
#include "opto/convertnode.hpp"
#include "opto/countbitsnode.hpp"
-#include "opto/intrinsicnode.hpp"
#include "opto/idealKit.hpp"
+#include "opto/library_call.hpp"
#include "opto/mathexactnode.hpp"
-#include "opto/movenode.hpp"
#include "opto/mulnode.hpp"
#include "opto/narrowptrnode.hpp"
#include "opto/opaquenode.hpp"
#include "opto/parse.hpp"
#include "opto/runtime.hpp"
@@ -58,295 +56,10 @@
#include "runtime/objectMonitor.hpp"
#include "runtime/sharedRuntime.hpp"
#include "utilities/macros.hpp"
#include "utilities/powerOfTwo.hpp"
-class LibraryIntrinsic : public InlineCallGenerator {
- // Extend the set of intrinsics known to the runtime:
- public:
- private:
- bool _is_virtual;
- bool _does_virtual_dispatch;
- int8_t _predicates_count; // Intrinsic is predicated by several conditions
- int8_t _last_predicate; // Last generated predicate
- vmIntrinsics::ID _intrinsic_id;
-
- public:
- LibraryIntrinsic(ciMethod* m, bool is_virtual, int predicates_count, bool does_virtual_dispatch, vmIntrinsics::ID id)
- : InlineCallGenerator(m),
- _is_virtual(is_virtual),
- _does_virtual_dispatch(does_virtual_dispatch),
- _predicates_count((int8_t)predicates_count),
- _last_predicate((int8_t)-1),
- _intrinsic_id(id)
- {
- }
- virtual bool is_intrinsic() const { return true; }
- virtual bool is_virtual() const { return _is_virtual; }
- virtual bool is_predicated() const { return _predicates_count > 0; }
- virtual int predicates_count() const { return _predicates_count; }
- virtual bool does_virtual_dispatch() const { return _does_virtual_dispatch; }
- virtual JVMState* generate(JVMState* jvms);
- virtual Node* generate_predicate(JVMState* jvms, int predicate);
- vmIntrinsics::ID intrinsic_id() const { return _intrinsic_id; }
-};
-
-
-// Local helper class for LibraryIntrinsic:
-class LibraryCallKit : public GraphKit {
- private:
- LibraryIntrinsic* _intrinsic; // the library intrinsic being called
- Node* _result; // the result node, if any
- int _reexecute_sp; // the stack pointer when bytecode needs to be reexecuted
-
- const TypeOopPtr* sharpen_unsafe_type(Compile::AliasType* alias_type, const TypePtr *adr_type);
-
- public:
- LibraryCallKit(JVMState* jvms, LibraryIntrinsic* intrinsic)
- : GraphKit(jvms),
- _intrinsic(intrinsic),
- _result(NULL)
- {
- // Check if this is a root compile. In that case we don't have a caller.
- if (!jvms->has_method()) {
- _reexecute_sp = sp();
- } else {
- // Find out how many arguments the interpreter needs when deoptimizing
- // and save the stack pointer value so it can used by uncommon_trap.
- // We find the argument count by looking at the declared signature.
- bool ignored_will_link;
- ciSignature* declared_signature = NULL;
- ciMethod* ignored_callee = caller()->get_method_at_bci(bci(), ignored_will_link, &declared_signature);
- const int nargs = declared_signature->arg_size_for_bc(caller()->java_code_at_bci(bci()));
- _reexecute_sp = sp() + nargs; // "push" arguments back on stack
- }
- }
-
- virtual LibraryCallKit* is_LibraryCallKit() const { return (LibraryCallKit*)this; }
-
- ciMethod* caller() const { return jvms()->method(); }
- int bci() const { return jvms()->bci(); }
- LibraryIntrinsic* intrinsic() const { return _intrinsic; }
- vmIntrinsics::ID intrinsic_id() const { return _intrinsic->intrinsic_id(); }
- ciMethod* callee() const { return _intrinsic->method(); }
-
- bool try_to_inline(int predicate);
- Node* try_to_predicate(int predicate);
-
- void push_result() {
- // Push the result onto the stack.
- if (!stopped() && result() != NULL) {
- BasicType bt = result()->bottom_type()->basic_type();
- push_node(bt, result());
- }
- }
-
- private:
- void fatal_unexpected_iid(vmIntrinsics::ID iid) {
- fatal("unexpected intrinsic %d: %s", iid, vmIntrinsics::name_at(iid));
- }
-
- void set_result(Node* n) { assert(_result == NULL, "only set once"); _result = n; }
- void set_result(RegionNode* region, PhiNode* value);
- Node* result() { return _result; }
-
- virtual int reexecute_sp() { return _reexecute_sp; }
-
- // Helper functions to inline natives
- Node* generate_guard(Node* test, RegionNode* region, float true_prob);
- Node* generate_slow_guard(Node* test, RegionNode* region);
- Node* generate_fair_guard(Node* test, RegionNode* region);
- Node* generate_negative_guard(Node* index, RegionNode* region,
- // resulting CastII of index:
- Node* *pos_index = NULL);
- Node* generate_limit_guard(Node* offset, Node* subseq_length,
- Node* array_length,
- RegionNode* region);
- void generate_string_range_check(Node* array, Node* offset,
- Node* length, bool char_count);
- Node* generate_current_thread(Node* &tls_output);
- Node* load_mirror_from_klass(Node* klass);
- Node* load_klass_from_mirror_common(Node* mirror, bool never_see_null,
- RegionNode* region, int null_path,
- int offset);
- Node* load_klass_from_mirror(Node* mirror, bool never_see_null,
- RegionNode* region, int null_path) {
- int offset = java_lang_Class::klass_offset();
- return load_klass_from_mirror_common(mirror, never_see_null,
- region, null_path,
- offset);
- }
- Node* load_array_klass_from_mirror(Node* mirror, bool never_see_null,
- RegionNode* region, int null_path) {
- int offset = java_lang_Class::array_klass_offset();
- return load_klass_from_mirror_common(mirror, never_see_null,
- region, null_path,
- offset);
- }
- Node* generate_access_flags_guard(Node* kls,
- int modifier_mask, int modifier_bits,
- RegionNode* region);
- Node* generate_interface_guard(Node* kls, RegionNode* region);
- Node* generate_hidden_class_guard(Node* kls, RegionNode* region);
- Node* generate_array_guard(Node* kls, RegionNode* region) {
- return generate_array_guard_common(kls, region, false, false);
- }
- Node* generate_non_array_guard(Node* kls, RegionNode* region) {
- return generate_array_guard_common(kls, region, false, true);
- }
- Node* generate_objArray_guard(Node* kls, RegionNode* region) {
- return generate_array_guard_common(kls, region, true, false);
- }
- Node* generate_non_objArray_guard(Node* kls, RegionNode* region) {
- return generate_array_guard_common(kls, region, true, true);
- }
- Node* generate_array_guard_common(Node* kls, RegionNode* region,
- bool obj_array, bool not_array);
- Node* generate_virtual_guard(Node* obj_klass, RegionNode* slow_region);
- CallJavaNode* generate_method_call(vmIntrinsics::ID method_id,
- bool is_virtual = false, bool is_static = false);
- CallJavaNode* generate_method_call_static(vmIntrinsics::ID method_id) {
- return generate_method_call(method_id, false, true);
- }
- CallJavaNode* generate_method_call_virtual(vmIntrinsics::ID method_id) {
- return generate_method_call(method_id, true, false);
- }
- Node * load_field_from_object(Node * fromObj, const char * fieldName, const char * fieldTypeString, bool is_exact, bool is_static, ciInstanceKlass * fromKls);
- Node * field_address_from_object(Node * fromObj, const char * fieldName, const char * fieldTypeString, bool is_exact, bool is_static, ciInstanceKlass * fromKls);
-
- Node* make_string_method_node(int opcode, Node* str1_start, Node* cnt1, Node* str2_start, Node* cnt2, StrIntrinsicNode::ArgEnc ae);
- bool inline_string_compareTo(StrIntrinsicNode::ArgEnc ae);
- bool inline_string_indexOf(StrIntrinsicNode::ArgEnc ae);
- bool inline_string_indexOfI(StrIntrinsicNode::ArgEnc ae);
- Node* make_indexOf_node(Node* src_start, Node* src_count, Node* tgt_start, Node* tgt_count,
- RegionNode* region, Node* phi, StrIntrinsicNode::ArgEnc ae);
- bool inline_string_indexOfChar();
- bool inline_string_equals(StrIntrinsicNode::ArgEnc ae);
- bool inline_string_toBytesU();
- bool inline_string_getCharsU();
- bool inline_string_copy(bool compress);
- bool inline_string_char_access(bool is_store);
- Node* round_double_node(Node* n);
- bool runtime_math(const TypeFunc* call_type, address funcAddr, const char* funcName);
- bool inline_math_native(vmIntrinsics::ID id);
- bool inline_math(vmIntrinsics::ID id);
- bool inline_double_math(vmIntrinsics::ID id);
- template <typename OverflowOp>
- bool inline_math_overflow(Node* arg1, Node* arg2);
- void inline_math_mathExact(Node* math, Node* test);
- bool inline_math_addExactI(bool is_increment);
- bool inline_math_addExactL(bool is_increment);
- bool inline_math_multiplyExactI();
- bool inline_math_multiplyExactL();
- bool inline_math_multiplyHigh();
- bool inline_math_negateExactI();
- bool inline_math_negateExactL();
- bool inline_math_subtractExactI(bool is_decrement);
- bool inline_math_subtractExactL(bool is_decrement);
- bool inline_min_max(vmIntrinsics::ID id);
- bool inline_notify(vmIntrinsics::ID id);
- Node* generate_min_max(vmIntrinsics::ID id, Node* x, Node* y);
- // This returns Type::AnyPtr, RawPtr, or OopPtr.
- int classify_unsafe_addr(Node* &base, Node* &offset, BasicType type);
- Node* make_unsafe_address(Node*& base, Node* offset, DecoratorSet decorators, BasicType type = T_ILLEGAL, bool can_cast = false);
-
- typedef enum { Relaxed, Opaque, Volatile, Acquire, Release } AccessKind;
- DecoratorSet mo_decorator_for_access_kind(AccessKind kind);
- bool inline_unsafe_access(bool is_store, BasicType type, AccessKind kind, bool is_unaligned);
- static bool klass_needs_init_guard(Node* kls);
- bool inline_unsafe_allocate();
- bool inline_unsafe_newArray(bool uninitialized);
- bool inline_unsafe_writeback0();
- bool inline_unsafe_writebackSync0(bool is_pre);
- bool inline_unsafe_copyMemory();
- bool inline_native_currentThread();
-
- bool inline_native_time_funcs(address method, const char* funcName);
-#ifdef JFR_HAVE_INTRINSICS
- bool inline_native_classID();
- bool inline_native_getEventWriter();
-#endif
- bool inline_native_Class_query(vmIntrinsics::ID id);
- bool inline_native_subtype_check();
- bool inline_native_getLength();
- bool inline_array_copyOf(bool is_copyOfRange);
- bool inline_array_equals(StrIntrinsicNode::ArgEnc ae);
- bool inline_preconditions_checkIndex();
- void copy_to_clone(Node* obj, Node* alloc_obj, Node* obj_size, bool is_array);
- bool inline_native_clone(bool is_virtual);
- bool inline_native_Reflection_getCallerClass();
- // Helper function for inlining native object hash method
- bool inline_native_hashcode(bool is_virtual, bool is_static);
- bool inline_native_getClass();
-
- // Helper functions for inlining arraycopy
- bool inline_arraycopy();
- AllocateArrayNode* tightly_coupled_allocation(Node* ptr,
- RegionNode* slow_region);
- JVMState* arraycopy_restore_alloc_state(AllocateArrayNode* alloc, int& saved_reexecute_sp);
- void arraycopy_move_allocation_here(AllocateArrayNode* alloc, Node* dest, JVMState* saved_jvms, int saved_reexecute_sp,
- uint new_idx);
-
- typedef enum { LS_get_add, LS_get_set, LS_cmp_swap, LS_cmp_swap_weak, LS_cmp_exchange } LoadStoreKind;
- bool inline_unsafe_load_store(BasicType type, LoadStoreKind kind, AccessKind access_kind);
- bool inline_unsafe_fence(vmIntrinsics::ID id);
- bool inline_onspinwait();
- bool inline_fp_conversions(vmIntrinsics::ID id);
- bool inline_number_methods(vmIntrinsics::ID id);
- bool inline_reference_get();
- bool inline_Class_cast();
- bool inline_aescrypt_Block(vmIntrinsics::ID id);
- bool inline_cipherBlockChaining_AESCrypt(vmIntrinsics::ID id);
- bool inline_electronicCodeBook_AESCrypt(vmIntrinsics::ID id);
- bool inline_counterMode_AESCrypt(vmIntrinsics::ID id);
- Node* inline_cipherBlockChaining_AESCrypt_predicate(bool decrypting);
- Node* inline_electronicCodeBook_AESCrypt_predicate(bool decrypting);
- Node* inline_counterMode_AESCrypt_predicate();
- Node* get_key_start_from_aescrypt_object(Node* aescrypt_object);
- Node* get_original_key_start_from_aescrypt_object(Node* aescrypt_object);
- bool inline_ghash_processBlocks();
- bool inline_base64_encodeBlock();
- bool inline_digestBase_implCompress(vmIntrinsics::ID id);
- bool inline_digestBase_implCompressMB(int predicate);
- bool inline_digestBase_implCompressMB(Node* digestBaseObj, ciInstanceKlass* instklass,
- bool long_state, address stubAddr, const char *stubName,
- Node* src_start, Node* ofs, Node* limit);
- Node* get_state_from_digest_object(Node *digestBase_object);
- Node* get_long_state_from_digest_object(Node *digestBase_object);
- Node* inline_digestBase_implCompressMB_predicate(int predicate);
- bool inline_encodeISOArray();
- bool inline_updateCRC32();
- bool inline_updateBytesCRC32();
- bool inline_updateByteBufferCRC32();
- Node* get_table_from_crc32c_class(ciInstanceKlass *crc32c_class);
- bool inline_updateBytesCRC32C();
- bool inline_updateDirectByteBufferCRC32C();
- bool inline_updateBytesAdler32();
- bool inline_updateByteBufferAdler32();
- bool inline_multiplyToLen();
- bool inline_hasNegatives();
- bool inline_squareToLen();
- bool inline_mulAdd();
- bool inline_montgomeryMultiply();
- bool inline_montgomerySquare();
- bool inline_bigIntegerShift(bool isRightShift);
- bool inline_vectorizedMismatch();
- bool inline_fma(vmIntrinsics::ID id);
- bool inline_character_compare(vmIntrinsics::ID id);
- bool inline_fp_min_max(vmIntrinsics::ID id);
-
- bool inline_profileBoolean();
- bool inline_isCompileConstant();
- void clear_upper_avx() {
-#ifdef X86
- if (UseAVX >= 2) {
- C->set_clear_upper_avx(true);
- }
-#endif
- }
-};
-
//---------------------------make_vm_intrinsic----------------------------
CallGenerator* Compile::make_vm_intrinsic(ciMethod* m, bool is_virtual) {
vmIntrinsics::ID id = m->intrinsic_id();
assert(id != vmIntrinsics::_none, "must be a VM intrinsic");
@@ -451,10 +164,11 @@
tty->print("%s", msg);
}
}
C->gather_intrinsic_statistics(intrinsic_id(), is_virtual(), Compile::_intrinsic_failed);
C->print_inlining_update(this);
+
return NULL;
}
Node* LibraryIntrinsic::generate_predicate(JVMState* jvms, int predicate) {
LibraryCallKit kit(jvms, this);
@@ -528,11 +242,10 @@
// Insert the memory aliasing node
set_all_memory(reset_memory());
}
assert(merged_memory(), "");
-
switch (intrinsic_id()) {
case vmIntrinsics::_hashCode: return inline_native_hashcode(intrinsic()->is_virtual(), !is_static);
case vmIntrinsics::_identityHashCode: return inline_native_hashcode(/*!virtual*/ false, is_static);
case vmIntrinsics::_getClass: return inline_native_getClass();
@@ -905,10 +618,49 @@
case vmIntrinsics::_minF:
case vmIntrinsics::_maxD:
case vmIntrinsics::_minD:
return inline_fp_min_max(intrinsic_id());
+ case vmIntrinsics::_VectorUnaryOp:
+ return inline_vector_nary_operation(1);
+ case vmIntrinsics::_VectorBinaryOp:
+ return inline_vector_nary_operation(2);
+ case vmIntrinsics::_VectorTernaryOp:
+ return inline_vector_nary_operation(3);
+ case vmIntrinsics::_VectorBroadcastCoerced:
+ return inline_vector_broadcast_coerced();
+ case vmIntrinsics::_VectorShuffleIota:
+ return inline_vector_shuffle_iota();
+ case vmIntrinsics::_VectorShuffleToVector:
+ return inline_vector_shuffle_to_vector();
+ case vmIntrinsics::_VectorLoadOp:
+ return inline_vector_mem_operation(/*is_store=*/false);
+ case vmIntrinsics::_VectorStoreOp:
+ return inline_vector_mem_operation(/*is_store=*/true);
+ case vmIntrinsics::_VectorGatherOp:
+ return inline_vector_gather_scatter(/*is_scatter*/ false);
+ case vmIntrinsics::_VectorScatterOp:
+ return inline_vector_gather_scatter(/*is_scatter*/ true);
+ case vmIntrinsics::_VectorReductionCoerced:
+ return inline_vector_reduction();
+ case vmIntrinsics::_VectorTest:
+ return inline_vector_test();
+ case vmIntrinsics::_VectorBlend:
+ return inline_vector_blend();
+ case vmIntrinsics::_VectorRearrange:
+ return inline_vector_rearrange();
+ case vmIntrinsics::_VectorCompare:
+ return inline_vector_compare();
+ case vmIntrinsics::_VectorBroadcastInt:
+ return inline_vector_broadcast_int();
+ case vmIntrinsics::_VectorConvert:
+ return inline_vector_convert();
+ case vmIntrinsics::_VectorInsert:
+ return inline_vector_insert();
+ case vmIntrinsics::_VectorExtract:
+ return inline_vector_extract();
+
default:
// If you get here, it may be that someone has added a new intrinsic
// to the list in vmSymbols.hpp without implementing it here.
#ifndef PRODUCT
if ((PrintMiscellaneous && (Verbose || WizardMode)) || PrintOpto) {
@@ -2238,11 +1990,11 @@
// No information:
return Type::AnyPtr;
}
}
-inline Node* LibraryCallKit::make_unsafe_address(Node*& base, Node* offset, DecoratorSet decorators, BasicType type, bool can_cast) {
+Node* LibraryCallKit::make_unsafe_address(Node*& base, Node* offset, DecoratorSet decorators, BasicType type, bool can_cast) {
Node* uncasted_base = base;
int kind = classify_unsafe_addr(uncasted_base, offset, type);
if (kind == Type::RawPtr) {
return basic_plus_adr(top(), uncasted_base, offset);
} else if (kind == Type::AnyPtr) {
< prev index next >