Changes between Version 50 and Version 51 of IR

Timestamp:

11/24/15 17:23:51 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -307 +307 @@
 {{{
 \atomic_f sendRecv(Int cmd, Pointer buf; Int)
-  \depends [cmd==SEND] {$write(buf)}
-  \depends [cmd==RECV] {$access(*buf)}
-  \assigns [cmd==SEND] {$nothing}
-  \assigns [cmd==RECV] {*buf}
-  \reads {*buf}
+  \depends [\eq(cmd, SEND)] {\write(buf)}
+  \depends [\eq(cmd, RECV)] {\access(\deref(buf))}
+  \assigns [\eq(cmd, SEND)] {\nothing}
+  \assigns [\eq(cmd, RECV)] {\deref(buf)}
+  \reads {\deref(buf)}
 {
-  if(cmd == SEND){
-     send(*buf, ...);
-  }else if(cmd==RECV){
-    *buf=recv(...);
+  if(\eq(cmd, SEND)){
+     send(\deref(buf), ...);
+  }else if(\eq(cmd, RECV)){
+    \deref(buf):=recv(...);
   }
 }