llvm/test/Analysis/TypeBasedAliasAnalysis, branch release_31http://llvm.orghttps://git.amat.us/llvm/atom/test/Analysis/TypeBasedAliasAnalysis?h=release_312012-02-16T06:28:33ZReplace 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
Reapply r131781, now that the GVN bug with partially-aliasing loads2011-06-04T06:50:18ZDan Gohmangohman@apple.com2011-06-04T06:50:18Zurn:sha1:5f1312c36e811562c3ea3136332771aed98016ed
is disabled.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132632 91177308-0d34-0410-b5e6-96231b3b80d8
Remove this test, which should have been reverted along with r131781.2011-06-04T06:21:23ZDan Gohmangohman@apple.com2011-06-04T06:21:23Zurn:sha1:baddf6c8b07afd48c145e08d8e5b524b1012deff
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132628 91177308-0d34-0410-b5e6-96231b3b80d8
Reapply r131781 (revert r131809), now that some BasicAA shortcomings2011-06-04T00:46:31ZDan Gohmangohman@apple.com2011-06-04T00:46:31Zurn:sha1:c122c625ce018e33f25ba35150bed10183ae2b40
it exposed are fixed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132611 91177308-0d34-0410-b5e6-96231b3b80d8
Revert commit 131781, to see if it fixes the x86-64 dragonegg buildbot.2011-05-21T20:54:46ZDuncan Sandsbaldrick@free.fr2011-05-21T20:54:46Zurn:sha1:d22920aae81ec318404f7c5235c634954d966cf6
Original log message:
When BasicAA can determine that two pointers have the same base but
differ by a dynamic offset, return PartialAlias instead of MayAlias.
See the comment in the code for details. This fixes PR9971.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131809 91177308-0d34-0410-b5e6-96231b3b80d8
When BasicAA can determine that two pointers have the same base but2011-05-21T01:05:08ZDan Gohmangohman@apple.com2011-05-21T01:05:08Zurn:sha1:424b7771711d8be54f8ac65a24d1870d931c18ee
differ by a dynamic offset, return PartialAlias instead of MayAlias.
See the comment in the code for details. This fixes PR9971.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131781 91177308-0d34-0410-b5e6-96231b3b80d8
When analyzing functions known to only access argument pointees,2011-04-27T18:39:03ZDan Gohmangohman@apple.com2011-04-27T18:39:03Zurn:sha1:bddc1ca18a8ca23f6f145d2f5d006fa07e72a870
only check arguments with pointer types. Update the documentation
of IntrReadArgMem reflect this.
While here, add support for TBAA tags on intrinsic calls.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130317 91177308-0d34-0410-b5e6-96231b3b80d8
-enable-tbaa is on by default now.2010-12-16T02:53:48ZDan Gohmangohman@apple.com2010-12-16T02:53:48Zurn:sha1:a4bdf2ea4831c3e9ee5ad91ff6bf6f6d350c5212
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121945 91177308-0d34-0410-b5e6-96231b3b80d8
Make memcpyopt TBAA-aware.2010-12-16T02:51:19ZDan Gohmangohman@apple.com2010-12-16T02:51:19Zurn:sha1:387f28aff41bae6a81311279b203a1281eaa443a
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121944 91177308-0d34-0410-b5e6-96231b3b80d8