llvm/test/Transforms/FunctionAttrs, branch release_29http://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/FunctionAttrs?h=release_292010-11-10T01:02:18ZMake ModRefBehavior a lattice. Use this to clean up AliasAnalysis2010-11-10T01:02:18ZDan Gohmangohman@apple.com2010-11-10T01:02:18Zurn:sha1:42c31a70735e55bf82e66a9315c97d1821c9a798
chaining and simplify FunctionAttrs' GetModRefBehavior logic.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118660 91177308-0d34-0410-b5e6-96231b3b80d8
Extend the AliasAnalysis::pointsToConstantMemory interface to allow it2010-11-08T16:45:26ZDan Gohmangohman@apple.com2010-11-08T16:45:26Zurn:sha1:a25e5dbcc2371352386a01e3c1b8e76dd890272b
to optionally look for constant or local (alloca) memory.
Teach BasicAliasAnalysis::pointsToConstantMemory to look through Select
and Phi nodes, and to support looking for local memory.
Remove FunctionAttrs' PointsToLocalOrConstantMemory function, now that
AliasAnalysis knows all the tricks that it knew.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118412 91177308-0d34-0410-b5e6-96231b3b80d8
Make FunctionAttrs use AliasAnalysis::getModRefBehavior, now that it2010-11-08T16:10:15ZDan Gohmangohman@apple.com2010-11-08T16:10:15Zurn:sha1:3c97f7af9e75507f12a3977bced6b91c7e2ffb2a
knows about intrinsic functions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118410 91177308-0d34-0410-b5e6-96231b3b80d8
If a function does a volatile load from a global constant, do not2010-10-30T12:59:44ZDuncan Sandsbaldrick@free.fr2010-10-30T12:59:44Zurn:sha1:ad6f541840015690ad1483821eb9d8e5f7e50442
consider it to be readonly. In fact, don't even consider it to be
readonly if it does a volatile load from an AllocaInst either (it
is debatable as to whether readonly would be correct or not in this
case; play safe for the moment). This fixes PR8279.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117783 91177308-0d34-0410-b5e6-96231b3b80d8
Fix a README item: have functionattrs look through selects and2010-01-06T15:37:47ZDuncan Sandsbaldrick@free.fr2010-01-06T15:37:47Zurn:sha1:e10920d678c4d6046619e51770de1c9de0c3fe0a
phi nodes when deciding which pointers point to local memory.
I actually checked long ago how useful this is, and it isn't
very: it hardly ever fires in the testsuite, but since Chris
wants it here it is!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92836 91177308-0d34-0410-b5e6-96231b3b80d8
Partially address a README by having functionattrs consider calls to2010-01-06T08:45:52ZDuncan Sandsbaldrick@free.fr2010-01-06T08:45:52Zurn:sha1:7c422ac216fe39fc9c402a704cf296cca9dc5b22
memcpy, memset and other intrinsics that only access their arguments
to be readnone if the intrinsic's arguments all point to local memory.
This improves the testcase in the README to readonly, but it could in
theory be made readnone, however this would involve more sophisticated
analysis that looks through the memcpy.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92829 91177308-0d34-0410-b5e6-96231b3b80d8
Change tests from "opt %s" to "opt < %s" so that opt doesn't see the2009-09-11T18:01:28ZDan Gohmangohman@apple.com2009-09-11T18:01:28Zurn:sha1:f2f6ce65b79df6ec4ee427d51a18355a170f199b
input filename so that opt doesn't print the input filename in the
output so that grep lines in the tests don't unintentionally match
strings in the input filename.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8
Use opt -S instead of piping bitcode output through llvm-dis.2009-09-08T22:34:10ZDan Gohmangohman@apple.com2009-09-08T22:34:10Zurn:sha1:3e054fe9efc64596534bbae0d1634ed15181d642
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81257 91177308-0d34-0410-b5e6-96231b3b80d8
Change these tests to feed the assembly files to opt directly, instead2009-09-08T16:50:01ZDan Gohmangohman@apple.com2009-09-08T16:50:01Zurn:sha1:b1e1e82c54c060ea5dae09dae043234826ca2539
of using llvm-as, now that opt supports this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81226 91177308-0d34-0410-b5e6-96231b3b80d8
Revert r70876 and add a testcase (@c7) showing the problem:2009-05-07T18:08:34ZDuncan Sandsbaldrick@free.fr2009-05-07T18:08:34Zurn:sha1:1978426a94e3d3b53f488ffc56516e6e87906a0b
bits captured, but the pointer marked nocapture. In fact
I now recall that this problem is why only readnone functions
returning void were considered before! However keep a small
fix that was also in r70876: a readnone function returning
void can result in bits being captured if it unwinds, so
test for this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71168 91177308-0d34-0410-b5e6-96231b3b80d8