From 2b36046e05e6688d225ca0ecc4e8436bd8c2720f Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 30 Jan 2019 17:06:00 +0100 Subject: no need for modulo and division --- test/monniaux/crypto-algorithms/Makefile | 2 +- test/monniaux/crypto-algorithms/modulo_division.c | 12 ------------ 2 files changed, 1 insertion(+), 13 deletions(-) delete mode 100644 test/monniaux/crypto-algorithms/modulo_division.c (limited to 'test/monniaux/crypto-algorithms') 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; -} -- cgit