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

C2: allow array loads known to be within bounds to float

XMLWordPrintable

    • Icon: Enhancement Enhancement
    • Resolution: Unresolved
    • Icon: P4 P4
    • tbd
    • 23
    • hotspot

      The control input for an array load is set to the range check that guarantees it's within bound. If the range check is proven to always succeed, then an array load gets some unrelated control as first input. It should have a null control instead so it can freely float.

            roland Roland Westrelin
            roland Roland Westrelin
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: