|
1 /* |
|
2 * Copyright (c) 2015, 2018, 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 #include "precompiled.hpp" |
|
25 #include "opto/compile.hpp" |
|
26 #include "opto/castnode.hpp" |
|
27 #include "opto/graphKit.hpp" |
|
28 #include "opto/idealKit.hpp" |
|
29 #include "opto/loopnode.hpp" |
|
30 #include "opto/macro.hpp" |
|
31 #include "opto/node.hpp" |
|
32 #include "opto/type.hpp" |
|
33 #include "utilities/macros.hpp" |
|
34 #include "gc/z/c2/zBarrierSetC2.hpp" |
|
35 #include "gc/z/zThreadLocalData.hpp" |
|
36 #include "gc/z/zBarrierSetRuntime.hpp" |
|
37 |
|
38 ZBarrierSetC2State::ZBarrierSetC2State(Arena* comp_arena) |
|
39 : _load_barrier_nodes(new (comp_arena) GrowableArray<LoadBarrierNode*>(comp_arena, 8, 0, NULL)) {} |
|
40 |
|
41 int ZBarrierSetC2State::load_barrier_count() const { |
|
42 return _load_barrier_nodes->length(); |
|
43 } |
|
44 |
|
45 void ZBarrierSetC2State::add_load_barrier_node(LoadBarrierNode * n) { |
|
46 assert(!_load_barrier_nodes->contains(n), " duplicate entry in expand list"); |
|
47 _load_barrier_nodes->append(n); |
|
48 } |
|
49 |
|
50 void ZBarrierSetC2State::remove_load_barrier_node(LoadBarrierNode * n) { |
|
51 // this function may be called twice for a node so check |
|
52 // that the node is in the array before attempting to remove it |
|
53 if (_load_barrier_nodes->contains(n)) { |
|
54 _load_barrier_nodes->remove(n); |
|
55 } |
|
56 } |
|
57 |
|
58 LoadBarrierNode* ZBarrierSetC2State::load_barrier_node(int idx) const { |
|
59 return _load_barrier_nodes->at(idx); |
|
60 } |
|
61 |
|
62 void* ZBarrierSetC2::create_barrier_state(Arena* comp_arena) const { |
|
63 return new(comp_arena) ZBarrierSetC2State(comp_arena); |
|
64 } |
|
65 |
|
66 ZBarrierSetC2State* ZBarrierSetC2::state() const { |
|
67 return reinterpret_cast<ZBarrierSetC2State*>(Compile::current()->barrier_set_state()); |
|
68 } |
|
69 |
|
70 bool ZBarrierSetC2::is_gc_barrier_node(Node* node) const { |
|
71 return node->is_LoadBarrier(); |
|
72 } |
|
73 |
|
74 void ZBarrierSetC2::register_potential_barrier_node(Node* node) const { |
|
75 if (node->is_LoadBarrier()) { |
|
76 state()->add_load_barrier_node(node->as_LoadBarrier()); |
|
77 } |
|
78 } |
|
79 |
|
80 void ZBarrierSetC2::unregister_potential_barrier_node(Node* node) const { |
|
81 if (node->is_LoadBarrier()) { |
|
82 state()->remove_load_barrier_node(node->as_LoadBarrier()); |
|
83 } |
|
84 } |
|
85 |
|
86 void ZBarrierSetC2::eliminate_useless_gc_barriers(Unique_Node_List &useful) const { |
|
87 // Remove useless LoadBarrier nodes |
|
88 ZBarrierSetC2State* s = state(); |
|
89 for (int i = s->load_barrier_count()-1; i >= 0; i--) { |
|
90 LoadBarrierNode* n = s->load_barrier_node(i); |
|
91 if (!useful.member(n)) { |
|
92 unregister_potential_barrier_node(n); |
|
93 } |
|
94 } |
|
95 } |
|
96 |
|
97 void ZBarrierSetC2::enqueue_useful_gc_barrier(Unique_Node_List &worklist, Node* node) const { |
|
98 if (node->is_LoadBarrier() && !node->as_LoadBarrier()->has_true_uses()) { |
|
99 worklist.push(node); |
|
100 } |
|
101 } |
|
102 |
|
103 void ZBarrierSetC2::find_dominating_barriers(PhaseIterGVN& igvn) { |
|
104 // Look for dominating barriers on the same address only once all |
|
105 // other loop opts are over: loop opts may cause a safepoint to be |
|
106 // inserted between a barrier and its dominating barrier. |
|
107 Compile* C = Compile::current(); |
|
108 ZBarrierSetC2* bs = (ZBarrierSetC2*)BarrierSet::barrier_set()->barrier_set_c2(); |
|
109 ZBarrierSetC2State* s = bs->state(); |
|
110 if (s->load_barrier_count() >= 2) { |
|
111 Compile::TracePhase tp("idealLoop", &C->timers[Phase::_t_idealLoop]); |
|
112 PhaseIdealLoop ideal_loop(igvn, true, false, true); |
|
113 if (C->major_progress()) C->print_method(PHASE_PHASEIDEALLOOP_ITERATIONS, 2); |
|
114 } |
|
115 } |
|
116 |
|
117 void ZBarrierSetC2::add_users_to_worklist(Unique_Node_List* worklist) const { |
|
118 // Permanent temporary workaround |
|
119 // Loadbarriers may have non-obvious dead uses keeping them alive during parsing. The use is |
|
120 // removed by RemoveUseless (after parsing, before optimize) but the barriers won't be added to |
|
121 // the worklist. Unless we add them explicitly they are not guaranteed to end up there. |
|
122 ZBarrierSetC2State* s = state(); |
|
123 |
|
124 for (int i = 0; i < s->load_barrier_count(); i++) { |
|
125 LoadBarrierNode* n = s->load_barrier_node(i); |
|
126 worklist->push(n); |
|
127 } |
|
128 } |
|
129 |
|
130 const TypeFunc* ZBarrierSetC2::load_barrier_Type() const { |
|
131 const Type** fields; |
|
132 |
|
133 // Create input types (domain) |
|
134 fields = TypeTuple::fields(2); |
|
135 fields[TypeFunc::Parms+0] = TypeInstPtr::NOTNULL; |
|
136 fields[TypeFunc::Parms+1] = TypeOopPtr::BOTTOM; |
|
137 const TypeTuple *domain = TypeTuple::make(TypeFunc::Parms+2, fields); |
|
138 |
|
139 // Create result type (range) |
|
140 fields = TypeTuple::fields(1); |
|
141 fields[TypeFunc::Parms+0] = TypeInstPtr::BOTTOM; |
|
142 const TypeTuple *range = TypeTuple::make(TypeFunc::Parms+1, fields); |
|
143 |
|
144 return TypeFunc::make(domain, range); |
|
145 } |
|
146 |
|
147 // == LoadBarrierNode == |
|
148 |
|
149 LoadBarrierNode::LoadBarrierNode(Compile* C, |
|
150 Node* c, |
|
151 Node* mem, |
|
152 Node* val, |
|
153 Node* adr, |
|
154 bool weak, |
|
155 bool writeback, |
|
156 bool oop_reload_allowed) : |
|
157 MultiNode(Number_of_Inputs), |
|
158 _weak(weak), |
|
159 _writeback(writeback), |
|
160 _oop_reload_allowed(oop_reload_allowed) { |
|
161 init_req(Control, c); |
|
162 init_req(Memory, mem); |
|
163 init_req(Oop, val); |
|
164 init_req(Address, adr); |
|
165 init_req(Similar, C->top()); |
|
166 |
|
167 init_class_id(Class_LoadBarrier); |
|
168 BarrierSetC2* bs = BarrierSet::barrier_set()->barrier_set_c2(); |
|
169 bs->register_potential_barrier_node(this); |
|
170 } |
|
171 |
|
172 const Type *LoadBarrierNode::bottom_type() const { |
|
173 const Type** floadbarrier = (const Type **)(Compile::current()->type_arena()->Amalloc_4((Number_of_Outputs)*sizeof(Type*))); |
|
174 Node* in_oop = in(Oop); |
|
175 floadbarrier[Control] = Type::CONTROL; |
|
176 floadbarrier[Memory] = Type::MEMORY; |
|
177 floadbarrier[Oop] = in_oop == NULL ? Type::TOP : in_oop->bottom_type(); |
|
178 return TypeTuple::make(Number_of_Outputs, floadbarrier); |
|
179 } |
|
180 |
|
181 const Type *LoadBarrierNode::Value(PhaseGVN *phase) const { |
|
182 const Type** floadbarrier = (const Type **)(phase->C->type_arena()->Amalloc_4((Number_of_Outputs)*sizeof(Type*))); |
|
183 const Type* val_t = phase->type(in(Oop)); |
|
184 floadbarrier[Control] = Type::CONTROL; |
|
185 floadbarrier[Memory] = Type::MEMORY; |
|
186 floadbarrier[Oop] = val_t; |
|
187 return TypeTuple::make(Number_of_Outputs, floadbarrier); |
|
188 } |
|
189 |
|
190 bool LoadBarrierNode::is_dominator(PhaseIdealLoop* phase, bool linear_only, Node *d, Node *n) { |
|
191 if (phase != NULL) { |
|
192 return phase->is_dominator(d, n); |
|
193 } |
|
194 |
|
195 for (int i = 0; i < 10 && n != NULL; i++) { |
|
196 n = IfNode::up_one_dom(n, linear_only); |
|
197 if (n == d) { |
|
198 return true; |
|
199 } |
|
200 } |
|
201 |
|
202 return false; |
|
203 } |
|
204 |
|
205 LoadBarrierNode* LoadBarrierNode::has_dominating_barrier(PhaseIdealLoop* phase, bool linear_only, bool look_for_similar) { |
|
206 Node* val = in(LoadBarrierNode::Oop); |
|
207 if (in(Similar)->is_Proj() && in(Similar)->in(0)->is_LoadBarrier()) { |
|
208 LoadBarrierNode* lb = in(Similar)->in(0)->as_LoadBarrier(); |
|
209 assert(lb->in(Address) == in(Address), ""); |
|
210 // Load barrier on Similar edge dominates so if it now has the Oop field it can replace this barrier. |
|
211 if (lb->in(Oop) == in(Oop)) { |
|
212 return lb; |
|
213 } |
|
214 // Follow chain of load barrier through Similar edges |
|
215 while (!lb->in(Similar)->is_top()) { |
|
216 lb = lb->in(Similar)->in(0)->as_LoadBarrier(); |
|
217 assert(lb->in(Address) == in(Address), ""); |
|
218 } |
|
219 if (lb != in(Similar)->in(0)) { |
|
220 return lb; |
|
221 } |
|
222 } |
|
223 for (DUIterator_Fast imax, i = val->fast_outs(imax); i < imax; i++) { |
|
224 Node* u = val->fast_out(i); |
|
225 if (u != this && u->is_LoadBarrier() && u->in(Oop) == val && u->as_LoadBarrier()->has_true_uses()) { |
|
226 Node* this_ctrl = in(LoadBarrierNode::Control); |
|
227 Node* other_ctrl = u->in(LoadBarrierNode::Control); |
|
228 if (is_dominator(phase, linear_only, other_ctrl, this_ctrl)) { |
|
229 return u->as_LoadBarrier(); |
|
230 } |
|
231 } |
|
232 } |
|
233 |
|
234 if (ZVerifyLoadBarriers || can_be_eliminated()) { |
|
235 return NULL; |
|
236 } |
|
237 |
|
238 if (!look_for_similar) { |
|
239 return NULL; |
|
240 } |
|
241 |
|
242 Node* addr = in(LoadBarrierNode::Address); |
|
243 for (DUIterator_Fast imax, i = addr->fast_outs(imax); i < imax; i++) { |
|
244 Node* u = addr->fast_out(i); |
|
245 if (u != this && u->is_LoadBarrier() && u->as_LoadBarrier()->has_true_uses()) { |
|
246 Node* this_ctrl = in(LoadBarrierNode::Control); |
|
247 Node* other_ctrl = u->in(LoadBarrierNode::Control); |
|
248 if (is_dominator(phase, linear_only, other_ctrl, this_ctrl)) { |
|
249 ResourceMark rm; |
|
250 Unique_Node_List wq; |
|
251 wq.push(in(LoadBarrierNode::Control)); |
|
252 bool ok = true; |
|
253 bool dom_found = false; |
|
254 for (uint next = 0; next < wq.size(); ++next) { |
|
255 Node *n = wq.at(next); |
|
256 if (n->is_top()) { |
|
257 return NULL; |
|
258 } |
|
259 assert(n->is_CFG(), ""); |
|
260 if (n->is_SafePoint()) { |
|
261 ok = false; |
|
262 break; |
|
263 } |
|
264 if (n == u) { |
|
265 dom_found = true; |
|
266 continue; |
|
267 } |
|
268 if (n->is_Region()) { |
|
269 for (uint i = 1; i < n->req(); i++) { |
|
270 Node* m = n->in(i); |
|
271 if (m != NULL) { |
|
272 wq.push(m); |
|
273 } |
|
274 } |
|
275 } else { |
|
276 Node* m = n->in(0); |
|
277 if (m != NULL) { |
|
278 wq.push(m); |
|
279 } |
|
280 } |
|
281 } |
|
282 if (ok) { |
|
283 assert(dom_found, ""); |
|
284 return u->as_LoadBarrier();; |
|
285 } |
|
286 break; |
|
287 } |
|
288 } |
|
289 } |
|
290 |
|
291 return NULL; |
|
292 } |
|
293 |
|
294 void LoadBarrierNode::push_dominated_barriers(PhaseIterGVN* igvn) const { |
|
295 // change to that barrier may affect a dominated barrier so re-push those |
|
296 Node* val = in(LoadBarrierNode::Oop); |
|
297 |
|
298 for (DUIterator_Fast imax, i = val->fast_outs(imax); i < imax; i++) { |
|
299 Node* u = val->fast_out(i); |
|
300 if (u != this && u->is_LoadBarrier() && u->in(Oop) == val) { |
|
301 Node* this_ctrl = in(Control); |
|
302 Node* other_ctrl = u->in(Control); |
|
303 if (is_dominator(NULL, false, this_ctrl, other_ctrl)) { |
|
304 igvn->_worklist.push(u); |
|
305 } |
|
306 } |
|
307 |
|
308 Node* addr = in(LoadBarrierNode::Address); |
|
309 for (DUIterator_Fast imax, i = addr->fast_outs(imax); i < imax; i++) { |
|
310 Node* u = addr->fast_out(i); |
|
311 if (u != this && u->is_LoadBarrier() && u->in(Similar)->is_top()) { |
|
312 Node* this_ctrl = in(Control); |
|
313 Node* other_ctrl = u->in(Control); |
|
314 if (is_dominator(NULL, false, this_ctrl, other_ctrl)) { |
|
315 igvn->_worklist.push(u); |
|
316 } |
|
317 } |
|
318 } |
|
319 } |
|
320 } |
|
321 |
|
322 Node *LoadBarrierNode::Identity(PhaseGVN *phase) { |
|
323 if (!phase->C->directive()->ZOptimizeLoadBarriersOption) { |
|
324 return this; |
|
325 } |
|
326 |
|
327 bool redundant_addr = false; |
|
328 LoadBarrierNode* dominating_barrier = has_dominating_barrier(NULL, true, false); |
|
329 if (dominating_barrier != NULL) { |
|
330 assert(dominating_barrier->in(Oop) == in(Oop), ""); |
|
331 return dominating_barrier; |
|
332 } |
|
333 |
|
334 return this; |
|
335 } |
|
336 |
|
337 Node *LoadBarrierNode::Ideal(PhaseGVN *phase, bool can_reshape) { |
|
338 if (remove_dead_region(phase, can_reshape)) { |
|
339 return this; |
|
340 } |
|
341 |
|
342 Node* val = in(Oop); |
|
343 Node* mem = in(Memory); |
|
344 Node* ctrl = in(Control); |
|
345 Node* adr = in(Address); |
|
346 assert(val->Opcode() != Op_LoadN, ""); |
|
347 |
|
348 if (mem->is_MergeMem()) { |
|
349 Node* new_mem = mem->as_MergeMem()->memory_at(Compile::AliasIdxRaw); |
|
350 set_req(Memory, new_mem); |
|
351 if (mem->outcnt() == 0 && can_reshape) { |
|
352 phase->is_IterGVN()->_worklist.push(mem); |
|
353 } |
|
354 |
|
355 return this; |
|
356 } |
|
357 |
|
358 bool optimizeLoadBarriers = phase->C->directive()->ZOptimizeLoadBarriersOption; |
|
359 LoadBarrierNode* dominating_barrier = optimizeLoadBarriers ? has_dominating_barrier(NULL, !can_reshape, !phase->C->major_progress()) : NULL; |
|
360 if (dominating_barrier != NULL && dominating_barrier->in(Oop) != in(Oop)) { |
|
361 assert(in(Address) == dominating_barrier->in(Address), ""); |
|
362 set_req(Similar, dominating_barrier->proj_out(Oop)); |
|
363 return this; |
|
364 } |
|
365 |
|
366 bool eliminate = (optimizeLoadBarriers && !(val->is_Phi() || val->Opcode() == Op_LoadP || val->Opcode() == Op_GetAndSetP || val->is_DecodeN())) || |
|
367 (can_reshape && (dominating_barrier != NULL || !has_true_uses())); |
|
368 |
|
369 if (eliminate) { |
|
370 if (can_reshape) { |
|
371 PhaseIterGVN* igvn = phase->is_IterGVN(); |
|
372 Node* out_ctrl = proj_out_or_null(Control); |
|
373 Node* out_res = proj_out_or_null(Oop); |
|
374 |
|
375 if (out_ctrl != NULL) { |
|
376 igvn->replace_node(out_ctrl, ctrl); |
|
377 } |
|
378 |
|
379 // That transformation may cause the Similar edge on the load barrier to be invalid |
|
380 fix_similar_in_uses(igvn); |
|
381 if (out_res != NULL) { |
|
382 if (dominating_barrier != NULL) { |
|
383 igvn->replace_node(out_res, dominating_barrier->proj_out(Oop)); |
|
384 } else { |
|
385 igvn->replace_node(out_res, val); |
|
386 } |
|
387 } |
|
388 } |
|
389 |
|
390 return new ConINode(TypeInt::ZERO); |
|
391 } |
|
392 |
|
393 // If the Similar edge is no longer a load barrier, clear it |
|
394 Node* similar = in(Similar); |
|
395 if (!similar->is_top() && !(similar->is_Proj() && similar->in(0)->is_LoadBarrier())) { |
|
396 set_req(Similar, phase->C->top()); |
|
397 return this; |
|
398 } |
|
399 |
|
400 if (can_reshape) { |
|
401 // If this barrier is linked through the Similar edge by a |
|
402 // dominated barrier and both barriers have the same Oop field, |
|
403 // the dominated barrier can go away, so push it for reprocessing. |
|
404 // We also want to avoid a barrier to depend on another dominating |
|
405 // barrier through its Similar edge that itself depend on another |
|
406 // barrier through its Similar edge and rather have the first |
|
407 // depend on the third. |
|
408 PhaseIterGVN* igvn = phase->is_IterGVN(); |
|
409 Node* out_res = proj_out(Oop); |
|
410 for (DUIterator_Fast imax, i = out_res->fast_outs(imax); i < imax; i++) { |
|
411 Node* u = out_res->fast_out(i); |
|
412 if (u->is_LoadBarrier() && u->in(Similar) == out_res && |
|
413 (u->in(Oop) == val || !u->in(Similar)->is_top())) { |
|
414 igvn->_worklist.push(u); |
|
415 } |
|
416 } |
|
417 |
|
418 push_dominated_barriers(igvn); |
|
419 } |
|
420 |
|
421 return NULL; |
|
422 } |
|
423 |
|
424 void LoadBarrierNode::fix_similar_in_uses(PhaseIterGVN* igvn) { |
|
425 Node* out_res = proj_out_or_null(Oop); |
|
426 if (out_res == NULL) { |
|
427 return; |
|
428 } |
|
429 |
|
430 for (DUIterator_Fast imax, i = out_res->fast_outs(imax); i < imax; i++) { |
|
431 Node* u = out_res->fast_out(i); |
|
432 if (u->is_LoadBarrier() && u->in(Similar) == out_res) { |
|
433 igvn->replace_input_of(u, Similar, igvn->C->top()); |
|
434 --i; |
|
435 --imax; |
|
436 } |
|
437 } |
|
438 } |
|
439 |
|
440 bool LoadBarrierNode::has_true_uses() const { |
|
441 Node* out_res = proj_out_or_null(Oop); |
|
442 if (out_res == NULL) { |
|
443 return false; |
|
444 } |
|
445 |
|
446 for (DUIterator_Fast imax, i = out_res->fast_outs(imax); i < imax; i++) { |
|
447 Node* u = out_res->fast_out(i); |
|
448 if (!u->is_LoadBarrier() || u->in(Similar) != out_res) { |
|
449 return true; |
|
450 } |
|
451 } |
|
452 |
|
453 return false; |
|
454 } |
|
455 |
|
456 // == Accesses == |
|
457 |
|
458 Node* ZBarrierSetC2::make_cas_loadbarrier(C2AtomicAccess& access) const { |
|
459 assert(!UseCompressedOops, "Not allowed"); |
|
460 CompareAndSwapNode* cas = (CompareAndSwapNode*)access.raw_access(); |
|
461 PhaseGVN& gvn = access.kit()->gvn(); |
|
462 Compile* C = Compile::current(); |
|
463 GraphKit* kit = access.kit(); |
|
464 |
|
465 Node* in_ctrl = cas->in(MemNode::Control); |
|
466 Node* in_mem = cas->in(MemNode::Memory); |
|
467 Node* in_adr = cas->in(MemNode::Address); |
|
468 Node* in_val = cas->in(MemNode::ValueIn); |
|
469 Node* in_expected = cas->in(LoadStoreConditionalNode::ExpectedIn); |
|
470 |
|
471 float likely = PROB_LIKELY(0.999); |
|
472 |
|
473 const TypePtr *adr_type = gvn.type(in_adr)->isa_ptr(); |
|
474 Compile::AliasType* alias_type = C->alias_type(adr_type); |
|
475 int alias_idx = C->get_alias_index(adr_type); |
|
476 |
|
477 // Outer check - true: continue, false: load and check |
|
478 Node* region = new RegionNode(3); |
|
479 Node* phi = new PhiNode(region, TypeInt::BOOL); |
|
480 Node* phi_mem = new PhiNode(region, Type::MEMORY, adr_type); |
|
481 |
|
482 // Inner check - is the healed ref equal to the expected |
|
483 Node* region2 = new RegionNode(3); |
|
484 Node* phi2 = new PhiNode(region2, TypeInt::BOOL); |
|
485 Node* phi_mem2 = new PhiNode(region2, Type::MEMORY, adr_type); |
|
486 |
|
487 // CAS node returns 0 or 1 |
|
488 Node* cmp = gvn.transform(new CmpINode(cas, kit->intcon(0))); |
|
489 Node* bol = gvn.transform(new BoolNode(cmp, BoolTest::ne))->as_Bool(); |
|
490 IfNode* iff = gvn.transform(new IfNode(in_ctrl, bol, likely, COUNT_UNKNOWN))->as_If(); |
|
491 Node* then = gvn.transform(new IfTrueNode(iff)); |
|
492 Node* elsen = gvn.transform(new IfFalseNode(iff)); |
|
493 |
|
494 Node* scmemproj1 = gvn.transform(new SCMemProjNode(cas)); |
|
495 |
|
496 kit->set_memory(scmemproj1, alias_idx); |
|
497 phi_mem->init_req(1, scmemproj1); |
|
498 phi_mem2->init_req(2, scmemproj1); |
|
499 |
|
500 // CAS fail - reload and heal oop |
|
501 Node* reload = kit->make_load(elsen, in_adr, TypeOopPtr::BOTTOM, T_OBJECT, MemNode::unordered); |
|
502 Node* barrier = gvn.transform(new LoadBarrierNode(C, elsen, scmemproj1, reload, in_adr, false, true, false)); |
|
503 Node* barrierctrl = gvn.transform(new ProjNode(barrier, LoadBarrierNode::Control)); |
|
504 Node* barrierdata = gvn.transform(new ProjNode(barrier, LoadBarrierNode::Oop)); |
|
505 |
|
506 // Check load |
|
507 Node* tmpX = gvn.transform(new CastP2XNode(NULL, barrierdata)); |
|
508 Node* in_expX = gvn.transform(new CastP2XNode(NULL, in_expected)); |
|
509 Node* cmp2 = gvn.transform(new CmpXNode(tmpX, in_expX)); |
|
510 Node *bol2 = gvn.transform(new BoolNode(cmp2, BoolTest::ne))->as_Bool(); |
|
511 IfNode* iff2 = gvn.transform(new IfNode(barrierctrl, bol2, likely, COUNT_UNKNOWN))->as_If(); |
|
512 Node* then2 = gvn.transform(new IfTrueNode(iff2)); |
|
513 Node* elsen2 = gvn.transform(new IfFalseNode(iff2)); |
|
514 |
|
515 // redo CAS |
|
516 Node* cas2 = gvn.transform(new CompareAndSwapPNode(elsen2, kit->memory(alias_idx), in_adr, in_val, in_expected, cas->order())); |
|
517 Node* scmemproj2 = gvn.transform(new SCMemProjNode(cas2)); |
|
518 kit->set_control(elsen2); |
|
519 kit->set_memory(scmemproj2, alias_idx); |
|
520 |
|
521 // Merge inner flow - check if healed oop was equal too expected. |
|
522 region2->set_req(1, kit->control()); |
|
523 region2->set_req(2, then2); |
|
524 phi2->set_req(1, cas2); |
|
525 phi2->set_req(2, kit->intcon(0)); |
|
526 phi_mem2->init_req(1, scmemproj2); |
|
527 kit->set_memory(phi_mem2, alias_idx); |
|
528 |
|
529 // Merge outer flow - then check if first cas succeded |
|
530 region->set_req(1, then); |
|
531 region->set_req(2, region2); |
|
532 phi->set_req(1, kit->intcon(1)); |
|
533 phi->set_req(2, phi2); |
|
534 phi_mem->init_req(2, phi_mem2); |
|
535 kit->set_memory(phi_mem, alias_idx); |
|
536 |
|
537 gvn.transform(region2); |
|
538 gvn.transform(phi2); |
|
539 gvn.transform(phi_mem2); |
|
540 gvn.transform(region); |
|
541 gvn.transform(phi); |
|
542 gvn.transform(phi_mem); |
|
543 |
|
544 kit->set_control(region); |
|
545 kit->insert_mem_bar(Op_MemBarCPUOrder); |
|
546 |
|
547 return phi; |
|
548 } |
|
549 |
|
550 Node* ZBarrierSetC2::make_cmpx_loadbarrier(C2AtomicAccess& access) const { |
|
551 CompareAndExchangePNode* cmpx = (CompareAndExchangePNode*)access.raw_access(); |
|
552 GraphKit* kit = access.kit(); |
|
553 PhaseGVN& gvn = kit->gvn(); |
|
554 Compile* C = Compile::current(); |
|
555 |
|
556 Node* in_ctrl = cmpx->in(MemNode::Control); |
|
557 Node* in_mem = cmpx->in(MemNode::Memory); |
|
558 Node* in_adr = cmpx->in(MemNode::Address); |
|
559 Node* in_val = cmpx->in(MemNode::ValueIn); |
|
560 Node* in_expected = cmpx->in(LoadStoreConditionalNode::ExpectedIn); |
|
561 |
|
562 float likely = PROB_LIKELY(0.999); |
|
563 |
|
564 const TypePtr *adr_type = cmpx->get_ptr_type(); |
|
565 Compile::AliasType* alias_type = C->alias_type(adr_type); |
|
566 int alias_idx = C->get_alias_index(adr_type); |
|
567 |
|
568 // Outer check - true: continue, false: load and check |
|
569 Node* region = new RegionNode(3); |
|
570 Node* phi = new PhiNode(region, adr_type); |
|
571 |
|
572 // Inner check - is the healed ref equal to the expected |
|
573 Node* region2 = new RegionNode(3); |
|
574 Node* phi2 = new PhiNode(region2, adr_type); |
|
575 |
|
576 // Check if cmpx succeded |
|
577 Node* cmp = gvn.transform(new CmpPNode(cmpx, in_expected)); |
|
578 Node* bol = gvn.transform(new BoolNode(cmp, BoolTest::eq))->as_Bool(); |
|
579 IfNode* iff = gvn.transform(new IfNode(in_ctrl, bol, likely, COUNT_UNKNOWN))->as_If(); |
|
580 Node* then = gvn.transform(new IfTrueNode(iff)); |
|
581 Node* elsen = gvn.transform(new IfFalseNode(iff)); |
|
582 |
|
583 Node* scmemproj1 = gvn.transform(new SCMemProjNode(cmpx)); |
|
584 kit->set_memory(scmemproj1, alias_idx); |
|
585 |
|
586 // CAS fail - reload and heal oop |
|
587 Node* reload = kit->make_load(elsen, in_adr, TypeOopPtr::BOTTOM, T_OBJECT, MemNode::unordered); |
|
588 Node* barrier = gvn.transform(new LoadBarrierNode(C, elsen, scmemproj1, reload, in_adr, false, true, false)); |
|
589 Node* barrierctrl = gvn.transform(new ProjNode(barrier, LoadBarrierNode::Control)); |
|
590 Node* barrierdata = gvn.transform(new ProjNode(barrier, LoadBarrierNode::Oop)); |
|
591 |
|
592 // Check load |
|
593 Node* tmpX = gvn.transform(new CastP2XNode(NULL, barrierdata)); |
|
594 Node* in_expX = gvn.transform(new CastP2XNode(NULL, in_expected)); |
|
595 Node* cmp2 = gvn.transform(new CmpXNode(tmpX, in_expX)); |
|
596 Node *bol2 = gvn.transform(new BoolNode(cmp2, BoolTest::ne))->as_Bool(); |
|
597 IfNode* iff2 = gvn.transform(new IfNode(barrierctrl, bol2, likely, COUNT_UNKNOWN))->as_If(); |
|
598 Node* then2 = gvn.transform(new IfTrueNode(iff2)); |
|
599 Node* elsen2 = gvn.transform(new IfFalseNode(iff2)); |
|
600 |
|
601 // Redo CAS |
|
602 Node* cmpx2 = gvn.transform(new CompareAndExchangePNode(elsen2, kit->memory(alias_idx), in_adr, in_val, in_expected, adr_type, cmpx->get_ptr_type(), cmpx->order())); |
|
603 Node* scmemproj2 = gvn.transform(new SCMemProjNode(cmpx2)); |
|
604 kit->set_control(elsen2); |
|
605 kit->set_memory(scmemproj2, alias_idx); |
|
606 |
|
607 // Merge inner flow - check if healed oop was equal too expected. |
|
608 region2->set_req(1, kit->control()); |
|
609 region2->set_req(2, then2); |
|
610 phi2->set_req(1, cmpx2); |
|
611 phi2->set_req(2, barrierdata); |
|
612 |
|
613 // Merge outer flow - then check if first cas succeded |
|
614 region->set_req(1, then); |
|
615 region->set_req(2, region2); |
|
616 phi->set_req(1, cmpx); |
|
617 phi->set_req(2, phi2); |
|
618 |
|
619 gvn.transform(region2); |
|
620 gvn.transform(phi2); |
|
621 gvn.transform(region); |
|
622 gvn.transform(phi); |
|
623 |
|
624 kit->set_control(region); |
|
625 kit->set_memory(in_mem, alias_idx); |
|
626 kit->insert_mem_bar(Op_MemBarCPUOrder); |
|
627 |
|
628 return phi; |
|
629 } |
|
630 |
|
631 Node* ZBarrierSetC2::load_barrier(GraphKit* kit, Node* val, Node* adr, bool weak, bool writeback, bool oop_reload_allowed) const { |
|
632 PhaseGVN& gvn = kit->gvn(); |
|
633 Node* barrier = new LoadBarrierNode(Compile::current(), kit->control(), kit->memory(TypeRawPtr::BOTTOM), val, adr, weak, writeback, oop_reload_allowed); |
|
634 Node* transformed_barrier = gvn.transform(barrier); |
|
635 |
|
636 if (transformed_barrier->is_LoadBarrier()) { |
|
637 if (barrier == transformed_barrier) { |
|
638 kit->set_control(gvn.transform(new ProjNode(barrier, LoadBarrierNode::Control))); |
|
639 } |
|
640 return gvn.transform(new ProjNode(transformed_barrier, LoadBarrierNode::Oop)); |
|
641 } else { |
|
642 return val; |
|
643 } |
|
644 } |
|
645 |
|
646 static bool barrier_needed(C2Access access) { |
|
647 return ZBarrierSet::barrier_needed(access.decorators(), access.type()); |
|
648 } |
|
649 |
|
650 Node* ZBarrierSetC2::load_at_resolved(C2Access& access, const Type* val_type) const { |
|
651 Node* p = BarrierSetC2::load_at_resolved(access, val_type); |
|
652 if (!barrier_needed(access)) { |
|
653 return p; |
|
654 } |
|
655 |
|
656 bool conc_root = (access.decorators() & IN_CONCURRENT_ROOT) != 0; |
|
657 bool weak = (access.decorators() & ON_WEAK_OOP_REF) != 0; |
|
658 |
|
659 GraphKit* kit = access.kit(); |
|
660 PhaseGVN& gvn = kit->gvn(); |
|
661 Node* adr = access.addr().node(); |
|
662 Node* heap_base_oop = access.base(); |
|
663 bool unsafe = (access.decorators() & C2_UNSAFE_ACCESS) != 0; |
|
664 if (unsafe) { |
|
665 if (!ZVerifyLoadBarriers) { |
|
666 p = load_barrier(kit, p, adr); |
|
667 } else { |
|
668 if (!TypePtr::NULL_PTR->higher_equal(gvn.type(heap_base_oop))) { |
|
669 p = load_barrier(kit, p, adr); |
|
670 } else { |
|
671 IdealKit ideal(kit); |
|
672 IdealVariable res(ideal); |
|
673 #define __ ideal. |
|
674 __ declarations_done(); |
|
675 __ set(res, p); |
|
676 __ if_then(heap_base_oop, BoolTest::ne, kit->null(), PROB_UNLIKELY(0.999)); { |
|
677 kit->sync_kit(ideal); |
|
678 p = load_barrier(kit, p, adr); |
|
679 __ set(res, p); |
|
680 __ sync_kit(kit); |
|
681 } __ end_if(); |
|
682 kit->final_sync(ideal); |
|
683 p = __ value(res); |
|
684 #undef __ |
|
685 } |
|
686 } |
|
687 return p; |
|
688 } else { |
|
689 return load_barrier(access.kit(), p, access.addr().node(), weak, true, true); |
|
690 } |
|
691 } |
|
692 |
|
693 Node* ZBarrierSetC2::atomic_cmpxchg_val_at_resolved(C2AtomicAccess& access, Node* expected_val, |
|
694 Node* new_val, const Type* val_type) const { |
|
695 Node* result = BarrierSetC2::atomic_cmpxchg_val_at_resolved(access, expected_val, new_val, val_type); |
|
696 if (!barrier_needed(access)) { |
|
697 return result; |
|
698 } |
|
699 |
|
700 access.set_needs_pinning(false); |
|
701 return make_cmpx_loadbarrier(access); |
|
702 } |
|
703 |
|
704 Node* ZBarrierSetC2::atomic_cmpxchg_bool_at_resolved(C2AtomicAccess& access, Node* expected_val, |
|
705 Node* new_val, const Type* value_type) const { |
|
706 Node* result = BarrierSetC2::atomic_cmpxchg_bool_at_resolved(access, expected_val, new_val, value_type); |
|
707 if (!barrier_needed(access)) { |
|
708 return result; |
|
709 } |
|
710 |
|
711 Node* load_store = access.raw_access(); |
|
712 bool weak_cas = (access.decorators() & C2_WEAK_CMPXCHG) != 0; |
|
713 bool expected_is_null = (expected_val->get_ptr_type() == TypePtr::NULL_PTR); |
|
714 |
|
715 if (!expected_is_null) { |
|
716 if (weak_cas) { |
|
717 access.set_needs_pinning(false); |
|
718 load_store = make_cas_loadbarrier(access); |
|
719 } else { |
|
720 access.set_needs_pinning(false); |
|
721 load_store = make_cas_loadbarrier(access); |
|
722 } |
|
723 } |
|
724 |
|
725 return load_store; |
|
726 } |
|
727 |
|
728 Node* ZBarrierSetC2::atomic_xchg_at_resolved(C2AtomicAccess& access, Node* new_val, const Type* val_type) const { |
|
729 Node* result = BarrierSetC2::atomic_xchg_at_resolved(access, new_val, val_type); |
|
730 if (!barrier_needed(access)) { |
|
731 return result; |
|
732 } |
|
733 |
|
734 Node* load_store = access.raw_access(); |
|
735 Node* adr = access.addr().node(); |
|
736 |
|
737 return load_barrier(access.kit(), load_store, adr, false, false, false); |
|
738 } |
|
739 |
|
740 // == Macro Expansion == |
|
741 |
|
742 void ZBarrierSetC2::expand_loadbarrier_node(PhaseMacroExpand* phase, LoadBarrierNode* barrier) const { |
|
743 Node* in_ctrl = barrier->in(LoadBarrierNode::Control); |
|
744 Node* in_mem = barrier->in(LoadBarrierNode::Memory); |
|
745 Node* in_val = barrier->in(LoadBarrierNode::Oop); |
|
746 Node* in_adr = barrier->in(LoadBarrierNode::Address); |
|
747 |
|
748 Node* out_ctrl = barrier->proj_out(LoadBarrierNode::Control); |
|
749 Node* out_res = barrier->proj_out(LoadBarrierNode::Oop); |
|
750 |
|
751 PhaseIterGVN &igvn = phase->igvn(); |
|
752 |
|
753 if (ZVerifyLoadBarriers) { |
|
754 igvn.replace_node(out_res, in_val); |
|
755 igvn.replace_node(out_ctrl, in_ctrl); |
|
756 return; |
|
757 } |
|
758 |
|
759 if (barrier->can_be_eliminated()) { |
|
760 // Clone and pin the load for this barrier below the dominating |
|
761 // barrier: the load cannot be allowed to float above the |
|
762 // dominating barrier |
|
763 Node* load = in_val; |
|
764 |
|
765 if (load->is_Load()) { |
|
766 Node* new_load = load->clone(); |
|
767 Node* addp = new_load->in(MemNode::Address); |
|
768 assert(addp->is_AddP() || addp->is_Phi() || addp->is_Load(), "bad address"); |
|
769 Node* cast = new CastPPNode(addp, igvn.type(addp), true); |
|
770 Node* ctrl = NULL; |
|
771 Node* similar = barrier->in(LoadBarrierNode::Similar); |
|
772 if (similar->is_Phi()) { |
|
773 // already expanded |
|
774 ctrl = similar->in(0); |
|
775 } else { |
|
776 assert(similar->is_Proj() && similar->in(0)->is_LoadBarrier(), "unexpected graph shape"); |
|
777 ctrl = similar->in(0)->as_LoadBarrier()->proj_out(LoadBarrierNode::Control); |
|
778 } |
|
779 assert(ctrl != NULL, "bad control"); |
|
780 cast->set_req(0, ctrl); |
|
781 igvn.transform(cast); |
|
782 new_load->set_req(MemNode::Address, cast); |
|
783 igvn.transform(new_load); |
|
784 |
|
785 igvn.replace_node(out_res, new_load); |
|
786 igvn.replace_node(out_ctrl, in_ctrl); |
|
787 return; |
|
788 } |
|
789 // cannot eliminate |
|
790 } |
|
791 |
|
792 // There are two cases that require the basic loadbarrier |
|
793 // 1) When the writeback of a healed oop must be avoided (swap) |
|
794 // 2) When we must guarantee that no reload of is done (swap, cas, cmpx) |
|
795 if (!barrier->is_writeback()) { |
|
796 assert(!barrier->oop_reload_allowed(), "writeback barriers should be marked as requires oop"); |
|
797 } |
|
798 |
|
799 if (!barrier->oop_reload_allowed()) { |
|
800 expand_loadbarrier_basic(phase, barrier); |
|
801 } else { |
|
802 expand_loadbarrier_optimized(phase, barrier); |
|
803 } |
|
804 } |
|
805 |
|
806 // Basic loadbarrier using conventional arg passing |
|
807 void ZBarrierSetC2::expand_loadbarrier_basic(PhaseMacroExpand* phase, LoadBarrierNode *barrier) const { |
|
808 PhaseIterGVN &igvn = phase->igvn(); |
|
809 |
|
810 Node* in_ctrl = barrier->in(LoadBarrierNode::Control); |
|
811 Node* in_mem = barrier->in(LoadBarrierNode::Memory); |
|
812 Node* in_val = barrier->in(LoadBarrierNode::Oop); |
|
813 Node* in_adr = barrier->in(LoadBarrierNode::Address); |
|
814 |
|
815 Node* out_ctrl = barrier->proj_out(LoadBarrierNode::Control); |
|
816 Node* out_res = barrier->proj_out(LoadBarrierNode::Oop); |
|
817 |
|
818 float unlikely = PROB_UNLIKELY(0.999); |
|
819 const Type* in_val_maybe_null_t = igvn.type(in_val); |
|
820 |
|
821 Node* jthread = igvn.transform(new ThreadLocalNode()); |
|
822 Node* adr = phase->basic_plus_adr(jthread, in_bytes(ZThreadLocalData::address_bad_mask_offset())); |
|
823 Node* bad_mask = igvn.transform(LoadNode::make(igvn, in_ctrl, in_mem, adr, TypeRawPtr::BOTTOM, TypeX_X, TypeX_X->basic_type(), MemNode::unordered)); |
|
824 Node* cast = igvn.transform(new CastP2XNode(in_ctrl, in_val)); |
|
825 Node* obj_masked = igvn.transform(new AndXNode(cast, bad_mask)); |
|
826 Node* cmp = igvn.transform(new CmpXNode(obj_masked, igvn.zerocon(TypeX_X->basic_type()))); |
|
827 Node *bol = igvn.transform(new BoolNode(cmp, BoolTest::ne))->as_Bool(); |
|
828 IfNode* iff = igvn.transform(new IfNode(in_ctrl, bol, unlikely, COUNT_UNKNOWN))->as_If(); |
|
829 Node* then = igvn.transform(new IfTrueNode(iff)); |
|
830 Node* elsen = igvn.transform(new IfFalseNode(iff)); |
|
831 |
|
832 Node* result_region; |
|
833 Node* result_val; |
|
834 |
|
835 result_region = new RegionNode(3); |
|
836 result_val = new PhiNode(result_region, TypeInstPtr::BOTTOM); |
|
837 |
|
838 result_region->set_req(1, elsen); |
|
839 Node* res = igvn.transform(new CastPPNode(in_val, in_val_maybe_null_t)); |
|
840 res->init_req(0, elsen); |
|
841 result_val->set_req(1, res); |
|
842 |
|
843 const TypeFunc *tf = load_barrier_Type(); |
|
844 Node* call; |
|
845 if (barrier->is_weak()) { |
|
846 call = new CallLeafNode(tf, |
|
847 ZBarrierSetRuntime::load_barrier_on_weak_oop_field_preloaded_addr(), |
|
848 "ZBarrierSetRuntime::load_barrier_on_weak_oop_field_preloaded", |
|
849 TypeRawPtr::BOTTOM); |
|
850 } else { |
|
851 call = new CallLeafNode(tf, |
|
852 ZBarrierSetRuntime::load_barrier_on_oop_field_preloaded_addr(), |
|
853 "ZBarrierSetRuntime::load_barrier_on_oop_field_preloaded", |
|
854 TypeRawPtr::BOTTOM); |
|
855 } |
|
856 |
|
857 call->init_req(TypeFunc::Control, then); |
|
858 call->init_req(TypeFunc::I_O , phase->top()); |
|
859 call->init_req(TypeFunc::Memory , in_mem); |
|
860 call->init_req(TypeFunc::FramePtr, phase->top()); |
|
861 call->init_req(TypeFunc::ReturnAdr, phase->top()); |
|
862 call->init_req(TypeFunc::Parms+0, in_val); |
|
863 if (barrier->is_writeback()) { |
|
864 call->init_req(TypeFunc::Parms+1, in_adr); |
|
865 } else { |
|
866 // when slow path is called with a null adr, the healed oop will not be written back |
|
867 call->init_req(TypeFunc::Parms+1, igvn.zerocon(T_OBJECT)); |
|
868 } |
|
869 call = igvn.transform(call); |
|
870 |
|
871 Node* ctrl = igvn.transform(new ProjNode(call, TypeFunc::Control)); |
|
872 res = igvn.transform(new ProjNode(call, TypeFunc::Parms)); |
|
873 res = igvn.transform(new CheckCastPPNode(ctrl, res, in_val_maybe_null_t)); |
|
874 |
|
875 result_region->set_req(2, ctrl); |
|
876 result_val->set_req(2, res); |
|
877 |
|
878 result_region = igvn.transform(result_region); |
|
879 result_val = igvn.transform(result_val); |
|
880 |
|
881 if (out_ctrl != NULL) { // added if cond |
|
882 igvn.replace_node(out_ctrl, result_region); |
|
883 } |
|
884 igvn.replace_node(out_res, result_val); |
|
885 } |
|
886 |
|
887 // Optimized, low spill, loadbarrier variant using stub specialized on register used |
|
888 void ZBarrierSetC2::expand_loadbarrier_optimized(PhaseMacroExpand* phase, LoadBarrierNode *barrier) const { |
|
889 PhaseIterGVN &igvn = phase->igvn(); |
|
890 #ifdef PRINT_NODE_TRAVERSALS |
|
891 Node* preceding_barrier_node = barrier->in(LoadBarrierNode::Oop); |
|
892 #endif |
|
893 |
|
894 Node* in_ctrl = barrier->in(LoadBarrierNode::Control); |
|
895 Node* in_mem = barrier->in(LoadBarrierNode::Memory); |
|
896 Node* in_val = barrier->in(LoadBarrierNode::Oop); |
|
897 Node* in_adr = barrier->in(LoadBarrierNode::Address); |
|
898 |
|
899 Node* out_ctrl = barrier->proj_out(LoadBarrierNode::Control); |
|
900 Node* out_res = barrier->proj_out(LoadBarrierNode::Oop); |
|
901 |
|
902 assert(barrier->in(LoadBarrierNode::Oop) != NULL, "oop to loadbarrier node cannot be null"); |
|
903 |
|
904 #ifdef PRINT_NODE_TRAVERSALS |
|
905 tty->print("\n\n\nBefore barrier optimization:\n"); |
|
906 traverse(barrier, out_ctrl, out_res, -1); |
|
907 |
|
908 tty->print("\nBefore barrier optimization: preceding_barrier_node\n"); |
|
909 traverse(preceding_barrier_node, out_ctrl, out_res, -1); |
|
910 #endif |
|
911 |
|
912 float unlikely = PROB_UNLIKELY(0.999); |
|
913 |
|
914 Node* jthread = igvn.transform(new ThreadLocalNode()); |
|
915 Node* adr = phase->basic_plus_adr(jthread, in_bytes(ZThreadLocalData::address_bad_mask_offset())); |
|
916 Node* bad_mask = igvn.transform(LoadNode::make(igvn, in_ctrl, in_mem, adr, |
|
917 TypeRawPtr::BOTTOM, TypeX_X, TypeX_X->basic_type(), |
|
918 MemNode::unordered)); |
|
919 Node* cast = igvn.transform(new CastP2XNode(in_ctrl, in_val)); |
|
920 Node* obj_masked = igvn.transform(new AndXNode(cast, bad_mask)); |
|
921 Node* cmp = igvn.transform(new CmpXNode(obj_masked, igvn.zerocon(TypeX_X->basic_type()))); |
|
922 Node *bol = igvn.transform(new BoolNode(cmp, BoolTest::ne))->as_Bool(); |
|
923 IfNode* iff = igvn.transform(new IfNode(in_ctrl, bol, unlikely, COUNT_UNKNOWN))->as_If(); |
|
924 Node* then = igvn.transform(new IfTrueNode(iff)); |
|
925 Node* elsen = igvn.transform(new IfFalseNode(iff)); |
|
926 |
|
927 Node* slow_path_surrogate; |
|
928 if (!barrier->is_weak()) { |
|
929 slow_path_surrogate = igvn.transform(new LoadBarrierSlowRegNode(then, in_mem, in_adr, in_val->adr_type(), |
|
930 (const TypePtr*) in_val->bottom_type(), MemNode::unordered)); |
|
931 } else { |
|
932 slow_path_surrogate = igvn.transform(new LoadBarrierWeakSlowRegNode(then, in_mem, in_adr, in_val->adr_type(), |
|
933 (const TypePtr*) in_val->bottom_type(), MemNode::unordered)); |
|
934 } |
|
935 |
|
936 Node *new_loadp; |
|
937 new_loadp = slow_path_surrogate; |
|
938 // create the final region/phi pair to converge cntl/data paths to downstream code |
|
939 Node* result_region = igvn.transform(new RegionNode(3)); |
|
940 result_region->set_req(1, then); |
|
941 result_region->set_req(2, elsen); |
|
942 |
|
943 Node* result_phi = igvn.transform(new PhiNode(result_region, TypeInstPtr::BOTTOM)); |
|
944 result_phi->set_req(1, new_loadp); |
|
945 result_phi->set_req(2, barrier->in(LoadBarrierNode::Oop)); |
|
946 |
|
947 // finally, connect the original outputs to the barrier region and phi to complete the expansion/substitution |
|
948 // igvn.replace_node(out_ctrl, result_region); |
|
949 if (out_ctrl != NULL) { // added if cond |
|
950 igvn.replace_node(out_ctrl, result_region); |
|
951 } |
|
952 igvn.replace_node(out_res, result_phi); |
|
953 |
|
954 assert(barrier->outcnt() == 0,"LoadBarrier macro node has non-null outputs after expansion!"); |
|
955 |
|
956 #ifdef PRINT_NODE_TRAVERSALS |
|
957 tty->print("\nAfter barrier optimization: old out_ctrl\n"); |
|
958 traverse(out_ctrl, out_ctrl, out_res, -1); |
|
959 tty->print("\nAfter barrier optimization: old out_res\n"); |
|
960 traverse(out_res, out_ctrl, out_res, -1); |
|
961 tty->print("\nAfter barrier optimization: old barrier\n"); |
|
962 traverse(barrier, out_ctrl, out_res, -1); |
|
963 tty->print("\nAfter barrier optimization: preceding_barrier_node\n"); |
|
964 traverse(preceding_barrier_node, result_region, result_phi, -1); |
|
965 #endif |
|
966 |
|
967 return; |
|
968 } |
|
969 |
|
970 bool ZBarrierSetC2::expand_macro_nodes(PhaseMacroExpand* macro) const { |
|
971 Compile* C = Compile::current(); |
|
972 PhaseIterGVN &igvn = macro->igvn(); |
|
973 ZBarrierSetC2State* s = state(); |
|
974 if (s->load_barrier_count() > 0) { |
|
975 #ifdef ASSERT |
|
976 verify_gc_barriers(false); |
|
977 #endif |
|
978 igvn.set_delay_transform(true); |
|
979 int skipped = 0; |
|
980 while (s->load_barrier_count() > skipped) { |
|
981 int load_barrier_count = s->load_barrier_count(); |
|
982 LoadBarrierNode * n = s->load_barrier_node(load_barrier_count-1-skipped); |
|
983 if (igvn.type(n) == Type::TOP || (n->in(0) != NULL && n->in(0)->is_top())) { |
|
984 // node is unreachable, so don't try to expand it |
|
985 s->remove_load_barrier_node(n); |
|
986 continue; |
|
987 } |
|
988 if (!n->can_be_eliminated()) { |
|
989 skipped++; |
|
990 continue; |
|
991 } |
|
992 expand_loadbarrier_node(macro, n); |
|
993 assert(s->load_barrier_count() < load_barrier_count, "must have deleted a node from load barrier list"); |
|
994 if (C->failing()) return true; |
|
995 } |
|
996 while (s->load_barrier_count() > 0) { |
|
997 int load_barrier_count = s->load_barrier_count(); |
|
998 LoadBarrierNode* n = s->load_barrier_node(load_barrier_count - 1); |
|
999 assert(!(igvn.type(n) == Type::TOP || (n->in(0) != NULL && n->in(0)->is_top())), "should have been processed already"); |
|
1000 assert(!n->can_be_eliminated(), "should have been processed already"); |
|
1001 expand_loadbarrier_node(macro, n); |
|
1002 assert(s->load_barrier_count() < load_barrier_count, "must have deleted a node from load barrier list"); |
|
1003 if (C->failing()) return true; |
|
1004 } |
|
1005 igvn.set_delay_transform(false); |
|
1006 igvn.optimize(); |
|
1007 if (C->failing()) return true; |
|
1008 } |
|
1009 return false; |
|
1010 } |
|
1011 |
|
1012 // == Loop optimization == |
|
1013 |
|
1014 static bool replace_with_dominating_barrier(PhaseIdealLoop* phase, LoadBarrierNode* lb, bool last_round) { |
|
1015 PhaseIterGVN &igvn = phase->igvn(); |
|
1016 Compile* C = Compile::current(); |
|
1017 |
|
1018 LoadBarrierNode* lb2 = lb->has_dominating_barrier(phase, false, last_round); |
|
1019 if (lb2 != NULL) { |
|
1020 if (lb->in(LoadBarrierNode::Oop) != lb2->in(LoadBarrierNode::Oop)) { |
|
1021 assert(lb->in(LoadBarrierNode::Address) == lb2->in(LoadBarrierNode::Address), ""); |
|
1022 igvn.replace_input_of(lb, LoadBarrierNode::Similar, lb2->proj_out(LoadBarrierNode::Oop)); |
|
1023 C->set_major_progress(); |
|
1024 } else { |
|
1025 // That transformation may cause the Similar edge on dominated load barriers to be invalid |
|
1026 lb->fix_similar_in_uses(&igvn); |
|
1027 |
|
1028 Node* val = lb->proj_out(LoadBarrierNode::Oop); |
|
1029 assert(lb2->has_true_uses(), ""); |
|
1030 assert(lb2->in(LoadBarrierNode::Oop) == lb->in(LoadBarrierNode::Oop), ""); |
|
1031 |
|
1032 phase->lazy_update(lb, lb->in(LoadBarrierNode::Control)); |
|
1033 phase->lazy_replace(lb->proj_out(LoadBarrierNode::Control), lb->in(LoadBarrierNode::Control)); |
|
1034 igvn.replace_node(val, lb2->proj_out(LoadBarrierNode::Oop)); |
|
1035 |
|
1036 return true; |
|
1037 } |
|
1038 } |
|
1039 return false; |
|
1040 } |
|
1041 |
|
1042 static Node* find_dominating_memory(PhaseIdealLoop* phase, Node* mem, Node* dom, int i) { |
|
1043 assert(dom->is_Region() || i == -1, ""); |
|
1044 Node* m = mem; |
|
1045 while(phase->is_dominator(dom, phase->has_ctrl(m) ? phase->get_ctrl(m) : m->in(0))) { |
|
1046 if (m->is_Mem()) { |
|
1047 assert(m->as_Mem()->adr_type() == TypeRawPtr::BOTTOM, ""); |
|
1048 m = m->in(MemNode::Memory); |
|
1049 } else if (m->is_MergeMem()) { |
|
1050 m = m->as_MergeMem()->memory_at(Compile::AliasIdxRaw); |
|
1051 } else if (m->is_Phi()) { |
|
1052 if (m->in(0) == dom && i != -1) { |
|
1053 m = m->in(i); |
|
1054 break; |
|
1055 } else { |
|
1056 m = m->in(LoopNode::EntryControl); |
|
1057 } |
|
1058 } else if (m->is_Proj()) { |
|
1059 m = m->in(0); |
|
1060 } else if (m->is_SafePoint() || m->is_MemBar()) { |
|
1061 m = m->in(TypeFunc::Memory); |
|
1062 } else { |
|
1063 #ifdef ASSERT |
|
1064 m->dump(); |
|
1065 #endif |
|
1066 ShouldNotReachHere(); |
|
1067 } |
|
1068 } |
|
1069 return m; |
|
1070 } |
|
1071 |
|
1072 static LoadBarrierNode* clone_load_barrier(PhaseIdealLoop* phase, LoadBarrierNode* lb, Node* ctl, Node* mem, Node* oop_in) { |
|
1073 PhaseIterGVN &igvn = phase->igvn(); |
|
1074 Compile* C = Compile::current(); |
|
1075 Node* the_clone = lb->clone(); |
|
1076 the_clone->set_req(LoadBarrierNode::Control, ctl); |
|
1077 the_clone->set_req(LoadBarrierNode::Memory, mem); |
|
1078 if (oop_in != NULL) { |
|
1079 the_clone->set_req(LoadBarrierNode::Oop, oop_in); |
|
1080 } |
|
1081 |
|
1082 LoadBarrierNode* new_lb = the_clone->as_LoadBarrier(); |
|
1083 igvn.register_new_node_with_optimizer(new_lb); |
|
1084 IdealLoopTree *loop = phase->get_loop(new_lb->in(0)); |
|
1085 phase->set_ctrl(new_lb, new_lb->in(0)); |
|
1086 phase->set_loop(new_lb, loop); |
|
1087 phase->set_idom(new_lb, new_lb->in(0), phase->dom_depth(new_lb->in(0))+1); |
|
1088 if (!loop->_child) { |
|
1089 loop->_body.push(new_lb); |
|
1090 } |
|
1091 |
|
1092 Node* proj_ctl = new ProjNode(new_lb, LoadBarrierNode::Control); |
|
1093 igvn.register_new_node_with_optimizer(proj_ctl); |
|
1094 phase->set_ctrl(proj_ctl, proj_ctl->in(0)); |
|
1095 phase->set_loop(proj_ctl, loop); |
|
1096 phase->set_idom(proj_ctl, new_lb, phase->dom_depth(new_lb)+1); |
|
1097 if (!loop->_child) { |
|
1098 loop->_body.push(proj_ctl); |
|
1099 } |
|
1100 |
|
1101 Node* proj_oop = new ProjNode(new_lb, LoadBarrierNode::Oop); |
|
1102 phase->register_new_node(proj_oop, new_lb); |
|
1103 |
|
1104 if (!new_lb->in(LoadBarrierNode::Similar)->is_top()) { |
|
1105 LoadBarrierNode* similar = new_lb->in(LoadBarrierNode::Similar)->in(0)->as_LoadBarrier(); |
|
1106 if (!phase->is_dominator(similar, ctl)) { |
|
1107 igvn.replace_input_of(new_lb, LoadBarrierNode::Similar, C->top()); |
|
1108 } |
|
1109 } |
|
1110 |
|
1111 return new_lb; |
|
1112 } |
|
1113 |
|
1114 static void replace_barrier(PhaseIdealLoop* phase, LoadBarrierNode* lb, Node* new_val) { |
|
1115 PhaseIterGVN &igvn = phase->igvn(); |
|
1116 Node* val = lb->proj_out(LoadBarrierNode::Oop); |
|
1117 igvn.replace_node(val, new_val); |
|
1118 phase->lazy_update(lb, lb->in(LoadBarrierNode::Control)); |
|
1119 phase->lazy_replace(lb->proj_out(LoadBarrierNode::Control), lb->in(LoadBarrierNode::Control)); |
|
1120 } |
|
1121 |
|
1122 static bool split_barrier_thru_phi(PhaseIdealLoop* phase, LoadBarrierNode* lb) { |
|
1123 PhaseIterGVN &igvn = phase->igvn(); |
|
1124 Compile* C = Compile::current(); |
|
1125 |
|
1126 if (lb->in(LoadBarrierNode::Oop)->is_Phi()) { |
|
1127 Node* oop_phi = lb->in(LoadBarrierNode::Oop); |
|
1128 |
|
1129 if (oop_phi->in(2) == oop_phi) { |
|
1130 // Ignore phis with only one input |
|
1131 return false; |
|
1132 } |
|
1133 |
|
1134 if (phase->is_dominator(phase->get_ctrl(lb->in(LoadBarrierNode::Address)), |
|
1135 oop_phi->in(0)) && phase->get_ctrl(lb->in(LoadBarrierNode::Address)) != oop_phi->in(0)) { |
|
1136 // That transformation may cause the Similar edge on dominated load barriers to be invalid |
|
1137 lb->fix_similar_in_uses(&igvn); |
|
1138 |
|
1139 RegionNode* region = oop_phi->in(0)->as_Region(); |
|
1140 |
|
1141 int backedge = LoopNode::LoopBackControl; |
|
1142 if (region->is_Loop() && region->in(backedge)->is_Proj() && region->in(backedge)->in(0)->is_If()) { |
|
1143 Node* c = region->in(backedge)->in(0)->in(0); |
|
1144 assert(c->unique_ctrl_out() == region->in(backedge)->in(0), ""); |
|
1145 Node* oop = lb->in(LoadBarrierNode::Oop)->in(backedge); |
|
1146 Node* oop_c = phase->has_ctrl(oop) ? phase->get_ctrl(oop) : oop; |
|
1147 if (!phase->is_dominator(oop_c, c)) { |
|
1148 return false; |
|
1149 } |
|
1150 } |
|
1151 |
|
1152 // If the node on the backedge above the phi is the node itself - we have a self loop. |
|
1153 // Don't clone - this will be folded later. |
|
1154 if (oop_phi->in(LoopNode::LoopBackControl) == lb->proj_out(LoadBarrierNode::Oop)) { |
|
1155 return false; |
|
1156 } |
|
1157 |
|
1158 bool is_strip_mined = region->is_CountedLoop() && region->as_CountedLoop()->is_strip_mined(); |
|
1159 Node *phi = oop_phi->clone(); |
|
1160 |
|
1161 for (uint i = 1; i < region->req(); i++) { |
|
1162 Node* ctrl = region->in(i); |
|
1163 if (ctrl != C->top()) { |
|
1164 assert(!phase->is_dominator(ctrl, region) || region->is_Loop(), ""); |
|
1165 |
|
1166 Node* mem = lb->in(LoadBarrierNode::Memory); |
|
1167 Node* m = find_dominating_memory(phase, mem, region, i); |
|
1168 |
|
1169 if (region->is_Loop() && i == LoopNode::LoopBackControl && ctrl->is_Proj() && ctrl->in(0)->is_If()) { |
|
1170 ctrl = ctrl->in(0)->in(0); |
|
1171 } else if (region->is_Loop() && is_strip_mined) { |
|
1172 // If this is a strip mined loop, control must move above OuterStripMinedLoop |
|
1173 assert(i == LoopNode::EntryControl, "check"); |
|
1174 assert(ctrl->is_OuterStripMinedLoop(), "sanity"); |
|
1175 ctrl = ctrl->as_OuterStripMinedLoop()->in(LoopNode::EntryControl); |
|
1176 } |
|
1177 |
|
1178 LoadBarrierNode* new_lb = clone_load_barrier(phase, lb, ctrl, m, lb->in(LoadBarrierNode::Oop)->in(i)); |
|
1179 Node* out_ctrl = new_lb->proj_out(LoadBarrierNode::Control); |
|
1180 |
|
1181 if (is_strip_mined && (i == LoopNode::EntryControl)) { |
|
1182 assert(region->in(i)->is_OuterStripMinedLoop(), ""); |
|
1183 igvn.replace_input_of(region->in(i), i, out_ctrl); |
|
1184 } else if (ctrl == region->in(i)) { |
|
1185 igvn.replace_input_of(region, i, out_ctrl); |
|
1186 } else { |
|
1187 Node* iff = region->in(i)->in(0); |
|
1188 igvn.replace_input_of(iff, 0, out_ctrl); |
|
1189 phase->set_idom(iff, out_ctrl, phase->dom_depth(out_ctrl)+1); |
|
1190 } |
|
1191 phi->set_req(i, new_lb->proj_out(LoadBarrierNode::Oop)); |
|
1192 } |
|
1193 } |
|
1194 phase->register_new_node(phi, region); |
|
1195 replace_barrier(phase, lb, phi); |
|
1196 |
|
1197 if (region->is_Loop()) { |
|
1198 // Load barrier moved to the back edge of the Loop may now |
|
1199 // have a safepoint on the path to the barrier on the Similar |
|
1200 // edge |
|
1201 igvn.replace_input_of(phi->in(LoopNode::LoopBackControl)->in(0), LoadBarrierNode::Similar, C->top()); |
|
1202 Node* head = region->in(LoopNode::EntryControl); |
|
1203 phase->set_idom(region, head, phase->dom_depth(head)+1); |
|
1204 phase->recompute_dom_depth(); |
|
1205 if (head->is_CountedLoop() && head->as_CountedLoop()->is_main_loop()) { |
|
1206 head->as_CountedLoop()->set_normal_loop(); |
|
1207 } |
|
1208 } |
|
1209 |
|
1210 return true; |
|
1211 } |
|
1212 } |
|
1213 |
|
1214 return false; |
|
1215 } |
|
1216 |
|
1217 static bool move_out_of_loop(PhaseIdealLoop* phase, LoadBarrierNode* lb) { |
|
1218 PhaseIterGVN &igvn = phase->igvn(); |
|
1219 IdealLoopTree *lb_loop = phase->get_loop(lb->in(0)); |
|
1220 if (lb_loop != phase->ltree_root() && !lb_loop->_irreducible) { |
|
1221 Node* oop_ctrl = phase->get_ctrl(lb->in(LoadBarrierNode::Oop)); |
|
1222 IdealLoopTree *oop_loop = phase->get_loop(oop_ctrl); |
|
1223 IdealLoopTree* adr_loop = phase->get_loop(phase->get_ctrl(lb->in(LoadBarrierNode::Address))); |
|
1224 if (!lb_loop->is_member(oop_loop) && !lb_loop->is_member(adr_loop)) { |
|
1225 // That transformation may cause the Similar edge on dominated load barriers to be invalid |
|
1226 lb->fix_similar_in_uses(&igvn); |
|
1227 |
|
1228 Node* head = lb_loop->_head; |
|
1229 assert(head->is_Loop(), ""); |
|
1230 |
|
1231 if (phase->is_dominator(head, oop_ctrl)) { |
|
1232 assert(oop_ctrl->Opcode() == Op_CProj && oop_ctrl->in(0)->Opcode() == Op_NeverBranch, ""); |
|
1233 assert(lb_loop->is_member(phase->get_loop(oop_ctrl->in(0)->in(0))), ""); |
|
1234 return false; |
|
1235 } |
|
1236 |
|
1237 if (head->is_CountedLoop()) { |
|
1238 CountedLoopNode* cloop = head->as_CountedLoop(); |
|
1239 if (cloop->is_main_loop()) { |
|
1240 cloop->set_normal_loop(); |
|
1241 } |
|
1242 // When we are moving barrier out of a counted loop, |
|
1243 // make sure we move it all the way out of the strip mined outer loop. |
|
1244 if (cloop->is_strip_mined()) { |
|
1245 head = cloop->outer_loop(); |
|
1246 } |
|
1247 } |
|
1248 |
|
1249 Node* mem = lb->in(LoadBarrierNode::Memory); |
|
1250 Node* m = find_dominating_memory(phase, mem, head, -1); |
|
1251 |
|
1252 LoadBarrierNode* new_lb = clone_load_barrier(phase, lb, head->in(LoopNode::EntryControl), m, NULL); |
|
1253 |
|
1254 assert(phase->idom(head) == head->in(LoopNode::EntryControl), ""); |
|
1255 Node* proj_ctl = new_lb->proj_out(LoadBarrierNode::Control); |
|
1256 igvn.replace_input_of(head, LoopNode::EntryControl, proj_ctl); |
|
1257 phase->set_idom(head, proj_ctl, phase->dom_depth(proj_ctl) + 1); |
|
1258 |
|
1259 replace_barrier(phase, lb, new_lb->proj_out(LoadBarrierNode::Oop)); |
|
1260 |
|
1261 phase->recompute_dom_depth(); |
|
1262 |
|
1263 return true; |
|
1264 } |
|
1265 } |
|
1266 |
|
1267 return false; |
|
1268 } |
|
1269 |
|
1270 static bool common_barriers(PhaseIdealLoop* phase, LoadBarrierNode* lb) { |
|
1271 PhaseIterGVN &igvn = phase->igvn(); |
|
1272 Node* in_val = lb->in(LoadBarrierNode::Oop); |
|
1273 for (DUIterator_Fast imax, i = in_val->fast_outs(imax); i < imax; i++) { |
|
1274 Node* u = in_val->fast_out(i); |
|
1275 if (u != lb && u->is_LoadBarrier() && u->as_LoadBarrier()->has_true_uses()) { |
|
1276 Node* this_ctrl = lb->in(LoadBarrierNode::Control); |
|
1277 Node* other_ctrl = u->in(LoadBarrierNode::Control); |
|
1278 |
|
1279 Node* lca = phase->dom_lca(this_ctrl, other_ctrl); |
|
1280 bool ok = true; |
|
1281 |
|
1282 Node* proj1 = NULL; |
|
1283 Node* proj2 = NULL; |
|
1284 |
|
1285 while (this_ctrl != lca && ok) { |
|
1286 if (this_ctrl->in(0) != NULL && |
|
1287 this_ctrl->in(0)->is_MultiBranch()) { |
|
1288 if (this_ctrl->in(0)->in(0) == lca) { |
|
1289 assert(proj1 == NULL, ""); |
|
1290 assert(this_ctrl->is_Proj(), ""); |
|
1291 proj1 = this_ctrl; |
|
1292 } else if (!(this_ctrl->in(0)->is_If() && this_ctrl->as_Proj()->is_uncommon_trap_if_pattern(Deoptimization::Reason_none))) { |
|
1293 ok = false; |
|
1294 } |
|
1295 } |
|
1296 this_ctrl = phase->idom(this_ctrl); |
|
1297 } |
|
1298 while (other_ctrl != lca && ok) { |
|
1299 if (other_ctrl->in(0) != NULL && |
|
1300 other_ctrl->in(0)->is_MultiBranch()) { |
|
1301 if (other_ctrl->in(0)->in(0) == lca) { |
|
1302 assert(other_ctrl->is_Proj(), ""); |
|
1303 assert(proj2 == NULL, ""); |
|
1304 proj2 = other_ctrl; |
|
1305 } else if (!(other_ctrl->in(0)->is_If() && other_ctrl->as_Proj()->is_uncommon_trap_if_pattern(Deoptimization::Reason_none))) { |
|
1306 ok = false; |
|
1307 } |
|
1308 } |
|
1309 other_ctrl = phase->idom(other_ctrl); |
|
1310 } |
|
1311 assert(proj1 == NULL || proj2 == NULL || proj1->in(0) == proj2->in(0), ""); |
|
1312 if (ok && proj1 && proj2 && proj1 != proj2 && proj1->in(0)->is_If()) { |
|
1313 // That transformation may cause the Similar edge on dominated load barriers to be invalid |
|
1314 lb->fix_similar_in_uses(&igvn); |
|
1315 u->as_LoadBarrier()->fix_similar_in_uses(&igvn); |
|
1316 |
|
1317 Node* split = lca->unique_ctrl_out(); |
|
1318 assert(split->in(0) == lca, ""); |
|
1319 |
|
1320 Node* mem = lb->in(LoadBarrierNode::Memory); |
|
1321 Node* m = find_dominating_memory(phase, mem, split, -1); |
|
1322 LoadBarrierNode* new_lb = clone_load_barrier(phase, lb, lca, m, NULL); |
|
1323 |
|
1324 Node* proj_ctl = new_lb->proj_out(LoadBarrierNode::Control); |
|
1325 igvn.replace_input_of(split, 0, new_lb->proj_out(LoadBarrierNode::Control)); |
|
1326 phase->set_idom(split, proj_ctl, phase->dom_depth(proj_ctl)+1); |
|
1327 |
|
1328 Node* proj_oop = new_lb->proj_out(LoadBarrierNode::Oop); |
|
1329 replace_barrier(phase, lb, proj_oop); |
|
1330 replace_barrier(phase, u->as_LoadBarrier(), proj_oop); |
|
1331 |
|
1332 phase->recompute_dom_depth(); |
|
1333 |
|
1334 return true; |
|
1335 } |
|
1336 } |
|
1337 } |
|
1338 |
|
1339 return false; |
|
1340 } |
|
1341 |
|
1342 static void optimize_load_barrier(PhaseIdealLoop* phase, LoadBarrierNode* lb, bool last_round) { |
|
1343 Compile* C = Compile::current(); |
|
1344 |
|
1345 if (!C->directive()->ZOptimizeLoadBarriersOption) { |
|
1346 return; |
|
1347 } |
|
1348 |
|
1349 if (lb->has_true_uses()) { |
|
1350 if (replace_with_dominating_barrier(phase, lb, last_round)) { |
|
1351 return; |
|
1352 } |
|
1353 |
|
1354 if (split_barrier_thru_phi(phase, lb)) { |
|
1355 return; |
|
1356 } |
|
1357 |
|
1358 if (move_out_of_loop(phase, lb)) { |
|
1359 return; |
|
1360 } |
|
1361 |
|
1362 if (common_barriers(phase, lb)) { |
|
1363 return; |
|
1364 } |
|
1365 } |
|
1366 } |
|
1367 |
|
1368 void ZBarrierSetC2::loop_optimize_gc_barrier(PhaseIdealLoop* phase, Node* node, bool last_round) { |
|
1369 if (node->is_LoadBarrier()) { |
|
1370 optimize_load_barrier(phase, node->as_LoadBarrier(), last_round); |
|
1371 } |
|
1372 } |
|
1373 |
|
1374 // == Verification == |
|
1375 |
|
1376 #ifdef ASSERT |
|
1377 |
|
1378 static bool look_for_barrier(Node* n, bool post_parse, VectorSet& visited) { |
|
1379 if (visited.test_set(n->_idx)) { |
|
1380 return true; |
|
1381 } |
|
1382 |
|
1383 for (DUIterator_Fast imax, i = n->fast_outs(imax); i < imax; i++) { |
|
1384 Node* u = n->fast_out(i); |
|
1385 if (u->is_LoadBarrier()) { |
|
1386 } else if ((u->is_Phi() || u->is_CMove()) && !post_parse) { |
|
1387 if (!look_for_barrier(u, post_parse, visited)) { |
|
1388 return false; |
|
1389 } |
|
1390 } else if (u->Opcode() == Op_EncodeP || u->Opcode() == Op_DecodeN) { |
|
1391 if (!look_for_barrier(u, post_parse, visited)) { |
|
1392 return false; |
|
1393 } |
|
1394 } else if (u->Opcode() != Op_SCMemProj) { |
|
1395 tty->print("bad use"); u->dump(); |
|
1396 return false; |
|
1397 } |
|
1398 } |
|
1399 |
|
1400 return true; |
|
1401 } |
|
1402 |
|
1403 void ZBarrierSetC2::verify_gc_barriers(bool post_parse) const { |
|
1404 ZBarrierSetC2State* s = state(); |
|
1405 Compile* C = Compile::current(); |
|
1406 ResourceMark rm; |
|
1407 VectorSet visited(Thread::current()->resource_area()); |
|
1408 for (int i = 0; i < s->load_barrier_count(); i++) { |
|
1409 LoadBarrierNode* n = s->load_barrier_node(i); |
|
1410 |
|
1411 // The dominating barrier on the same address if it exists and |
|
1412 // this barrier must not be applied on the value from the same |
|
1413 // load otherwise the value is not reloaded before it's used the |
|
1414 // second time. |
|
1415 assert(n->in(LoadBarrierNode::Similar)->is_top() || |
|
1416 (n->in(LoadBarrierNode::Similar)->in(0)->is_LoadBarrier() && |
|
1417 n->in(LoadBarrierNode::Similar)->in(0)->in(LoadBarrierNode::Address) == n->in(LoadBarrierNode::Address) && |
|
1418 n->in(LoadBarrierNode::Similar)->in(0)->in(LoadBarrierNode::Oop) != n->in(LoadBarrierNode::Oop)), |
|
1419 "broken similar edge"); |
|
1420 |
|
1421 assert(post_parse || n->as_LoadBarrier()->has_true_uses(), |
|
1422 "found unneeded load barrier"); |
|
1423 |
|
1424 // Several load barrier nodes chained through their Similar edge |
|
1425 // break the code that remove the barriers in final graph reshape. |
|
1426 assert(n->in(LoadBarrierNode::Similar)->is_top() || |
|
1427 (n->in(LoadBarrierNode::Similar)->in(0)->is_LoadBarrier() && |
|
1428 n->in(LoadBarrierNode::Similar)->in(0)->in(LoadBarrierNode::Similar)->is_top()), |
|
1429 "chain of Similar load barriers"); |
|
1430 |
|
1431 if (!n->in(LoadBarrierNode::Similar)->is_top()) { |
|
1432 ResourceMark rm; |
|
1433 Unique_Node_List wq; |
|
1434 Node* other = n->in(LoadBarrierNode::Similar)->in(0); |
|
1435 wq.push(n); |
|
1436 bool ok = true; |
|
1437 bool dom_found = false; |
|
1438 for (uint next = 0; next < wq.size(); ++next) { |
|
1439 Node *n = wq.at(next); |
|
1440 assert(n->is_CFG(), ""); |
|
1441 assert(!n->is_SafePoint(), ""); |
|
1442 |
|
1443 if (n == other) { |
|
1444 continue; |
|
1445 } |
|
1446 |
|
1447 if (n->is_Region()) { |
|
1448 for (uint i = 1; i < n->req(); i++) { |
|
1449 Node* m = n->in(i); |
|
1450 if (m != NULL) { |
|
1451 wq.push(m); |
|
1452 } |
|
1453 } |
|
1454 } else { |
|
1455 Node* m = n->in(0); |
|
1456 if (m != NULL) { |
|
1457 wq.push(m); |
|
1458 } |
|
1459 } |
|
1460 } |
|
1461 } |
|
1462 |
|
1463 if (ZVerifyLoadBarriers) { |
|
1464 if ((n->is_Load() || n->is_LoadStore()) && n->bottom_type()->make_oopptr() != NULL) { |
|
1465 visited.Clear(); |
|
1466 bool found = look_for_barrier(n, post_parse, visited); |
|
1467 if (!found) { |
|
1468 n->dump(1); |
|
1469 n->dump(-3); |
|
1470 stringStream ss; |
|
1471 C->method()->print_short_name(&ss); |
|
1472 tty->print_cr("-%s-", ss.as_string()); |
|
1473 assert(found, ""); |
|
1474 } |
|
1475 } |
|
1476 } |
|
1477 } |
|
1478 } |
|
1479 |
|
1480 #endif |