blob: 36f1424c8cf96b014d34f87b4a3656b940a4827b [file] [log] [blame]
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +00001//===- MemDerefPrinter.cpp - Printer for isDereferenceablePointer ---------===//
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#include "llvm/Analysis/Passes.h"
11#include "llvm/ADT/SetVector.h"
12#include "llvm/Analysis/MemoryDependenceAnalysis.h"
Philip Reames5461d452015-04-23 17:36:48 +000013#include "llvm/Analysis/ValueTracking.h"
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000014#include "llvm/IR/CallSite.h"
Ramkumar Ramachandra82ab65c2015-02-09 21:50:03 +000015#include "llvm/IR/DataLayout.h"
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000016#include "llvm/IR/InstIterator.h"
17#include "llvm/IR/LLVMContext.h"
Mehdi Amini46a43552015-03-04 18:43:29 +000018#include "llvm/IR/Module.h"
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000019#include "llvm/Support/ErrorHandling.h"
20#include "llvm/Support/raw_ostream.h"
21using namespace llvm;
22
23namespace {
24 struct MemDerefPrinter : public FunctionPass {
Artur Pilipenko34d8ba82015-08-17 15:54:26 +000025 SmallVector<Value *, 4> Deref;
26 SmallPtrSet<Value *, 4> DerefAndAligned;
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000027
Artur Pilipenko0f90c862015-05-21 11:57:38 +000028 static char ID; // Pass identification, replacement for typeid
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000029 MemDerefPrinter() : FunctionPass(ID) {
30 initializeMemDerefPrinterPass(*PassRegistry::getPassRegistry());
31 }
Ramkumar Ramachandra82ab65c2015-02-09 21:50:03 +000032 void getAnalysisUsage(AnalysisUsage &AU) const override {
Ramkumar Ramachandra82ab65c2015-02-09 21:50:03 +000033 AU.setPreservesAll();
34 }
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000035 bool runOnFunction(Function &F) override;
36 void print(raw_ostream &OS, const Module * = nullptr) const override;
37 void releaseMemory() override {
Artur Pilipenko34d8ba82015-08-17 15:54:26 +000038 Deref.clear();
39 DerefAndAligned.clear();
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000040 }
41 };
Alexander Kornienkof00654e2015-06-23 09:49:53 +000042}
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000043
44char MemDerefPrinter::ID = 0;
Ramkumar Ramachandra82ab65c2015-02-09 21:50:03 +000045INITIALIZE_PASS_BEGIN(MemDerefPrinter, "print-memderefs",
46 "Memory Dereferenciblity of pointers in function", false, true)
Ramkumar Ramachandra82ab65c2015-02-09 21:50:03 +000047INITIALIZE_PASS_END(MemDerefPrinter, "print-memderefs",
48 "Memory Dereferenciblity of pointers in function", false, true)
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000049
50FunctionPass *llvm::createMemDerefPrinter() {
51 return new MemDerefPrinter();
52}
53
54bool MemDerefPrinter::runOnFunction(Function &F) {
Mehdi Amini46a43552015-03-04 18:43:29 +000055 const DataLayout &DL = F.getParent()->getDataLayout();
Nico Rieck78199512015-08-06 19:10:45 +000056 for (auto &I: instructions(F)) {
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000057 if (LoadInst *LI = dyn_cast<LoadInst>(&I)) {
58 Value *PO = LI->getPointerOperand();
Philip Reames5461d452015-04-23 17:36:48 +000059 if (isDereferenceablePointer(PO, DL))
Artur Pilipenko34d8ba82015-08-17 15:54:26 +000060 Deref.push_back(PO);
61 if (isDereferenceableAndAlignedPointer(PO, LI->getAlignment(), DL))
62 DerefAndAligned.insert(PO);
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000063 }
64 }
65 return false;
66}
67
68void MemDerefPrinter::print(raw_ostream &OS, const Module *M) const {
69 OS << "The following are dereferenceable:\n";
Artur Pilipenko34d8ba82015-08-17 15:54:26 +000070 for (Value *V: Deref) {
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000071 V->print(OS);
Artur Pilipenko34d8ba82015-08-17 15:54:26 +000072 if (DerefAndAligned.count(V))
73 OS << "\t(aligned)";
74 else
75 OS << "\t(unaligned)";
Ramkumar Ramachandra8378ac32015-02-06 01:46:42 +000076 OS << "\n\n";
77 }
78}