Changes between Version 100 and Version 101 of IR

Timestamp:

11/30/15 09:48:40 (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**
 
 Tuples
@@ -300 +301 @@
 * `ite(e1,e2,e3)`: if-then-else (conditional) expression, like `e1?e2:e3` in C.
  * `e1` must have `Bool` type.  `e2` and `e3` must have the same static types, which is the static type of the result.
-* `call(e0,<e1,...,en>)` : a function invocation where `e0` must evaluate to either an abstract or pure system function
+* `call(e0,<e1,...,en>)` : function call
+ * a function invocation where `e0` must evaluate to either an abstract or pure system function
 * `choose_int(e)` : nondeterministic choice of integer
 
@@ -330 +332 @@
 * `ATOMIC_ENTER;`
 * `ATOMIC_EXIT;`
-* `PARSPAWN p, d, f;` where `p` is pointer to process reference, `d` has `Domain` type and `f` has `Function` type.
+* `PARSPAWN p, d, f;` : spawn a sequence of procs
+ * `p` has type `Pointer[Proc]`,  `d` has `Domain` type and `f` has `Function` type.
 * `NEXT dom, <i,j,…>;` : move to next element in domain
  * updates `i`,`j`,... to be the value of the next tuple in `dom` after `<i,j,...>`