JDK-8271341 : Opcode() != Op_If && Opcode() != Op_RangeCheck) || outcnt() == 2 assert failure with Test7179138_1.java
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 11,17,18
  • Priority: P3
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2021-07-27
  • Updated: 2025-05-06
  • Resolved: 2021-09-07
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 11 JDK 17 JDK 18
11.0.14-oracleFixed 17.0.2Fixed 18 b14Fixed
Related Reports
Relates :  
JDK-8356246 - C2: Compilation fails with "assert(bol->is_Bool()) failed: unexpected if shape" in StringConcat::eliminate_unneeded_control
Relates :  
JDK-8273498 - compiler/c2/Test7179138_1.java timed out
Relates :  
JDK-8291775 - C2: assert(r != __null && r->is_Region()) failed: this phi must have a region
Relates :  
JDK-8270886 - Crash in PhaseIdealLoop::verify_strip_mined_scheduling
Description
See comment:

https://bugs.openjdk.java.net/browse/JDK-8270886?focusedCommentId=14436521&page=com.atlassian.jira.plugin.system.issuetabpanels%3Acomment-tabpanel#comment-14436521

in JDK-8270886. This failure is unrelated to JDK-8270886.

To reproduce:
Run test/hotspot/jtreg/compiler/c2/Test7179138_1.java with "-XX:-ReduceInitialCardMarks -XX:-ReduceBulkZeroing -XX:-ReduceFieldZeroing -XX:+IgnoreUnrecognizedVMOptions -XX:+UnlockDiagnosticVMOptions -XX:+StressIGVN -XX:RepeatCompilation=100" (might need multiple runs to reproduce)
Comments
Fix Request (11u): Should get backported for parity with 11.0.14-oracle. Applies cleanly.
06-10-2021
Fix request (17u): The bug leads to an assert in C2. The fix is low risk and has been tested in the JDK 18 for a while and with tier1-3 in JDK 17u. The patch applies cleanly.
28-09-2021
Changeset: 99fb12c7 Author: Roland Westrelin <roland@openjdk.org> Date: 2021-09-07 15:13:12 +0000 URL: https://git.openjdk.java.net/jdk/commit/99fb12c798ad24cc4a671a666930ba42c3cd10c9
07-09-2021
I've attached another (already reduced) test found by fuzzing with the same assertion failure which might be related. To reproduce: $ java -Xbatch -XX:-TieredCompilation Test.java
03-08-2021
ILW = Assert in C2, only with single test, disable loop strip mining = HLM = P3
28-07-2021