diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 11:14:46 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 11:14:46 +0200 |
commit | 11cd0ace897752ef7ca33609aa1250ca1597185b (patch) | |
tree | f01066819b0ed9f42d6276e9c8880f3f6747cd31 /runtime/mppa_k1c/i64_smod.c | |
parent | aa3ff942fb4944242c7a2398592b7e3d33f6c9dc (diff) | |
download | compcert-kvx-11cd0ace897752ef7ca33609aa1250ca1597185b.tar.gz compcert-kvx-11cd0ace897752ef7ca33609aa1250ca1597185b.zip |
arranging for selection of divisor as option
Diffstat (limited to 'runtime/mppa_k1c/i64_smod.c')
-rw-r--r-- | runtime/mppa_k1c/i64_smod.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/mppa_k1c/i64_smod.c b/runtime/mppa_k1c/i64_smod.c index e69de29b..3371eecf 100644 --- a/runtime/mppa_k1c/i64_smod.c +++ b/runtime/mppa_k1c/i64_smod.c @@ -0,0 +1,5 @@ +extern long __moddi3 (long a, long b); +int i32_smod (int a, int b) +{ + return __moddi3 (a, b); +} |