4 Commits

Author	SHA1	Message	Date
Dan Gohman	7260387710	Fix memdep's code for reasoning about dependences between two calls. A Ref ... response from getModRefInfo is not useful here. Instead, check for identical calls only in the NoModRef case. Reapply r110270, and strengthen it to compensate for the memdep changes. When both calls are readonly, there is no dependence between them. llvm-svn: 110382	2010-08-05 22:09:15 +00:00
Dan Gohman	c42ed0aa91	Revert r110270 for now. It appears to uncover a memdep bug. ... llvm-svn: 110293	2010-08-05 00:43:10 +00:00
Dan Gohman	fc6b043376	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. llvm-svn: 110280	2010-08-04 23:37:55 +00:00
Dan Gohman	dcb6099f9e	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. llvm-svn: 110270	2010-08-04 22:56:29 +00:00