Details
-
Bug
-
Resolution: Fixed
-
P3
-
16, 17
-
b33
Backports
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8259810 | 17 | Vladimir Ivanov | P3 | Resolved | Fixed | b06 |
JDK-8260145 | 16.0.1 | Vladimir Ivanov | P3 | Resolved | Fixed | b03 |
Description
# assert(outer->outcnt() >= phis + 2 && outer->outcnt() <= phis + 2 + stores + 1) failed: only phis
Current CompileTask:
C2: 8242 1612 b BackedgeNodeWithOutOfLoopControl::test (75 bytes)
Stack: [0x000070000ebff000,0x000070000ecff000], sp=0x000070000ecfa9d0, free space=1006k
Native frames: (J=compiled Java code, A=aot compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.dylib+0x11787d5] VMError::report_and_die(int, char const*, char const*, __va_list_tag*, Thread*, unsigned char*, void*, void*, char const*, int, unsigned long)+0x6d5
V [libjvm.dylib+0x1178f0b] VMError::report_and_die(Thread*, void*, char const*, int, char const*, char const*, __va_list_tag*)+0x3b
V [libjvm.dylib+0x61da3f] report_vm_error(char const*, int, char const*, char const*, ...)+0x13f
V [libjvm.dylib+0xca51a7] LoopNode::verify_strip_mined(int) const+0xf37
V [libjvm.dylib+0x5cdae1] Compile::final_graph_reshaping_impl(Node*, Final_Reshape_Counts&)+0x581
V [libjvm.dylib+0x5d1bdc] Compile::final_graph_reshaping_walk(Node_Stack&, Node*, Final_Reshape_Counts&)+0x33c
V [libjvm.dylib+0x5ca3df] Compile::final_graph_reshaping()+0x2cf
V [libjvm.dylib+0x5c2037] Compile::Optimize()+0x387
V [libjvm.dylib+0x5c05b9] Compile::Compile(ciEnv*, ciMethod*, int, bool, bool, bool, bool, DirectiveSet*)+0x17f9
(lldb) p outer->dump(-1)
333 OuterStripMinedLoop === 333 324 332 [[ 333 490 505 506 ]]
490 CountedLoop === 490 333 290 [[ 329 279 481 482 490 491 492 493 272 ]] inner stride: 8 main of N490 strip mined !orig=[462],[436],[334],[318],[255] !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:8 BackedgeNodeWithOutOfLoopControl::test @ bci:65
505 Phi === 333 60 280 [[ 491 516 509 519 493 ]] #int:1..100001:www !orig=491,467,434,350,[348],262 !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:8 BackedgeNodeWithOutOfLoopControl::test @ bci:65
506 Phi === 333 386 279 [[ 492 ]] #memory Memory: @int[int:10]:NotNull:exact+any *,iid=40, idx=9; !orig=492,466,435,[338],[261] !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:8 BackedgeNodeWithOutOfLoopControl::test @ bci:65
(lldb) p phis
(uint) $3 = 3
(lldb) p inner->dump(-1)
490 CountedLoop === 490 333 290 [[ 329 279 481 482 490 491 492 493 272 ]] inner stride: 8 main of N490 strip mined !orig=[462],[436],[334],[318],[255] !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:8 BackedgeNodeWithOutOfLoopControl::test @ bci:65
329 CountedLoopEnd === 490 518 [[ 330 290 ]] [lt] P=0.900000, C=-1.000000 !orig=[289] !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:5 BackedgeNodeWithOutOfLoopControl::test @ bci:65
279 StoreI === 490 272 89 277 [[ 492 282 366 506 375 ]] @int[int:>=0]:exact+any *, idx=6; Memory: @int[int:10]:NotNull:exact[4] *,iid=40, idx=9; !orig=442 !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:25 BackedgeNodeWithOutOfLoopControl::test @ bci:65
481 LoadI === 490 482 89 [[ 277 ]] @int[int:>=0]:exact+any *, idx=6; #int !orig=[457],[427],[276] !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:22 BackedgeNodeWithOutOfLoopControl::test @ bci:65
482 StoreI === 490 492 82 483 [[ 272 481 ]] @int[int:>=0]:exact+any *, idx=6; Memory: @int[int:10]:NotNull:exact[3] *,iid=40, idx=9; !orig=[458],[428],272 !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:16 BackedgeNodeWithOutOfLoopControl::test @ bci:65
491 Phi === 490 505 280 [[ 488 ]] #int:1..100001:www !orig=467,434,350,[348],262 !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:8 BackedgeNodeWithOutOfLoopControl::test @ bci:65
492 Phi === 490 506 279 [[ 482 ]] #memory Memory: @int[int:10]:NotNull:exact+any *,iid=40, idx=9; !orig=466,435,[338],[261] !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:8 BackedgeNodeWithOutOfLoopControl::test @ bci:65
493 Phi === 490 505 280 [[ 280 489 ]] #int:1..108001:www #tripcount !orig=465,437,262 !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:8 BackedgeNodeWithOutOfLoopControl::test @ bci:65
272 StoreI === 490 482 82 270 [[ 279 ]] @int[int:>=0]:exact+any *, idx=6; Memory: @int[int:10]:NotNull:exact[3] *,iid=40, idx=9; !jvms: BackedgeNodeWithOutOfLoopControl::accessArrayVariables @ bci:16 BackedgeNodeWithOutOfLoopControl::test @ bci:65
Attachments
Issue Links
- backported by
-
JDK-8259810 C2: assert(outer->outcnt() >= phis + 2 && outer->outcnt() <= phis + 2 + stores + 1) failed: only phis
-
- Resolved
-
-
JDK-8260145 C2: assert(outer->outcnt() >= phis + 2 && outer->outcnt() <= phis + 2 + stores + 1) failed: only phis
-
- Resolved
-
- duplicates
-
JDK-8256812 loopnode.cpp:1855: assert(outer->outcnt() >= phis + 2 && outer->outcnt() <= phis + 2 + stores + 1) failed: only phis
-
- Closed
-
- relates to
-
JDK-8260370 C2: LoopLimit node is not eliminated
-
- Closed
-
-
JDK-8255000 C2: Unify IGVN processing when loop opts are over
-
- Resolved
-
-
JDK-8255454 [lworld] Re-enable assert once JDK-8255120 is fixed
-
- Closed
-
-
JDK-8255400 Shenandoah: C2 failures after JDK-8255000
-
- Resolved
-