JDK-8350577 : Fix missing Assertion Predicates when splitting loops
  • Type: Sub-task
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 25
  • Priority: P3
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2025-02-24
  • Updated: 2025-03-31
  • Resolved: 2025-03-31
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 25
25 masterFixed
Related Reports
Blocks :  
JDK-8352418 - Add verification code to check that the associated loop nodes of useless Template Assertion Predicates are dead
Duplicate :  
JDK-8353019 - Crash in test compiler/predicates/assertion/TestAssertionPredicates.java#NoFlags: Not compilable at tier 3: CodeBuffer overflow
Description
After many preparatory sub-tasks have been integrated, I'm finally able to fix the outstanding issues. 

This is the main fix for Assertion Predicates which makes sure that we clone and update Template Assertion Predicates when splitting a loop and then create Initialized Assertion Predicates from them accordingly to keep the graph in a sane state.
Comments
Changeset: 25925138 Branch: master Author: Christian Hagedorn <chagedorn@openjdk.org> Date: 2025-03-31 07:38:53 +0000 URL: https://git.openjdk.org/jdk/commit/25925138b0a7d781d9293e52a8c9520329a85219
31-03-2025
A pull request was submitted for review. Branch: master URL: https://git.openjdk.org/jdk/pull/24246 Date: 2025-03-26 09:21:50 +0000
26-03-2025