6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-02-05 14:34:55 +00:00
Code Issues Projects Releases Wiki Activity

Support AA chaining.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@116264 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2010-10-11 23:39:34 +00:00
parent 7c34730fb9
commit 633e702317
1 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
lib/Analysis/TypeBasedAliasAnalysis.cpp
View File

@ -23,7 +23,6 @@
// //
// TODO: getModRefBehavior. The AliasAnalysis infrastructure will need to // TODO: getModRefBehavior. The AliasAnalysis infrastructure will need to
// be extended. // be extended.
// TODO: AA chaining
// TODO: struct fields // TODO: struct fields
// //
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
@ -84,6 +83,10 @@ namespace {
static char ID; // Class identification, replacement for typeinfo static char ID; // Class identification, replacement for typeinfo
TypeBasedAliasAnalysis() : ImmutablePass(ID) {} TypeBasedAliasAnalysis() : ImmutablePass(ID) {}
virtual void initializePass() {
InitializeAliasAnalysis(this);
}
/// getAdjustedAnalysisPointer - This method is used when a pass implements /// getAdjustedAnalysisPointer - This method is used when a pass implements
/// an analysis interface through multiple inheritance. If needed, it /// an analysis interface through multiple inheritance. If needed, it
/// should override this to adjust the this pointer as needed for the /// should override this to adjust the this pointer as needed for the
@ -122,9 +125,9 @@ TypeBasedAliasAnalysis::alias(const Location &LocA,
// Get the attached MDNodes. If either value lacks a tbaa MDNode, we must // Get the attached MDNodes. If either value lacks a tbaa MDNode, we must
// be conservative. // be conservative.
const MDNode *AM = LocA.TBAATag; const MDNode *AM = LocA.TBAATag;
if (!AM) return MayAlias; if (!AM) return AliasAnalysis::alias(LocA, LocB);
const MDNode *BM = LocB.TBAATag; const MDNode *BM = LocB.TBAATag;
if (!BM) return MayAlias; if (!BM) return AliasAnalysis::alias(LocA, LocB);
// Keep track of the root node for A and B. // Keep track of the root node for A and B.
TBAANode RootA, RootB; TBAANode RootA, RootB;
@ -133,7 +136,7 @@ TypeBasedAliasAnalysis::alias(const Location &LocA,
for (TBAANode T(AM); ; ) { for (TBAANode T(AM); ; ) {
if (T.getNode() == BM) if (T.getNode() == BM)
// B is an ancestor of A. // B is an ancestor of A.
return MayAlias; return AliasAnalysis::alias(LocA, LocB);
RootA = T; RootA = T;
T = T.getParent(); T = T.getParent();
@ -145,7 +148,7 @@ TypeBasedAliasAnalysis::alias(const Location &LocA,
for (TBAANode T(BM); ; ) { for (TBAANode T(BM); ; ) {
if (T.getNode() == AM) if (T.getNode() == AM)
// A is an ancestor of B. // A is an ancestor of B.
return MayAlias; return AliasAnalysis::alias(LocA, LocB);
RootB = T; RootB = T;
T = T.getParent(); T = T.getParent();
@ -161,7 +164,7 @@ TypeBasedAliasAnalysis::alias(const Location &LocA,
// If they have different roots, they're part of different potentially // If they have different roots, they're part of different potentially
// unrelated type systems, so we must be conservative. // unrelated type systems, so we must be conservative.
return MayAlias; return AliasAnalysis::alias(LocA, LocB);
} }
bool TypeBasedAliasAnalysis::pointsToConstantMemory(const Location &Loc) { bool TypeBasedAliasAnalysis::pointsToConstantMemory(const Location &Loc) {