Loading...

XML

Word

Printable

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

Subcomponent:
compiler

While there are existing fuzzers like javafuzzer that find bugs in C2, we find that the generated programs take quite a while to find and are overly contrived, whereas most C2 bugs (also those found by a fuzzer) have a rather small reproducer. Our hypothesis is that a fuzzer that instruments C2 for feedback (e.g. what optimizations took place) and takes existing test cases as seeds, could be guided to quicker and smaller finds. Further, such a fuzzer should also cover new java features currently not covered by other fuzzers we are employing.

relates to

JDK-8370502 C2: segfault while adding node to IGVN worklist

Open

JDK-8370416 C2: Optimizing away arraycopy leads to wrong execution

In Progress

JDK-8370405 C2: mismatched store from MergeStores wrongly scalarized in allocation elimination

Resolved

JDK-8373525 C2: assert(_base == Long) failed: Not a Long

Resolved

JDK-8370948 C2: segfault due to OuterStripMinedLoopNode::outer_loop_end returning nullptr

Open

JDK-8373453 C2 SuperWord: assert(_inputs.at(alias_idx) == nullptr || _inputs.at(alias_idx) == load->in(1)) failed: not yet touched or the same input

Open

JDK-8373508 C2: sinking CreateEx out of loop breaks the graph

Open

JDK-8373524 C2: no reachable node should have no use

Resolved

JDK-8373569 C2: assert(is_Call()) failed: invalid node class: Region

Closed

(4 relates to)

Assignee:: Manuel Hässig
Reporter:: Manuel Hässig
Votes:: 0 Vote for this issue
Watchers:: 6 Start watching this issue

Created:: 2025-10-24 01:08
Updated:: 2025-12-12 02:28

Details

Description

Attachments

Issue Links

Activity

People

Dates