Changes between Version 5 and Version 6 of The MiniMP Intermediate Representation

Timestamp:

01/08/10 17:22:52 (16 years ago)

Author:

zirkel

Comment:

--

The MiniMP Intermediate Representation

@@ -17 +17 @@
 
   Local variables are local to a specific function in a specific process.  They can only be accessed within the function body.
-  * !FormalVariable
- 
-      Formal variables are the formal parameters to a function.  They are a special type of local variable.
+    * !FormalVariable 
+  Formal variables are the formal parameters to a function.  They are a special type of local variable.
  * !BoundVariable
 
@@ -63 +62 @@
 Each statement has a single source location and a single destination location.
  * !AllocateStatement
+
+  Used to allocate contiguous memory for an array of elements, similar to C's "malloc."  You specify the type of element and the number of elements to allocate an array of that length and element type.  An allocation statement returns a pointer to the first element in the array.
  * !AssertionStatement
+
+  Used to input a boolean condition.  The condition will be checked, and an error returned if it cannot be shown to hold.
  * !AssignmentStatement
+
+  Statement of the form lhs = rhs;.  Note that rhs is an expression.  Expressions are side-effect free.  In particular, they cannot involve function calls.  There is a special !InvocationStatement for dealing with function calls and assigning the returned value of the function call to a variable.
  * !AssumeStatement
+
+  Used to add a boolean statement to the path condition.  A statement added in this was will be assumed to hold for future statements.
  * !DeallocateStatement
+
+  A deallocate statement deallocates previously allocated memory, similar to C's "free."
  * !InvocationStatement
+
+  Represents a statement of the form lhs = f(a0, a1, ...); or the form f(a0, a1, ...);  In the left hand side is null.
  * !NoopStatement
+
+  A statement that does nothing.
  * !ReceiveStatement
+ 
+  A statement to receive a message.
  * !SendStatement
+
+  A statement to send a message.
 == Functions ==
 A function specifies a number of formal parameters, or "formal variables."  In addition, it specifies a number of "proper local variables."  All of these (formal and proper locals) are referred to as "local variables."  The local variables can only be accessed within the function body.