Changes between Version 137 and Version 138 of IR

Timestamp:

01/04/16 11:34:51 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -453 +453 @@
 === Function Contracts ===
 
-**THIS NEEDS TO BE UPDATED**
-
 * action expressions:
  * `read(e)`: `e` has type `Mem`. The function reads the memory units specified by `e`.
@@ -495 +493 @@
 {
   begin choose
-  when (eq(cmd, 0))
+  when eq(cmd, 0)
      do CALL send, <buf, ...>; goto L1;
-  when (eq(cmd, 1))
+  when eq(cmd, 1)
     do CALL recv, <buf, ...>; goto L1;
-  when (and(neq(cmd, 0), neq(cmd, 1)))
+  when and(neq(cmd, 0), neq(cmd, 1))
     do NOOP; goto L1;
   end choose