From 349131957e91150c24a9c69f5e1f04e34494b0c6 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Thu, 29 Apr 2010 23:42:41 +0000
Subject: Added the capability to construct expressions by passing the operator
 instead of the kind, i.e.

Expr op = ..."f"...
em.mkExpr(op, children);

Operator kinds are automatically associated with the enclosing expression kind in the DSL and generated.
---
 src/util/bitvector.h | 42 +++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 41 insertions(+), 1 deletion(-)

(limited to 'src/util/bitvector.h')

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 3859fa407..e1c0131d9 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -85,14 +85,54 @@ public:
   }
 };
 
+/**
+ * Hash function for the BitVector constants.
+ */
 struct BitVectorHashStrategy {
   static inline size_t hash(const BitVector& bv) {
     return bv.hash();
   }
 };
 
-std::ostream& operator <<(std::ostream& os, const BitVector& bv);
+/**
+ * The structure representing the extraction operation for bit-vectors. The
+ * operation map bit-vectors to bit-vector of size <code>high - low + 1</code>
+ * by taking the bits at indices <code>high ... low</code>
+ */
+struct BitVectorExtract  {
+  /** The high bit of the range for this extract */
+  unsigned high;
+  /** The low bit of the range for this extract */
+  unsigned low;
+
+  bool operator == (const BitVectorExtract& extract) const {
+    return high == extract.high && low == extract.low;
+  }
+};
 
+/**
+ * Hash function for the BitVectorExtract objects.
+ */
+class BitVectorExtractHashStrategy {
+public:
+  static size_t hash(const BitVectorExtract& extract) {
+    size_t hash = extract.low;
+    hash ^= extract.high + 0x9e3779b9 + (hash << 6) + (hash >> 2);
+    return hash;
+  }
+};
+
+/**
+ * Hash function for the unsigned integers.
+ */
+struct UnsignedHashStrategy {
+  static inline size_t hash(unsigned x) {
+    return (size_t)x;
+  }
+};
+
+std::ostream& operator <<(std::ostream& os, const BitVector& bv);
+std::ostream& operator <<(std::ostream& os, const BitVectorExtract& bv);
 }
 
 
-- 
cgit v1.2.3