diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-16 14:27:06 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-16 14:27:06 +0200 |
commit | ca92d5ab93f2ee63ff416a096fdbfa569a64c717 (patch) | |
tree | 8f0663009230cf504daee7a9dc8c9fa83e886842 /runtime/mppa_k1c/i64_smod.c | |
parent | 2981acd39bb23b783339fa6848aa284bfae938c0 (diff) | |
download | compcert-kvx-ca92d5ab93f2ee63ff416a096fdbfa569a64c717.tar.gz compcert-kvx-ca92d5ab93f2ee63ff416a096fdbfa569a64c717.zip |
sdiv seems to work, udiv/umod/smod BOGUS
Diffstat (limited to 'runtime/mppa_k1c/i64_smod.c')
-rw-r--r-- | runtime/mppa_k1c/i64_smod.c | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/runtime/mppa_k1c/i64_smod.c b/runtime/mppa_k1c/i64_smod.c index 26ffb39b..e69de29b 100644 --- a/runtime/mppa_k1c/i64_smod.c +++ b/runtime/mppa_k1c/i64_smod.c @@ -1,40 +0,0 @@ -#if COMPLIQUE -unsigned long long -udivmoddi4(unsigned long long num, unsigned long long den, int modwanted); - -long long -i64_smod (long long a, long long b) -{ - int neg = 0; - long long res; - - if (a < 0) - { - a = -a; - neg = 1; - } - - if (b < 0) - b = -b; - - res = udivmoddi4 (a, b, 1); - - if (neg) - res = -res; - - return res; -} - -#else -extern long __moddi3 (long a, long b); - -long i64_smod (long a, long b) -{ - return __moddi3 (a, b); -} - -int i32_smod (int a, int b) -{ - return __moddi3 (a, b); -} -#endif |