Loading...

XML

Word

Printable

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

Subcomponent:
compiler
Understanding:
In Review

Add a debug-only verification pass that asserts that C2's Ideal graph is "well-formed" by checking basic, local invariants (e.g. control nodes (CFG nodes) can have multiple data node users but only one control node user, phi nodes must have an input region, If nodes must have two projections, etc.). This pass could be run at different steps of C2's compilation chain, e.g. after each IGVN pass.

Other example candidate invariants can be found at https://github.com/openjdk/jdk/blob/master/src/utils/IdealGraphVisualizer/ServerCompiler/src/main/java/com/sun/hotspot/igv/servercompiler/ServerCompilerScheduler.java (IGV checks some of these invariants while approximating the CFG).

is blocked by

JDK-8359121 C2: Region added by vectorizedMismatch intrinsic can survive as a dead node after IGVN

Resolved

JDK-8359344 C2: Malformed control flow after intrinsic bailout

Resolved

relates to

JDK-8353624 C2: Re-enable malformed graph assert removed with JDK-8317998 to reduce noise

Open

JDK-8298951 Umbrella: improve CCP and IGVN verification

Open

JDK-8308149 C2 VerifyIterativeGVN: verify CFG consistency (MultiBranchNode::required_outcnt() == outcnt())

Open

JDK-8349930 C2: verify memory liveness invariants after scheduling

In Progress

links to

Review(master) openjdk/jdk/26362

(1 relates to, 1 links to)

Assignee:: Marc Chevalier

Reporter:: Roberto Castaneda Lozano

Votes:: 0 Vote for this issue

Watchers:: 5 Start watching this issue

Created:: 2025-02-27 05:48

Updated:: 2025-07-17 05:05

Details

Description

Attachments

Issue Links

Activity

People

Dates