changeset 6317:34829a112d52

8034216: assert(false) failed: infinite loop in PhaseIterGVN::optimize Summary: Eagerly remove all castPP nodes in PhaseCCP to get type convergence in memnode. Reviewed-by: kvn, roland
author anoll
date Fri, 11 Apr 2014 11:33:00 +0200
parents c86f5b83df67
children 758ec32bde1b ba83e8806d8d
files src/share/vm/opto/phaseX.cpp
diffstat 1 files changed, 15 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/share/vm/opto/phaseX.cpp	Thu Apr 10 23:15:13 2014 -0700
+++ b/src/share/vm/opto/phaseX.cpp	Fri Apr 11 11:33:00 2014 +0200
@@ -1514,6 +1514,21 @@
   C->set_root( transform(C->root())->as_Root() );
   assert( C->top(),  "missing TOP node" );
   assert( C->root(), "missing root" );
+
+  // Eagerly remove castPP nodes here. CastPP nodes might not be
+  // removed in the subsequent IGVN phase if a node that changes
+  // in(1) of a castPP is processed prior to the castPP node.
+  for (uint i = 0; i < _worklist.size(); i++) {
+    Node* n = _worklist.at(i);
+
+    if (n->is_ConstraintCast()) {
+      Node* nn = n->Identity(this);
+      if (nn != n) {
+        replace_node(n, nn);
+        --i;
+      }
+    }
+  }
 }
 
 //------------------------------transform--------------------------------------