1 //===- LibCallAliasAnalysis.h - Implement AliasAnalysis for libcalls ------===//
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 file defines the LibCallAliasAnalysis class.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_ANALYSIS_LIBCALLALIASANALYSIS_H
15 #define LLVM_ANALYSIS_LIBCALLALIASANALYSIS_H
17 #include "llvm/Analysis/AliasAnalysis.h"
18 #include "llvm/IR/Module.h"
19 #include "llvm/Pass.h"
24 struct LibCallFunctionInfo;
26 /// Alias analysis driven from LibCallInfo.
27 struct LibCallAliasAnalysis : public FunctionPass, public AliasAnalysis {
28 static char ID; // Class identification
32 explicit LibCallAliasAnalysis(LibCallInfo *LC = nullptr)
33 : FunctionPass(ID), LCI(LC) {
34 initializeLibCallAliasAnalysisPass(*PassRegistry::getPassRegistry());
36 explicit LibCallAliasAnalysis(char &ID, LibCallInfo *LC)
37 : FunctionPass(ID), LCI(LC) {
38 initializeLibCallAliasAnalysisPass(*PassRegistry::getPassRegistry());
40 ~LibCallAliasAnalysis() override;
42 ModRefInfo getModRefInfo(ImmutableCallSite CS,
43 const MemoryLocation &Loc) override;
45 void getAnalysisUsage(AnalysisUsage &AU) const override;
47 bool runOnFunction(Function &F) override;
49 /// This method is used when a pass implements an analysis interface through
50 /// multiple inheritance.
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;
61 ModRefInfo AnalyzeLibCallDetails(const LibCallFunctionInfo *FI,
63 const MemoryLocation &Loc);
66 /// Create an alias analysis pass that knows about the semantics of a set of
67 /// libcalls specified by LCI.
69 /// The newly constructed pass takes ownership of the pointer that is provided.
70 FunctionPass *createLibCallAliasAnalysisPass(LibCallInfo *LCI);
72 } // End of llvm namespace