JDK-8353246 : [Umbrella] C2: Follow-up work after fixes for Assertion Predicates went in
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 25
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2025-03-31
  • Updated: 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.
Other
tbdUnresolved
Related Reports
Relates :  
JDK-8288981 - [Umbrella] C2: Fix issues with Skeleton/Assertion Predicates
Sub Tasks
JDK-8352418 :  
Add verification code to check that the associated loop nodes of useless Template Assertion Predicates are dead - In Progress
Description
The Assertion Predicate work, under the umbrella issue JDK-8288981, consisted of many preparatory subtasks and was eventually delivered with the integration of the main fix in JDK-8350577.

There are still some follow-up tasks left to do which are summarized in the PR of JDK-8350577. This umbrella issue keeps track of them. 

Note that these tasks are not required for the correctness of the Assertion Predicates. These include things like clean-ups, more refactorings or adding more verification.