aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/fill_buffer
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-04 15:39:58 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-04 15:39:58 +0100
commita6d367a87ad94515a8a1d13b0cee45696656e4cb (patch)
tree0cbe5add1ec5ee8d5c3e9a18d97826567fa62e79 /test/monniaux/fill_buffer
parent9e3740fa95cc2a409a21886fdb9e61e2698d7bb6 (diff)
downloadcompcert-kvx-a6d367a87ad94515a8a1d13b0cee45696656e4cb.tar.gz
compcert-kvx-a6d367a87ad94515a8a1d13b0cee45696656e4cb.zip
fill_buffer
Diffstat (limited to 'test/monniaux/fill_buffer')
-rw-r--r--test/monniaux/fill_buffer/fill_buffer.c35
1 files changed, 35 insertions, 0 deletions
diff --git a/test/monniaux/fill_buffer/fill_buffer.c b/test/monniaux/fill_buffer/fill_buffer.c
new file mode 100644
index 00000000..a83267f5
--- /dev/null
+++ b/test/monniaux/fill_buffer/fill_buffer.c
@@ -0,0 +1,35 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include "../clock.h"
+
+typedef unsigned char data;
+
+void fill_buffer(data x, unsigned n, data *buf) {
+ for(unsigned i=0; i<n; i++) buf[i] = x;
+}
+
+void fill_buffer2(data x, unsigned n, data *buf) {
+ unsigned i=0;
+ if (i<n) {
+ do {
+ buf[i] = x;
+ i++;
+ } while (i<n);
+ }
+}
+
+void fill_buffer10(data x, data *buf) {
+ for(unsigned i=0; i<10; i++) buf[i] = x;
+}
+
+int main() {
+ const size_t n = 10000;
+ data *buf = malloc(n * sizeof(data));
+ clock_prepare();
+ clock_start();
+ fill_buffer2(42, n, buf);
+ clock_stop();
+ free(buf);
+ print_total_clock();
+ return 0;
+}