llvm/test/Analysis, branch release_31http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis?h=release_312012-04-17T06:33:57ZRevert "SCEV: When expanding a GEP the final addition to the base pointer has NUW but not NSW."2012-04-17T06:33:57ZBenjamin Kramerbenny.kra@googlemail.com2012-04-17T06:33:57Zurn:sha1:86df062791d50b35ae274bbeb8fe2f37944e284a
This isn't right either, reverting for now.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154910 91177308-0d34-0410-b5e6-96231b3b80d8
SCEV: When expanding a GEP the final addition to the base pointer has NUW but not NSW.2012-04-07T17:19:26ZBenjamin Kramerbenny.kra@googlemail.com2012-04-07T17:19:26Zurn:sha1:c77764591b06655bca4313ccfb5b1b773849387e
Found by inspection.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@154262 91177308-0d34-0410-b5e6-96231b3b80d8
Handle intrinsics in GlobalsModRef. Fixes pr12351.2012-03-28T21:31:24ZRafael Espindolarafael.espindola@gmail.com2012-03-28T21:31:24Zurn:sha1:8f3fabe0febb7335c4349d3d6081deca95419d48
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153604 91177308-0d34-0410-b5e6-96231b3b80d8
SCEV fix: Handle loop invariant loads.2012-03-26T22:33:59ZAndrew Trickatrick@apple.com2012-03-26T22:33:59Zurn:sha1:eb6dd23c95c1df08a4a924e2125158c5203b0991
Fixes PR11882: NULL dereference in ComputeLoadConstantCompareExitLimit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153480 91177308-0d34-0410-b5e6-96231b3b80d8
Test scalar evolution directly instead of testing the result of2012-03-22T17:09:31ZAndrew Trickatrick@apple.com2012-03-22T17:09:31Zurn:sha1:54e3adea343f8643a326f71e7877a866cb5e5912
canonical indvars.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153256 91177308-0d34-0410-b5e6-96231b3b80d8
Duncan pointed out that if the alignment isn't explicitly specified, it defaults to the ABI alignment. Given that, make this code a bit more aggressive in such cases.2012-02-27T23:16:46ZEli Friedmaneli.friedman@gmail.com2012-02-27T23:16:46Zurn:sha1:cd38485b8ae2928cc8cb3bb67dcff7c7b7529ebe
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151584 91177308-0d34-0410-b5e6-96231b3b80d8
Teach BasicAA about the LLVM IR rules that allow reading past the end of an object given sufficient alignment. Fixes PR12098.2012-02-27T20:46:07ZEli Friedmaneli.friedman@gmail.com2012-02-27T20:46:07Zurn:sha1:1680a24e534f3066f99fa6b8a618e71373e2920c
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151553 91177308-0d34-0410-b5e6-96231b3b80d8
Change the implementation of dominates(inst, inst) to one based on what the2012-02-26T02:19:19ZRafael Espindolarafael.espindola@gmail.com2012-02-26T02:19:19Zurn:sha1:c9ae8cc24c70dda33b68cacf01d2feeeb836f6f2
verifier does. This correctly handles invoke.
Thanks to Duncan, Andrew and Chris for the comments.
Thanks to Joerg for the early testing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151469 91177308-0d34-0410-b5e6-96231b3b80d8
Replace all instances of dg.exp file with lit.local.cfg, since all tests are run with LIT now and now Dejagnu. dg.exp is no longer needed.2012-02-16T06:28:33ZEli Benderskyeli.bendersky@intel.com2012-02-16T06:28:33Zurn:sha1:0f0c411079cd21bb3a81a1b70bf8c67539a16c22
Patch reviewed by Daniel Dunbar. It will be followed by additional cleanup patches.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@150664 91177308-0d34-0410-b5e6-96231b3b80d8
Change CaptureTracking to pass a Use* instead of a Value* when a value is2011-12-28T23:24:21ZNick Lewyckynicholas@mxc.ca2011-12-28T23:24:21Zurn:sha1:b48a18903a5769f0ecb295db069252576b1388b0
captured. This allows the tracker to look at the specific use, which may be
especially interesting for function calls.
Use this to fix 'nocapture' deduction in FunctionAttrs. The existing one does
not iterate until a fixpoint and does not guarantee that it produces the same
result regardless of iteration order. The new implementation builds up a graph
of how arguments are passed from function to function, and uses a bottom-up walk
on the argument-SCCs to assign nocapture. This gets us nocapture more often, and
does so rather efficiently and independent of iteration order.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@147327 91177308-0d34-0410-b5e6-96231b3b80d8