Changes between Version 19 and Version 20 of IR2

Timestamp:

04/26/21 13:46:39 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -32 +32 @@
           | 'ensures' expr ';'
           ...
+
 }}}
 
@@ -64 +65 @@
 type-list: type-name (',' type-name)* ;
 complete-type-name: type-specifier '*'* ('[' expr ']' | '(' type-list? ')')* ;
+
 }}}
 
@@ -77 +79 @@
 * can you make types values? (reification)
 
+===Statements===
+
+{{{
+simple-statement:
+    ';'  /* noop */
+  | lvalue '=' expr ';'  /* assignment */
+  | expr '(' arg-list? ')' ';'  /* function call */
+  | (lvalue '=')? '$spawn' expr '(' arg-list? ')' ';'  /* process creation */
+  | 'return' expr? ';'  /* return from function call */
+  | '$parspawn' expr ',' expr ',' expr ';'
+  | (lvalue '=')? '$malloc' '(' expr ',' expr ',' type-name ')' ';'
+  
+}}}
+
+Built-in functions:
+{{{
+void $assert( $bool asserted_expr, ... );  /* assertion with optional error message */
+void $assume( $bool expr );  /* assumption */
+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 */
+}}}
+