Changes between Version 19 and Version 20 of IR

Timestamp:

11/22/15 10:55:24 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -133 +133 @@
 == The Primitive Statements ==
 
-* Assign:  `e1=e2`
+* Assign:  `e1=e2;`
 * Call: `e0(e1,...,en);` and `e=e0(e1,...,en);`
  * regular function (one with flow graph)
@@ -139 +139 @@
 * Spawn: `$spawn e0(e1,...,en);` and `e=$spawn e0(e1,...,en);`
 * Wait: `$wait(e);`
-* Wailtall?
+* **Wailtall?**
 * Malloc: `e=(T)$malloc(e1,e2);` **??**
 * Free: `free(e);`
 * Noop: `;`
+ * **Is there a need to add annotations for "true" or "false" branch, etc.?**
 * Return: `return;` and `return e;`
 * Atomic_enter: **what notation?**