Changes between Version 40 and Version 41 of IR

Timestamp:

11/23/15 17:30:52 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -178 +178 @@
 * `$defined(e)` : is `e` defined? Type is `$bool`
 * `$hasNextIn((i, j, k…), dom)`: an expression of boolean type, testing if the domain `dom` contains any element after `(i, j, k, ...)`
+* `$nextIn((i, j, k…), dom)`: an expression of integer tuple type, the value is the tuple in the domain `dom` after `(i, j, k, ...)`
 * `e1+e2` : addition.   One of the following must hold:
  * `e1` and `e2` have the same numeric type.  Note that there are no "automatic conversions" as there are in C.  If the original expressions have different types, explicit casts must be inserted.  
@@ -230 +231 @@
  * **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: `$atomic_enter`
-* Atomic_exit: `$atomic_exit`
-* Parfor_spawn: `$parfor_spawn(int i,j,..: dom) f(i,j,...)`
-* For_dom_enter (for domains): `$for_enter(i,j,k..: dom)`
+* Atomic_enter: `$atomic_enter;`
+* Atomic_exit: `$atomic_exit;`
+* Parfor_spawn: `$parfor_spawn(int i,j,..: dom) f(i,j,...);`
+* For_dom_enter (for domains): `$for_enter(i,j,k..: dom);`
 
 
@@ -323 +324 @@
 
 == Libraries ==
-