Changes between Version 27 and Version 28 of IR

Timestamp:

11/22/15 21:28:46 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -225 +225 @@
   * `e` has integer type.
  * Allocates `e` 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 `n%$sizeof(t)==0`, and then `$allocate(h,t,n/$sizeof(t))`.
 * Free: `free(p);`
 * Noop: `;`
- * **Is there a need to add annotations for "true" or "false" branch, etc.?**
+ * **Is there a need to add annotations for "true" or "false" branch, etc.?**  If so, we can just make these parameters to the Noop.
 * Return: `return;` and `return e;`
 * Atomic_enter: **what notation?**