# HG changeset patch # User roland # Date 1487208397 28800 # Node ID d7ea04813d4b854f39b4eb39ccf17a8f92026cb5 # Parent d7dca9011eba2db675691d0935dfab937f3aadef 8174164: SafePointNode::_replaced_nodes breaks with irreducible loops Reviewed-by: kvn diff -r d7dca9011eba -r d7ea04813d4b src/share/vm/opto/callnode.hpp --- a/src/share/vm/opto/callnode.hpp Mon Jul 14 03:29:42 2014 -0700 +++ b/src/share/vm/opto/callnode.hpp Wed Feb 15 17:26:37 2017 -0800 @@ -446,8 +446,8 @@ void delete_replaced_nodes() { _replaced_nodes.reset(); } - void apply_replaced_nodes() { - _replaced_nodes.apply(this); + void apply_replaced_nodes(uint idx) { + _replaced_nodes.apply(this, idx); } void merge_replaced_nodes_with(SafePointNode* sfpt) { _replaced_nodes.merge_with(sfpt->_replaced_nodes); diff -r d7dca9011eba -r d7ea04813d4b src/share/vm/opto/parse1.cpp --- a/src/share/vm/opto/parse1.cpp Mon Jul 14 03:29:42 2014 -0700 +++ b/src/share/vm/opto/parse1.cpp Wed Feb 15 17:26:37 2017 -0800 @@ -1020,7 +1020,7 @@ kit.make_dtrace_method_exit(method()); } if (_replaced_nodes_for_exceptions) { - kit.map()->apply_replaced_nodes(); + kit.map()->apply_replaced_nodes(_new_idx); } // Done with exception-path processing. ex_map = kit.make_exception_state(ex_oop); @@ -1041,7 +1041,7 @@ _exits.add_exception_state(ex_map); } } - _exits.map()->apply_replaced_nodes(); + _exits.map()->apply_replaced_nodes(_new_idx); } //-----------------------------create_entry_map------------------------------- diff -r d7dca9011eba -r d7ea04813d4b src/share/vm/opto/replacednodes.cpp --- a/src/share/vm/opto/replacednodes.cpp Mon Jul 14 03:29:42 2014 -0700 +++ b/src/share/vm/opto/replacednodes.cpp Wed Feb 15 17:26:37 2017 -0800 @@ -91,13 +91,17 @@ } // Perfom node replacement (used when returning to caller) -void ReplacedNodes::apply(Node* n) { +void ReplacedNodes::apply(Node* n, uint idx) { if (is_empty()) { return; } for (int i = 0; i < _replaced_nodes->length(); i++) { ReplacedNode replaced = _replaced_nodes->at(i); - n->replace_edge(replaced.initial(), replaced.improved()); + // Only apply if improved node was created in a callee to avoid + // issues with irreducible loops in the caller + if (replaced.improved()->_idx >= idx) { + n->replace_edge(replaced.initial(), replaced.improved()); + } } } diff -r d7dca9011eba -r d7ea04813d4b src/share/vm/opto/replacednodes.hpp --- a/src/share/vm/opto/replacednodes.hpp Mon Jul 14 03:29:42 2014 -0700 +++ b/src/share/vm/opto/replacednodes.hpp Wed Feb 15 17:26:37 2017 -0800 @@ -71,7 +71,7 @@ void record(Node* initial, Node* improved); void transfer_from(const ReplacedNodes& other, uint idx); void reset(); - void apply(Node* n); + void apply(Node* n, uint idx); void merge_with(const ReplacedNodes& other); bool is_empty() const; void dump(outputStream *st) const;