Changes between Version 55 and Version 56 of IR

Timestamp:

11/25/15 10:46:29 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -220 +220 @@
 * Wailtall: `\waitall e` where `e` is an array of process references (`Proc`) to be waited for;
 * Allocation
- * `\allocate e, h,t,e0;`, where 
+ * `\allocate e, h, t, e0;`, where 
   * `h` as type `Heap`
   * `t` has type `Dytype`
-  * `e` has integer type.
- * Allocates `e` objects of type `t` on heap `h`
+  * `e0` has integer type.
+ * Allocates `e0` objects of type `t` on heap `h`
  * To translate the C `malloc` you first need to figure out the type of the elements being malloced.  If the argument to malloc is `n`, then you first need to insert an assertion `\eq(\mod(n, \sizeof_type(t)), 0)`, and then `\allocate(h,t,\div(n, \sizeof_t(t)))`.
-* Free: `\free(p);`
+* Free: `\free p;`
 * Expression statement: `e;`, where `e` is side effect free except that it might contain error/exception (e.g., array index out of bound, division by zero);
 * Noop: `;`
@@ -233 +233 @@
 * Atomic_enter: `\atomic_enter;`
 * Atomic_exit: `\atomic_exit;`
-* Parfor_spawn: `\parfor_spawn(int i,j,..: dom) f(i,j,...);` ** Maybe `\parspawn` ? **
+* Parfor_spawn: `\parspawn(int i,j,..: dom) f(i,j,...);`
 * Domain iterator: `\next(dom,i,j,…)` updates `i`, `j`, ... to be the value of the inter tuple in `dom` after `(i, j, ...)`
 * For_dom_enter (for domains): `\for_enter(i,j,k..: dom);`