klee
Public Member Functions | Public Attributes | List of all members
klee::KInstruction Struct Reference

#include <KInstruction.h>

Inheritance diagram for klee::KInstruction:
Inheritance graph
[legend]
Collaboration diagram for klee::KInstruction:
Collaboration graph
[legend]

Public Member Functions

virtual ~KInstruction ()
 
std::string getSourceLocation () const
 

Public Attributes

llvm::Instruction * inst
 
const InstructionInfo * info
 
int * operands
 
unsigned dest
 Destination register index. More...
 

Detailed Description

KInstruction - Intermediate instruction representation used during execution.

Definition at line 33 of file KInstruction.h.

Constructor & Destructor Documentation

◆ ~KInstruction()

KInstruction::~KInstruction ( )
virtual

Definition at line 18 of file KInstruction.cpp.

References operands.

Member Function Documentation

◆ getSourceLocation()

std::string KInstruction::getSourceLocation ( ) const

Definition at line 22 of file KInstruction.cpp.

References klee::InstructionInfo::column, klee::InstructionInfo::file, info, and klee::InstructionInfo::line.

Referenced by klee::Executor::callExternalFunction(), klee::Executor::evalConstant(), klee::Executor::evalConstantExpr(), klee::Executor::maxStaticPctChecks(), and klee::Executor::printDebugInstructions().

Here is the caller graph for this function:

Member Data Documentation

◆ dest

unsigned klee::KInstruction::dest

Destination register index.

Definition at line 43 of file KInstruction.h.

Referenced by klee::Executor::getDestCell(), and klee::KFunction::KFunction().

◆ info

const InstructionInfo* klee::KInstruction::info

Definition at line 35 of file KInstruction.h.

Referenced by klee::computeMinDistToUncovered(), klee::ExecutionState::dumpStack(), klee::Executor::getLastNonKleeInternalInstruction(), getSourceLocation(), klee::WeightedRandomSearcher::getWeight(), klee::KModule::manifest(), klee::Executor::printDebugInstructions(), klee::StatsTracker::StatsTracker(), klee::StatsTracker::stepInstruction(), and klee::StatsTracker::updateStateStatistics().

◆ inst

llvm::Instruction* klee::KInstruction::inst

Definition at line 34 of file KInstruction.h.

Referenced by klee::Executor::bindInstructionConstants(), klee::Executor::callExternalFunction(), klee::Executor::evalConstant(), klee::Executor::executeAlloc(), klee::Executor::executeCall(), klee::Executor::executeInstruction(), klee::Executor::executeMemoryOperation(), klee::StatsTracker::framePushed(), klee::Executor::getLastNonKleeInternalInstruction(), klee::SpecialFunctionHandler::handle(), klee::KFunction::KFunction(), klee::KModule::manifest(), klee::Executor::printDebugInstructions(), klee::Executor::runFunctionAsMain(), klee::StatsTracker::StatsTracker(), klee::StatsTracker::stepInstruction(), and klee::Executor::transferToBasicBlock().

◆ operands

int* klee::KInstruction::operands

Value numbers for each operand. -1 is an invalid value, otherwise negative numbers are indices (negated and offset by 2) into the module constant table and positive numbers are register indices.

Definition at line 41 of file KInstruction.h.

Referenced by klee::Executor::eval(), klee::KFunction::KFunction(), and ~KInstruction().

The documentation for this struct was generated from the following files: