Changes between Version 124 and Version 125 of IR

Timestamp:

12/10/15 10:47:06 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -548 +548 @@
   This function takes as input a positive integer `n` and nondeterministicaly returns an integer in the range `[0, n − 1]`.
 
-=== Scope utilities `scope` ===
 * parent of a scope 
 
@@ -584 +583 @@
 
 * set leaf nodes:
-  `fun[lib="pointer"] `
+  `fun[lib="pointer"] $set_leaf_nodes(obj: Pointer, value: Integer)`
+
+* check if the given pointer is pointing to a variable:
+
+  `fun[lib="pointer"] $is_identity_ref(obj: Pointer)`
+
+* check if the leaf nodes of the given object are equal to the given integer value
+  
+  `fun[lib="pointer"] $leaf_nodes_equal_to(obj: Pointer, value: Integer)`
+
+* check if the given object has a leaf node whose value is equal to the given integer value
+
+  `fun[lib="pointer"] $has_leaf_node_equal_to(obj: Pointer, value: Integer)`
+
+* check if the given pointer could be safely dereferenced
+
+  `fun[lib="pointer"] $is_derefable_pointer(ptr: Pointer)`
+
+* pointer addition
+  `fun[lib="pointer"] $pointer_add(ptr: Pointer,  offset: Integer, type_size: Integer)`
+ 
+
+=== concurrency ===
+
+* 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"] $barrier_create(scope: Scope, gbarrier: Gbarrier, place: Integer): Barrier`
+
+ * local barrier destroy
+  
+   `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[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"] $collect_checker_destroy(checker: Collect_checker)`
+
+ * collective records checking
+
+  `fun[lib="concurrency"] $collect_check(checker: Collect_checker, place: Integer, nprocs: Integer, entries: Bundle)`
+
+   
+
+
+