TestGenerated::test16 triggers:

# A fatal error has been detected by the Java Runtime Environment:
#
# Internal Error (/oracle/valhalla/open/src/hotspot/share/opto/loopnode.cpp:2445), pid=1932432, tid=1932448
# assert(u == outer || u == inner || u->is_Phi()) failed: nothing between inner and outer loop
#
# JRE version: Java(TM) SE Runtime Environment (23.0) (fastdebug build 23-lworld5ea-2024-05-08-0913027.tobias...)
# Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 23-lworld5ea-2024-05-08-0913027.tobias..., mixed mode, tiered, compressed oops, compressed class ptrs, g1 gc, linux-amd64)
# Problematic frame:
# V [libjvm.so+0x1322375] LoopNode::verify_strip_mined(int) const+0x715

Current CompileTask:
C2:1395 676 % b 4 compiler.valhalla.inlinetypes.TestGenerated::test16 @ 18 (65 bytes)

Stack: [0x00007fcfc6946000,0x00007fcfc6a47000], sp=0x00007fcfc6a41ed0, free space=1007k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.so+0x1322375] LoopNode::verify_strip_mined(int) const+0x715 (loopnode.cpp:2445)
V [libjvm.so+0xa224ce] Compile::final_graph_reshaping_impl(Node*, Final_Reshape_Counts&, Unique_Node_List&) [clone .part.0]+0x15e (compile.cpp:3669)
V [libjvm.so+0xa22dc4] Compile::final_graph_reshaping_walk(Node_Stack&, Node*, Final_Reshape_Counts&, Unique_Node_List&)+0x174 (compile.cpp:3618)
V [libjvm.so+0xa30d25] Compile::final_graph_reshaping()+0x2a5 (compile.cpp:4549)
V [libjvm.so+0xa32c08] Compile::Optimize()+0x1308 (compile.cpp:2999)
V [libjvm.so+0xa36124] Compile::Compile(ciEnv*, ciMethod*, int, Options, DirectiveSet*)+0x1cc4 (compile.cpp:874)
V [libjvm.so+0x875d02] C2Compiler::compile_method(ciEnv*, ciMethod*, int, bool, DirectiveSet*)+0x1f2 (c2compiler.cpp:143)
V [libjvm.so+0xa41fec] CompileBroker::invoke_compiler_on_method(CompileTask*)+0x92c (compileBroker.cpp:2305)
V [libjvm.so+0xa42c68] CompileBroker::compiler_thread_loop()+0x458 (compileBroker.cpp:1964)
V [libjvm.so+0xf4a41c] JavaThread::thread_main_inner()+0xcc (javaThread.cpp:722)
V [libjvm.so+0x1870ad6] Thread::call_run()+0xb6 (thread.cpp:221)
V [libjvm.so+0x155fae7] thread_native_entry(Thread*)+0x127 (os_linux.cpp:817)


(rr) p u->dump(-6)
 1261 CastPP === 815 1097 [[ 1255 ]] #compiler/valhalla/inlinetypes/MyValue4:exact * extra types: {0:compiler/valhalla/inlinetypes/MyValue4:NotNull:exact *} strong dependency Oop:compiler/valhalla/inlinetypes/MyValue4:exact * !orig=[1211],[1146]
 1255 CastPP === 1124 1261 [[ 1151 ]] #compiler/valhalla/inlinetypes/MyValue4:exact * extra types: {0:compiler/valhalla/inlinetypes/MyValue4:NotNull:exact *} strong dependency Oop:compiler/valhalla/inlinetypes/MyValue4:exact * !orig=[1146]
 1151 CastPP === 1124 1255 [[ 1153 ]] #compiler/valhalla/inlinetypes/MyValue4:exact * extra types: {0:compiler/valhalla/inlinetypes/MyValue4:NotNull:exact *} strong dependency Oop:compiler/valhalla/inlinetypes/MyValue4:exact * !orig=[1123],[1068],[902],[693],227 !jvms: MyValue4Wrapper::<init> @ bci:6 (line 87) TestGenerated::test16 @ bci:29 (line 291)
 1153 CastPP === 1124 1151 [[ 1155 ]] #compiler/valhalla/inlinetypes/MyValue4:exact * extra types: {0:compiler/valhalla/inlinetypes/MyValue4:NotNull:exact *} strong dependency Oop:compiler/valhalla/inlinetypes/MyValue4:exact * !orig=[1122],[1089],[902],[693],227 !jvms: MyValue4Wrapper::<init> @ bci:6 (line 87) TestGenerated::test16 @ bci:29 (line 291)
 1155 CastPP === 1124 1153 [[ 1157 ]] #compiler/valhalla/inlinetypes/MyValue4:exact * extra types: {0:compiler/valhalla/inlinetypes/MyValue4:NotNull:exact *} strong dependency Oop:compiler/valhalla/inlinetypes/MyValue4:exact * !orig=[1137],[1135],[1068],[902],[693],227 !jvms: MyValue4Wrapper::<init> @ bci:6 (line 87) TestGenerated::test16 @ bci:29 (line 291)
 1157 CastPP === 1124 1155 [[ 684 ]] #compiler/valhalla/inlinetypes/MyValue4:exact * extra types: {0:compiler/valhalla/inlinetypes/MyValue4:NotNull:exact *} strong dependency Oop:compiler/valhalla/inlinetypes/MyValue4:exact * !orig=[1143],[1141],[1089],[902],[693],227 !jvms: MyValue4Wrapper::<init> @ bci:6 (line 87) TestGenerated::test16 @ bci:29 (line 291)
  684 EncodeP === _ 1157 [[ 1052 ]] #narrowoop: compiler/valhalla/inlinetypes/MyValue4:exact * !orig=[326],[424] !jvms: MyValue4Wrapper::<init> @ bci:6 (line 87) TestGenerated::test16 @ bci:29 (line 291)