Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8266480

Implicit null check optimization does not update control of hoisted memory operation

    XMLWordPrintable

    Details

    • Subcomponent:
    • Resolved In Build:
      b23
    • Verification:
      Verified

      Backports

        Description

        The attached fuzzer test fails with the following assert added by JDK-8263227.

        To reproduce:
        java Reduced.java
        java Test.java
        java -Xcomp -XX:CompileOnly=Test Test.java
        java -Xcomp -XX:-TieredCompilation -XX:CompileOnly=Test Test.java

        #
        # A fatal error has been detected by the Java Runtime Environment:
        #
        # Internal Error (/opt/mach5/mesos/work_dir/slaves/3c846bae-ce30-4a97-93ee-9fef4497ccb6-S78979/frameworks/1735e8a2-a1db-478c-8104-60c8b0af87dd-0196/executors/0f80cbd2-a728-42dc-9216-fe14980e7b24/runs/2a62fb6d-bc5a-4195-b939-5f5cb5c45844/workspace/open/src/hotspot/share/opto/block.cpp:1252), pid=13693, tid=13712
        # assert(n->is_Root() || n->is_Region() || n->is_Phi() || n->is_MachMerge() || def_block->dominates(block)) failed: uses must be dominated by definitions
        #
        # JRE version: Java(TM) SE Runtime Environment (17.0+20) (fastdebug build 17-ea+20-LTS-1743)
        # Java VM: Java HotSpot(TM) 64-Bit Server VM (fastdebug 17-ea+20-LTS-1743, mixed mode, sharing, tiered, compressed oops, compressed class ptrs, g1 gc, linux-amd64)
        # Problematic frame:
        # V [libjvm.so+0x6c9939] PhaseCFG::verify() const+0x1e9
        ............
        Command Line: -Xmx1G Test
        ............
        Current thread (0x00007fb620089d20): JavaThread "C2 CompilerThread1" daemon [_thread_in_native, id=13712, stack(0x00007fb651cf4000,0x00007fb651df5000)]


        Current CompileTask:
        C2: 435 40 % ! 4 Test::mainTest @ 229 (504 bytes)

        Stack: [0x00007fb651cf4000,0x00007fb651df5000], sp=0x00007fb651df0250, free space=1008k
        Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
        V [libjvm.so+0x6c9939] PhaseCFG::verify() const+0x1e9
        V [libjvm.so+0xa315bf] Compile::Code_Gen()+0x2af
        V [libjvm.so+0xa3d727] Compile::Compile(ciEnv*, ciMethod*, int, bool, bool, bool, bool, DirectiveSet*)+0x2337
        V [libjvm.so+0x85f6ea] C2Compiler::compile_method(ciEnv*, ciMethod*, int, bool, DirectiveSet*)+0x1ea
        V [libjvm.so+0xa4d7f9] CompileBroker::invoke_compiler_on_method(CompileTask*)+0xfb9
        V [libjvm.so+0xa4e568] CompileBroker::compiler_thread_loop()+0x5a8
        V [libjvm.so+0x18b5021] JavaThread::thread_main_inner()+0x271
        V [libjvm.so+0x18bc950] Thread::call_run()+0x100
        V [libjvm.so+0x159388e] thread_native_entry(Thread*)+0x10e

          Attachments

          1. FuzzerUtils.java
            13 kB
          2. hs_err_pid13693.log
            173 kB
          3. MainClass.java
            0.5 kB
          4. Reduced.java
            0.5 kB
          5. Test.java
            7 kB

            Issue Links

              Activity

                People

                Assignee:
                thartmann Tobias Hartmann
                Reporter:
                chagedorn Christian Hagedorn
                Votes:
                0 Vote for this issue
                Watchers:
                7 Start watching this issue

                  Dates

                  Created:
                  Updated:
                  Resolved: