llvm/test/Analysis/BasicAA, branch release_28http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis/BasicAA?h=release_282010-09-02T22:35:33Zremove some noise from tests.2010-09-02T22:35:33ZChris Lattnersabre@nondot.org2010-09-02T22:35:33Zurn:sha1:042ff0358df1af7a36bf863afdd2165ddd05857a
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112889 91177308-0d34-0410-b5e6-96231b3b80d8
Fix constant-over-index.ll test on windows.2010-08-30T15:08:02ZMichael J. Spencerbigcheesegs@gmail.com2010-08-30T15:08:02Zurn:sha1:17d3983730c982953123d19077ea8906274f3e24
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112483 91177308-0d34-0410-b5e6-96231b3b80d8
refix PR1143 by making basicaa analyze zexts of indices aggresively,2010-08-18T23:09:49ZChris Lattnersabre@nondot.org2010-08-18T23:09:49Zurn:sha1:2215c607c3035be197f163beb5e7d8308f8787e5
which I broke with a recent patch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111452 91177308-0d34-0410-b5e6-96231b3b80d8
fix a buggy test2010-08-18T04:55:12ZChris Lattnersabre@nondot.org2010-08-18T04:55:12Zurn:sha1:285d06ca93467f325c99f875a9dd91c9bce62ff5
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111354 91177308-0d34-0410-b5e6-96231b3b80d8
fix PR7589: In brief:2010-08-18T04:28:19ZChris Lattnersabre@nondot.org2010-08-18T04:28:19Zurn:sha1:91b2307a89b836f9452cf867e077ce9762d0845b
gep P, (zext x) != gep P, (sext x)
DecomposeGEPExpression was getting this wrong, confusing
basicaa.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111352 91177308-0d34-0410-b5e6-96231b3b80d8
filecheckize and detrivialize.2010-08-18T04:25:43ZChris Lattnersabre@nondot.org2010-08-18T04:25:43Zurn:sha1:903175096e35a9e32dbe2392425f8fa9e33e9787
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@111350 91177308-0d34-0410-b5e6-96231b3b80d8
Implement a proper getModRefInfo for va_arg.2010-08-06T18:24:38ZDan Gohmangohman@apple.com2010-08-06T18:24:38Zurn:sha1:e26a7b5e21a49543a727b1b2524a934e73c89772
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110458 91177308-0d34-0410-b5e6-96231b3b80d8
Implement AccessesArguments checking in the two-callsite form2010-08-05T23:34:50ZDan Gohmangohman@apple.com2010-08-05T23:34:50Zurn:sha1:130073904ffc18a6700bf7a6505ed2e19fc25ff3
of BasicAA::getModRefInfo. This allows BasicAA to say that two
memset calls to non-aliasing memory locations don't interfere.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110393 91177308-0d34-0410-b5e6-96231b3b80d8
Fix memdep's code for reasoning about dependences between two calls. A Ref2010-08-05T22:09:15ZDan Gohmangohman@apple.com2010-08-05T22:09:15Zurn:sha1:5fa417c7904f7394d4e6dcb86e366c86867bcb5a
response from getModRefInfo is not useful here. Instead, check for identical
calls only in the NoModRef case.
Reapply r110270, and strengthen it to compensate for the memdep changes.
When both calls are readonly, there is no dependence between them.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110382 91177308-0d34-0410-b5e6-96231b3b80d8
Revert r110270 for now. It appears to uncover a memdep bug.2010-08-05T00:43:10ZDan Gohmangohman@apple.com2010-08-05T00:43:10Zurn:sha1:34fa82f7e82a2845a42d0a2725e70412d06c917b
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110293 91177308-0d34-0410-b5e6-96231b3b80d8