summaryrefslogtreecommitdiffstats
path: root/llvm/lib
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2010-11-08 17:10:22 +0000
committerDan Gohman <gohman@apple.com>2010-11-08 17:10:22 +0000
commit601c94b309a13460aae314fdce8a8b24bb10712e (patch)
tree02c35f9fb0767a12d057a1ee868da79a7f7b7e85 /llvm/lib
parent2ddfebd9af66dc08309c28e3cf1d8be75e62f333 (diff)
downloadbcm5719-llvm-601c94b309a13460aae314fdce8a8b24bb10712e.tar.gz
bcm5719-llvm-601c94b309a13460aae314fdce8a8b24bb10712e.zip
Implement getModRefBehavior for TypeBasedAliasAnalysis.
llvm-svn: 118416
Diffstat (limited to 'llvm/lib')
-rw-r--r--llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp23
1 files changed, 23 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp b/llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp
index 044a93f8661..16ff64e4cfb 100644
--- a/llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp
@@ -139,6 +139,8 @@ namespace {
virtual void getAnalysisUsage(AnalysisUsage &AU) const;
virtual AliasResult alias(const Location &LocA, const Location &LocB);
virtual bool pointsToConstantMemory(const Location &Loc, bool OrLocal);
+ virtual ModRefBehavior getModRefBehavior(ImmutableCallSite CS);
+ virtual ModRefBehavior getModRefBehavior(const Function *F);
virtual ModRefResult getModRefInfo(ImmutableCallSite CS,
const Location &Loc);
virtual ModRefResult getModRefInfo(ImmutableCallSite CS1,
@@ -241,6 +243,27 @@ bool TypeBasedAliasAnalysis::pointsToConstantMemory(const Location &Loc,
return AliasAnalysis::pointsToConstantMemory(Loc, OrLocal);
}
+AliasAnalysis::ModRefBehavior
+TypeBasedAliasAnalysis::getModRefBehavior(ImmutableCallSite CS) {
+ if (!EnableTBAA)
+ return AliasAnalysis::getModRefBehavior(CS);
+
+ ModRefBehavior Min = UnknownModRefBehavior;
+
+ // If this is an "immutable" type, we can assume the call doesn't write
+ // to memory.
+ if (const MDNode *M = CS.getInstruction()->getMetadata(LLVMContext::MD_tbaa))
+ if (TBAANode(M).TypeIsImmutable())
+ Min = OnlyReadsMemory;
+
+ return std::min(AliasAnalysis::getModRefBehavior(CS), Min);
+}
+
+AliasAnalysis::ModRefBehavior
+TypeBasedAliasAnalysis::getModRefBehavior(const Function *F) {
+ return AliasAnalysis::getModRefBehavior(F);
+}
+
AliasAnalysis::ModRefResult
TypeBasedAliasAnalysis::getModRefInfo(ImmutableCallSite CS,
const Location &Loc) {
OpenPOWER on IntegriCloud