[lworld] Ideal verification fails with "igvn worklist must still be empty after verify" for various tests

XMLWordPrintable

      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)

            Assignee:
            BenoƮt Maillard
            Reporter:
            Tobias Hartmann
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: