Changes between Version 141 and Version 142 of IR

Timestamp:

02/04/16 14:36:19 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -114 +114 @@
   * `Integer` : the mathematical integers
   * `Int[lo,hi,wrap]`
-   * `lo`, `hi` are concrete (?) integers, `wrap` is boolean
+   * `lo`, `hi` are concrete integers, `wrap` is boolean
    * finite interval of integers `[lo,hi]`.  If `wrap` is true then all operations "wrap", otherwise, any operation resulting in a value outside of the interval results in an exception being thrown.
    * `lo` and `hi` can be any values of type `Integer`, so they are dynamic types, like complete array types
- * The **real types**
+ * The real types
   * `Real` : the mathematical real numbers
   * `Float[e,f]`, `e`, `f` are concrete integers, each at least 1.  
@@ -195 +195 @@
 
 Numeric
-* 123, -123, 3.1415, etc. : values of type `Integer`, `Int`, `Real`, `Float`.   **NEED TO BE MORE SPECIFIC**
+* `-? digit+`: values of types `Integer` and `Int`: `[+|-]? digit+`, e.g., 123, -123
+* `-? digit+ . digit+`: values of types `Real` and `Float`, e.g., 3.1415, -0.9875
 * `add(e1,e2)` : numeric addition.  
  * `e1` and `e2` have the same numeric type.  Note that there are no "automatic conversions" as there are in C.  If the original expressions have different types, explicit conversions must be inserted.  
@@ -221 +222 @@
 
 Characters and Strings
-* 'a', 'b', ... : Char values.  **UNICODE?**
+* 'a', 'b', ... : Char values.
+ * `\u00ea`, `\u00f1`, ...: Unicodes   
 * `string("abc")` : string literals
  * value of type `Array[Char, n+1]`, where `n` is the length of the string (the last element is the character `\0`)
@@ -336 +338 @@
 * `EVAL e;` : evaluates an expression `e`
  * useful only because `e` might contain exceptions (e.g., array index out of bound, division by zero)
-* `NOOP;`
+* `NOOP;` or `NOOP LABEL;`
+ * a no-op can take an optional label, which is one of the following:
+   * TRUE_BRANCH_IF: to enter the true branch of a CIVL-C if-else statement;
+   * FALSE_BRANCH_IF: to enter the false branch of a CIVL-C if-else statement;
+   * LOOP_BODY_ENTER: to enter the body of a loop;
+   * LOOP_BODY_EXIT: to exit from the body of a loop.
  * **Is there a need to add annotations for "true" or "false" branch, etc.?**  If so, we can just make these parameters to the Noop.
 * `RETURN;` and `RETURN e;`