diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-13 16:44:33 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-13 16:44:33 +0200 |
| commit | c785f245a68aab9078c37b729fa916f2feae76f0 (patch) | |
| tree | 604f15e724b3cacb5b692756b541a5515a70896a /runtime | |
| parent | 5e53b6e6447b22eb34e5be1bc45320ca4e3d82a1 (diff) | |
| download | compcert-kvx-c785f245a68aab9078c37b729fa916f2feae76f0.tar.gz compcert-kvx-c785f245a68aab9078c37b729fa916f2feae76f0.zip | |
32-bit modulo now uses sign extend then call to the 64-bit function
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/mppa_k1c/i64_umod.c | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/runtime/mppa_k1c/i64_umod.c b/runtime/mppa_k1c/i64_umod.c index f6fed4c4..e69de29b 100644 --- a/runtime/mppa_k1c/i64_umod.c +++ b/runtime/mppa_k1c/i64_umod.c @@ -1,23 +0,0 @@ -#ifdef COMPLIQUE -unsigned long long -udivmoddi4(unsigned long long num, unsigned long long den, int modwanted); - -unsigned long long -i64_umod (unsigned long long a, unsigned long long b) -{ - return udivmoddi4 (a, b, 1); -} - -#else -extern unsigned long __umoddi3 (unsigned long a, unsigned long b); - -unsigned long i64_umod (unsigned long a, unsigned long b) -{ - return __umoddi3 (a, b); -} - -unsigned int i32_umod (unsigned int a, unsigned int b) -{ - return __umoddi3 (a, b); -} -#endif |