aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/mppa_k1c/i64_udiv.c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-29 11:14:46 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-29 11:14:46 +0200
commit11cd0ace897752ef7ca33609aa1250ca1597185b (patch)
treef01066819b0ed9f42d6276e9c8880f3f6747cd31 /runtime/mppa_k1c/i64_udiv.c
parentaa3ff942fb4944242c7a2398592b7e3d33f6c9dc (diff)
downloadcompcert-kvx-11cd0ace897752ef7ca33609aa1250ca1597185b.tar.gz
compcert-kvx-11cd0ace897752ef7ca33609aa1250ca1597185b.zip
arranging for selection of divisor as option
Diffstat (limited to 'runtime/mppa_k1c/i64_udiv.c')
-rw-r--r--runtime/mppa_k1c/i64_udiv.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/runtime/mppa_k1c/i64_udiv.c b/runtime/mppa_k1c/i64_udiv.c
index e69de29b..75f4bbf5 100644
--- a/runtime/mppa_k1c/i64_udiv.c
+++ b/runtime/mppa_k1c/i64_udiv.c
@@ -0,0 +1,6 @@
+extern unsigned long __udivdi3 (unsigned long a, unsigned long b);
+
+unsigned i32_udiv (unsigned a, unsigned b)
+{
+ return __udivdi3 (a, b);
+}