2010-09-16 22:08:32 +00:00
|
|
|
//===- 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/Passes.h"
|
2012-12-03 16:50:05 +00:00
|
|
|
#include "llvm/ADT/SetVector.h"
|
|
|
|
#include "llvm/Analysis/MemoryDependenceAnalysis.h"
|
2010-09-16 22:08:32 +00:00
|
|
|
#include "llvm/Assembly/Writer.h"
|
2013-01-02 11:36:10 +00:00
|
|
|
#include "llvm/IR/LLVMContext.h"
|
2010-09-16 22:08:32 +00:00
|
|
|
#include "llvm/Support/CallSite.h"
|
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2012-12-03 16:50:05 +00:00
|
|
|
#include "llvm/Support/InstIterator.h"
|
2010-09-17 00:33:43 +00:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2010-09-16 22:08:32 +00:00
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
struct MemDepPrinter : public FunctionPass {
|
|
|
|
const Function *F;
|
|
|
|
|
2011-10-13 22:14:57 +00:00
|
|
|
enum DepType {
|
|
|
|
Clobber = 0,
|
|
|
|
Def,
|
|
|
|
NonFuncLocal,
|
|
|
|
Unknown
|
|
|
|
};
|
|
|
|
|
2012-05-24 06:35:32 +00:00
|
|
|
static const char *const DepTypeStr[];
|
2011-10-13 22:14:57 +00:00
|
|
|
|
|
|
|
typedef PointerIntPair<const Instruction *, 2, DepType> InstTypePair;
|
|
|
|
typedef std::pair<InstTypePair, const BasicBlock *> Dep;
|
2010-09-16 22:08:32 +00:00
|
|
|
typedef SmallSetVector<Dep, 4> DepSet;
|
|
|
|
typedef DenseMap<const Instruction *, DepSet> DepSetMap;
|
|
|
|
DepSetMap Deps;
|
|
|
|
|
|
|
|
static char ID; // Pass identifcation, replacement for typeid
|
2010-10-19 17:21:58 +00:00
|
|
|
MemDepPrinter() : FunctionPass(ID) {
|
|
|
|
initializeMemDepPrinterPass(*PassRegistry::getPassRegistry());
|
|
|
|
}
|
2010-09-16 22:08:32 +00:00
|
|
|
|
|
|
|
virtual bool runOnFunction(Function &F);
|
|
|
|
|
|
|
|
void print(raw_ostream &OS, const Module * = 0) const;
|
|
|
|
|
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
|
2010-11-10 20:37:15 +00:00
|
|
|
AU.addRequiredTransitive<AliasAnalysis>();
|
|
|
|
AU.addRequiredTransitive<MemoryDependenceAnalysis>();
|
2010-09-16 22:08:32 +00:00
|
|
|
AU.setPreservesAll();
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual void releaseMemory() {
|
|
|
|
Deps.clear();
|
|
|
|
F = 0;
|
|
|
|
}
|
2011-10-13 22:14:57 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
static InstTypePair getInstTypePair(MemDepResult dep) {
|
|
|
|
if (dep.isClobber())
|
|
|
|
return InstTypePair(dep.getInst(), Clobber);
|
|
|
|
if (dep.isDef())
|
|
|
|
return InstTypePair(dep.getInst(), Def);
|
|
|
|
if (dep.isNonFuncLocal())
|
|
|
|
return InstTypePair(dep.getInst(), NonFuncLocal);
|
|
|
|
assert(dep.isUnknown() && "unexptected dependence type");
|
|
|
|
return InstTypePair(dep.getInst(), Unknown);
|
|
|
|
}
|
|
|
|
static InstTypePair getInstTypePair(const Instruction* inst, DepType type) {
|
|
|
|
return InstTypePair(inst, type);
|
|
|
|
}
|
2010-09-16 22:08:32 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
char MemDepPrinter::ID = 0;
|
2010-10-12 19:48:12 +00:00
|
|
|
INITIALIZE_PASS_BEGIN(MemDepPrinter, "print-memdeps",
|
|
|
|
"Print MemDeps of function", false, true)
|
|
|
|
INITIALIZE_PASS_DEPENDENCY(MemoryDependenceAnalysis)
|
|
|
|
INITIALIZE_PASS_END(MemDepPrinter, "print-memdeps",
|
|
|
|
"Print MemDeps of function", false, true)
|
2010-09-16 22:08:32 +00:00
|
|
|
|
|
|
|
FunctionPass *llvm::createMemDepPrinter() {
|
|
|
|
return new MemDepPrinter();
|
|
|
|
}
|
|
|
|
|
2012-05-24 06:35:32 +00:00
|
|
|
const char *const MemDepPrinter::DepTypeStr[]
|
2011-10-13 22:14:57 +00:00
|
|
|
= {"Clobber", "Def", "NonFuncLocal", "Unknown"};
|
|
|
|
|
2010-09-16 22:08:32 +00:00
|
|
|
bool MemDepPrinter::runOnFunction(Function &F) {
|
|
|
|
this->F = &F;
|
2010-11-10 20:37:15 +00:00
|
|
|
AliasAnalysis &AA = getAnalysis<AliasAnalysis>();
|
2010-09-16 22:08:32 +00:00
|
|
|
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()) {
|
2011-10-13 22:14:57 +00:00
|
|
|
Deps[Inst].insert(std::make_pair(getInstTypePair(Res),
|
2010-09-16 22:08:32 +00:00
|
|
|
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();
|
2011-10-13 22:14:57 +00:00
|
|
|
InstDeps.insert(std::make_pair(getInstTypePair(Res), I->getBB()));
|
2010-09-16 22:08:32 +00:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
SmallVector<NonLocalDepResult, 4> NLDI;
|
|
|
|
if (LoadInst *LI = dyn_cast<LoadInst>(Inst)) {
|
2011-08-15 20:54:19 +00:00
|
|
|
if (!LI->isUnordered()) {
|
|
|
|
// FIXME: Handle atomic/volatile loads.
|
2011-10-13 22:14:57 +00:00
|
|
|
Deps[Inst].insert(std::make_pair(getInstTypePair(0, Unknown),
|
2011-08-15 20:54:19 +00:00
|
|
|
static_cast<BasicBlock *>(0)));
|
|
|
|
continue;
|
|
|
|
}
|
2010-11-11 21:50:19 +00:00
|
|
|
AliasAnalysis::Location Loc = AA.getLocation(LI);
|
2011-08-15 20:54:19 +00:00
|
|
|
MDA.getNonLocalPointerDependency(Loc, true, LI->getParent(), NLDI);
|
2010-09-16 22:08:32 +00:00
|
|
|
} else if (StoreInst *SI = dyn_cast<StoreInst>(Inst)) {
|
2011-12-14 02:54:39 +00:00
|
|
|
if (!SI->isUnordered()) {
|
2011-08-15 20:54:19 +00:00
|
|
|
// FIXME: Handle atomic/volatile stores.
|
2011-10-13 22:14:57 +00:00
|
|
|
Deps[Inst].insert(std::make_pair(getInstTypePair(0, Unknown),
|
2011-08-15 20:54:19 +00:00
|
|
|
static_cast<BasicBlock *>(0)));
|
|
|
|
continue;
|
|
|
|
}
|
2010-11-11 21:50:19 +00:00
|
|
|
AliasAnalysis::Location Loc = AA.getLocation(SI);
|
2010-11-10 20:37:15 +00:00
|
|
|
MDA.getNonLocalPointerDependency(Loc, false, SI->getParent(), NLDI);
|
2010-09-16 22:08:32 +00:00
|
|
|
} else if (VAArgInst *VI = dyn_cast<VAArgInst>(Inst)) {
|
2010-11-11 21:50:19 +00:00
|
|
|
AliasAnalysis::Location Loc = AA.getLocation(VI);
|
2010-11-10 20:37:15 +00:00
|
|
|
MDA.getNonLocalPointerDependency(Loc, false, VI->getParent(), NLDI);
|
2010-09-16 22:08:32 +00:00
|
|
|
} 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();
|
2011-10-13 22:14:57 +00:00
|
|
|
InstDeps.insert(std::make_pair(getInstTypePair(Res), I->getBB()));
|
2010-09-16 22:08:32 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
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;
|
|
|
|
|
2010-09-16 22:50:09 +00:00
|
|
|
DepSetMap::const_iterator DI = Deps.find(Inst);
|
|
|
|
if (DI == Deps.end())
|
2010-09-16 22:08:32 +00:00
|
|
|
continue;
|
|
|
|
|
2010-09-16 22:50:09 +00:00
|
|
|
const DepSet &InstDeps = DI->second;
|
2010-09-16 22:08:32 +00:00
|
|
|
|
|
|
|
for (DepSet::const_iterator I = InstDeps.begin(), E = InstDeps.end();
|
|
|
|
I != E; ++I) {
|
|
|
|
const Instruction *DepInst = I->first.getPointer();
|
2011-10-13 22:14:57 +00:00
|
|
|
DepType type = I->first.getInt();
|
2010-09-16 22:08:32 +00:00
|
|
|
const BasicBlock *DepBB = I->second;
|
|
|
|
|
2011-06-15 00:47:34 +00:00
|
|
|
OS << " ";
|
2011-10-13 22:14:57 +00:00
|
|
|
OS << DepTypeStr[type];
|
2010-09-16 22:08:32 +00:00
|
|
|
if (DepBB) {
|
|
|
|
OS << " in block ";
|
|
|
|
WriteAsOperand(OS, DepBB, /*PrintType=*/false, M);
|
|
|
|
}
|
2011-06-15 00:47:34 +00:00
|
|
|
if (DepInst) {
|
|
|
|
OS << " from: ";
|
2011-10-13 22:14:57 +00:00
|
|
|
DepInst->print(OS);
|
2011-06-15 00:47:34 +00:00
|
|
|
}
|
2010-09-16 22:08:32 +00:00
|
|
|
OS << "\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
Inst->print(OS);
|
|
|
|
OS << "\n\n";
|
|
|
|
}
|
|
|
|
}
|