JDK-8263189 : C2: assert(!had_error) failed: bad dominance
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 16,17
  • Priority: P2
  • Status: Closed
  • Resolution: Fixed
  • Submitted: 2021-03-08
  • Updated: 2021-09-22
  • Resolved: 2021-03-23
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.
JDK 17
17 b15Fixed
Related Reports
Relates :  
Description
The attached fuzzer test fails starts to fail after JDK-8256655 with the following assertion:

To reproduce:
java -Xcomp -XX:-TieredCompilation -XX:CompileOnly=Test Test.java
java -Xcomp -XX:-TieredCompilation -XX:CompileOnly=Reduced Reduced.java

#
# A fatal error has been detected by the Java Runtime Environment:
#
#  Internal Error (/opt/mach5/mesos/work_dir/slaves/28992c6d-c35d-42fa-8099-898223bf183b-S1640/frameworks/1735e8a2-a1db-478c-8104-60c8b0af87dd-0196/executors/7a42df58-80a3-4376-b469-ed090a308636/runs/e3e50449-b968-490c-9564-c40c69f04761/workspace/open/src/hotspot/share/opto/loopnode.cpp:4916), pid=8886, tid=8899
#  assert(!had_error) failed: bad dominance
#
# JRE version: Java(TM) SE Runtime Environment (17.0+12) (fastdebug build 17-ea+12-LTS-906)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 17-ea+12-LTS-906, compiled mode, sharing, compressed oops, compressed class ptrs, g1 gc, linux-amd64)
# Problematic frame:
# V  [libjvm.so+0x12c9bb2]  PhaseIdealLoop::compute_lca_of_uses(Node*, Node*, bool)+0x6e2
..........
Command Line: -Xmx1G -Xcomp -Xbatch -XX:-TieredCompilation -XX:CompileOnly=Test -XX:CompileCommand=quiet Test
..........
Current thread (0x00007fd3f0492fa0):  JavaThread "C2 CompilerThread0" daemon [_thread_in_native, id=8899, stack(0x00007fd3cb4fd000,0x00007fd3cb5fe000)]


Current CompileTask:
C2:    504    4    b        Test::vMeth (266 bytes)

Stack: [0x00007fd3cb4fd000,0x00007fd3cb5fe000],  sp=0x00007fd3cb5f81c0,  free space=1004k
Native frames: (J=compiled Java code, A=aot compiled Java code, j=interpreted, Vv=VM code, C=native code)
V  [libjvm.so+0x12c9bb2]  PhaseIdealLoop::compute_lca_of_uses(Node*, Node*, bool)+0x6e2
V  [libjvm.so+0x12ca5d0]  PhaseIdealLoop::build_loop_late_post_work(Node*, bool)+0x1d0
V  [libjvm.so+0x12cabaa]  PhaseIdealLoop::build_loop_late(VectorSet&, Node_List&, Node_Stack&)+0xba
V  [libjvm.so+0x12d14a7]  PhaseIdealLoop::build_and_optimize(LoopOptsMode)+0x507
V  [libjvm.so+0xa13421]  PhaseIdealLoop::verify(PhaseIterGVN&)+0x341
V  [libjvm.so+0xa0561f]  Compile::process_for_post_loop_opts_igvn(PhaseIterGVN&)+0x1f
V  [libjvm.so+0xa0f7a0]  Compile::Optimize()+0x15f0
V  [libjvm.so+0xa114b5]  Compile::Compile(ciEnv*, ciMethod*, int, bool, bool, bool, bool, DirectiveSet*)+0x1905
V  [libjvm.so+0x83ceca]  C2Compiler::compile_method(ciEnv*, ciMethod*, int, bool, DirectiveSet*)+0x1ea
V  [libjvm.so+0xa212d1]  CompileBroker::invoke_compiler_on_method(CompileTask*)+0xf21
V  [libjvm.so+0xa21f78]  CompileBroker::compiler_thread_loop()+0x5a8
V  [libjvm.so+0x1843131]  JavaThread::thread_main_inner()+0x271
V  [libjvm.so+0x184afa0]  Thread::call_run()+0x100
V  [libjvm.so+0x1536a06]  thread_native_entry(Thread*)+0x116

Comments
The regression test compiler/longcountedloops/TestDeadLongPhi.java passed in JDK17 ATR
09-08-2021

Changeset: fd3a33a8 Author: Roland Westrelin <roland@openjdk.org> Date: 2021-03-23 08:15:47 +0000 URL: https://git.openjdk.java.net/jdk/commit/fd3a33a8
23-03-2021

ILW = Assert during C2 compilation, reproducible with Fuzzer generated test, no known workaround but disable compilation of affected method = HMM = P2
08-03-2021

Roland, could you please have a look?
08-03-2021