JDK-8307982 : Fix VerifyLoopOptimizations - step 3 - fix ctrl/loop
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 21
  • Priority: P4
  • Status: In Progress
  • Resolution: Unresolved
  • Submitted: 2023-05-12
  • Updated: 2025-11-27
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
Other
tbdUnresolved
Related Reports
Blocks :  
JDK-8372613 - C2 SuperWord: we set incorrect ctrl for some nodes, needs verification
Relates :  
JDK-8370332 - C2 SuperWord: SIGSEGV because PhaseIdealLoop::split_thru_phi left dead nodes in loop _body
Relates :  
JDK-8305073 - Fix VerifyLoopOptimizations - step 2 - verify idom
Relates :  
JDK-8173709 - Fix VerifyLoopOptimizations - step 1 - minimal infrastructure
Relates :  
JDK-8370077 - C2: make Compile::_major_progress a boolean
Description
Implement disabled verifications from JDK-8173709.
Idom is already fixed here: JDK-8305073

Address them in the order layed out here:
https://github.com/openjdk/jdk/pull/13207

Maybe only fix a subset, and file further follow-up RFE's.

We can assert at the SuperWord bailout introduced in JDK-8327172
Comments
We seem to also be struggling with the definition of major_progress (JDK-8370077). Work on verification could establish the definition.
27-10-2025
We should probably continue work on this, since there continue to be issues where we have broken loop-tree info. Example: JDK-8370332 (dead nodes in _body)
27-10-2025