Loading...

XML

Word

Printable

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

Subcomponent:
compiler
Resolved In Build:
b03

Just like with ~~JDK-8298952~~ for Value, we should verify that all Ideal and Identity optimizations were performed after IGVN. This is expensive, so we will only do it under the debug flag VerifyIterativeGVN.

We can also bail-out for a lot of node types, and more precisely analyze them in follow-up RFEs - they could be good starter tasks!

blocks

JDK-8359103 C2 VerifyIterativeGVN: Umbrella for extending Ideal and Identity verification (JDK-8347273)

Open

relates to

JDK-8357805 C2: OpaqueDelayNode: arbitrarily delay IGVN optimizations

Open

JDK-8371536 C2: VerifyIterativeGVN should assert on first detected failure

In Progress

JDK-8359602 Ideal optimizations depending on input type are missed because of missing notification mechanism from CCP

Resolved

JDK-8359603 Missed optimization in PhaseIterGVN for redundant ConvX2Y->ConvY2X->ConvX2Y sequences due to missing notification in PhaseIterGVN::add_users_of_use_to_worklist

Resolved

JDK-8367483 C2 crash in PhaseValues::type: assert(t != nullptr) failed: must set before get - missing notification for CastX2P(SubL(x, y))

Resolved

JDK-8298952 All nodes should have type(n) == Value(n) after IGVN

Resolved

JDK-8361144 Strenghten the Ideal Verification in PhaseIterGVN::verify_Ideal_for by comparing the hash of a node before and after Ideal

Resolved

links to

Commit(master) openjdk/jdk/dd688290

Review(master) openjdk/jdk/22970

(3 relates to, 2 links to)

Assignee:: Emanuel Peter
Reporter:: Emanuel Peter
Votes:: 0 Vote for this issue
Watchers:: 3 Start watching this issue

Created:: 2025-01-08 06:17
Updated:: 2025-11-10 01:07
Resolved:: 2025-06-12 07:23

Details

Description

Attachments

Issue Links

Activity

People

Dates