diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-16 14:27:06 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-16 14:27:06 +0200 |
commit | ca92d5ab93f2ee63ff416a096fdbfa569a64c717 (patch) | |
tree | 8f0663009230cf504daee7a9dc8c9fa83e886842 /test/monniaux/division/sum_div.c | |
parent | 2981acd39bb23b783339fa6848aa284bfae938c0 (diff) | |
download | compcert-kvx-ca92d5ab93f2ee63ff416a096fdbfa569a64c717.tar.gz compcert-kvx-ca92d5ab93f2ee63ff416a096fdbfa569a64c717.zip |
sdiv seems to work, udiv/umod/smod BOGUS
Diffstat (limited to 'test/monniaux/division/sum_div.c')
-rw-r--r-- | test/monniaux/division/sum_div.c | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/test/monniaux/division/sum_div.c b/test/monniaux/division/sum_div.c deleted file mode 100644 index 87256922..00000000 --- a/test/monniaux/division/sum_div.c +++ /dev/null @@ -1,18 +0,0 @@ -#include <stdio.h> -#include <stdlib.h> -#include "../clock.h" - -int main(int argc, char **argv) { - unsigned modulus = argc < 2 ? 3371 : atoi(argv[1]); - clock_prepare(); - clock_start(); - unsigned total=0, total_mod=0; - for(int i=0; i<1000; i++) { - total += i; - total_mod = (total_mod + i)%modulus; - } - clock_stop(); - print_total_clock(); - printf("%u %u %d\n", total, total_mod, total%modulus == total_mod); - return 0; -} |