Changes between Version 58 and Version 59 of IR

Timestamp:

11/25/15 16:14:44 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -51 +51 @@
   a: Array[Integer];
 L1:
-  when (\true) x:=3*y; goto L2;
+  when (\true) assign x, \mul(3,y); goto L2;
 L2:
-  when(\true) a_t:=\dytype(Array[Integer, x+1]); goto L3; // Array[Integer] is refined here using x+1
+  when(\true) assign a_t, \dytype(Array[Integer, \add(x,1)]); goto L3; // Array[Integer] is refined here using x+1
 L3:
-  when (\true) a:=\new(a_t); goto L4;
+  when (\true) assign a, \new(a_t); goto L4;
 L4:
 }
@@ -119 +119 @@
 
 {{{
-// type definitions
 typedef S=Tuple[Array[Integer]];
 
-// variable decls
 n: Integer;
 S_d: Dytype[S];
@@ -128 +126 @@
 x2: S;
 
-// statements (leaving out the chooses and whens for brevity)
-n:=10;
-S_d:=\dytype(Tuple[Array[Integer, n]]);
-x1:=\new(S_d);
-n:=20;
-x2:=\new(S_d);
+L0:
+  when (\true) assign n, 10; goto L1;
+L1:
+  when (\true) assign S_d, \dytype(Tuple[Array[Integer, n]]); goto L2;
+L2:
+  when (\true) assign x1, \new(S_d); goto L3;
+L3:
+  when (\true) assign n, 20; goto L4;
+L4:
+  when (\true) assign x2, \new(S_d); goto L5;
+L5:
 }}}
 
@@ -224 +227 @@
 == Declarations and Function Definitions ==
 
-Declarations follow the C notation.   Function prototypes are considered to be declarations similar to variable declarations.
+Function prototypes are considered to be declarations similar to variable declarations.
 
 Example of declaration of a function:
 {{{
-f(Real x, Bool y; Integer);
+f(x: Real, b: Bool): Float[32,33];
 }}}