6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-06-12 13:38:21 +00:00
Code Issues Projects Releases Wiki Activity

Generalize some alias analysis logic from atomic

Browse Source 
intrinsics to any IntrWriteArgMem intrinsics.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@64551 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Duncan Sands
2009-02-14 10:56:35 +00:00
parent 178eaf37f6
commit d869b3847f
4 changed files with 42 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Analysis/AliasAnalysis.cpp
View File

@ -124,8 +124,13 @@ AliasAnalysis::getModRefBehavior(Function *F,
if (F->doesNotAccessMemory())
// Can't do better than this.
return DoesNotAccessMemory;
else if (F->onlyReadsMemory())
if (F->onlyReadsMemory())
return OnlyReadsMemory;
if (unsigned id = F->getIntrinsicID()) {
#define GET_INTRINSIC_MODREF_BEHAVIOR
#include "llvm/Intrinsics.gen"
#undef GET_INTRINSIC_MODREF_BEHAVIOR
}
}
return UnknownModRefBehavior;
}

51
lib/Analysis/BasicAliasAnalysis.cpp
View File

@ -201,13 +201,7 @@ namespace {
ModRefResult getModRefInfo(CallSite CS, Value *P, unsigned Size);
ModRefResult getModRefInfo(CallSite CS1, CallSite CS2);
virtual ModRefBehavior getModRefBehavior(CallSite CS,
std::vector<PointerAccessInfo> *Info = 0);
virtual ModRefBehavior getModRefBehavior(Function *F,
std::vector<PointerAccessInfo> *Info = 0);
/// hasNoModRefInfoForCalls - We can provide mod/ref information against
/// non-escaping allocations.
virtual bool hasNoModRefInfoForCalls() const { return false; }
@ -251,51 +245,6 @@ bool BasicAliasAnalysis::pointsToConstantMemory(const Value *P) {
}
static bool isAtomicRMW(Function* F) {
if (!F) return false;
if (F->isIntrinsic()) {
switch (F->getIntrinsicID()) {
case Intrinsic::atomic_cmp_swap:
case Intrinsic::atomic_load_add:
case Intrinsic::atomic_load_and:
case Intrinsic::atomic_load_max:
case Intrinsic::atomic_load_min:
case Intrinsic::atomic_load_nand:
case Intrinsic::atomic_load_or:
case Intrinsic::atomic_load_sub:
case Intrinsic::atomic_load_umax:
case Intrinsic::atomic_load_umin:
case Intrinsic::atomic_load_xor:
case Intrinsic::atomic_swap:
return true;
default:
return false;
}
}
return false;
}
AliasAnalysis::ModRefBehavior
BasicAliasAnalysis::getModRefBehavior(CallSite CS,
std::vector<PointerAccessInfo> *Info) {
if (isAtomicRMW(CS.getCalledFunction()))
// CAS and related intrinsics only access their arguments.
return AliasAnalysis::AccessesArguments;
return AliasAnalysis::getModRefBehavior(CS, Info);
}
AliasAnalysis::ModRefBehavior
BasicAliasAnalysis::getModRefBehavior(Function *F,
std::vector<PointerAccessInfo> *Info) {
if (isAtomicRMW(F))
// CAS and related intrinsics only access their arguments.
return AliasAnalysis::AccessesArguments;
return AliasAnalysis::getModRefBehavior(F, Info);
}
// getModRefInfo - Check to see if the specified callsite can clobber the
// specified memory object. Since we only look at local properties of this
// function, we really can't say much about this query. We do, however, use