Loading...

XML

Word

Printable

Type: Enhancement
Resolution: Unresolved
Priority: P4
Fix Version/s: tbd
Affects Version/s: 25
Component/s: hotspot
Labels:
- c2
- c2-verification

Subcomponent:
compiler

Violation of memory liveness invariants can lead to subtle miscompilation issues such as ~~JDK-8333393~~, ~~JDK-8255763~~, and ~~JDK-8288975~~. This RFE proposes adding debug-only verification code after scheduling (GCM and LCM) that computes liveness information for the memory subgraph and checks that certain invariants hold.

Examples of candidate invariants to be explored are that "all-memory" (<Bot> in the notation given in memnode.cpp) definitions do not interfere, or that a MergeMem definition using a certain memory state does not interfere with that particular memory state later on.

relates to

JDK-8351468 C2: array fill optimization assigns wrong type to intrinsic call

Resolved

JDK-8255763 C2: OSR miscompilation caused by invalid memory instruction placement

Resolved

JDK-8258894 C2: Forbid GCM to move stores into loops

Resolved

JDK-8333393 PhaseCFG::insert_anti_dependences can fail to raise LCAs and to add necessary anti-dependence edges

Resolved

JDK-8288975 Incorrect result with C2 compiled code

Closed

JDK-8298951 Umbrella: improve CCP and IGVN verification

Open

JDK-8350864 C2: verify structural invariants of the Ideal graph

Open

(2 relates to)

Assignee:: Roberto Castaneda Lozano

Reporter:: Roberto Castaneda Lozano

Votes:: 0 Vote for this issue

Watchers:: 1 Start watching this issue

Created:: 2025-02-12 11:06

Updated:: 2025-04-07 23:52

Details

Description

Attachments

Issue Links

Activity

People

Dates