#ifndef LLVM_ANALYSIS_GLOBALSMODREF_H
#define LLVM_ANALYSIS_GLOBALSMODREF_H
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/CallGraph.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/ValueHandle.h"
#include "llvm/Pass.h"
#include <list>
namespace llvm {
class GlobalsAAResult : public AAResultBase<GlobalsAAResult> {
friend AAResultBase<GlobalsAAResult>;
class FunctionInfo;
const DataLayout &DL;
const TargetLibraryInfo &TLI;
SmallPtrSet<const GlobalValue *, 8> NonAddressTakenGlobals;
SmallPtrSet<const GlobalValue *, 8> IndirectGlobals;
DenseMap<const Value *, const GlobalValue *> AllocsForIndirectGlobals;
DenseMap<const Function *, FunctionInfo> FunctionInfos;
DenseMap<const Function *, unsigned> FunctionToSCCMap;
struct DeletionCallbackHandle final : CallbackVH {
GlobalsAAResult *GAR;
std::list<DeletionCallbackHandle>::iterator I;
DeletionCallbackHandle(GlobalsAAResult &GAR, Value *V)
: CallbackVH(V), GAR(&GAR) {}
void deleted() override;
};
std::list<DeletionCallbackHandle> Handles;
explicit GlobalsAAResult(const DataLayout &DL, const TargetLibraryInfo &TLI);
public:
GlobalsAAResult(GlobalsAAResult &&Arg);
static GlobalsAAResult analyzeModule(Module &M, const TargetLibraryInfo &TLI,
CallGraph &CG);
AliasResult alias(const MemoryLocation &LocA, const MemoryLocation &LocB);
using AAResultBase::getModRefInfo;
ModRefInfo getModRefInfo(ImmutableCallSite CS, const MemoryLocation &Loc);
FunctionModRefBehavior getModRefBehavior(const Function *F);
FunctionModRefBehavior getModRefBehavior(ImmutableCallSite CS);
private:
FunctionInfo *getFunctionInfo(const Function *F);
void AnalyzeGlobals(Module &M);
void AnalyzeCallGraph(CallGraph &CG, Module &M);
bool AnalyzeUsesOfPointer(Value *V,
SmallPtrSetImpl<Function *> *Readers = nullptr,
SmallPtrSetImpl<Function *> *Writers = nullptr,
GlobalValue *OkayStoreDest = nullptr);
bool AnalyzeIndirectGlobalMemory(GlobalVariable *GV);
void CollectSCCMembership(CallGraph &CG);
bool isNonEscapingGlobalNoAlias(const GlobalValue *GV, const Value *V);
ModRefInfo getModRefInfoForArgument(ImmutableCallSite CS,
const GlobalValue *GV);
};
class GlobalsAA {
public:
typedef GlobalsAAResult Result;
static void *ID() { return (void *)&PassID; }
GlobalsAAResult run(Module &M, AnalysisManager<Module> *AM);
static StringRef name() { return "GlobalsAA"; }
private:
static char PassID;
};
class GlobalsAAWrapperPass : public ModulePass {
std::unique_ptr<GlobalsAAResult> Result;
public:
static char ID;
GlobalsAAWrapperPass();
GlobalsAAResult &getResult() { return *Result; }
const GlobalsAAResult &getResult() const { return *Result; }
bool runOnModule(Module &M) override;
bool doFinalization(Module &M) override;
void getAnalysisUsage(AnalysisUsage &AU) const override;
};
ModulePass *createGlobalsAAWrapperPass();
}
#endif