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-8359602 Ideal optimizations depending on input type are missed because of missing notification mechanism from CCP

Open

JDK-8359603 VerifyIterativeGVN fails with "Missed optimization opportunity in PhaseIterGVN"

Open

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

Resolved

links to

Commit(master) openjdk/jdk/dd688290

Review(master) openjdk/jdk/22970

(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:: 5 days ago 17:12

Resolved:: 2025-06-12 07:23

Details

Description

Attachments

Issue Links

Activity

People

Dates