Loading...

XML

Word

Printable

Type: Enhancement
Resolution: Unresolved
Priority: P4
Fix Version/s: tbd
Affects Version/s: 21
Component/s: hotspot
Labels:
- irreducibility
- noreg-self

Subcomponent:
compiler

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.

relates to

JDK-8308675 C2: assert(no_dead_loop) failed: dead loop detected - irreducible loops are broken

Open

JDK-8280126 C2: detect and remove dead irreducible loops

Resolved

JDK-8296318 use-def assert: special case undetected loops nested in infinite loops

Resolved

JDK-8296389 C2: PhaseCFG::convert_NeverBranch_to_Goto must handle both orders of successors

Resolved

JDK-8296412 Special case infinite loops with unmerged backedges in IdealLoopTree::check_safepts

Resolved

JDK-8297642 PhaseIdealLoop::only_has_infinite_loops must detect all loops that never lead to termination

Resolved

JDK-8308749 C2 failed: regular loops only (counted loop inside infinite loop)

Resolved

JDK-8280126 C2: detect and remove dead irreducible loops

Resolved

(3 relates to)

Assignee:: Emanuel Peter

Reporter:: Emanuel Peter

Votes:: 0 Vote for this issue

Watchers:: 2 Start watching this issue

Created:: 2022-12-21 06:53

Updated:: 2024-02-26 04:40

Details

Description

Attachments

Issue Links

Activity

People

Dates