Bug ID: JDK-8355891 [Umbrella] Stabilization of C2's Memory Representation

JDK-8355891 : [Umbrella] Stabilization of C2's Memory Representation

Type: Enhancement
Component: hotspot
Sub-Component: compiler
Affected Version: 25

Priority: P4
Status: Open
Resolution: Unresolved

Submitted: 2025-04-29
Updated: 2025-09-16

Versions (Unresolved/Resolved/Fixed)

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-8037084 - -XX:+VerifyAliases is broken
Relates :	JDK-8333393 - PhaseCFG::insert_anti_dependences can fail to raise LCAs and to add necessary anti-dependence edges
Relates :	JDK-8351468 - C2: array fill optimization assigns wrong type to intrinsic call
Relates :	JDK-8367728 - IGV: dump node address type
Relates :	JDK-8350006 - IGV: show memory slices as type information
Relates :	JDK-8351568 - Improve source code documentation for PhaseCFG::insert_anti_dependences
Relates :	JDK-8349930 - C2: verify memory liveness invariants after scheduling

Description

Stabilize, strengthen, and make C2's memory representation more accessible to new C2 developers:
- find and fix bugs related to the memory graph
- add mechanisms to prevent new bugs in this area
- fix/add new verification code
- clarify terminology and clean up code
- add additional test cases
- improve code documentation
- improve tooling (e.g. IGV support)
- generate higher-level documentation

See all linked issues.