Restore commits 142790 and 142843 - they weren't breaking the build
authorDuncan Sands <baldrick@free.fr>
Tue, 25 Oct 2011 12:28:52 +0000 (12:28 +0000)
committerDuncan Sands <baldrick@free.fr>
Tue, 25 Oct 2011 12:28:52 +0000 (12:28 +0000)
commitf8a9eb1fa6b676468d0231d1a0ee5247b664dabb
tree63e07e28ad2239e0998f87cd157619cbc9696393
parent45baf6bb85ee0d61e18213979a4efbd2f16eb338
Restore commits 142790 and 142843 - they weren't breaking the build
bots.  Original commit messages:
- Reapply r142781 with fix. Original message:

  Enhance SCEV's brute force loop analysis to handle multiple PHI nodes in the
  loop header when computing the trip count.

  With this, we now constant evaluate:
    struct ListNode { const struct ListNode *next; int i; };
    static const struct ListNode node1 = {0, 1};
    static const struct ListNode node2 = {&node1, 2};
    static const struct ListNode node3 = {&node2, 3};
    int test() {
      int sum = 0;
      for (const struct ListNode *n = &node3; n != 0; n = n->next)
        sum += n->i;
      return sum;
    }

- Now that we look at all the header PHIs, we need to consider all the header PHIs
  when deciding that the loop has stopped evolving. Fixes miscompile in the gcc
  torture testsuite!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@142919 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/load.ll
test/Analysis/ScalarEvolution/trip-count11.ll [new file with mode: 0644]