test/monniaux/crypto-algorithms/modulo_division.c


1
2
3
4
5
6
7
8
9
10
11
12

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;
}