aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-16 14:27:06 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-16 14:27:06 +0200
commitca92d5ab93f2ee63ff416a096fdbfa569a64c717 (patch)
tree8f0663009230cf504daee7a9dc8c9fa83e886842 /test
parent2981acd39bb23b783339fa6848aa284bfae938c0 (diff)
downloadcompcert-kvx-ca92d5ab93f2ee63ff416a096fdbfa569a64c717.tar.gz
compcert-kvx-ca92d5ab93f2ee63ff416a096fdbfa569a64c717.zip
sdiv seems to work, udiv/umod/smod BOGUS
Diffstat (limited to 'test')
-rw-r--r--test/monniaux/division/sum_div.c18
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;
-}