ebdee73e16255f83239897d97696d12d468843ac
[oota-llvm.git] / include / llvm / Analysis / LibCallAliasAnalysis.h
1 //===- LibCallAliasAnalysis.h - Implement AliasAnalysis for libcalls ------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines the LibCallAliasAnalysis class.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #ifndef LLVM_ANALYSIS_LIBCALLALIASANALYSIS_H
15 #define LLVM_ANALYSIS_LIBCALLALIASANALYSIS_H
16
17 #include "llvm/Analysis/AliasAnalysis.h"
18 #include "llvm/IR/Module.h"
19 #include "llvm/Pass.h"
20
21 namespace llvm {
22
23 class LibCallInfo;
24 struct LibCallFunctionInfo;
25
26 /// Alias analysis driven from LibCallInfo.
27 struct LibCallAliasAnalysis : public FunctionPass, public AliasAnalysis {
28   static char ID; // Class identification
29
30   LibCallInfo *LCI;
31
32   explicit LibCallAliasAnalysis(LibCallInfo *LC = nullptr)
33       : FunctionPass(ID), LCI(LC) {
34     initializeLibCallAliasAnalysisPass(*PassRegistry::getPassRegistry());
35   }
36   explicit LibCallAliasAnalysis(char &ID, LibCallInfo *LC)
37       : FunctionPass(ID), LCI(LC) {
38     initializeLibCallAliasAnalysisPass(*PassRegistry::getPassRegistry());
39   }
40   ~LibCallAliasAnalysis() override;
41
42   ModRefInfo getModRefInfo(ImmutableCallSite CS,
43                            const MemoryLocation &Loc) override;
44
45   void getAnalysisUsage(AnalysisUsage &AU) const override;
46
47   bool runOnFunction(Function &F) override;
48
49   /// This method is used when a pass implements an analysis interface through
50   /// multiple inheritance.
51   ///
52   /// If needed, it should override this to adjust the this pointer as needed
53   /// for the specified pass info.
54   void *getAdjustedAnalysisPointer(const void *PI) override {
55     if (PI == &AliasAnalysis::ID)
56       return (AliasAnalysis *)this;
57     return this;
58   }
59
60 private:
61   ModRefInfo AnalyzeLibCallDetails(const LibCallFunctionInfo *FI,
62                                    ImmutableCallSite CS,
63                                    const MemoryLocation &Loc);
64 };
65
66 /// Create an alias analysis pass that knows about the semantics of a set of
67 /// libcalls specified by LCI.
68 ///
69 /// The newly constructed pass takes ownership of the pointer that is provided.
70 FunctionPass *createLibCallAliasAnalysisPass(LibCallInfo *LCI);
71
72 } // End of llvm namespace
73
74 #endif