Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8277873

IfNode::dominated_by() and PhaseIdealLoop::dominated_by() don't match

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Open
    • Priority: P4
    • Resolution: Unresolved
    • Affects Version/s: 8, 11, 17, 18
    • Fix Version/s: tbd
    • Component/s: hotspot

      Description

      PhaseIdealLoop::dominated_by() has this logic:

      if (exclude_loop_predicate && (unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_predicate) != NULL ||
          unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_profile_predicate) != NULL ||
          unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_range_check) != NULL)) {

      while IfNode::dominated_by() has:

      if (unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_predicate) != NULL ||
          unc_proj->is_uncommon_trap_proj(Deoptimization::Reason_profile_predicate) != NULL) {

      The 2 should match I think.

        Attachments

          Activity

            People

            Assignee:
            roland Roland Westrelin
            Reporter:
            roland Roland Westrelin
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Dates

              Created:
              Updated: