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

C2: Deduce the result bound of ModXNode

    XMLWordPrintable

Details

    • Enhancement
    • Resolution: Won't Fix
    • P4
    • tbd
    • 17
    • hotspot

    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

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

              Dates

                Created:
                Updated:
                Resolved: