Changes between Version 22 and Version 23 of IR2

Timestamp:

04/26/21 15:46:00 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -87 +87 @@
   | (lvalue '=')? '$spawn' expr '(' arg-list? ')' ';'  /* process creation */
   | 'return' expr? ';'  /* return from function call */
-  | '$parspawn' expr ',' expr ',' expr ';'
-  | (lvalue '=')? '$malloc' '(' expr ',' expr ',' type-name ')' ';'
-  
+  | '$parspawn' expr ',' expr ',' expr ';'  /* parallel spawn */
+  | (lvalue '=')? '$alloc' expr ',' expr ',' type-name ';'  /* heap allocation */
+arg-list: expr (',' expr)* ;  /* actual argument list */
+
 }}}
+
+Notes
+* For function calls and spawns, the first expression shall have type pointer-to-function-....  The function pointed to will be the one called or spawned.
+* The 3 expressions in a `$parspawn` are (1) pointer to the first element of the process array, an expression of type `$proc*`, (2) an expression of type `$domain`, and (3) an expression of type pointer-to-function-....  The function must have the type that consumes n `$int`s, where n is the dimension of the domain, and returns `void`.   The function is spawned once for each element of the domain.  References to the new processes are stored in the process array.  
+* The first expression following `$alloc` has type `$heap*`.  It is a pointer to the heap that will be modified by allocating the new memory.  The second expression has type `$int` and is the number of elements being allocated.    This is followed by the element type.    The function returns a pointer to the first element of an array, similar to C's malloc.    It is deallocated using function`$free`.
 
 Built-in functions:
@@ -98 +104 @@
 void $wait( $proc p );  /* wait until p terminates */
 void $waitall( $int nprocs, $proc * procs );  /* wait for all procs in list to terminate */
-void $free( void * ptr );  /* frees something that was $malloc-ed */
+void $free( void * ptr );  /* frees something that was $alloc-ed */
 
 }}}