JDK-8351280 : Mark Assertion Predicates useless instead of replacing them by a constant directly
  • Type: Sub-task
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 25
  • Priority: P4
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2025-03-05
  • Updated: 2025-04-28
  • Resolved: 2025-03-10
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 b14Fixed
Related Reports
Blocks :  
JDK-8350579 - Remove Template Assertion Predicates belonging to a loop once it is folded away
Causes :  
JDK-8355674 - C2: Partial Peeling should not introduce Phi nodes above OpaqueInitializedAssertionPredicate nodes
Description
We currently directly replace a useless Assertion Predicate with a constant to let it fold during IGVN. This messes with Assertion Predicate matching (see, for example, JDK-8350637). We should mark the opaque nodes of useless Assertion Predicates and then clean them up during IGVN to not interfere the predicate matching code.
Comments
Changeset: 4867a4c8 Branch: master Author: Christian Hagedorn <chagedorn@openjdk.org> Date: 2025-03-10 12:09:16 +0000 URL: https://git.openjdk.org/jdk/commit/4867a4c89e99e3ba7fdd9f44e926c82216804167
10-03-2025
A pull request was submitted for review. Branch: master URL: https://git.openjdk.org/jdk/pull/23941 Date: 2025-03-07 08:01:13 +0000
07-03-2025