All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::KGEPInstruction Struct Reference

#include <KInstruction.h>

Inheritance diagram for klee::KGEPInstruction:
Collaboration diagram for klee::KGEPInstruction:

Public Attributes

std::vector< std::pair
< unsigned, uint64_t > > 
uint64_t offset
- Public Attributes inherited from klee::KInstruction
llvm::Instruction * inst
const InstructionInfoinfo
int * operands
unsigned dest
 Destination register index. More...

Additional Inherited Members

- Public Member Functions inherited from klee::KInstruction
virtual ~KInstruction ()

Detailed Description

Definition at line 45 of file KInstruction.h.

Member Data Documentation

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 50 of file KInstruction.h.

Referenced by klee::Executor::bindInstructionConstants(), klee::Executor::computeOffsets(), and klee::Executor::executeInstruction().

uint64_t klee::KGEPInstruction::offset

offset - A constant offset to add to the pointer operand to execute the insturction.

Definition at line 54 of file KInstruction.h.

Referenced by klee::Executor::computeOffsets(), and klee::Executor::executeInstruction().

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