llvm/test/Analysis/BasicAA, branch release_32http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis/BasicAA?h=release_322012-11-05T10:48:24ZDon't infer whether a value is captured in the current function from the2012-11-05T10:48:24ZRichard Osbornerichard@xmos.com2012-11-05T10:48:24Zurn:sha1:544533301e51e697abf7cc05979208d0ffc30973
'nocapture' attribute.
The nocapture attribute only specifies that no copies are made that
outlive the function. This isn't the same as there being no copies at all.
This fixes PR14045.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167381 91177308-0d34-0410-b5e6-96231b3b80d8
BasicAA: Recognize cyclic NoAlias phis2012-09-06T14:41:53ZArnold Schwaighoferarnolds@codeaurora.org2012-09-06T14:41:53Zurn:sha1:3d5f96ee1bf5189e324089976026ed09b6be9e58
Enhances basic alias analysis to recognize phis whose first incoming values are
NoAlias and whose other incoming values are just the phi node itself through
some amount of recursion.
Example: With this change basicaa reports that ptr_phi and ptr_phi2 do not alias
each other.
bb:
ptr = ptr2 + 1
loop:
ptr_phi = phi [bb, ptr], [loop, ptr_plus_one]
ptr2_phi = phi [bb, ptr2], [loop, ptr2_plus_one]
...
ptr_plus_one = gep ptr_phi, 1
ptr2_plus_one = gep ptr2_phi, 1
This enables the elimination of one load in code like the following:
extern int foo;
int test_noalias(int *ptr, int num, int* coeff) {
int *ptr2 = ptr;
int result = (*ptr++) * (*coeff--);
while (num--) {
*ptr2++ = *ptr;
result += (*coeff--) * (*ptr++);
}
*ptr = foo;
return result;
}
Part 2/2 of fix for PR13564.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@163319 91177308-0d34-0410-b5e6-96231b3b80d8
BasicAA: GEPs of NoAlias'ing base ptr with equivalent indices are NoAlias2012-09-06T14:31:51ZArnold Schwaighoferarnolds@codeaurora.org2012-09-06T14:31:51Zurn:sha1:029032693fdb065b6edfff6d68df188f98bee8ac
If we can show that the base pointers of two GEPs don't alias each other using
precise analysis and the indices and base offset are equal then the two GEPs
also don't alias each other.
This is primarily needed for the follow up patch that analyses NoAlias'ing PHI
nodes.
Part 1/2 of fix for PR13564.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@163317 91177308-0d34-0410-b5e6-96231b3b80d8
Convert the uses of '|&' to use '2>&1 |' instead, which works on old2012-07-02T18:37:59ZChandler Carruthchandlerc@gmail.com2012-07-02T18:37:59Zurn:sha1:49589f0d0e35f643e697ab7ae8a51a530d38b0d8
versions of Bash. In addition, I can back out the change to the lit
built-in shell test runner to support this.
This should fix the majority of fallout on Darwin, but I suspect there
will be a few straggling issues.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159544 91177308-0d34-0410-b5e6-96231b3b80d8
FileCheck-ize these tests. Harden some of them.2012-04-24T09:15:38ZBill Wendlingisanbard@gmail.com2012-04-24T09:15:38Zurn:sha1:d5cc8b81ca5d0a09a1da7f8b094907eb63a582e6
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155432 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
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
Manually upgrade the test suite to specify the flag to cttz and ctlz.2011-12-12T11:59:10ZChandler Carruthchandlerc@gmail.com2011-12-12T11:59:10Zurn:sha1:ddbc274169ed4ee0e0ac32ed194b925a180202fe
I followed three heuristics for deciding whether to set 'true' or
'false':
- Everything target independent got 'true' as that is the expected
common output of the GCC builtins.
- If the target arch only has one way of implementing this operation,
set the flag in the way that exercises the most of codegen. For most
architectures this is also the likely path from a GCC builtin, with
'true' being set. It will (eventually) require lowering away that
difference, and then lowering to the architecture's operation.
- Otherwise, set the flag differently dependending on which target
operation should be tested.
Let me know if anyone has any issue with this pattern or would like
specific tests of another form. This should allow the x86 codegen to
just iteratively improve as I teach the backend how to differentiate
between the two forms, and everything else should remain exactly the
same.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@146370 91177308-0d34-0410-b5e6-96231b3b80d8
Upgrade syntax of tests using volatile instructions to use 'load volatile' instead of 'volatile load', which is archaic.2011-11-27T06:54:59ZChris Lattnersabre@nondot.org2011-11-27T06:54:59Zurn:sha1:d2bf432b2b6ba02e20958953a237213d48b00f20
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145171 91177308-0d34-0410-b5e6-96231b3b80d8