Changes between Version 113 and Version 114 of IR

Timestamp:

12/02/15 11:20:55 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -39 +39 @@
 varopts: '[' varopt+ ']' ;
 varopt: 'input' | 'output' ;
-fundef:  'fun' funopts? ID '(' paramlist ')' ':' typeName conclause* block ;
+fundef:  'fun' funopts? ID '(' paramlist ')' (':' typeName)? conclause* block ;
 funopts: '[' funopt+ ']' ;
 conclause : 'assigns' expr ';' 
@@ -128 +128 @@
 * `Array[T]` : arrays of any length whose elements belong to T
  * Note: there is also a dynamic type `Array[T,n]`, signifying arrays of length n.  That is a subtype of the dynamic type of `Array[T]`.
-* `Function[<T0,T1,...>,T]` : functions consuming `T0`,`T1`,... and returning `T`.  `T` can be `void` to indicate nothing is returned.
+* `Function[<T0,T1,...>,T]` : functions consuming `T0`,`T1`,... and returning `T`.  
+ * `T` can be absent. `Function[<T0,T1,...>]` means the function returns nothing.
 * `Mem` : type representing a memory set.  May be thought of as a set of pointers.
 * `Pointer` : all pointers, a subtype of `Mem`
@@ -332 +333 @@
 * `PARSPAWN p, d, f;` : spawn a sequence of procs
  * `p` has type `Pointer[Proc]`,  `d` has `Domain` type and `f` has `Function` type.
+
+The CIVL-C code `$parfor(int i,j: dom) S;` is translated into the following:
+{{{
+  var i:Integer;
+  var j:Integer;
+  var p:Array[Proc];
+
+  fun f()
+  {
+    S;
+  }
+
+  PARSPAWN addr(asub(p,0)), dom, f;
+  WAITALL addr(asub(p,0)), domsize(dom);
+}}}
+
 * `NEXT <i,j,...>, dom, flag;` : move to next element in domain
  * `i`,`j`,... have integral types
@@ -389 +406 @@
 }
 }}}
+
+To specify a function returning nothing, simply leave out the return type part. For example: `fun foo(x:Intger, ...) {...}`.