aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/quicksort
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-07-17 12:03:39 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-07-17 12:03:39 +0200
commitb288b587378984c3c419d26a13dcf93686d1b779 (patch)
tree623679ad5dd5325f4d0d11d2d85d43a638d9ad33 /test/monniaux/quicksort
parentc1330c1f6863d4029bfa965b4151e629d72a2217 (diff)
downloadcompcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.tar.gz
compcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.zip
All working benches ported
Diffstat (limited to 'test/monniaux/quicksort')
-rw-r--r--test/monniaux/quicksort/Makefile3
-rw-r--r--test/monniaux/quicksort/make.proto3
-rw-r--r--test/monniaux/quicksort/quicksort_run.c2
3 files changed, 4 insertions, 4 deletions
diff --git a/test/monniaux/quicksort/Makefile b/test/monniaux/quicksort/Makefile
new file mode 100644
index 00000000..719cd755
--- /dev/null
+++ b/test/monniaux/quicksort/Makefile
@@ -0,0 +1,3 @@
+TARGET=quicksort
+
+include ../rules.mk
diff --git a/test/monniaux/quicksort/make.proto b/test/monniaux/quicksort/make.proto
deleted file mode 100644
index fe2f906b..00000000
--- a/test/monniaux/quicksort/make.proto
+++ /dev/null
@@ -1,3 +0,0 @@
-objdeps: [{name: quicksort_run, compiler: gcc}]
-target: quicksort
-measures: [quicksort_time]
diff --git a/test/monniaux/quicksort/quicksort_run.c b/test/monniaux/quicksort/quicksort_run.c
index 88747d17..c35d0752 100644
--- a/test/monniaux/quicksort/quicksort_run.c
+++ b/test/monniaux/quicksort/quicksort_run.c
@@ -13,7 +13,7 @@ int main (void) {
quicksort(vec, len);
quicksort_time = get_cycle() - quicksort_time;
printf("sorted=%s\n"
- "quicksort_time:%" PRIu64 "\n",
+ "time cycles:%" PRIu64 "\n",
data_vec_is_sorted(vec, len)?"true":"false",
quicksort_time);
free(vec);