Add support for line profiling. Very work-in-progress.

Use debug info in the IR to find the directory/file:line:col. Each time that location changes, bump a counter.

Unlike the existing profiling system, we don't try to look at argv[], and thusly don't require main() to be present in the IR. This matches GCC's technique where you specify the profiling flag when producing each .o file.

The runtime library is minimal, currently just calling printf at program shutdown time. The API is designed to make it possible to emit GCOV data later on.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129340 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2011-04-12 01:06:09 +00:00
parent ceb465a8a4
commit 93b68b20d4
7 changed files with 263 additions and 1 deletions

View File

@ -94,6 +94,7 @@ void initializeDominatorTreePass(PassRegistry&);
void initializeEdgeBundlesPass(PassRegistry&);
void initializeEdgeProfilerPass(PassRegistry&);
void initializePathProfilerPass(PassRegistry&);
void initializeLineProfilerPass(PassRegistry&);
void initializeEarlyCSEPass(PassRegistry&);
void initializeExpandISelPseudosPass(PassRegistry&);
void initializeFindUsedTypesPass(PassRegistry&);

View File

@ -70,6 +70,7 @@ namespace {
(void) llvm::createEdgeProfilerPass();
(void) llvm::createOptimalEdgeProfilerPass();
(void) llvm::createPathProfilerPass();
(void) llvm::createLineProfilerPass();
(void) llvm::createFunctionInliningPass();
(void) llvm::createAlwaysInlinerPass();
(void) llvm::createGlobalDCEPass();

View File

@ -17,7 +17,6 @@
namespace llvm {
class ModulePass;
class FunctionPass;
// Insert edge profiling instrumentation
ModulePass *createEdgeProfilerPass();
@ -28,6 +27,9 @@ ModulePass *createOptimalEdgeProfilerPass();
// Insert path profiling instrumentation
ModulePass *createPathProfilerPass();
// Insert line profiling instrumentation
ModulePass *createLineProfilerPass();
} // End llvm namespace
#endif

View File

@ -23,6 +23,7 @@ void llvm::initializeInstrumentation(PassRegistry &Registry) {
initializeEdgeProfilerPass(Registry);
initializeOptimalEdgeProfilerPass(Registry);
initializePathProfilerPass(Registry);
initializeLineProfilerPass(Registry);
}
/// LLVMInitializeInstrumentation - C binding for

View File

@ -0,0 +1,217 @@
//===- LineProfiling.cpp - Insert counters for line profiling -------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// This pass creates counters for the number of times that the original source
// lines of code were executed.
//
// The lines are found from existing debug info in the LLVM IR. Iterating
// through LLVM instructions, every time the debug location changes we insert a
// new counter and instructions to increment the counter there. A global
// destructor runs to dump the counters out to a file.
//
//===----------------------------------------------------------------------===//
#define DEBUG_TYPE "insert-line-profiling"
#include "ProfilingUtils.h"
#include "llvm/Transforms/Instrumentation.h"
#include "llvm/Analysis/DebugInfo.h"
#include "llvm/Module.h"
#include "llvm/Pass.h"
#include "llvm/Instructions.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/DebugLoc.h"
#include "llvm/Support/InstIterator.h"
#include "llvm/Support/IRBuilder.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/StringExtras.h"
#include <set>
#include <string>
using namespace llvm;
STATISTIC(NumUpdatesInserted, "The # of counter increments inserted.");
namespace {
class LineProfiler : public ModulePass {
bool runOnModule(Module &M);
public:
static char ID;
LineProfiler() : ModulePass(ID) {
initializeLineProfilerPass(*PassRegistry::getPassRegistry());
}
virtual const char *getPassName() const {
return "Line Profiler";
}
private:
// Get pointers to the functions in the runtime library.
Constant *getStartFileFunc();
Constant *getCounterFunc();
Constant *getEndFileFunc();
// Insert an increment of the counter before instruction I.
void InsertCounterUpdateBefore(Instruction *I);
// Add the function to write out all our counters to the global destructor
// list.
void InsertCounterWriteout();
// Mapping from the source location to the counter tracking that location.
DenseMap<DebugLoc, GlobalVariable *> counters;
Module *Mod;
LLVMContext *Ctx;
};
}
char LineProfiler::ID = 0;
INITIALIZE_PASS(LineProfiler, "insert-line-profiling",
"Insert instrumentation for line profiling", false, false)
ModulePass *llvm::createLineProfilerPass() { return new LineProfiler(); }
bool LineProfiler::runOnModule(Module &M) {
Mod = &M;
Ctx = &M.getContext();
DebugLoc last_line; // initializes to unknown
bool Changed = false;
for (Module::iterator F = M.begin(), E = M.end(); F != E; ++F) {
for (inst_iterator II = inst_begin(F), IE = inst_end(F); II != IE; ++II) {
const DebugLoc &loc = II->getDebugLoc();
if (loc.isUnknown()) continue;
if (loc == last_line) continue;
last_line = loc;
InsertCounterUpdateBefore(&*II);
++NumUpdatesInserted;
Changed = true;
}
}
if (Changed) {
InsertCounterWriteout();
}
return Changed;
}
void LineProfiler::InsertCounterUpdateBefore(Instruction *I) {
const DebugLoc &loc = I->getDebugLoc();
GlobalVariable *&counter = counters[loc];
const Type *Int64Ty = Type::getInt64Ty(*Ctx);
if (!counter) {
counter = new GlobalVariable(*Mod, Int64Ty, false,
GlobalValue::InternalLinkage,
Constant::getNullValue(Int64Ty),
"__llvm_prof_linecov_ctr", 0, false, 0);
counter->setVisibility(GlobalVariable::HiddenVisibility);
counter->setUnnamedAddr(true);
}
if (isa<PHINode>(I)) {
// We may not error out or crash in this case, because a module could put
// changing line numbers on phi nodes and still pass the verifier.
dbgs() << "Refusing to insert code before phi: " << *I << "\n";
I = I->getParent()->getFirstNonPHI();
}
IRBuilder<> builder(I);
Value *ctr = builder.CreateLoad(counter);
ctr = builder.CreateAdd(ctr, ConstantInt::get(Int64Ty, 1));
builder.CreateStore(ctr, counter);
}
static DISubprogram FindSubprogram(DIScope scope) {
while (!scope.isSubprogram()) {
assert(scope.isLexicalBlock() &&
"Debug location not lexical block or subprogram");
scope = DILexicalBlock(scope).getContext();
}
return DISubprogram(scope);
}
Constant *LineProfiler::getStartFileFunc() {
const Type *Args[1] = { Type::getInt8PtrTy(*Ctx) };
const FunctionType *FTy = FunctionType::get(Type::getVoidTy(*Ctx),
Args, false);
return Mod->getOrInsertFunction("llvm_prof_linectr_start_file", FTy);
}
Constant *LineProfiler::getCounterFunc() {
const Type *Args[] = {
Type::getInt8PtrTy(*Ctx), // const char *dir
Type::getInt8PtrTy(*Ctx), // const char *file
Type::getInt32Ty(*Ctx), // uint32_t line
Type::getInt32Ty(*Ctx), // uint32_t column
Type::getInt64PtrTy(*Ctx), // int64_t *counter
};
const FunctionType *FTy = FunctionType::get(Type::getVoidTy(*Ctx),
Args, false);
return Mod->getOrInsertFunction("llvm_prof_linectr_emit_counter", FTy);
}
Constant *LineProfiler::getEndFileFunc() {
const FunctionType *FTy = FunctionType::get(Type::getVoidTy(*Ctx), false);
return Mod->getOrInsertFunction("llvm_prof_linectr_end_file", FTy);
}
void LineProfiler::InsertCounterWriteout() {
std::set<std::string> compile_units;
for (DenseMap<DebugLoc, GlobalVariable *>::iterator I = counters.begin(),
E = counters.end(); I != E; ++I) {
const DebugLoc &loc = I->first;
DISubprogram subprogram(FindSubprogram(DIScope(loc.getScope(*Ctx))));
compile_units.insert(subprogram.getCompileUnit().getFilename().str());
}
const FunctionType *WriteoutFTy =
FunctionType::get(Type::getVoidTy(*Ctx), false);
Function *WriteoutF = Function::Create(WriteoutFTy,
GlobalValue::InternalLinkage,
"__llvm_prof_linecov_dtor",
Mod);
WriteoutF->setUnnamedAddr(true);
BasicBlock *BB = BasicBlock::Create(*Ctx, "", WriteoutF);
IRBuilder<> builder(BB);
Constant *StartFile = getStartFileFunc();
Constant *EmitCounter = getCounterFunc();
Constant *EndFile = getEndFileFunc();
for (std::set<std::string>::const_iterator CUI = compile_units.begin(),
CUE = compile_units.end(); CUI != CUE; ++CUI) {
builder.CreateCall(StartFile,
builder.CreateGlobalStringPtr(*CUI));
for (DenseMap<DebugLoc, GlobalVariable *>::iterator I = counters.begin(),
E = counters.end(); I != E; ++I) {
const DebugLoc &loc = I->first;
DISubprogram subprogram(FindSubprogram(DIScope(loc.getScope(*Ctx))));
DICompileUnit compileunit(subprogram.getCompileUnit());
if (compileunit.getFilename() != *CUI)
continue;
Value *Args[] = {
builder.CreateGlobalStringPtr(subprogram.getDirectory()),
builder.CreateGlobalStringPtr(subprogram.getFilename()),
ConstantInt::get(Type::getInt32Ty(*Ctx), loc.getLine()),
ConstantInt::get(Type::getInt32Ty(*Ctx), loc.getCol()),
I->second
};
builder.CreateCall(EmitCounter, Args);
}
builder.CreateCall(EndFile);
}
builder.CreateRetVoid();
InsertProfilingShutdownCall(WriteoutF, Mod);
}

View File

@ -0,0 +1,37 @@
/*===- LineProfiling.c - Support library for line profiling ---------------===*\
|*
|* The LLVM Compiler Infrastructure
|*
|* This file is distributed under the University of Illinois Open Source
|* License. See LICENSE.TXT for details.
|*
|*===----------------------------------------------------------------------===*|
|*
|* This file implements the call back routines for the line profiling
|* instrumentation pass. Link against this library when running code through
|* the -insert-line-profiling LLVM pass.
|*
\*===----------------------------------------------------------------------===*/
#include <stdlib.h>
#include <stdio.h>
#include <stdint.h>
/* A file in this case is a translation unit. Each .o file built with line
* profiling enabled will emit to a different file. Only one file may be
* started at a time.
*/
void llvm_prof_linectr_start_file(const char *orig_filename) {
printf("[%s]\n", orig_filename);
}
/* Emit data about a counter to the data file. */
void llvm_prof_linectr_emit_counter(const char *dir, const char *file,
uint32_t line, uint32_t column,
int64_t *counter) {
printf("%s/%s:%u:%u %lu\n", dir, file, line, column, *counter);
}
void llvm_prof_linectr_end_file() {
printf("-----\n");
}

View File

@ -5,3 +5,6 @@ llvm_start_basic_block_tracing
llvm_trace_basic_block
llvm_increment_path_count
llvm_decrement_path_count
llvm_prof_linectr_start_file
llvm_prof_linectr_emit_counter
llvm_prof_linectr_end_file