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

PhiNode::Value() is too conservative for tripcount of CountedLoop

    XMLWordPrintable

Details

    • b22

    Description

      I noticed for a loop like:

      for (int i = 0; i < 10; i++) {
      }

      PhiNode::Value() sets the type of i to [0, 10] when it's [0,9]

      Attachments

        Issue Links

          Activity

            People

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

              Dates

                Created:
                Updated:
                Resolved: