4 Commits

Author	SHA1	Message	Date
Dan Gohman	907857d746	The trouble with testing for "ModRef" and "NoModRef" is that ... one is a suffix of the other, and FileCheck accepts superstrings. Adjust the output to avoid this problem. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110280 91177308-0d34-0410-b5e6-96231b3b80d8	2010-08-04 23:37:55 +00:00
Dan Gohman	3dcc91ee8c	The two-callsite form of AliasAnalysis::getModRefInfo is documented ... to return Ref if the left callsite only reads memory read or written by the right callsite; fix BasicAliasAnalysis to implement this. Add AliasAnalysisEvaluator support for testing the two-callsite form of getModRefInfo. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110270 91177308-0d34-0410-b5e6-96231b3b80d8	2010-08-04 22:56:29 +00:00
Dan Gohman	9e86f4364b	Remove interprocedural-basic-aa and associated code. The AliasAnalysis ... interface needs implementations to be consistent, so any code which wants to support different semantics must use a different interface. It's not currently worthwhile to add a new interface for this new concept. Document that AliasAnalysis doesn't support cross-function queries. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107776 91177308-0d34-0410-b5e6-96231b3b80d8	2010-07-07 14:27:09 +00:00
Dan Gohman	21de4c0daf	Remove context sensitivity concerns from interprocedural-basic-aa, and ... make it more aggressive in cases where both pointers are known to live in the same function. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107420 91177308-0d34-0410-b5e6-96231b3b80d8	2010-07-01 20:08:40 +00:00