llvm/test/Analysis/BasicAA, branch release_25http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis/BasicAA?h=release_252008-12-19T06:39:12ZResubmit support for the 'nocapture' attribute.2008-12-19T06:39:12ZNick Lewyckynicholas@mxc.ca2008-12-19T06:39:12Zurn:sha1:f23d0d392ab47e191e1bbd17dc7487b9d461485c
The problematic part of this patch is that we were out of attribute bits,
requiring some fancy bit hacking to make it fit (by shrinking alignment)
without breaking existing users or the file format.
This change will require users to rebuild llvm-gcc to match llvm.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61239 91177308-0d34-0410-b5e6-96231b3b80d8
Remove empty test.2008-12-16T19:07:17ZBill Wendlingisanbard@gmail.com2008-12-16T19:07:17Zurn:sha1:43445c153c070ed3402b55686ea71211b8e63ef5
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61095 91177308-0d34-0410-b5e6-96231b3b80d8
Temporarily revert r61019, r61030, and r61040. These were breaking LLVM Release2008-12-16T19:06:48ZBill Wendlingisanbard@gmail.com2008-12-16T19:06:48Zurn:sha1:6fa311c2338391b0f332c062b3140c6df139a949
builds.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61094 91177308-0d34-0410-b5e6-96231b3b80d8
Teach basicaa to use the nocapture attribute when possible. When the2008-12-15T18:59:22ZChris Lattnersabre@nondot.org2008-12-15T18:59:22Zurn:sha1:1314f20283f47ef655b16623ce1e8e7266f8342e
intrinsics are properly marked nocapture, the fixme should be addressed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61040 91177308-0d34-0410-b5e6-96231b3b80d8
Allow basicaa to walk through geps with identical indices in 2008-12-10T01:04:47ZChris Lattnersabre@nondot.org2008-12-10T01:04:47Zurn:sha1:b957bda0bcb81c88ed4464d07100c349af76890f
parallel, allowing it to decide that P/Q must alias if A/B
must alias in things like:
P = gep A, 0, i, 1
Q = gep B, 0, i, 1
This allows GVN to delete 62 more instructions out of 403.gcc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60820 91177308-0d34-0410-b5e6-96231b3b80d8
Extend the 'noalias' attribute to function return values. This is intended to2008-11-24T03:41:24ZNick Lewyckynicholas@mxc.ca2008-11-24T03:41:24Zurn:sha1:02ff308aa1c165d37fcf35f618243180ee68eedd
indicate functions that allocate, such as operator new, or list::insert. The
actual definition is slightly less strict (for now).
No changes to the bitcode reader/writer, asm printer or verifier were needed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59934 91177308-0d34-0410-b5e6-96231b3b80d8
Remove GCSE and LoadVN from the testsuite.2008-08-16T00:00:54ZOwen Andersonresistor@mac.com2008-08-16T00:00:54Zurn:sha1:7c856c09cd5a2d6231d2f03e383bbc165833df8c
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54832 91177308-0d34-0410-b5e6-96231b3b80d8
If we are checking to see if the result of a call aliases a2008-06-16T06:19:11ZChris Lattnersabre@nondot.org2008-06-16T06:19:11Zurn:sha1:845f0d2f0fd4a268ca1b3df9afb3de523f6dfa9d
pointer derived from a local allocation, if the local allocation
never escapes, the pointers can't alias. This implements PR2436
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52301 91177308-0d34-0410-b5e6-96231b3b80d8
Suppress the (stderr) output of -aa-eval, this fixes 5 tests.2008-06-10T12:39:15ZMatthijs Kooijmanmatthijs@stdin.nl2008-06-10T12:39:15Zurn:sha1:f167bc2922c18da758f3fbcc5459798c1a7480c5
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52173 91177308-0d34-0410-b5e6-96231b3b80d8
Fixes PR2395. Looking for a constant in a GEP tail (when the first GEP 2008-06-02T17:26:12ZWojciech Matyjewiczwmatyjewicz@fastmail.fm2008-06-02T17:26:12Zurn:sha1:98e3a6829aaf070a8893a164d6dc8c75f9f9feaa
is longer than the second one) should stop after finding one. Added break
instruction guarantees it. It also changes difference between offsets to
absolute value of this difference in the condition.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51875 91177308-0d34-0410-b5e6-96231b3b80d8