klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
InstructionInfoTable.cpp File Reference
#include "klee/Internal/Module/InstructionInfoTable.h"
#include "klee/Config/Version.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Module.h"
#include "llvm/Linker.h"
#include "llvm/Assembly/AssemblyAnnotationWriter.h"
#include "llvm/Support/FormattedStream.h"
#include "llvm/Support/CFG.h"
#include "llvm/Support/InstIterator.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/DebugInfo.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/Support/Debug.h"
#include <map>
#include <string>
Include dependency graph for InstructionInfoTable.cpp:

Go to the source code of this file.

Classes

class  InstructionToLineAnnotator
 

Functions

static void buildInstructionToLineMap (Module *m, std::map< const Instruction *, unsigned > &out)
 
static std::string getDSPIPath (DILocation Loc)
 

Function Documentation

static void buildInstructionToLineMap ( Module *  m,
std::map< const Instruction *, unsigned > &  out 
)
static

Definition at line 53 of file InstructionInfoTable.cpp.

References line.

Referenced by klee::InstructionInfoTable::InstructionInfoTable().

Here is the caller graph for this function:

static std::string getDSPIPath ( DILocation  Loc)
static

Definition at line 79 of file InstructionInfoTable.cpp.

Referenced by klee::InstructionInfoTable::getInstructionDebugInfo().

Here is the caller graph for this function: