diff options
Diffstat (limited to 'test/monniaux/crypto-algorithms/modulo_division.c')
-rw-r--r-- | test/monniaux/crypto-algorithms/modulo_division.c | 12 |
1 files changed, 0 insertions, 12 deletions
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; -} |