Changes between Version 7 and Version 8 of IR

Timestamp:

11/21/15 22:58:44 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -2 +2 @@
 The CIVL-IR.  Also known as "CIVL model".
 
-Grammar?
+Grammar:
+
+* a subset of CIVL-C, explicit guarded-trasition systems
+* functions, scopes, functions defined in any scope
+* all blocks start with variable declarations; no initializers
+* an array is declared without any length expression.  When it is initialized it can specify length.
 
 Example:
 
 {{{
-int f() {
+$integer f() {
+  $real x;
+  $real y;
+  $float(16,23) z;
+ 
 L1 :
   $choose {
@@ -13 +22 @@
     $when (g2) stmt2; goto L3;
   }
+
+  { // begin new scope
+    $real x;
+
 L2 :
-  $choose {
-    $when (g3) stmt3; goto L4;
-    ...
-  }
+    $choose {
+      $when (g3) stmt3; goto L4;
+      ...
+    }
+  } // end new scope
 ...
 }
@@ -73 +87 @@
  * domain literals?
  * "abc" : string literals (array of char -- same as array literal?)
- * `$root`, `$here` (scope values) 
- * `$self`, undefined process (proc value)
-
+ * `$root`, `$here` (values of type `$scope`) 
+ * `$self`, `$proc_null`, `$proc_undef`? (values of type `$proc`)
 * variable
 * `e1+e2` : addition
@@ -96 +109 @@
 * `$forall`, `$exists`
 * `e1.i`, some natural number i (tuple read)
+* `$initial_value(e1)` : some way to get initial value of something (like array)?
+* `$typeof(...)`: what is this for?
+* `$sizeof(T)` : T is a type name?
 
+Semantics issues
 
-
+* define every possible cast
+* define every possible +, etc.
+* define every kind of pointer value and casts between pointer types
+* casts between pointer and integer types?
 
 == Statements ==
@@ -106 +126 @@
 * Spawn
 * Wait
+* Malloc
+* Noop
+* Return
+* Atomic_enter
+* Atomic_exit
+* Parfor_spawn.  is there exit?
+* For_dom_enter (for domains).  exit?
 
 
@@ -116 +143 @@
 == Libraries ==
 
-