Changes between Version 125 and Version 126 of IR

Timestamp:

12/10/15 11:17:33 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -542 +542 @@
 === the basic library `civlc` ===
 
+* Type
+ * Operation: an enumeration type of operations
+ * Integer_iter: integer iterator type
+
+* set the leaf nodes of a variable to be the default value of zero
+
+  `fun[lib="civlc"] $set_default(obj: Pointer)`
+
+* apply operations to two objects
+
+  `fun[lib="civlc"] $apply(obj1: Pointer, op: Operation, obj2: Pointer, result: Pointer)`
+
+* elaborate an integer expression
+
+  `fun[lib="civlc"] $elaborate(x: Integer)`
+
+* get a unique non-negative integer for time count
+
+  `fun[lib="civlc"] $next_time_count()`
+
+* print path condition of the current state
+
+  `fun[lib="civlc", pure] $pathCondition()`
+
 * non-deterministic choice of integer
   
@@ -548 +572 @@
   This function takes as input a positive integer `n` and nondeterministicaly returns an integer in the range `[0, n − 1]`.
 
+* integer iterator operations
+ * creation: `fun[lib="civlc"] $int_iter_create(scope: Scope, data: Pointer[Integer], size: int): Integer_iter`
+ * has-next test: `fun[lib="civlc"] $int_iter_hasNext(iter: Integer_iter): Bool`
+ * get next: `fun[lib="civlc"] $int_iter_next(iter: Integer_iter): Integer`
+ * destroy: `fun[lib="civlc"] $int_iter_destroy(iter: Integer_iter)`
+
 * parent of a scope 
 
-`fun[lib="scope"] $scope_parent(s: Scope): Scope`
+  `fun[lib="scope"] $scope_parent(s: Scope): Scope`
 
 This function returns the parent dynamic scope of the dynamic scope referenced by `s`. If `s` is the root dynamic scope, it returns the `scope_null`.
@@ -567 +597 @@
 * pointer translation:
 
-    `fun[lib="pointer"] $translate_ptr(ptr: Pointer, obj: Pointer): Pointer`
+   `fun[lib="pointer"] $translate_ptr(ptr: Pointer, obj: Pointer): Pointer`
 
    this function returns a pointer which is the result of translating the pointer `ptr` (a pointer into one object) to a pointer into a different object `obj` with similar structure.
@@ -604 +634 @@
   `fun[lib="pointer"] $pointer_add(ptr: Pointer,  offset: Integer, type_size: Integer)`
  
+=== bundle ===
+
+* Type: `Bundle`, which is a union type of all system types and user-defined types of a given program
+
+* size of bundle
+
+  `fun[lib="bundle", pure] $bundle_size(b: Bundle): Integer`
+
+* pack data into a bundle
+
+  `fun[lib="bundle"] $bundle_pack(ptr: Pointer, size: Integer): Bundle`
+
+* unpack a bundle
+ 
+  `fun[lib="bundle"] $bundle_unpack(bundle: Bundle, ptr: Pointer)`
+
+* unpack a bundle and apply some operation to the data
+
+  `fun[lib="bundle"] $bundle_unpack_apply(data: Bundle, buf: Pointer, size: Integer, op: Operation)`
 
 === concurrency ===
 
-* barrier operations
- * global barrier creation
+==== barrier operations ====
+* global barrier creation
    
-   `fun[lib="concurrency"] $gbarrier_create(scope: Scope, size: Integer): GBarrier`
-
- * global barrier destroy
-
-   `fun[lib="concurreny"] $gbarrier_destroy(barrier: Gbarrier)`
-
- * local barrier creation
+  `fun[lib="concurrency"] $gbarrier_create(scope: Scope, size: Integer): GBarrier`
+
+* global barrier destroy
+
+  `fun[lib="concurreny"] $gbarrier_destroy(barrier: Gbarrier)`
+
+* local barrier creation
  
-   `fun[lib="concurrency"] $barrier_create(scope: Scope, gbarrier: Gbarrier, place: Integer): Barrier`
-
- * local barrier destroy
+  `fun[lib="concurrency"] $barrier_create(scope: Scope, gbarrier: Gbarrier, place: Integer): Barrier`
+
+* local barrier destroy
   
-   `fun[lib="concurrency"] $barrier_destroy(barrier: Barrier)`
+  `fun[lib="concurrency"] $barrier_destroy(barrier: Barrier)`
 
 * barrier call
   
-  `fun[lib="concurrency"] $barrier_call(barrier: Barrier)`
-
-* collective records
- * Type: `Collect_record`, `GCollect_checker`, and `Collect_checker`
-
- * global collective checker creation
+  `fun $barrier_call(barrier: Barrier)`
+
+==== collective records ====
+* Type: `Collect_record`, `GCollect_checker`, and `Collect_checker`
+
+* global collective checker creation
    
-   `fun[lib="concurrency"] $gcollect_checker_create(scope: Scope): Gcollect_checker`
-
- * global collective checker destroy
+  `fun[lib="concurrency"] $gcollect_checker_create(scope: Scope): Gcollect_checker`
+
+* global collective checker destroy
  
-   `fun[lib="concurrency"] $gcollect_checker_destroy(gchecker: Gcollect_checker)`
-
- * collective checker creation
-
-   `fun[lib="concurrency"] $collect_checker_create(scope: Scope, gchecker: Gcollect_checker)`
-
- * collective checker destroy
+  `fun[lib="concurrency"] $gcollect_checker_destroy(gchecker: Gcollect_checker)`
+
+* collective checker creation
+
+  `fun[lib="concurrency"] $collect_checker_create(scope: Scope, gchecker: Gcollect_checker)`
+
+* collective checker destroy
   
-   `fun[lib="concurrency"] $collect_checker_destroy(checker: Collect_checker)`
-
- * collective records checking
+  `fun[lib="concurrency"] $collect_checker_destroy(checker: Collect_checker)`
+
+* collective records checking
 
   `fun[lib="concurrency"] $collect_check(checker: Collect_checker, place: Integer, nprocs: Integer, entries: Bundle)`
 
-   
+