llvm/test/Analysis/GlobalsModRef, branch release_27http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis/GlobalsModRef?h=release_272009-09-11T18:01:28ZChange 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
Remove the MarkModRef pass (use AddReadAttrs instead).2008-09-19T08:23:44ZDuncan Sandsbaldrick@free.fr2008-09-19T08:23:44Zurn:sha1:acdb2eeb45ba6d9e71d0e0d0c5a0d82183422345
Unfortunately this means removing one regression test
of GlobalsModRef because I couldn't work out how to
perform it without MarkModRef.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@56342 91177308-0d34-0410-b5e6-96231b3b80d8
Add a new pass AddReadAttrs which works out which functions2008-09-19T08:17:05ZDuncan Sandsbaldrick@free.fr2008-09-19T08:17:05Zurn:sha1:9f07a290b92a8ff06dfb9f3c28d6aa082217d9a6
can get the readnone/readonly attributes, and gives them it.
The plan is to remove markmodref (which did the same thing
by querying GlobalsModRef) and delete the analogous
functionality from GlobalsModRef.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@56341 91177308-0d34-0410-b5e6-96231b3b80d8
Fix PR2792: treat volatile loads as writing memory somewhere.2008-09-13T12:45:50ZDuncan Sandsbaldrick@free.fr2008-09-13T12:45:50Zurn:sha1:b8ca4ff6439c1543a0c6729cbcd6c70c3be7dc3c
Treat stores as reading memory, just to play safe.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@56188 91177308-0d34-0410-b5e6-96231b3b80d8
Testcase for commits 55700 and 55714.2008-09-03T19:38:41ZDuncan Sandsbaldrick@free.fr2008-09-03T19:38:41Zurn:sha1:faf600a9edcc4908a8f35851709f1479bb21444e
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55715 91177308-0d34-0410-b5e6-96231b3b80d8
Since onlyReadsMemory returns true if in fact2008-09-03T15:31:24ZDuncan Sandsbaldrick@free.fr2008-09-03T15:31:24Zurn:sha1:d0ac373660de64fe210e50458c7702432b3f9605
doesNotAccessMemory, check doesNotAccessMemory
first, since otherwise functions may be
marked readonly rather than readnone.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55697 91177308-0d34-0410-b5e6-96231b3b80d8
Cleanup GlobalsModRef a bit. When analysing the2008-09-03T12:55:42ZDuncan Sandsbaldrick@free.fr2008-09-03T12:55:42Zurn:sha1:9a036b945c67aeb44093c6c515e4b85e21094335
callgraph, when one member of a SCC calls another
then the analysis would drop to mod-ref because
there is (usually) no function info for the callee
yet; fix this. Teach the analysis about function
attributes, in particular the readonly attribute
(which requires being careful about globals).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55696 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