| //===- MemDepPrinter.cpp - Printer for MemoryDependenceAnalysis -----------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "llvm/Analysis/MemoryDependenceAnalysis.h" |
| #include "llvm/Analysis/Passes.h" |
| #include "llvm/Assembly/Writer.h" |
| #include "llvm/Support/CallSite.h" |
| #include "llvm/Support/InstIterator.h" |
| #include "llvm/Support/ErrorHandling.h" |
| #include "llvm/Support/raw_ostream.h" |
| #include "llvm/ADT/SetVector.h" |
| using namespace llvm; |
| |
| namespace { |
| struct MemDepPrinter : public FunctionPass { |
| const Function *F; |
| |
| typedef PointerIntPair<const Instruction *, 1> InstAndClobberFlag; |
| typedef std::pair<InstAndClobberFlag, const BasicBlock *> Dep; |
| typedef SmallSetVector<Dep, 4> DepSet; |
| typedef DenseMap<const Instruction *, DepSet> DepSetMap; |
| DepSetMap Deps; |
| |
| static char ID; // Pass identifcation, replacement for typeid |
| MemDepPrinter() : FunctionPass(ID) {} |
| |
| virtual bool runOnFunction(Function &F); |
| |
| void print(raw_ostream &OS, const Module * = 0) const; |
| |
| virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
| AU.addRequired<MemoryDependenceAnalysis>(); |
| AU.setPreservesAll(); |
| } |
| |
| virtual void releaseMemory() { |
| Deps.clear(); |
| F = 0; |
| } |
| }; |
| } |
| |
| char MemDepPrinter::ID = 0; |
| INITIALIZE_PASS(MemDepPrinter, "print-memdeps", "Print MemDeps of function", |
| false, true) |
| |
| FunctionPass *llvm::createMemDepPrinter() { |
| return new MemDepPrinter(); |
| } |
| |
| bool MemDepPrinter::runOnFunction(Function &F) { |
| this->F = &F; |
| MemoryDependenceAnalysis &MDA = getAnalysis<MemoryDependenceAnalysis>(); |
| |
| // All this code uses non-const interfaces because MemDep is not |
| // const-friendly, though nothing is actually modified. |
| for (inst_iterator I = inst_begin(F), E = inst_end(F); I != E; ++I) { |
| Instruction *Inst = &*I; |
| |
| if (!Inst->mayReadFromMemory() && !Inst->mayWriteToMemory()) |
| continue; |
| |
| MemDepResult Res = MDA.getDependency(Inst); |
| if (!Res.isNonLocal()) { |
| assert(Res.isClobber() != Res.isDef() && |
| "Local dep should be def or clobber!"); |
| Deps[Inst].insert(std::make_pair(InstAndClobberFlag(Res.getInst(), |
| Res.isClobber()), |
| static_cast<BasicBlock *>(0))); |
| } else if (CallSite CS = cast<Value>(Inst)) { |
| const MemoryDependenceAnalysis::NonLocalDepInfo &NLDI = |
| MDA.getNonLocalCallDependency(CS); |
| |
| DepSet &InstDeps = Deps[Inst]; |
| for (MemoryDependenceAnalysis::NonLocalDepInfo::const_iterator |
| I = NLDI.begin(), E = NLDI.end(); I != E; ++I) { |
| const MemDepResult &Res = I->getResult(); |
| assert(Res.isClobber() != Res.isDef() && |
| "Resolved non-local call dep should be def or clobber!"); |
| InstDeps.insert(std::make_pair(InstAndClobberFlag(Res.getInst(), |
| Res.isClobber()), |
| I->getBB())); |
| } |
| } else { |
| SmallVector<NonLocalDepResult, 4> NLDI; |
| if (LoadInst *LI = dyn_cast<LoadInst>(Inst)) { |
| // FIXME: Volatile is not handled properly here. |
| MDA.getNonLocalPointerDependency(LI->getPointerOperand(), !LI->isVolatile(), |
| LI->getParent(), NLDI); |
| } else if (StoreInst *SI = dyn_cast<StoreInst>(Inst)) { |
| // FIXME: Volatile is not handled properly here. |
| MDA.getNonLocalPointerDependency(SI->getPointerOperand(), false, |
| SI->getParent(), NLDI); |
| } else if (VAArgInst *VI = dyn_cast<VAArgInst>(Inst)) { |
| MDA.getNonLocalPointerDependency(VI->getPointerOperand(), false, |
| VI->getParent(), NLDI); |
| } else { |
| llvm_unreachable("Unknown memory instruction!"); |
| } |
| |
| DepSet &InstDeps = Deps[Inst]; |
| for (SmallVectorImpl<NonLocalDepResult>::const_iterator |
| I = NLDI.begin(), E = NLDI.end(); I != E; ++I) { |
| const MemDepResult &Res = I->getResult(); |
| assert(Res.isClobber() != Res.isDef() && |
| "Resolved non-local pointer dep should be def or clobber!"); |
| InstDeps.insert(std::make_pair(InstAndClobberFlag(Res.getInst(), |
| Res.isClobber()), |
| I->getBB())); |
| } |
| } |
| } |
| |
| return false; |
| } |
| |
| void MemDepPrinter::print(raw_ostream &OS, const Module *M) const { |
| for (const_inst_iterator I = inst_begin(*F), E = inst_end(*F); I != E; ++I) { |
| const Instruction *Inst = &*I; |
| |
| DepSetMap::const_iterator DI = Deps.find(Inst); |
| if (DI == Deps.end()) |
| continue; |
| |
| const DepSet &InstDeps = DI->second; |
| |
| for (DepSet::const_iterator I = InstDeps.begin(), E = InstDeps.end(); |
| I != E; ++I) { |
| const Instruction *DepInst = I->first.getPointer(); |
| bool isClobber = I->first.getInt(); |
| const BasicBlock *DepBB = I->second; |
| |
| OS << " " << (isClobber ? "Clobber" : " Def"); |
| if (DepBB) { |
| OS << " in block "; |
| WriteAsOperand(OS, DepBB, /*PrintType=*/false, M); |
| } |
| OS << " from: "; |
| DepInst->print(OS); |
| OS << "\n"; |
| } |
| |
| Inst->print(OS); |
| OS << "\n\n"; |
| } |
| } |