JDK-8344213 : Cleanup OpaqueLoop*Node verification code for Assertion Predicates
  • Type: Sub-task
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 24
  • Priority: P4
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2024-11-14
  • Updated: 2024-11-28
  • Resolved: 2024-11-25
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 24
24 b26Fixed
Related Reports
Relates :  
JDK-8344957 - C2: Add dedicated classes to do BFS traversals on C2 nodes
Description
Currently, we are using PhaseIdealLoop::assertion_predicate_has_loop_opaque_node() throughout our code base. There are some places where the verification code is missed to call, called twice or called unnecessarily. Moreover, we should move the verification code closer to the actual Assertion Predicate code. This should be the goal of this RFE.
Comments
Changeset: 08dfc4a4 Branch: master Author: Christian Hagedorn <chagedorn@openjdk.org> Date: 2024-11-25 16:46:44 +0000 URL: https://git.openjdk.org/jdk/commit/08dfc4a42e58a13a51fb7be2ebfa1c15daea28a9
25-11-2024
A pull request was submitted for review. Branch: master URL: https://git.openjdk.org/jdk/pull/22136 Date: 2024-11-15 08:17:22 +0000
15-11-2024