aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/heapsort/heapsort.h
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-19 19:17:46 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-19 19:17:46 +0100
commit0fb339fd9dc30b997c76563271e9b3e3f24db84d (patch)
tree18e593d2fa17de903cc698b93176a1578fa89d6e /test/monniaux/heapsort/heapsort.h
parentd70a9e55c3595cf7ee84ca9f3b1d5e272a5e3999 (diff)
downloadcompcert-kvx-0fb339fd9dc30b997c76563271e9b3e3f24db84d.tar.gz
compcert-kvx-0fb339fd9dc30b997c76563271e9b3e3f24db84d.zip
some more example
Diffstat (limited to 'test/monniaux/heapsort/heapsort.h')
-rw-r--r--test/monniaux/heapsort/heapsort.h7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/monniaux/heapsort/heapsort.h b/test/monniaux/heapsort/heapsort.h
new file mode 100644
index 00000000..247d6773
--- /dev/null
+++ b/test/monniaux/heapsort/heapsort.h
@@ -0,0 +1,7 @@
+#include <stdint.h>
+#include <stdbool.h>
+
+typedef uint64_t data;
+void heapsort(data *A, int len);
+void data_vec_random(data *a, unsigned len);
+bool data_vec_is_sorted(const data *a, unsigned len);