Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8353246 [Umbrella] C2: Follow-up work after fixes for Assertion Predicates went in
  3. JDK-8352418

Add verification code to check that the associated loop nodes of useless Template Assertion Predicates are dead

XMLWordPrintable

    • Fix Understood

      As a follow up to JDK-8350579, we should add verification code to check the following: The associated loop nodes of all newly marked useless Template Assertion Predicates during PhaseIdealLoop::eliminate_useless_predicates() should not exist in the graph anymore.

      We could walk through all OpaqueTemplateAssertionPredicate nodes and collect the loop nodes of the useless ones. Then we walk through the loop tree and verify that no loop node can be found on this list.

      I actually wanted to add this with JDK-8350579 but we require the fixes from JDK-8350577 to make this reliably working.

            chagedorn Christian Hagedorn
            chagedorn Christian Hagedorn
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: