xref: /aosp_15_r20/external/llvm/lib/Analysis/MemDerefPrinter.cpp (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker //===- MemDerefPrinter.cpp - Printer for isDereferenceablePointer ---------===//
2*9880d681SAndroid Build Coastguard Worker //
3*9880d681SAndroid Build Coastguard Worker //                     The LLVM Compiler Infrastructure
4*9880d681SAndroid Build Coastguard Worker //
5*9880d681SAndroid Build Coastguard Worker // This file is distributed under the University of Illinois Open Source
6*9880d681SAndroid Build Coastguard Worker // License. See LICENSE.TXT for details.
7*9880d681SAndroid Build Coastguard Worker //
8*9880d681SAndroid Build Coastguard Worker //===----------------------------------------------------------------------===//
9*9880d681SAndroid Build Coastguard Worker 
10*9880d681SAndroid Build Coastguard Worker #include "llvm/Analysis/Passes.h"
11*9880d681SAndroid Build Coastguard Worker #include "llvm/ADT/SetVector.h"
12*9880d681SAndroid Build Coastguard Worker #include "llvm/Analysis/MemoryDependenceAnalysis.h"
13*9880d681SAndroid Build Coastguard Worker #include "llvm/Analysis/Loads.h"
14*9880d681SAndroid Build Coastguard Worker #include "llvm/IR/CallSite.h"
15*9880d681SAndroid Build Coastguard Worker #include "llvm/IR/DataLayout.h"
16*9880d681SAndroid Build Coastguard Worker #include "llvm/IR/InstIterator.h"
17*9880d681SAndroid Build Coastguard Worker #include "llvm/IR/LLVMContext.h"
18*9880d681SAndroid Build Coastguard Worker #include "llvm/IR/Module.h"
19*9880d681SAndroid Build Coastguard Worker #include "llvm/Support/ErrorHandling.h"
20*9880d681SAndroid Build Coastguard Worker #include "llvm/Support/raw_ostream.h"
21*9880d681SAndroid Build Coastguard Worker using namespace llvm;
22*9880d681SAndroid Build Coastguard Worker 
23*9880d681SAndroid Build Coastguard Worker namespace {
24*9880d681SAndroid Build Coastguard Worker   struct MemDerefPrinter : public FunctionPass {
25*9880d681SAndroid Build Coastguard Worker     SmallVector<Value *, 4> Deref;
26*9880d681SAndroid Build Coastguard Worker     SmallPtrSet<Value *, 4> DerefAndAligned;
27*9880d681SAndroid Build Coastguard Worker 
28*9880d681SAndroid Build Coastguard Worker     static char ID; // Pass identification, replacement for typeid
MemDerefPrinter__anone036f3840111::MemDerefPrinter29*9880d681SAndroid Build Coastguard Worker     MemDerefPrinter() : FunctionPass(ID) {
30*9880d681SAndroid Build Coastguard Worker       initializeMemDerefPrinterPass(*PassRegistry::getPassRegistry());
31*9880d681SAndroid Build Coastguard Worker     }
getAnalysisUsage__anone036f3840111::MemDerefPrinter32*9880d681SAndroid Build Coastguard Worker     void getAnalysisUsage(AnalysisUsage &AU) const override {
33*9880d681SAndroid Build Coastguard Worker       AU.setPreservesAll();
34*9880d681SAndroid Build Coastguard Worker     }
35*9880d681SAndroid Build Coastguard Worker     bool runOnFunction(Function &F) override;
36*9880d681SAndroid Build Coastguard Worker     void print(raw_ostream &OS, const Module * = nullptr) const override;
releaseMemory__anone036f3840111::MemDerefPrinter37*9880d681SAndroid Build Coastguard Worker     void releaseMemory() override {
38*9880d681SAndroid Build Coastguard Worker       Deref.clear();
39*9880d681SAndroid Build Coastguard Worker       DerefAndAligned.clear();
40*9880d681SAndroid Build Coastguard Worker     }
41*9880d681SAndroid Build Coastguard Worker   };
42*9880d681SAndroid Build Coastguard Worker }
43*9880d681SAndroid Build Coastguard Worker 
44*9880d681SAndroid Build Coastguard Worker char MemDerefPrinter::ID = 0;
45*9880d681SAndroid Build Coastguard Worker INITIALIZE_PASS_BEGIN(MemDerefPrinter, "print-memderefs",
46*9880d681SAndroid Build Coastguard Worker                       "Memory Dereferenciblity of pointers in function", false, true)
47*9880d681SAndroid Build Coastguard Worker INITIALIZE_PASS_END(MemDerefPrinter, "print-memderefs",
48*9880d681SAndroid Build Coastguard Worker                     "Memory Dereferenciblity of pointers in function", false, true)
49*9880d681SAndroid Build Coastguard Worker 
createMemDerefPrinter()50*9880d681SAndroid Build Coastguard Worker FunctionPass *llvm::createMemDerefPrinter() {
51*9880d681SAndroid Build Coastguard Worker   return new MemDerefPrinter();
52*9880d681SAndroid Build Coastguard Worker }
53*9880d681SAndroid Build Coastguard Worker 
runOnFunction(Function & F)54*9880d681SAndroid Build Coastguard Worker bool MemDerefPrinter::runOnFunction(Function &F) {
55*9880d681SAndroid Build Coastguard Worker   const DataLayout &DL = F.getParent()->getDataLayout();
56*9880d681SAndroid Build Coastguard Worker   for (auto &I: instructions(F)) {
57*9880d681SAndroid Build Coastguard Worker     if (LoadInst *LI = dyn_cast<LoadInst>(&I)) {
58*9880d681SAndroid Build Coastguard Worker       Value *PO = LI->getPointerOperand();
59*9880d681SAndroid Build Coastguard Worker       if (isDereferenceablePointer(PO, DL))
60*9880d681SAndroid Build Coastguard Worker         Deref.push_back(PO);
61*9880d681SAndroid Build Coastguard Worker       if (isDereferenceableAndAlignedPointer(PO, LI->getAlignment(), DL))
62*9880d681SAndroid Build Coastguard Worker         DerefAndAligned.insert(PO);
63*9880d681SAndroid Build Coastguard Worker     }
64*9880d681SAndroid Build Coastguard Worker   }
65*9880d681SAndroid Build Coastguard Worker   return false;
66*9880d681SAndroid Build Coastguard Worker }
67*9880d681SAndroid Build Coastguard Worker 
print(raw_ostream & OS,const Module * M) const68*9880d681SAndroid Build Coastguard Worker void MemDerefPrinter::print(raw_ostream &OS, const Module *M) const {
69*9880d681SAndroid Build Coastguard Worker   OS << "The following are dereferenceable:\n";
70*9880d681SAndroid Build Coastguard Worker   for (Value *V: Deref) {
71*9880d681SAndroid Build Coastguard Worker     V->print(OS);
72*9880d681SAndroid Build Coastguard Worker     if (DerefAndAligned.count(V))
73*9880d681SAndroid Build Coastguard Worker       OS << "\t(aligned)";
74*9880d681SAndroid Build Coastguard Worker     else
75*9880d681SAndroid Build Coastguard Worker       OS << "\t(unaligned)";
76*9880d681SAndroid Build Coastguard Worker     OS << "\n\n";
77*9880d681SAndroid Build Coastguard Worker   }
78*9880d681SAndroid Build Coastguard Worker }
79