annotate hotspot/src/share/vm/opto/macro.hpp @ 43483:17e7b1ef5a83

8173147: [ctw] fails during compilation of sun.security.krb5.internal.crypto.RsaMd5DesCksumType::calculateKeyedChecksum with " graph should be schedulable" Summary: Loads generated at uncommon trap from eliminated arraycopy have incorrect memory state Reviewed-by: thartmann
author roland
date Tue, 24 Jan 2017 09:40:05 +0100
parents 38b7b5772b4f
children
rev   line source
duke@1 1 /*
dcubed@30244 2 * Copyright (c) 2005, 2015, Oracle and/or its affiliates. All rights reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 6 * under the terms of the GNU General Public License version 2 only, as
duke@1 7 * published by the Free Software Foundation.
duke@1 8 *
duke@1 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 13 * accompanied this code).
duke@1 14 *
duke@1 15 * You should have received a copy of the GNU General Public License version
duke@1 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 18 *
trims@5547 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@5547 20 * or visit www.oracle.com if you need additional information or have any
trims@5547 21 * questions.
duke@1 22 *
duke@1 23 */
duke@1 24
stefank@7397 25 #ifndef SHARE_VM_OPTO_MACRO_HPP
stefank@7397 26 #define SHARE_VM_OPTO_MACRO_HPP
stefank@7397 27
stefank@7397 28 #include "opto/phase.hpp"
stefank@7397 29
duke@1 30 class AllocateNode;
duke@1 31 class AllocateArrayNode;
duke@1 32 class CallNode;
duke@1 33 class Node;
duke@1 34 class PhaseIterGVN;
duke@1 35
duke@1 36 class PhaseMacroExpand : public Phase {
duke@1 37 private:
duke@1 38 PhaseIterGVN &_igvn;
duke@1 39
roland@26166 40 // Helper methods roughly modeled after GraphKit:
duke@1 41 Node* top() const { return C->top(); }
duke@1 42 Node* intcon(jint con) const { return _igvn.intcon(con); }
duke@1 43 Node* longcon(jlong con) const { return _igvn.longcon(con); }
duke@1 44 Node* makecon(const Type *t) const { return _igvn.makecon(t); }
duke@1 45 Node* basic_plus_adr(Node* base, int offset) {
duke@1 46 return (offset == 0)? base: basic_plus_adr(base, MakeConX(offset));
duke@1 47 }
duke@1 48 Node* basic_plus_adr(Node* base, Node* ptr, int offset) {
duke@1 49 return (offset == 0)? ptr: basic_plus_adr(base, ptr, MakeConX(offset));
duke@1 50 }
duke@1 51 Node* basic_plus_adr(Node* base, Node* offset) {
duke@1 52 return basic_plus_adr(base, base, offset);
duke@1 53 }
duke@1 54 Node* basic_plus_adr(Node* base, Node* ptr, Node* offset) {
thartmann@24923 55 Node* adr = new AddPNode(base, ptr, offset);
duke@1 56 return transform_later(adr);
duke@1 57 }
duke@1 58 Node* transform_later(Node* n) {
duke@1 59 // equivalent to _gvn.transform in GraphKit, Ideal, etc.
duke@1 60 _igvn.register_new_node_with_optimizer(n);
duke@1 61 return n;
duke@1 62 }
duke@1 63 void set_eden_pointers(Node* &eden_top_adr, Node* &eden_end_adr);
duke@1 64 Node* make_load( Node* ctl, Node* mem, Node* base, int offset,
duke@1 65 const Type* value_type, BasicType bt);
duke@1 66 Node* make_store(Node* ctl, Node* mem, Node* base, int offset,
duke@1 67 Node* value, BasicType bt);
duke@1 68
duke@1 69 // projections extracted from a call node
duke@1 70 ProjNode *_fallthroughproj;
duke@1 71 ProjNode *_fallthroughcatchproj;
duke@1 72 ProjNode *_ioproj_fallthrough;
duke@1 73 ProjNode *_ioproj_catchall;
duke@1 74 ProjNode *_catchallcatchproj;
duke@1 75 ProjNode *_memproj_fallthrough;
duke@1 76 ProjNode *_memproj_catchall;
duke@1 77 ProjNode *_resproj;
duke@1 78
kvn@23491 79 // Additional data collected during macro expansion
kvn@23491 80 bool _has_locks;
duke@1 81
duke@1 82 void expand_allocate(AllocateNode *alloc);
duke@1 83 void expand_allocate_array(AllocateArrayNode *alloc);
duke@1 84 void expand_allocate_common(AllocateNode* alloc,
duke@1 85 Node* length,
duke@1 86 const TypeFunc* slow_call_type,
duke@1 87 address slow_call_address);
roland@32370 88 Node *value_from_mem(Node *mem, Node *ctl, BasicType ft, const Type *ftype, const TypeOopPtr *adr_t, AllocateNode *alloc);
roland@32370 89 Node *value_from_mem_phi(Node *mem, BasicType ft, const Type *ftype, const TypeOopPtr *adr_t, AllocateNode *alloc, Node_Stack *value_phis, int level);
kvn@246 90
kvn@17383 91 bool eliminate_boxing_node(CallStaticJavaNode *boxing);
kvn@246 92 bool eliminate_allocate_node(AllocateNode *alloc);
kvn@246 93 bool can_eliminate_allocation(AllocateNode *alloc, GrowableArray <SafePointNode *>& safepoints);
kvn@246 94 bool scalar_replacement(AllocateNode *alloc, GrowableArray <SafePointNode *>& safepoints_done);
kvn@17383 95 void process_users_of_allocation(CallNode *alloc);
kvn@246 96
kvn@246 97 void eliminate_card_mark(Node *cm);
kvn@11445 98 void mark_eliminated_box(Node* box, Node* obj);
kvn@9977 99 void mark_eliminated_locking_nodes(AbstractLockNode *alock);
kvn@239 100 bool eliminate_locking_node(AbstractLockNode *alock);
duke@1 101 void expand_lock_node(LockNode *lock);
duke@1 102 void expand_unlock_node(UnlockNode *unlock);
duke@1 103
roland@26166 104 // More helper methods modeled after GraphKit for array copy
roland@26166 105 void insert_mem_bar(Node** ctrl, Node** mem, int opcode, Node* precedent = NULL);
roland@26166 106 Node* array_element_address(Node* ary, Node* idx, BasicType elembt);
roland@26166 107 Node* ConvI2L(Node* offset);
roland@26166 108 Node* make_leaf_call(Node* ctrl, Node* mem,
roland@26166 109 const TypeFunc* call_type, address call_addr,
roland@26166 110 const char* call_name,
roland@26166 111 const TypePtr* adr_type,
roland@26166 112 Node* parm0 = NULL, Node* parm1 = NULL,
roland@26166 113 Node* parm2 = NULL, Node* parm3 = NULL,
roland@26166 114 Node* parm4 = NULL, Node* parm5 = NULL,
roland@26166 115 Node* parm6 = NULL, Node* parm7 = NULL);
roland@26166 116
roland@26166 117 // helper methods modeled after LibraryCallKit for array copy
roland@26166 118 Node* generate_guard(Node** ctrl, Node* test, RegionNode* region, float true_prob);
roland@26166 119 Node* generate_slow_guard(Node** ctrl, Node* test, RegionNode* region);
roland@26166 120 void generate_negative_guard(Node** ctrl, Node* index, RegionNode* region);
roland@26166 121 void generate_limit_guard(Node** ctrl, Node* offset, Node* subseq_length, Node* array_length, RegionNode* region);
roland@26166 122
roland@26166 123 // More helper methods for array copy
roland@26166 124 Node* generate_nonpositive_guard(Node** ctrl, Node* index, bool never_negative);
roland@26166 125 void finish_arraycopy_call(Node* call, Node** ctrl, MergeMemNode** mem, const TypePtr* adr_type);
roland@26166 126 address basictype2arraycopy(BasicType t,
roland@26166 127 Node* src_offset,
roland@26166 128 Node* dest_offset,
roland@26166 129 bool disjoint_bases,
roland@26166 130 const char* &name,
roland@26166 131 bool dest_uninitialized);
roland@26166 132 Node* generate_arraycopy(ArrayCopyNode *ac,
roland@26166 133 AllocateArrayNode* alloc,
roland@26166 134 Node** ctrl, MergeMemNode* mem, Node** io,
roland@26166 135 const TypePtr* adr_type,
roland@26166 136 BasicType basic_elem_type,
roland@26166 137 Node* src, Node* src_offset,
roland@26166 138 Node* dest, Node* dest_offset,
roland@26166 139 Node* copy_length,
roland@26166 140 bool disjoint_bases = false,
roland@26166 141 bool length_never_negative = false,
roland@26166 142 RegionNode* slow_region = NULL);
roland@26166 143 void generate_clear_array(Node* ctrl, MergeMemNode* merge_mem,
roland@26166 144 const TypePtr* adr_type,
roland@26166 145 Node* dest,
roland@26166 146 BasicType basic_elem_type,
roland@26166 147 Node* slice_idx,
roland@26166 148 Node* slice_len,
roland@26166 149 Node* dest_size);
roland@26166 150 bool generate_block_arraycopy(Node** ctrl, MergeMemNode** mem, Node* io,
roland@26166 151 const TypePtr* adr_type,
roland@26166 152 BasicType basic_elem_type,
roland@26166 153 AllocateNode* alloc,
roland@26166 154 Node* src, Node* src_offset,
roland@26166 155 Node* dest, Node* dest_offset,
roland@26166 156 Node* dest_size, bool dest_uninitialized);
roland@26166 157 MergeMemNode* generate_slow_arraycopy(ArrayCopyNode *ac,
roland@26166 158 Node** ctrl, Node* mem, Node** io,
roland@26166 159 const TypePtr* adr_type,
roland@26166 160 Node* src, Node* src_offset,
roland@26166 161 Node* dest, Node* dest_offset,
roland@26166 162 Node* copy_length, bool dest_uninitialized);
roland@26166 163 Node* generate_checkcast_arraycopy(Node** ctrl, MergeMemNode** mem,
roland@26166 164 const TypePtr* adr_type,
roland@26166 165 Node* dest_elem_klass,
roland@26166 166 Node* src, Node* src_offset,
roland@26166 167 Node* dest, Node* dest_offset,
roland@26166 168 Node* copy_length, bool dest_uninitialized);
roland@26166 169 Node* generate_generic_arraycopy(Node** ctrl, MergeMemNode** mem,
roland@26166 170 const TypePtr* adr_type,
roland@26166 171 Node* src, Node* src_offset,
roland@26166 172 Node* dest, Node* dest_offset,
roland@26166 173 Node* copy_length, bool dest_uninitialized);
roland@26166 174 void generate_unchecked_arraycopy(Node** ctrl, MergeMemNode** mem,
roland@26166 175 const TypePtr* adr_type,
roland@26166 176 BasicType basic_elem_type,
roland@26166 177 bool disjoint_bases,
roland@26166 178 Node* src, Node* src_offset,
roland@26166 179 Node* dest, Node* dest_offset,
roland@26166 180 Node* copy_length, bool dest_uninitialized);
roland@26166 181
roland@26166 182 void expand_arraycopy_node(ArrayCopyNode *ac);
roland@26166 183
duke@1 184 int replace_input(Node *use, Node *oldref, Node *newref);
duke@1 185 void copy_call_debug_info(CallNode *oldcall, CallNode * newcall);
kvn@1500 186 Node* opt_bits_test(Node* ctrl, Node* region, int edge, Node* word, int mask, int bits, bool return_fast_path = false);
duke@1 187 void copy_predefined_input_for_runtime_call(Node * ctrl, CallNode* oldcall, CallNode* call);
duke@1 188 CallNode* make_slow_call(CallNode *oldcall, const TypeFunc* slow_call_type, address slow_call,
dcubed@30244 189 const char* leaf_name, Node* slow_path, Node* parm0, Node* parm1,
dcubed@30244 190 Node* parm2);
duke@1 191 void extract_call_projections(CallNode *call);
duke@1 192
duke@1 193 Node* initialize_object(AllocateNode* alloc,
duke@1 194 Node* control, Node* rawmem, Node* object,
duke@1 195 Node* klass_node, Node* length,
duke@1 196 Node* size_in_bytes);
duke@1 197
duke@1 198 Node* prefetch_allocation(Node* i_o,
duke@1 199 Node*& needgc_false, Node*& contended_phi_rawmem,
duke@1 200 Node* old_eden_top, Node* new_eden_top,
duke@1 201 Node* length);
duke@1 202
roland@43483 203 Node* make_arraycopy_load(ArrayCopyNode* ac, intptr_t offset, Node* ctl, Node* mem, BasicType ft, const Type *ftype, AllocateNode *alloc);
roland@32370 204
duke@1 205 public:
kvn@23491 206 PhaseMacroExpand(PhaseIterGVN &igvn) : Phase(Macro_Expand), _igvn(igvn), _has_locks(false) {
coleenp@360 207 _igvn.set_delay_transform(true);
coleenp@360 208 }
kvn@11191 209 void eliminate_macro_nodes();
duke@1 210 bool expand_macro_nodes();
duke@1 211
duke@1 212 };
stefank@7397 213
stefank@7397 214 #endif // SHARE_VM_OPTO_MACRO_HPP