mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-13 20:32:21 +00:00
c51f300513
No in-tree alias analysis used this facility, and it was not called in any particularly rigorous way, so it seems unlikely to be correct. Note that one of the only stateful AA implementations in-tree, GlobalsModRef is completely broken currently (and any AA passes like it are equally broken) because Module AA passes are not effectively invalidated when a function pass that fails to update the AA stack runs. Ultimately, it doesn't seem like we know how we want to build stateful AA, and until then trying to support and maintain correctness for an untested API is essentially impossible. To that end, I'm planning to rip out all of the update API. It can return if and when we need it and know how to build it on top of the new pass manager and as part of *tested* stateful AA implementations in the tree. Differential Revision: http://reviews.llvm.org/D10889 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@241975 91177308-0d34-0410-b5e6-96231b3b80d8
96 lines
3.3 KiB
C++
96 lines
3.3 KiB
C++
//===- NoAliasAnalysis.cpp - Minimal Alias Analysis Impl ------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines the default implementation of the Alias Analysis interface
|
|
// that simply returns "I don't know" for all queries.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/Analysis/Passes.h"
|
|
#include "llvm/Analysis/AliasAnalysis.h"
|
|
#include "llvm/IR/DataLayout.h"
|
|
#include "llvm/IR/LLVMContext.h"
|
|
#include "llvm/IR/Module.h"
|
|
#include "llvm/Pass.h"
|
|
using namespace llvm;
|
|
|
|
namespace {
|
|
/// NoAA - This class implements the -no-aa pass, which always returns "I
|
|
/// don't know" for alias queries. NoAA is unlike other alias analysis
|
|
/// implementations, in that it does not chain to a previous analysis. As
|
|
/// such it doesn't follow many of the rules that other alias analyses must.
|
|
///
|
|
struct NoAA : public ImmutablePass, public AliasAnalysis {
|
|
static char ID; // Class identification, replacement for typeinfo
|
|
NoAA() : ImmutablePass(ID) {
|
|
initializeNoAAPass(*PassRegistry::getPassRegistry());
|
|
}
|
|
|
|
void getAnalysisUsage(AnalysisUsage &AU) const override {}
|
|
|
|
bool doInitialization(Module &M) override {
|
|
// Note: NoAA does not call InitializeAliasAnalysis because it's
|
|
// special and does not support chaining.
|
|
DL = &M.getDataLayout();
|
|
return true;
|
|
}
|
|
|
|
AliasResult alias(const MemoryLocation &LocA,
|
|
const MemoryLocation &LocB) override {
|
|
return MayAlias;
|
|
}
|
|
|
|
ModRefBehavior getModRefBehavior(ImmutableCallSite CS) override {
|
|
return UnknownModRefBehavior;
|
|
}
|
|
ModRefBehavior getModRefBehavior(const Function *F) override {
|
|
return UnknownModRefBehavior;
|
|
}
|
|
|
|
bool pointsToConstantMemory(const MemoryLocation &Loc,
|
|
bool OrLocal) override {
|
|
return false;
|
|
}
|
|
ModRefResult getArgModRefInfo(ImmutableCallSite CS,
|
|
unsigned ArgIdx) override {
|
|
return ModRef;
|
|
}
|
|
|
|
ModRefResult getModRefInfo(ImmutableCallSite CS,
|
|
const MemoryLocation &Loc) override {
|
|
return ModRef;
|
|
}
|
|
ModRefResult getModRefInfo(ImmutableCallSite CS1,
|
|
ImmutableCallSite CS2) override {
|
|
return ModRef;
|
|
}
|
|
|
|
void deleteValue(Value *V) override {}
|
|
void addEscapingUse(Use &U) override {}
|
|
|
|
/// getAdjustedAnalysisPointer - This method is used when a pass implements
|
|
/// an analysis interface through multiple inheritance. If needed, it
|
|
/// should override this to adjust the this pointer as needed for the
|
|
/// specified pass info.
|
|
void *getAdjustedAnalysisPointer(const void *ID) override {
|
|
if (ID == &AliasAnalysis::ID)
|
|
return (AliasAnalysis*)this;
|
|
return this;
|
|
}
|
|
};
|
|
} // End of anonymous namespace
|
|
|
|
// Register this pass...
|
|
char NoAA::ID = 0;
|
|
INITIALIZE_AG_PASS(NoAA, AliasAnalysis, "no-aa",
|
|
"No Alias Analysis (always returns 'may' alias)",
|
|
true, true, true)
|
|
|
|
ImmutablePass *llvm::createNoAAPass() { return new NoAA(); }
|