aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/crypto-algorithms
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-30 17:06:00 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-30 17:06:00 +0100
commit2b36046e05e6688d225ca0ecc4e8436bd8c2720f (patch)
tree1489ba928ec2bce5d4018bdfd4faf1f53a2d04f0 /test/monniaux/crypto-algorithms
parent7912e9944b6f67f41f5a8e75e7a41a3aaf8d37e5 (diff)
downloadcompcert-kvx-2b36046e05e6688d225ca0ecc4e8436bd8c2720f.tar.gz
compcert-kvx-2b36046e05e6688d225ca0ecc4e8436bd8c2720f.zip
no need for modulo and division
Diffstat (limited to 'test/monniaux/crypto-algorithms')
-rw-r--r--test/monniaux/crypto-algorithms/Makefile2
-rw-r--r--test/monniaux/crypto-algorithms/modulo_division.c12
2 files changed, 1 insertions, 13 deletions
diff --git a/test/monniaux/crypto-algorithms/Makefile b/test/monniaux/crypto-algorithms/Makefile
index 493ad22b..db372898 100644
--- a/test/monniaux/crypto-algorithms/Makefile
+++ b/test/monniaux/crypto-algorithms/Makefile
@@ -37,7 +37,7 @@ des.all: des_test.ccomp.k1c.out des_test.gcc.k1c.out
%_test.gcc.k1c: %.gcc.k1c.o %_test.gcc.k1c.o
$(K1C_CC) $(K1C_CFLAGS) $+ -o $@
-%_test.ccomp.k1c: %.ccomp.k1c.o %_test.gcc.k1c.o modulo_division.gcc.k1c.o
+%_test.ccomp.k1c: %.ccomp.k1c.o %_test.gcc.k1c.o
$(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@
%.k1c.out: %.k1c
diff --git a/test/monniaux/crypto-algorithms/modulo_division.c b/test/monniaux/crypto-algorithms/modulo_division.c
deleted file mode 100644
index 6f91604d..00000000
--- a/test/monniaux/crypto-algorithms/modulo_division.c
+++ /dev/null
@@ -1,12 +0,0 @@
-unsigned long long __compcert_i64_udiv(unsigned long long x, unsigned long long y) {
- return x / y;
-}
-unsigned long long __compcert_i64_umod(unsigned long long x, unsigned long long y) {
- return x % y;
-}
-long long __compcert_i64_sdiv(long long x, long long y) {
- return x / y;
-}
-long long __compcert_i64_smod(long long x, long long y) {
- return x % y;
-}