aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/quicksort/quicksort.h
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-19 13:33:57 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-19 13:33:57 +0100
commit6c5df17a302e99dec62aa749ffc30745cc7679a4 (patch)
tree3b0509425b547709fb44645bc375c7faa4595e56 /test/monniaux/quicksort/quicksort.h
parentcaa53a3dce35e53ed913557f30aef1f063cf67c0 (diff)
downloadcompcert-kvx-6c5df17a302e99dec62aa749ffc30745cc7679a4.tar.gz
compcert-kvx-6c5df17a302e99dec62aa749ffc30745cc7679a4.zip
quicksort
Diffstat (limited to 'test/monniaux/quicksort/quicksort.h')
-rw-r--r--test/monniaux/quicksort/quicksort.h7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/monniaux/quicksort/quicksort.h b/test/monniaux/quicksort/quicksort.h
new file mode 100644
index 00000000..cc73e7c3
--- /dev/null
+++ b/test/monniaux/quicksort/quicksort.h
@@ -0,0 +1,7 @@
+#include <stdint.h>
+#include <stdbool.h>
+
+typedef uint64_t data;
+void quicksort(data *A, int len);
+void data_vec_random(data *a, unsigned len);
+bool data_vec_is_sorted(const data *a, unsigned len);