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