diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-07 14:47:57 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-07 14:47:57 +0200 |
commit | f0124301f874520bfdf76f16e016ffb2e1a8ca37 (patch) | |
tree | 94c651d95ff939f48869a95fd9ee77533cad9c99 /test | |
parent | c21c794ec0abb307ff4d0948e2a504da936ea602 (diff) | |
download | compcert-kvx-f0124301f874520bfdf76f16e016ffb2e1a8ca37.tar.gz compcert-kvx-f0124301f874520bfdf76f16e016ffb2e1a8ca37.zip |
division
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/cycles.h | 2 | ||||
-rw-r--r-- | test/monniaux/division/harness.c | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/test/monniaux/cycles.h b/test/monniaux/cycles.h index f26060a7..2905938b 100644 --- a/test/monniaux/cycles.h +++ b/test/monniaux/cycles.h @@ -6,7 +6,7 @@ typedef uint64_t cycle_t; #define PRcycle PRId64 -#include <../../kvx-cos/include/hal/cos_registers.h> +#include "/opt/kalray/accesscore/kvx-cos/include/hal/cos_registers.h" static inline void cycle_count_config(void) { diff --git a/test/monniaux/division/harness.c b/test/monniaux/division/harness.c index 8d7e7d13..b6ce674d 100644 --- a/test/monniaux/division/harness.c +++ b/test/monniaux/division/harness.c @@ -57,7 +57,8 @@ int main() { for(int i=0; i<1000; i++) { uint32_t x = dm_biased_random_uint32(); uint32_t y = dm_biased_random_uint32(); - + if (y == 0) continue; + cycle_t cycle_a, cycle_b, cycle_c; uint32_t q1, q2; @@ -68,7 +69,7 @@ int main() { cycle_c = get_cycle(); if(q1 != q2) { - printf("%u %u\n", q1, q2); + printf("ERREUR %u %u\n", q1, q2); } time_native += cycle_b - cycle_a; |