C2: assert(x_ctrl == get_late_ctrl_with_anti_dep(x->as_Load(), early_ctrl, x_ctrl)) failed: anti-dependences were already checked

XMLWordPrintable

      The attached Java Fuzzer test fails with the following assertion.

      To reproduce:
      $ java -XX:CompileCommand=compileonly,*Test*::* -XX:-TieredCompilation -Xcomp Test.java
      $ java -XX:CompileCommand=compileonly,*Reduced*::* -XX:-TieredCompilation -Xcomp Reduced.java

      #
      # A fatal error has been detected by the Java Runtime Environment:
      #
      # Internal Error (/opt/mach5/mesos/work_dir/slaves/da1065b5-7b94-4f0d-85e9-a3a252b9a32e-S35568/frameworks/1735e8a2-a1db-478c-8104-60c8b0af87dd-0196/executors/0749998a-5034-4b32-81b3-be27d8a2b7c1/runs/d604f20f-e69e-4651-82f3-79f998a668d4/workspace/open/src/hotspot/share/opto/loopopts.cpp:1803), pid=739794, tid=739813
      # assert(x_ctrl == get_late_ctrl_with_anti_dep(x->as_Load(), early_ctrl, x_ctrl)) failed: anti-dependences were already checked
      #
      # JRE version: Java(TM) SE Runtime Environment (27.0+4) (fastdebug build 27-ea+4-314)
      # Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 27-ea+4-314, compiled mode, sharing, compressed oops, compressed class ptrs, g1 gc, linux-amd64)
      # Problematic frame:
      # V [libjvm.so+0x15cba06] PhaseIdealLoop::try_sink_out_of_loop(Node*)+0xc56
      ..............
      Command Line: -XX:CompileCommand=compileonly,*Reduced*::* -XX:-TieredCompilation -Xcomp --add-modules=ALL-DEFAULT jdk.compiler/com.sun.tools.javac.launcher.SourceLauncher Reduced.java
      ..............
      Current CompileTask:
      C2:905 104 % b Reduced::test @ 89 (116 bytes)

      Stack: [0x00007fd1ab0f2000,0x00007fd1ab1f2000], sp=0x00007fd1ab1eca00, free space=1002k
      Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
      V [libjvm.so+0x15cba06] PhaseIdealLoop::try_sink_out_of_loop(Node*)+0xc56 (loopopts.cpp:1803)
      V [libjvm.so+0x15cbb3e] PhaseIdealLoop::split_if_with_blocks_post(Node*)+0x7e (loopopts.cpp:1547)
      V [libjvm.so+0x15cc4bd] PhaseIdealLoop::split_if_with_blocks(VectorSet&, Node_Stack&)+0xbd (loopopts.cpp:2007)
      V [libjvm.so+0x15bcc7f] PhaseIdealLoop::build_and_optimize()+0x10ef (loopnode.cpp:5261)
      V [libjvm.so+0xbb81b0] PhaseIdealLoop::optimize(PhaseIterGVN&, LoopOptsMode)+0x4c0 (loopnode.hpp:1233)
      V [libjvm.so+0xbaf121] Compile::optimize_loops(PhaseIterGVN&, LoopOptsMode)+0xb1 (compile.cpp:2268)
      V [libjvm.so+0xbb204f] Compile::Optimize()+0xcbf (compile.cpp:2517)
      V [libjvm.so+0xbb51f3] Compile::Compile(ciEnv*, ciMethod*, int, Options, DirectiveSet*)+0x2023 (compile.cpp:862)
      V [libjvm.so+0x9cc468] C2Compiler::compile_method(ciEnv*, ciMethod*, int, bool, DirectiveSet*)+0x498 (c2compiler.cpp:147)
      V [libjvm.so+0xbc46e0] CompileBroker::invoke_compiler_on_method(CompileTask*)+0x780 (compileBroker.cpp:2345)
      V [libjvm.so+0xbc5f40] CompileBroker::compiler_thread_loop()+0x530 (compileBroker.cpp:1989)
      V [libjvm.so+0x112659b] JavaThread::thread_main_inner()+0x13b (javaThread.cpp:776)
      V [libjvm.so+0x1bb28f6] Thread::call_run()+0xb6 (thread.cpp:242)
      V [libjvm.so+0x1808518] thread_native_entry(Thread*)+0x118 (os_linux.cpp:860)

        1. FuzzerUtils.java
          13 kB
        2. hs_err_pid739794.log
          76 kB
        3. Reduced.java
          0.6 kB
        4. Test.java
          7 kB

            Assignee:
            Roland Westrelin
            Reporter:
            Christian Hagedorn
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: