klee::KInstruction Struct Reference
#include <KInstruction.h>
Public Member Functions | |
| virtual | ~KInstruction () |
Public Attributes | |
| llvm::Instruction * | inst |
| const InstructionInfo * | info |
| int * | operands |
| unsigned | dest |
| Destination register index. | |
Detailed Description
KInstruction - Intermediate instruction representation used during execution.Definition at line 27 of file KInstruction.h.
Constructor & Destructor Documentation
| KInstruction::~KInstruction | ( | ) | [virtual] |
Member Data Documentation
| unsigned klee::KInstruction::dest |
Destination register index.
Definition at line 37 of file KInstruction.h.
Referenced by klee::Executor::getDestCell(), and klee::KFunction::KFunction().
Definition at line 29 of file KInstruction.h.
Referenced by klee::computeMinDistToUncovered(), klee::ExecutionTraceEvent::ExecutionTraceEvent(), klee::KModule::prepare(), klee::Executor::printFileLine(), klee::StatsTracker::StatsTracker(), and klee::Executor::terminateStateOnError().
| llvm::Instruction* klee::KInstruction::inst |
Definition at line 28 of file KInstruction.h.
Referenced by klee::Executor::bindInstructionConstants(), klee::Executor::executeInstruction(), klee::Executor::executeMemoryOperation(), klee::KFunction::KFunction(), klee::KModule::prepare(), and klee::StatsTracker::StatsTracker().
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 35 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:
- include/klee/Internal/Module/KInstruction.h
- lib/Module/KInstruction.cpp
