diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 12:03:39 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 12:03:39 +0200 |
commit | b288b587378984c3c419d26a13dcf93686d1b779 (patch) | |
tree | 623679ad5dd5325f4d0d11d2d85d43a638d9ad33 /test/monniaux/quicksort | |
parent | c1330c1f6863d4029bfa965b4151e629d72a2217 (diff) | |
download | compcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.tar.gz compcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.zip |
All working benches ported
Diffstat (limited to 'test/monniaux/quicksort')
-rw-r--r-- | test/monniaux/quicksort/Makefile | 3 | ||||
-rw-r--r-- | test/monniaux/quicksort/make.proto | 3 | ||||
-rw-r--r-- | test/monniaux/quicksort/quicksort_run.c | 2 |
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); |