-
Sub-task
-
Resolution: Unresolved
-
P4
-
25
-
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 withJDK-8350579 but we require the fixes from JDK-8350577 to make this reliably working.
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
- is blocked by
-
JDK-8350577 Fix missing Assertion Predicates when splitting loops
-
- Resolved
-
- relates to
-
JDK-8350579 Remove Template Assertion Predicates belonging to a loop once it is folded away
-
- Resolved
-
- links to
-
Review(master) openjdk/jdk/24326