llvm/test/Analysis, branch release_29http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis?h=release_292011-02-13T03:14:49Zteach SCEV that the scale and addition of an inbounds gep don't NSW.2011-02-13T03:14:49ZChris Lattnersabre@nondot.org2011-02-13T03:14:49Zurn:sha1:8ebaf909580ada88d9952327323ded1e328d0708
This fixes a FIXME in scev-aa.ll (allowing a new no-alias result) and
generally makes things more precise.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125449 91177308-0d34-0410-b5e6-96231b3b80d8
Per discussion with Dan G, inbounds geps *certainly* can have2011-02-11T21:43:33ZChris Lattnersabre@nondot.org2011-02-11T21:43:33Zurn:sha1:1021236c74dcc4beb294ebe675032ff578fae17f
unsigned overflow (e.g. "gep P, -1"), and while they can have
signed wrap in theoretical situations, modelling an AddRec as
not having signed wrap is going enough for any case we can
think of today. In the future if this isn't enough, we can
revisit this. Modeling them as having NUW isn't causing any
known problems either FWIW.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125410 91177308-0d34-0410-b5e6-96231b3b80d8
Add another rdar number.2011-01-24T17:54:01ZDan Gohmangohman@apple.com2011-01-24T17:54:01Zurn:sha1:640b9c8fe2134a4131394989e4ef0f97e9c44813
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124125 91177308-0d34-0410-b5e6-96231b3b80d8
Simplify some code with no functionality change. Make the test a lot more2011-01-23T20:06:05ZNick Lewyckynicholas@mxc.ca2011-01-23T20:06:05Zurn:sha1:76167af9b1968b2824fcb76db0bc571f422035b4
robust against smarter optimizations, using the power of FileCheck.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124081 91177308-0d34-0410-b5e6-96231b3b80d8
Use value ranges to fold ext(trunc) in SCEV when possible.2011-01-23T06:20:19ZNick Lewyckynicholas@mxc.ca2011-01-23T06:20:19Zurn:sha1:630d85a78cdebf14a6fc2a0750bf48738f26ef08
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124062 91177308-0d34-0410-b5e6-96231b3b80d8
Implement requiredTransitive2011-01-20T21:03:22ZTobias Grossergrosser@fim.uni-passau.de2011-01-20T21:03:22Zurn:sha1:e906921480beacea2dea2d5ce8156bc246ee12a7
The PassManager did not implement the transitivity of requiredTransitive. This
was unnoticed since 2006.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123942 91177308-0d34-0410-b5e6-96231b3b80d8
Similarly, analyze truncate through multiply.2011-01-19T18:56:00ZNick Lewyckynicholas@mxc.ca2011-01-19T18:56:00Zurn:sha1:5c6fc1cab774244fba2746b84f2b86d71b897733
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123842 91177308-0d34-0410-b5e6-96231b3b80d8
Add a missed SCEV fold that is required to continue analyzing the IR produced2011-01-19T16:59:46ZNick Lewyckynicholas@mxc.ca2011-01-19T16:59:46Zurn:sha1:30aa8b13c93211f68bb4efddd1e47817a1d107f1
by indvars through the scev expander.
trunc(add x, y) --> add(trunc x, y). Currently SCEV largely folds the other way
which is probably wrong, but preserved to minimize churn. Instcombine doesn't
do this fold either, demonstrating a missed optz'n opportunity on code doing
add+trunc+add.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123838 91177308-0d34-0410-b5e6-96231b3b80d8
Add a missing SCEV simplification sext(zext x) --> zext x.2011-01-19T15:56:12ZNick Lewyckynicholas@mxc.ca2011-01-19T15:56:12Zurn:sha1:73f565e7546f63900738cd31a2f956444e7bb544
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123832 91177308-0d34-0410-b5e6-96231b3b80d8
Teach BasicAA to return PartialAlias in cases where both pointers2011-01-18T21:16:06ZDan Gohmangohman@apple.com2011-01-18T21:16:06Zurn:sha1:615da1a9bcca05de06fab5f48ee9110267312974
are pointing to the same object, one pointer is accessing the entire
object, and the other is access has a non-zero size. This prevents
TBAA from kicking in and saying NoAlias in such cases.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123775 91177308-0d34-0410-b5e6-96231b3b80d8