JDK-8283460 : C2: assert(!LCA_orig->dominates(pred_block) || early->dominates(pred_block)) failed: early is high enough
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 19
  • Priority: P3
  • Status: Closed
  • Resolution: Duplicate
  • Submitted: 2022-03-21
  • Updated: 2022-03-25
  • Resolved: 2022-03-25
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 19
19Resolved
Related Reports
Duplicate :  
JDK-8283466 - C2: assert(false) failed: unscheduable graph after JDK-8230382
Relates :  
JDK-8230382 - Clean up ConvI2L, CastII and CastLL::Ideal methods
Description
Synopsis is provisional, feel free to change it as you see fit.

The attached Fuzzer test fails:

$ build/linux-x86_64-server-fastdebug/images/jdk/bin/java -cp 0029/ -Xmx512m -XX:+UnlockDiagnosticVMOptions -XX:+StressIGVN -Xcomp -XX:CompileOnly=Test -XX:-TieredCompilation Test
CompileCommand: compileonly Test.* bool compileonly = true
# To suppress the following error report, specify this argument
# after -XX: or in .hotspotrc:  SuppressErrorAt=/gcm.cpp:766
#
# A fatal error has been detected by the Java Runtime Environment:
#
#  Internal Error (/home/shade/trunks/jdk/src/hotspot/share/opto/gcm.cpp:766), pid=3733508, tid=3733521
#  assert(!LCA_orig->dominates(pred_block) || early->dominates(pred_block)) failed: early is high enough
#
# JRE version: OpenJDK Runtime Environment (19.0) (fastdebug build 19-internal-adhoc.shade.jdk)
# Java VM: OpenJDK 64-Bit Server VM (fastdebug 19-internal-adhoc.shade.jdk, compiled mode, sharing, compressed oops, compressed class ptrs, g1 gc, linux-amd64)
# Problematic frame:
# V  [libjvm.so+0xdd1fe5]  PhaseCFG::insert_anti_dependences(Block*, Node*, bool)+0x18a5

It is somewhat intermittent, and seems to rely on StressIGVN.

Bisection points to JDK-8230382 as the first bad commit.
Comments
Seems to be triggered by same half of commit of JDK-8230382. (ConvI2LNode in src/hotspot/share/opto/convertnode.cpp)
24-03-2022
Possibly related to JDK-8283466. ILW = same as JDK-8283466
24-03-2022
Moving to compiler as there does not seem anything in the description that is gc related
23-03-2022