JDK-8299214 : Bytecode Fuzzer for irreducible/infinite loops and more
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 21
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2022-12-21
  • Updated: 2024-02-26
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
Relates :  
JDK-8308675 - C2: assert(no_dead_loop) failed: dead loop detected
Relates :  
JDK-8280126 - C2: detect and remove dead irreducible loops
Relates :  
JDK-8296318 - use-def assert: special case undetected loops nested in infinite loops
Relates :  
JDK-8280126 - C2: detect and remove dead irreducible loops
Relates :  
JDK-8296412 - Special case infinite loops with unmerged backedges in IdealLoopTree::check_safepts
Relates :  
JDK-8297642 - PhaseIdealLoop::only_has_infinite_loops must detect all loops that never lead to termination
Relates :  
JDK-8308749 - C2 failed: regular loops only (counted loop inside infinite loop)
Relates :  
JDK-8296389 - C2: PhaseCFG::convert_NeverBranch_to_Goto must handle both orders of successors
Description
I have written a bytecode fuzzer during the work of JDK-8280126 (dead irreducible loops).

It has uncovered more bugs, all related to infinite loops (no exit, never terminate):
JDK-8297642
JDK-8296318
JDK-8296389
JDK-8296412

While these are special cases, most of them can still be reproduced not only in jasm, but also java - it is just much easier to write a reproducer in jasm.

This task is here to port the fuzzer I wrote in python3 to java, and hopefully eventually integrate it into the CI.
Comments
Found 2 more bugs with the jasm fuzzer (the python version). JDK-8308749 JDK-8308675
24-05-2023