projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abf7bdf) | patch
The two-callsite form of AliasAnalysis::getModRefInfo is documented
authorDan Gohman <gohman@apple.com>
Wed, 4 Aug 2010 22:56:29 +0000 (22:56 +0000)
committerDan Gohman <gohman@apple.com>
Wed, 4 Aug 2010 22:56:29 +0000 (22:56 +0000)
commit3dcc91ee8c48f210d302937ecbbf0d277f8b656e
tree51a96163cfbba2cd870af97f498c96bd4776d518tree | snapshot
parentabf7bdffd67689781a5104b13fa806b92f3e96e1commit | diff
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
lib/Analysis/AliasAnalysisEvaluator.cpp diff | blob | history
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
test/Analysis/BasicAA/args-rets-allocas-loads.ll diff | blob | history
test/Analysis/BasicAA/getmodrefinfo-cs-cs.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors