aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/mppa_k1c/i64_sdiv.c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-16 14:27:06 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-16 14:27:06 +0200
commitca92d5ab93f2ee63ff416a096fdbfa569a64c717 (patch)
tree8f0663009230cf504daee7a9dc8c9fa83e886842 /runtime/mppa_k1c/i64_sdiv.c
parent2981acd39bb23b783339fa6848aa284bfae938c0 (diff)
downloadcompcert-kvx-ca92d5ab93f2ee63ff416a096fdbfa569a64c717.tar.gz
compcert-kvx-ca92d5ab93f2ee63ff416a096fdbfa569a64c717.zip
sdiv seems to work, udiv/umod/smod BOGUS
Diffstat (limited to 'runtime/mppa_k1c/i64_sdiv.c')
-rw-r--r--runtime/mppa_k1c/i64_sdiv.c10
1 files changed, 0 insertions, 10 deletions
diff --git a/runtime/mppa_k1c/i64_sdiv.c b/runtime/mppa_k1c/i64_sdiv.c
index 9feab791..809f2b1c 100644
--- a/runtime/mppa_k1c/i64_sdiv.c
+++ b/runtime/mppa_k1c/i64_sdiv.c
@@ -1,15 +1,5 @@
extern long __divdi3 (long a, long b);
-long i64_sdiv (long a, long b)
-{
- return __divdi3 (a, b);
-}
-
-int i32_sdiv (int a, int b)
-{
- return __divdi3 (a, b);
-}
-
#include <mppa_bare_runtime/k1c/registers.h>
/* DM FIXME this is for floating point */