llvm/test/Analysis, branch release_27http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis?h=release_272010-03-01T20:23:15Zremove andersen's tests.2010-03-01T20:23:15ZChris Lattnersabre@nondot.org2010-03-01T20:23:15Zurn:sha1:69ece936694de3b2fc87b43523c8394edfa15c34
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97490 91177308-0d34-0410-b5e6-96231b3b80d8
Teach ScalarEvolution how to compute a tripcount for a loop with2010-02-19T18:12:07ZDan Gohmangohman@apple.com2010-02-19T18:12:07Zurn:sha1:00cb5b724547a821516292fe5cded7c6a5358bda
true or false as its exit condition. These are usually eliminated by
SimplifyCFG, but the may be left around during a pass which wishes
to preserve the CFG.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96683 91177308-0d34-0410-b5e6-96231b3b80d8
-disable-output is no longer needed with -analyze.2010-01-26T19:25:59ZDan Gohmangohman@apple.com2010-01-26T19:25:59Zurn:sha1:8a977e2edd2ca182851cea96262ed9ba0c854c52
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94574 91177308-0d34-0410-b5e6-96231b3b80d8
Fix the the ceiling-division used in computing the MaxBECount so that it doesn't2010-01-26T04:40:18ZDan Gohmangohman@apple.com2010-01-26T04:40:18Zurn:sha1:52fddd3e36a9a78767decb0a0f7aa4071dcdbbdf
have trouble with an intermediate add overflowing. Also, be more conservative
about the case where the induction variable in an SLT loop exit can step past
the RHS of the SLT and overflow in a single step.
Make getSignedRange more aggressive, to recover for some common cases which
the above fixes pessimized.
This addresses rdar://7561161.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94512 91177308-0d34-0410-b5e6-96231b3b80d8
Fix PR60472010-01-16T13:38:07ZTobias Grossergrosser@fim.uni-passau.de2010-01-16T13:38:07Zurn:sha1:24dcbaf75618277b049ddf488a37ede3177613dc
Nodes that had children outside of the post dominator tree (infinite loops)
where removed from the post dominator tree. This seems to be wrong. Leave them
in the tree.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93633 91177308-0d34-0410-b5e6-96231b3b80d8
Use WriteAsOperand instead of getName() to print loop header names,2010-01-09T18:17:45ZDan Gohmangohman@apple.com2010-01-09T18:17:45Zurn:sha1:3073329c532aab96b58a322f2ac8bf93abefc60e
so that unnamed blocks are handled.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93059 91177308-0d34-0410-b5e6-96231b3b80d8
Delete useless trailing semicolons.2010-01-05T17:55:26ZDan Gohmangohman@apple.com2010-01-05T17:55:26Zurn:sha1:aceba31b7a04fd28680209b2677915378877bc13
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92740 91177308-0d34-0410-b5e6-96231b3b80d8
gvn is optimizing this better now.2009-12-06T04:16:05ZChris Lattnersabre@nondot.org2009-12-06T04:16:05Zurn:sha1:0fce29b9d1b85416492a205dd81fe3b3e95b9650
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90696 91177308-0d34-0410-b5e6-96231b3b80d8
Add a comment about A[i+(j+1)].2009-12-01T01:38:10ZDan Gohmangohman@apple.com2009-12-01T01:38:10Zurn:sha1:0488ecdd166a18a2f40ec3bc6d2924469a3f45ab
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90185 91177308-0d34-0410-b5e6-96231b3b80d8
@test9 is a testcase for r89958. Before 89958, we misanalyzed the2009-11-26T19:25:46ZChris Lattnersabre@nondot.org2009-11-26T19:25:46Zurn:sha1:3c47f2de906ce5c83d090f05a16edc06c3ee87ab
first expression as P+4+4*i which we considered to possibly alias
P+4*j. Now we correctly analyze the former one as P+1+4*i.
@test10 is a sanity test that verfies that we know that P+4+4*i != P+4*i.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89960 91177308-0d34-0410-b5e6-96231b3b80d8