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