klee
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"
15
16#include "llvm/Support/DataTypes.h"
17#include "llvm/Support/raw_ostream.h"
18
19#include <vector>
20
21namespace llvm {
22 class Instruction;
23}
24
25namespace klee {
26 class Executor;
27 struct InstructionInfo;
28 class KModule;
29
30
33 struct KInstruction {
34 llvm::Instruction *inst;
36
43 unsigned dest;
44
45 public:
46 virtual ~KInstruction();
47 std::string getSourceLocation() const;
48
49 };
50
56 std::vector< std::pair<unsigned, uint64_t> > indices;
57
60 uint64_t offset;
61 };
62}
63
64#endif /* KLEE_KINSTRUCTION_H */
Definition: main.cpp:291
InstructionInfo stores debug information for a KInstruction.
std::vector< std::pair< unsigned, uint64_t > > indices
Definition: KInstruction.h:56
const InstructionInfo * info
Definition: KInstruction.h:35
unsigned dest
Destination register index.
Definition: KInstruction.h:43
llvm::Instruction * inst
Definition: KInstruction.h:34
virtual ~KInstruction()
std::string getSourceLocation() const