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

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Unresolved
    • Priority: P4
    • tbd
    • Affects Version/s: 23
    • Component/s: 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.

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

              Created:
              Updated: