Various tests fail with "igvn worklist must still be empty after verify" when executed with -XX:VerifyIterativeGVN=1110:
Current CompileTask:
C2:30450 4600 b compiler.valhalla.inlinetypes.TestArrays::test132_verifier (62 bytes)
Stack: [0x00007f02f6e95000,0x00007f02f6f95000], sp=0x00007f02f6f8fa70, free space=1002k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.so+0x1999205] PhaseIterGVN::verify_empty_worklist(Node*) [clone .part.0]+0x235 (phaseX.cpp:1139)
V [libjvm.so+0x199a9b3] PhaseIterGVN::verify_Ideal_for(Node*, bool)+0x353 (phaseX.cpp:1126)
V [libjvm.so+0x199b982] PhaseIterGVN::verify_optimize()+0x8e2 (phaseX.cpp:1100)
V [libjvm.so+0x199c6b8] PhaseIterGVN::optimize()+0x418 (phaseX.cpp:1079)
V [libjvm.so+0xc13b30] Compile::inline_incrementally_cleanup(PhaseIterGVN&)+0x360 (compile.cpp:2722)
V [libjvm.so+0xc148fe] Compile::inline_incrementally(PhaseIterGVN&)+0x42e (compile.cpp:2772)
V [libjvm.so+0xc1741e] Compile::Optimize()+0x47e (compile.cpp:2905)
TestArrays.java with "-Xcomp -XX:-TieredCompilation -DIgnoreCompilerControls=true -XX:+IgnoreUnrecognizedVMOptions -XX:VerifyIterativeGVN=1110"
igvn.worklist[0] 212 InlineType === _ 520 26 26 [[ 626 ]] #instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) Oop:instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) !orig=155 !jvms: TestArrays::test132_verifier @ bci:22 (line 3296)
igvn.worklist[1] 181 Allocate === 523 512 524 8 1 (37 179 28 1 1 1 _ _ 10 1 527 527 25 ) [[ 182 183 184 196 197 198 ]] rawptr:NotNull ( int:>=0, instptr:java/lang/Object:NotNull *,iid=bot, bool, top, bool, bottom, instptr:java/lang/Object:NotNull *,iid=bot, long ) allocationKlass:compiler/valhalla/inlinetypes/MyValueEmpty TestArrays::test132_verifier @ bci:26 (line 3296) reexecute !jvms: TestArrays::test132_verifier @ bci:26 (line 3296)
Previously optimized:
527 InlineType === _ 520 26 26 [[ 652 626 191 181 181 191 ]] #instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) Oop:instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) !orig=155 !jvms: TestArrays::test132_verifier @ bci:22 (line 3296)
TestCallingConvention.java with "-Xcomp -XX:-TieredCompilation -DIgnoreCompilerControls=true -XX:+IgnoreUnrecognizedVMOptions -XX:VerifyIterativeGVN=1110"
igvn.worklist[0] 676 InlineType === _ 1653 94 94 [[ 1755 ]] #instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) Oop:instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) !orig=93,... !jvms: TestCallingConvention::test46_verifier @ bci:9 (line 1216)
igvn.worklist[1] 646 Allocate === 601 598 1725 8 1 (23 47 22 1 1 1 _ _ 1 1 1660 1660 ) [[ 647 648 649 660 661 662 ]] rawptr:NotNull ( int:>=0, instptr:java/lang/Object:NotNull *,iid=bot, bool, top, bool, bottom, instptr:java/lang/Object:NotNull *,iid=bot, long ) allocationKlass:compiler/valhalla/inlinetypes/MyValueEmpty TestCallingConvention::test46_verifier @ bci:56 (line 1217) reexecute !jvms: TestCallingConvention::test46_verifier @ bci:56 (line 1217)
Previously optimized:
1660 InlineType === _ 1653 94 94 [[ 655 646 646 1755 655 587 ]] #instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) Oop:instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) !orig=93,... !jvms: TestCallingConvention::test46_verifier @ bci:9 (line 1216)
Current CompileTask:
C2:30450 4600 b compiler.valhalla.inlinetypes.TestArrays::test132_verifier (62 bytes)
Stack: [0x00007f02f6e95000,0x00007f02f6f95000], sp=0x00007f02f6f8fa70, free space=1002k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
V [libjvm.so+0x1999205] PhaseIterGVN::verify_empty_worklist(Node*) [clone .part.0]+0x235 (phaseX.cpp:1139)
V [libjvm.so+0x199a9b3] PhaseIterGVN::verify_Ideal_for(Node*, bool)+0x353 (phaseX.cpp:1126)
V [libjvm.so+0x199b982] PhaseIterGVN::verify_optimize()+0x8e2 (phaseX.cpp:1100)
V [libjvm.so+0x199c6b8] PhaseIterGVN::optimize()+0x418 (phaseX.cpp:1079)
V [libjvm.so+0xc13b30] Compile::inline_incrementally_cleanup(PhaseIterGVN&)+0x360 (compile.cpp:2722)
V [libjvm.so+0xc148fe] Compile::inline_incrementally(PhaseIterGVN&)+0x42e (compile.cpp:2772)
V [libjvm.so+0xc1741e] Compile::Optimize()+0x47e (compile.cpp:2905)
TestArrays.java with "-Xcomp -XX:-TieredCompilation -DIgnoreCompilerControls=true -XX:+IgnoreUnrecognizedVMOptions -XX:VerifyIterativeGVN=1110"
igvn.worklist[0] 212 InlineType === _ 520 26 26 [[ 626 ]] #instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) Oop:instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) !orig=155 !jvms: TestArrays::test132_verifier @ bci:22 (line 3296)
igvn.worklist[1] 181 Allocate === 523 512 524 8 1 (37 179 28 1 1 1 _ _ 10 1 527 527 25 ) [[ 182 183 184 196 197 198 ]] rawptr:NotNull ( int:>=0, instptr:java/lang/Object:NotNull *,iid=bot, bool, top, bool, bottom, instptr:java/lang/Object:NotNull *,iid=bot, long ) allocationKlass:compiler/valhalla/inlinetypes/MyValueEmpty TestArrays::test132_verifier @ bci:26 (line 3296) reexecute !jvms: TestArrays::test132_verifier @ bci:26 (line 3296)
Previously optimized:
527 InlineType === _ 520 26 26 [[ 652 626 191 181 181 191 ]] #instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) Oop:instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) !orig=155 !jvms: TestArrays::test132_verifier @ bci:22 (line 3296)
TestCallingConvention.java with "-Xcomp -XX:-TieredCompilation -DIgnoreCompilerControls=true -XX:+IgnoreUnrecognizedVMOptions -XX:VerifyIterativeGVN=1110"
igvn.worklist[0] 676 InlineType === _ 1653 94 94 [[ 1755 ]] #instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) Oop:instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) !orig=93,... !jvms: TestCallingConvention::test46_verifier @ bci:9 (line 1216)
igvn.worklist[1] 646 Allocate === 601 598 1725 8 1 (23 47 22 1 1 1 _ _ 1 1 1660 1660 ) [[ 647 648 649 660 661 662 ]] rawptr:NotNull ( int:>=0, instptr:java/lang/Object:NotNull *,iid=bot, bool, top, bool, bottom, instptr:java/lang/Object:NotNull *,iid=bot, long ) allocationKlass:compiler/valhalla/inlinetypes/MyValueEmpty TestCallingConvention::test46_verifier @ bci:56 (line 1217) reexecute !jvms: TestCallingConvention::test46_verifier @ bci:56 (line 1217)
Previously optimized:
1660 InlineType === _ 1653 94 94 [[ 655 646 646 1755 655 587 ]] #instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) Oop:instptr:compiler/valhalla/inlinetypes/MyValueEmpty (compiler/valhalla/inlinetypes/MyInterface):NotNull:exact *,iid=bot (flat in array) !orig=93,... !jvms: TestCallingConvention::test46_verifier @ bci:9 (line 1216)