[llvm-commits] [llvm] r114121 - in /llvm/trunk: include/llvm/Analysis/Passes.h include/llvm/LinkAllPasses.h lib/Analysis/MemDepPrinter.cpp
Chris Lattner
clattner at apple.com
Thu Sep 16 16:32:52 PDT 2010
On Sep 16, 2010, at 3:08 PM, Dan Gohman wrote:
> Author: djg
> Date: Thu Sep 16 17:08:32 2010
> New Revision: 114121
>
> URL: http://llvm.org/viewvc/llvm-project?rev=114121&view=rev
> Log:
> Add a pass which prints out all the memdep dependencies.
Cool, testcase?
-Chris
>
> Added:
> llvm/trunk/lib/Analysis/MemDepPrinter.cpp
> Modified:
> llvm/trunk/include/llvm/Analysis/Passes.h
> llvm/trunk/include/llvm/LinkAllPasses.h
>
> Modified: llvm/trunk/include/llvm/Analysis/Passes.h
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Analysis/Passes.h?rev=114121&r1=114120&r2=114121&view=diff
> ==============================================================================
> --- llvm/trunk/include/llvm/Analysis/Passes.h (original)
> +++ llvm/trunk/include/llvm/Analysis/Passes.h Thu Sep 16 17:08:32 2010
> @@ -170,6 +170,13 @@
>
> // Print module-level debug info metadata in human-readable form.
> ModulePass *createModuleDebugInfoPrinterPass();
> +
> + //===--------------------------------------------------------------------===//
> + //
> + // createMemDepPrinter - This pass exhaustively collects all memdep
> + // information and prints it with -analyze.
> + //
> + FunctionPass *createMemDepPrinter();
> }
>
> #endif
>
> Modified: llvm/trunk/include/llvm/LinkAllPasses.h
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/LinkAllPasses.h?rev=114121&r1=114120&r2=114121&view=diff
> ==============================================================================
> --- llvm/trunk/include/llvm/LinkAllPasses.h (original)
> +++ llvm/trunk/include/llvm/LinkAllPasses.h Thu Sep 16 17:08:32 2010
> @@ -147,6 +147,7 @@
> (void) llvm::createSinkingPass();
> (void) llvm::createLowerAtomicPass();
> (void) llvm::createCorrelatedValuePropagationPass();
> + (void) llvm::createMemDepPrinter();
>
> (void)new llvm::IntervalPartition();
> (void)new llvm::FindUsedTypes();
>
> Added: llvm/trunk/lib/Analysis/MemDepPrinter.cpp
> URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/MemDepPrinter.cpp?rev=114121&view=auto
> ==============================================================================
> --- llvm/trunk/lib/Analysis/MemDepPrinter.cpp (added)
> +++ llvm/trunk/lib/Analysis/MemDepPrinter.cpp Thu Sep 16 17:08:32 2010
> @@ -0,0 +1,153 @@
> +//===- 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/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 I = Deps.find(Inst);
> + if (I == Deps.end())
> + continue;
> +
> + const DepSet &InstDeps = I->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";
> + }
> +}
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
More information about the llvm-commits
mailing list