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

#include <KInstruction.h>

Inheritance diagram for klee::KInstruction:
Collaboration diagram for klee::KInstruction:

Public Member Functions

virtual ~KInstruction ()

Public Attributes

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

Detailed Description

KInstruction - Intermediate instruction representation used during execution.

Definition at line 29 of file KInstruction.h.

Constructor & Destructor Documentation

KInstruction::~KInstruction ( )

Definition at line 17 of file KInstruction.cpp.

Member Data Documentation

unsigned klee::KInstruction::dest

Destination register index.

Definition at line 39 of file KInstruction.h.

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

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

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

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