Changes between Version 135 and Version 136 of IR

Timestamp:

01/03/16 16:37:03 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -241 +241 @@
 * `bit_and(e1, e2)`, `bit_or(e1, e2)`, `bit_xor(e1, e2)`, `bit_comp(e1)` : bit-wise operations
  * arguments are arrays of booleans of the same length
-* **need conversions between bit vectors and integers**
+* `bit_shiftl(a,n)` : left shift of a bit vector
+ * `a` is a bit vector, i.e., array of boolean
+ * `n` has integral type and is nonnegative
+ * exception if `n` is greater than the length of `a`
+ * new spaces created are filled in with `false` 
+* `bit_shiftr(a,n)` : right shift of a bit vector
+* `int_to_bitv(len, val)` : returns a bit-vector (array of boolean) of length `len` from `val`
+ * `val` must be a non-negative integer value from an integral type
+ * `len` must be large enough to contain the base-2 expansion of `val`
+* `bitv_to_int(a,t)` : converts a bit vector to an integer
+ * `a` is a bit vector, i.e., an array of boolean
+ * `t` has type `Dytype` and evaluates to an integral type large enough to hold the result of converting `a` to a non-negative integer
 
 Tuples