8219448: split-if update_uses accesses stale idom data
authorneliasso
Thu, 07 Mar 2019 22:16:03 +0100
changeset 54027 a37939761ff6
parent 54026 3e7fd3fe8411
child 54028 dcaced4cbb83
8219448: split-if update_uses accesses stale idom data Reviewed-by: thartmann, kvn
src/hotspot/share/opto/split_if.cpp
--- a/src/hotspot/share/opto/split_if.cpp	Thu Mar 07 12:56:48 2019 -0800
+++ b/src/hotspot/share/opto/split_if.cpp	Thu Mar 07 22:16:03 2019 +0100
@@ -523,7 +523,9 @@
   }
   _igvn.remove_dead_node(new_iff);
   // Lazy replace IDOM info with the region's dominator
-  lazy_replace( iff, region_dom );
+  lazy_replace(iff, region_dom);
+  lazy_update(region, region_dom); // idom must be update before handle_uses
+  region->set_req(0, NULL);        // Break the self-cycle. Required for lazy_update to work on region
 
   // Now make the original merge point go dead, by handling all its uses.
   small_cache region_cache;
@@ -566,13 +568,8 @@
     --k;
   } // End of while merge point has phis
 
-  assert(region->outcnt() == 1, "Only self reference should remain"); // Just Self on the Region
-  region->set_req(0, NULL);       // Break the self-cycle
+  _igvn.remove_dead_node(region);
 
-  // Any leftover bits in the splitting block must not have depended on local
-  // Phi inputs (these have already been split-up).  Hence it's safe to hoist
-  // these guys to the dominating point.
-  lazy_replace( region, region_dom );
 #ifndef PRODUCT
   if( VerifyLoopOptimizations ) verify();
 #endif