JDK-8288194 : C2: assert(t->meet(t0) == t) failed: Not monotonic
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 18,19,20
  • Priority: P4
  • Status: Closed
  • Resolution: Duplicate
  • Submitted: 2022-06-10
  • Updated: 2022-09-12
  • Resolved: 2022-06-16
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 20
20Resolved
Related Reports
Duplicate :  
JDK-8287851 - C2 crash: assert(t->meet(t0) == t) failed: Not monotonic
Relates :  
JDK-8293531 - C2: some vectorapi tests fail assert "Not monotonic" with flag -XX:TypeProfileLevel=222
Description
Running:
test/hotspot/jtreg/compiler/vectorapi/VectorMemoryAlias.java

Also on:
compiler/vectorapi/VectorReplicateLongSpecialImmTest.java
(aarch64 only)

with extra Flag:
-XX:TypeProfileLevel=222

#  Internal Error (/home/emanuel/Documents/fork3-jdk/open/src/hotspot/share/opto/phaseX.cpp:1741), pid=2538074, tid=2538097
#  assert(t->meet(t0) == t) failed: Not monotonic
#
# JRE version: Java(TM) SE Runtime Environment (19.0) (fastdebug build 19-internal-2022-06-02-1355549.emanuel...)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 19-internal-2022-06-02-1355549.emanuel..., mixed mode, compressed oops, compressed class ptrs, g1 gc, linux-amd64)
# Problematic frame:
# V  [libjvm.so+0x17bee9e]  PhaseCCP::analyze()+0x27e
#
# An error report file with more information is saved as:
# /home/emanuel/Documents/fork3-jdk/build/linux-x64-debug/jdk/bin/JTwork/scratch/hs_err_pid2538074.log
#
# Compiler replay data is saved as:
# /home/emanuel/Documents/fork3-jdk/build/linux-x64-debug/jdk/bin/JTwork/scratch/replay_pid2538074.log

---------------  T H R E A D  ---------------

Current thread (0x00007f1118002af0):  JavaThread "C2 CompilerThread5" daemon [_thread_in_native, id=2538097, stack(0x00007f1155c30000,0x00007f1155d31000)]


Current CompileTask:
C2:    441  742             jdk.internal.vm.vector.VectorSupport$VectorPayload::getPayload (8 bytes)

Stack: [0x00007f1155c30000,0x00007f1155d31000],  sp=0x00007f1155d2bf40,  free space=1007k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
V  [libjvm.so+0x17bee9e]  PhaseCCP::analyze()+0x27e
V  [libjvm.so+0xade4df]  Compile::Optimize()+0x96f
V  [libjvm.so+0xae0d20]  Compile::Compile(ciEnv*, ciMethod*, int, Options, DirectiveSet*)+0x1520
V  [libjvm.so+0x8f7fda]  C2Compiler::compile_method(ciEnv*, ciMethod*, int, bool, DirectiveSet*)+0x62a
V  [libjvm.so+0xaef7e8]  CompileBroker::invoke_compiler_on_method(CompileTask*)+0xbb8
V  [libjvm.so+0xaf07d8]  CompileBroker::compiler_thread_loop()+0x6f8
V  [libjvm.so+0x1a6d27c]  JavaThread::thread_main_inner()+0x23c
V  [libjvm.so+0x1a78760]  Thread::call_run()+0x100
V  [libjvm.so+0x172a524]  thread_native_entry(Thread*)+0x104


Run with JTreg (intermittent):
~/Documents/jtreg/build/images/jtreg/bin/jtreg -va -s -jdk:/home/emanuel/Documents/fork3-jdk/build/linux-x64-debug/jdk/ -javaoptions:"-XX:TypeProfileLevel=222" /home/emanuel/Documents/fork3-jdk/open/test/hotspot/jtreg/compiler/vectorapi/VectorMemoryAlias.java

Run replay file (deterministic):
./java -XX:+ReplayCompiles -XX:+ReplayIgnoreInitErrors -XX:ReplayDataFile=/home/emanuel/Documents/fork3-jdk/build/linux-x64-debug/jdk/bin/JTwork/scratch/replay_pid2538074.log -XX:TypeProfileLevel=222
Comments
Seems the bug has reappeared (JDK-8293531), most likely was not a duplicate of JDK-8287851
12-09-2022
I would say duplicate of JDK-8287851
13-06-2022
ILW = assertion failure in incubator test code; seen only using full type profile (TypeProfileLevel=222); run default type profile level = MML = P4
10-06-2022
possible duplicate, but not sure
10-06-2022