llvm/test/Transforms/FunctionAttrs, branch release_27http://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/FunctionAttrs?h=release_272010-01-06T15:37:47ZFix 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
Fix PR3754: don't mark functions that wrap MallocInst with2009-05-06T08:42:00ZDuncan Sandsbaldrick@free.fr2009-05-06T08:42:00Zurn:sha1:cfd0ebea276521a48370c197e651064b032a381e
the readnone. Since MallocInst is scheduled for deletion
it doesn't seem worth doing anything more subtle, such as
having mayWriteToMemory return true for MallocInst.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71077 91177308-0d34-0410-b5e6-96231b3b80d8
Restore minor deletion.2009-05-04T18:40:41ZMike Stumpmrs@apple.com2009-05-04T18:40:41Zurn:sha1:fe095f39e7009c51d1c86769792ccbcad8cdd2ec
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@70892 91177308-0d34-0410-b5e6-96231b3b80d8
Remove alloca tracking from nocapture analysis. Not only2009-01-07T19:39:06ZDuncan Sandsbaldrick@free.fr2009-01-07T19:39:06Zurn:sha1:b0cea8ff3979b8af15311b34df12bbb4440fd888
was it not very helpful, it was also wrong! The problem
is shown in the testcase: the alloca might be passed to
a nocapture callee which dereferences it and returns the
original pointer. But because it was a nocapture call we
think we don't need to track its uses, but we do.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61876 91177308-0d34-0410-b5e6-96231b3b80d8
When calculating 'nocapture' argument attributes, allow2009-01-02T11:54:37ZDuncan Sandsbaldrick@free.fr2009-01-02T11:54:37Zurn:sha1:338cd6ba6e36c291185541bb8e391427f57a32b1
the argument to be stored to an alloca by tracking uses
of the alloca. This occurs 4 times (out of 7121, 0.05%)
in MultiSource/Applications, so may not be worth it. On
the other hand, it is easy to do and fairly cheap. The
functions it helps are: W_addcom and W_addlit in spiff;
process_args (argv) in d (make_dparser); ercPixConcealIMB
in JM/ldecod.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61570 91177308-0d34-0410-b5e6-96231b3b80d8