Changes between Version 55 and Version 56 of IR2

Timestamp:

04/30/21 18:13:25 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -1 @@
-= CIVL IR =
+= CIVL IR v2.0 =
 
 == Language principles ==
@@ -41 +41 @@
 program: typedef* decl* function-definition+ ;
 typedef:
-    enum ID '{' identifier-list '}' ';'
-  | struct ID '{' decl* '}' ';'
+  struct ID '{' decl* '}' ';'
   | union ID '{' decl* '}' ';'
   | 'typedef' type-specifier declarator ';'
@@ -166 +165 @@
   | expr '(' arg-list? ')' ';'  /* function call */
   | (lvalue '=')? '$spawn' expr '(' expression-list? ')' ';'  /* process creation */
+  | '$wait' expr ';'  /* wait until p terminates */
   | 'return' expr? ';'  /* return from function call */
   | (lvalue '=')? '$alloc' '(' expr ',' expr ',' type-name ')' ';'  /* heap allocation */
+  | '$free' expr ';'  /* frees something that was $alloc-ed */
+  | '$atomic_enter' ';'  /* enter atomic region */
+  | '$atomic_exit' ';'  /* exit atomic region */
+  | '$yield' ';'  /* release atomic lock */
+  | '$assert' expr (',' expr)* ';'  /* assertion with optional error message */
+  | '$assume expr ';'  /* assumption */
   ;
 
@@ -258 +264 @@
 {{{
 void $parspawn($proc * proc_array, $domain d, void (*f)($int, ...));  /* parallel spawn */
-void $atomic_enter();
-void $atomic_exit();
-void $yield();
 
 }}}