-
Sub-task
-
Resolution: Unresolved
-
P3
-
25
-
In Review
Once a loop is folded, we are currently not removing the Template Assertion Predicates above it. They could end up at a different loop which does not have any predicates. When then splitting this loop, we wrongly pick the completely unrelated Template Assertion Predicates with different values and create Initialized Assertion Predicates from them which then crash with performing a halt instruction at runtime.
We should fold Template Assertion Predicates away once a loop dies.
The fixes the report ofJDK-8305428 and linked duplicates.
We should fold Template Assertion Predicates away once a loop dies.
The fixes the report of
- blocks
-
JDK-8350637 C2: verify that main_loop finds pre_loop and that multiversion loops find the multiversion_if
-
- Open
-
- duplicates
-
JDK-8305428 DEBUG MESSAGE: duplicated predicate failed which is impossible
-
- Closed
-
- is blocked by
-
JDK-8351280 Mark Assertion Predicates useless instead of replacing them by a constant directly
-
- Resolved
-
- links to
-
Review(master) openjdk/jdk/23823