Changes between Version 120 and Version 121 of IR2

Timestamp:

06/08/21 14:38:03 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -42 +42 @@
 
 {{{
-program: typedef* decl* function-definition+ ;
+program: param* typedef* decl* function-definition+ ;
+param: '$param' type-specifier declarator ('=' constant-expr)? ';' ;
 typedef:
   type-param-list?
@@ -62 +63 @@
   | '$atomic_f'  /* function invocations take place atomically */
   ;
-object-decl: type-specifier declarator ('=' expr)? ';' ;
+object-decl: type-qualifier? type-specifier declarator ('=' expr)? ';' ;
 function-definition: type-param-list? function-qualifier* type-specifier declarator contract-clause* block ;
 block: '{' typedef* decl* function-definition* statement* '}' ;
@@ -139 +140 @@
   | '$rel' type-args  /* relation: set of n-tuples with specified component types */
   ;
+type-qualifier : '$size' '(' constant-expr ')'   /* size specification (in bytes) */
 declarator: '*'* direct-declarator ;
 direct-declarator:
@@ -152 +154 @@
   | '(' abstract-declarator ')'
   ;
-type-name: type-specifier abstract-declarator ;
+type-name: type-qualifier? type-specifier abstract-declarator ;
 type-args: '<' type-name (',' type-name)* '>';
 parameter-type-list: type-specifier declarator (',' type-specifier declarator)* ;