klee
|
#include <KInstruction.h>
Public Attributes | |
std::vector< std::pair< unsigned, uint64_t > > | indices |
uint64_t | offset |
![]() | |
llvm::Instruction * | inst |
const InstructionInfo * | info |
int * | operands |
unsigned | dest |
Destination register index. More... | |
Additional Inherited Members | |
![]() | |
virtual | ~KInstruction () |
std::string | getSourceLocation () const |
Definition at line 51 of file KInstruction.h.
std::vector< std::pair<unsigned, uint64_t> > klee::KGEPInstruction::indices |
indices - The list of variable sized adjustments to add to the pointer operand to execute the instruction. The first element is the operand index into the GetElementPtr instruction, and the second element is the element size to multiple that index by.
Definition at line 56 of file KInstruction.h.
Referenced by klee::Executor::bindInstructionConstants(), klee::Executor::computeOffsetsSeqTy(), and klee::Executor::executeInstruction().
uint64_t klee::KGEPInstruction::offset |
offset - A constant offset to add to the pointer operand to execute the instruction.
Definition at line 60 of file KInstruction.h.
Referenced by klee::Executor::computeOffsets(), and klee::Executor::executeInstruction().