Changes between Version 12 and Version 13 of Libraries

Timestamp:

05/22/23 15:46:33 (3 years ago)

Author:

siegel

Comment:

--

Libraries

@@ -28 +28 @@
   * This function copies the data from the given bundle into the memory region starting at `ptr`.  The memory region extends for `$bundle_size(b)` bytes.
 * `$atomic_f void $bundle_unpack_apply($bundle data, void *buf, $operation op, int count, void *result)`
-  * This function unpacks the bundle while applying the specified numeric operation. Parameter `op` specifies a binary operation.  For each ''i'' in 0..''count''-1, the operation is applied to the ''i''-th element of `buf` and the ''i''-th element of the bundle, and the result replaces the ''i''-th element of `buf`.  Parameter `count` is the number of elements in the bundle; `buf` should point to a region of memory with at least `count` elements.   The elements should all have the same numeric type.
+  * This function unpacks the bundle while applying the specified numeric operation. Parameter `op` specifies a binary operation.  For each ''i'' in 0..''count''-1, the operation is applied to the ''i''-th element of `buf` and the ''i''-th element of the bundle, and the result is stored in the ''i''-th position of `result`.  Parameter `count` is the number of elements in the bundle; `buf` and `result` should each point to a region of memory capable of holding at least `count` elements. 
+
+=== Example
+{{{
+#include <bundle.cvh>
+int main() {
+  int n = 10;
+  int a[n], b[n], c[n];
+  for (int i=0; i<n; i++) a[i] = i;
+  $bundle bun = $bundle_pack(a, n*sizeof(int));
+  $assert($bundle_size(bun) == n*sizeof(int));
+  $bundle_unpack(bun, b);
+  $assert($forall (int i: 0..n-1) b[i]==a[i]);
+  $bundle_unpack_apply(bun, b, _SUM, n, c);
+  $assert($forall (int i: 0..n-1) c[i]==2*a[i]);
+}
+}}}
 
 == comm