Changes between Version 46 and Version 47 of IR2

Timestamp:

04/28/21 20:22:04 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -169 +169 @@
 expr:
   | lvalue
-  | STRING
   | INT
   | REAL
   | FLOAT
+  | '$proc_null'
+  | '$mem_empty'
+  | '$true'
+  | '$false'
+  | 'NULL'
+  | '(' type-name ')' expr  /* cast */
+  | '(' type-name ')' '{' expression-list? '}'  /* concrete array or struct */
+  | expr '..' expr '#' expr  /* range literal */
+  | '$domain_cart' '(' range-list? ')'  /* Cartesian domain */
   | expr '+' expr  /* numeric or pointer addition */
   | expr '-' expr  /* numeric or pointer subtraction */
@@ -188 +196 @@
   | '&' lvalue  /* address-of */
   | $new(type-name)  /* returns a new arbitrary value of the given type */
-  | '(' type-name ')' expr  /* cast */
   | '$forall' '(' decl expr? ')' expr  /* universal quantification */
   | '$exists' '(' decl expr? ')' expr  /* existential quantification */
+  | expr '?' expr ':' expr  /* if-then-else expression */
 
 }}}