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

C2: Deduce the result bound of ModXNode

    XMLWordPrintable

    Details

    • Type: Enhancement
    • Status: Open
    • Priority: P4
    • Resolution: Unresolved
    • Affects Version/s: 17
    • Fix Version/s: tbd
    • Component/s: hotspot
    • Labels:

      Description

      If divisor is a constant and not equal to 0, it's possible to deduce the final bound of ModXNode given that the following rules:
             x % -y ==> [0, y - 1]
             x % y ==> [0, y - 1]
             -x % y ==> [-y + 1, 0]
             -x % -y ==> [-y + 1, 0]

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              yyang Yi Yang
              Reporter:
              yyang Yi Yang
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

                Dates

                Created:
                Updated: