klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
KInstruction.h
Go to the documentation of this file.
1 //===-- KInstruction.h ------------------------------------------*- C++ -*-===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef KLEE_KINSTRUCTION_H
11 #define KLEE_KINSTRUCTION_H
12 
13 #include "klee/Config/Version.h"
14 #include "llvm/Support/DataTypes.h"
15 #include <vector>
16 
17 namespace llvm {
18  class Instruction;
19 }
20 
21 namespace klee {
22  class Executor;
23  struct InstructionInfo;
24  class KModule;
25 
26 
29  struct KInstruction {
30  llvm::Instruction *inst;
32 
37  int *operands;
39  unsigned dest;
40 
41  public:
42  virtual ~KInstruction();
43  };
44 
50  std::vector< std::pair<unsigned, uint64_t> > indices;
51 
54  uint64_t offset;
55  };
56 }
57 
58 #endif
59 
const InstructionInfo * info
Definition: KInstruction.h:31
std::vector< std::pair< unsigned, uint64_t > > indices
Definition: KInstruction.h:50
unsigned dest
Destination register index.
Definition: KInstruction.h:39
virtual ~KInstruction()
llvm::Instruction * inst
Definition: KInstruction.h:30