1 //===- AMDGPUAliasAnalysis --------------------------------------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 /// This is the AMGPU address space based alias analysis pass.
11 //===----------------------------------------------------------------------===//
13 #ifndef LLVM_LIB_TARGET_AMDGPU_AMDGPUALIASANALYSIS_H
14 #define LLVM_LIB_TARGET_AMDGPU_AMDGPUALIASANALYSIS_H
17 #include "llvm/ADT/Triple.h"
18 #include "llvm/Analysis/AliasAnalysis.h"
19 #include "llvm/IR/Function.h"
20 #include "llvm/IR/Module.h"
21 #include "llvm/Pass.h"
31 /// A simple AA result that uses TBAA metadata to answer queries.
32 class AMDGPUAAResult : public AAResultBase<AMDGPUAAResult> {
33 friend AAResultBase<AMDGPUAAResult>;
39 explicit AMDGPUAAResult(const DataLayout &DL, Triple T) : AAResultBase(),
40 DL(DL), AS(AMDGPU::getAMDGPUAS(T)), ASAliasRules(AS, T.getArch()) {}
41 AMDGPUAAResult(AMDGPUAAResult &&Arg)
42 : AAResultBase(std::move(Arg)), DL(Arg.DL), AS(Arg.AS),
43 ASAliasRules(Arg.ASAliasRules){}
45 /// Handle invalidation events from the new pass manager.
47 /// By definition, this result is stateless and so remains valid.
48 bool invalidate(Function &, const PreservedAnalyses &) { return false; }
50 AliasResult alias(const MemoryLocation &LocA, const MemoryLocation &LocB);
51 bool pointsToConstantMemory(const MemoryLocation &Loc, bool OrLocal);
54 bool Aliases(const MDNode *A, const MDNode *B) const;
55 bool PathAliases(const MDNode *A, const MDNode *B) const;
57 class ASAliasRulesTy {
59 ASAliasRulesTy(AMDGPUAS AS_, Triple::ArchType Arch_);
61 AliasResult getAliasResult(unsigned AS1, unsigned AS2) const;
64 Triple::ArchType Arch;
66 const AliasResult (*ASAliasRules)[7][7];
70 /// Analysis pass providing a never-invalidated alias analysis result.
71 class AMDGPUAA : public AnalysisInfoMixin<AMDGPUAA> {
72 friend AnalysisInfoMixin<AMDGPUAA>;
77 using Result = AMDGPUAAResult;
79 AMDGPUAAResult run(Function &F, AnalysisManager<Function> &AM) {
80 return AMDGPUAAResult(F.getParent()->getDataLayout(),
81 Triple(F.getParent()->getTargetTriple()));
85 /// Legacy wrapper pass to provide the AMDGPUAAResult object.
86 class AMDGPUAAWrapperPass : public ImmutablePass {
87 std::unique_ptr<AMDGPUAAResult> Result;
92 AMDGPUAAWrapperPass() : ImmutablePass(ID) {
93 initializeAMDGPUAAWrapperPassPass(*PassRegistry::getPassRegistry());
96 AMDGPUAAResult &getResult() { return *Result; }
97 const AMDGPUAAResult &getResult() const { return *Result; }
99 bool doInitialization(Module &M) override {
100 Result.reset(new AMDGPUAAResult(M.getDataLayout(),
101 Triple(M.getTargetTriple())));
105 bool doFinalization(Module &M) override {
110 void getAnalysisUsage(AnalysisUsage &AU) const override;
113 } // end namespace llvm
115 #endif // LLVM_LIB_TARGET_AMDGPU_AMDGPUALIASANALYSIS_H