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

C2: Remove VerifyOpto

    XMLWordPrintable

    Details

    • Type: Enhancement
    • Status: Resolved
    • Priority: P5
    • Resolution: Fixed
    • Affects Version/s: 9, 10, 11, 12, 13, 14
    • Fix Version/s: 14
    • Component/s: hotspot
    • Subcomponent:
    • Resolved In Build:
      b09
    • CPU:
      generic
    • OS:
      generic

      Description

      java_g -Xcomp -XX:+VerifyOpto forloop
       
       fails with the following error message:

      #
      # An unexpected error has been detected by HotSpot Virtual Machine:
      #
      # Internal Error
      (/export1/jdk142-update/ws/fcs/hotspot/src/share/vm/opto/phaseX.hpp, 208 [ Patched ]), pid=15438, tid=11 # # Java VM: Java HotSpot(TM) Server VM (1.4.2_10-b03-debug compiled mode) # # Error:
      assert(allow_progress(),"No progress allowed during verification")



      forloop.java is a simple for loop program:

      public class forloop{
          public static void main(String[] args){
              for ( int i=0; i<100; i++ )
                  i= i+1;
          }
      }


      During the optimization phase, first it optimizes the graph and then if the "VerifyOpto" flag is enabled, then it disables _allow_progress variable and optimizes the graph again. Here the expectation is, the graph should be fully optimized at this point of time and no more optimization is required.Unfortunately in this case, it tries to modify the graph, by removing a dead node. So we are hitting this assert.

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              chagedorn Christian Hagedorn
              Reporter:
              ksoshals Kirill Soshalskiy (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              8 Start watching this issue

                Dates

                Created:
                Updated:
                Resolved:
                Imported:
                Indexed: