diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 17:06:00 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 17:06:00 +0100 |
| commit | 2b36046e05e6688d225ca0ecc4e8436bd8c2720f (patch) | |
| tree | 1489ba928ec2bce5d4018bdfd4faf1f53a2d04f0 /test/monniaux/crypto-algorithms | |
| parent | 7912e9944b6f67f41f5a8e75e7a41a3aaf8d37e5 (diff) | |
| download | compcert-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/Makefile | 2 | ||||
| -rw-r--r-- | test/monniaux/crypto-algorithms/modulo_division.c | 12 |
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; -} |