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

XMLWordPrintable

    • b22

      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]

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

              Created:
              Updated:
              Resolved: