From f5e6b462646f5a20dd0e5f6c4befaa7b72d1e1ff Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Tue, 28 Jul 2009 07:59:09 +0000
Subject: Move Machine constants into Context object, initialized based on the
 target data.  - This is the first step towards having KLEE be fully target
 independent, its not    particularly beautiful but its expedient.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77306 91177308-0d34-0410-b5e6-96231b3b80d8
---
 include/klee/Expr.h    |  1 -
 include/klee/Machine.h | 28 ----------------------------
 2 files changed, 29 deletions(-)
 delete mode 100644 include/klee/Machine.h

(limited to 'include')

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index a14cb43e..143ce4cd 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -10,7 +10,6 @@
 #ifndef KLEE_EXPR_H
 #define KLEE_EXPR_H
 
-#include "Machine.h"
 #include "klee/util/Bits.h"
 #include "klee/util/Ref.h"
 
diff --git a/include/klee/Machine.h b/include/klee/Machine.h
deleted file mode 100644
index b8a9e9ac..00000000
--- a/include/klee/Machine.h
+++ /dev/null
@@ -1,28 +0,0 @@
-//===-- Machine.h -----------------------------------------------*- C++ -*-===//
-//
-//                     The KLEE Symbolic Virtual Machine
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef __KLEE_MACHINE_H__
-#define __KLEE_MACHINE_H__
-
-#include "klee/Expr.h"
-
-namespace klee {
-  namespace machine {
-    enum ByteOrder {
-      LSB = 0,
-      MSB = 1
-    };
-  }
-}
-
-#define kMachineByteOrder      klee::machine::LSB
-#define kMachinePointerType    Expr::Int32
-#define kMachinePointerSize    4
-
-#endif /* __KLEE_MACHINE_H__ */
-- 
cgit 1.4.1