aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/mod_int_mat
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/mod_int_mat
parentcaa53a3dce35e53ed913557f30aef1f063cf67c0 (diff)
downloadcompcert-kvx-6c5df17a302e99dec62aa749ffc30745cc7679a4.tar.gz
compcert-kvx-6c5df17a302e99dec62aa749ffc30745cc7679a4.zip
quicksort
Diffstat (limited to 'test/monniaux/mod_int_mat')
-rw-r--r--test/monniaux/mod_int_mat/int_mat_run.c28
1 files changed, 1 insertions, 27 deletions
diff --git a/test/monniaux/mod_int_mat/int_mat_run.c b/test/monniaux/mod_int_mat/int_mat_run.c
index 42cb54fb..f3955345 100644
--- a/test/monniaux/mod_int_mat/int_mat_run.c
+++ b/test/monniaux/mod_int_mat/int_mat_run.c
@@ -3,33 +3,7 @@
#include <stdio.h>
#include <inttypes.h>
#include "modint.h"
-
-typedef uint64_t cycle_t;
-
-#ifdef __K1C__
-#include <mppa_bare_runtime/k1c/registers.h>
-static inline void cycle_count_config(void)
-{
- /* config pmc for cycle count */
- uint64_t pmc_value = __builtin_k1_get(K1_SFR_PMC);
-
- pmc_value &= ~(0xfULL);
- __builtin_k1_set(K1_SFR_PMC, pmc_value);
-}
-
-static inline uint64_t get_cycle(void)
-{
- return __builtin_k1_get(K1_SFR_PM0);
-}
-#else
-static inline void cycle_count_config(void) { }
-#ifdef __x86_64__
-#include <x86intrin.h>
-static inline cycle_t get_cycle(void) { return __rdtsc(); }
-#else
-static inline cycle_t get_cycle(void) { return 0; }
-#endif
-#endif
+#include "../cycles.h"
int main() {
const unsigned m = 40, n = 21, p = 30;