src/share/vm/opto/ifnode.cpp

rev 5783 : 8024069: replace_in_map() should operate on parent maps
Summary: type information gets lost because replace_in_map() doesn't update parent maps
Reviewed-by: kvn, twisti

*** 1078,1088 ****
  
    // Loop predicates may have depending checks which should not
    // be skipped. For example, range check predicate has two checks
    // for lower and upper bounds.
    ProjNode* unc_proj = proj_out(1 - prev_dom->as_Proj()->_con)->as_Proj();
!   if (PhaseIdealLoop::is_uncommon_trap_proj(unc_proj, Deoptimization::Reason_predicate))
      prev_dom = idom;
  
    // Now walk the current IfNode's projections.
    // Loop ends when 'this' has no more uses.
    for (DUIterator_Last imin, i = last_outs(imin); i >= imin; --i) {
--- 1078,1088 ----
  
    // Loop predicates may have depending checks which should not
    // be skipped. For example, range check predicate has two checks
    // for lower and upper bounds.
    ProjNode* unc_proj = proj_out(1 - prev_dom->as_Proj()->_con)->as_Proj();
!   if (unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_predicate))
      prev_dom = idom;
  
    // Now walk the current IfNode's projections.
    // Loop ends when 'this' has no more uses.
    for (DUIterator_Last imin, i = last_outs(imin); i >= imin; --i) {