diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 18:45:02 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 18:45:02 +0200 |
commit | 71509473c434483d6fb7901795a1004cf272680c (patch) | |
tree | 3f6c7a89dd21b535915533e2ca66b36ac6ee7522 /runtime/mppa_k1c/i64_udivmod.c | |
parent | 4965352c558f8e030b3b968f98566f87ed6f0b8a (diff) | |
parent | 09184b1ab9be700d0cb5125c113b4fb8d6be06c8 (diff) | |
download | compcert-kvx-71509473c434483d6fb7901795a1004cf272680c.tar.gz compcert-kvx-71509473c434483d6fb7901795a1004cf272680c.zip |
Merge remote-tracking branch 'origin/mppa-fast-div' into mppa-features
Diffstat (limited to 'runtime/mppa_k1c/i64_udivmod.c')
-rw-r--r-- | runtime/mppa_k1c/i64_udivmod.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/mppa_k1c/i64_udivmod.c b/runtime/mppa_k1c/i64_udivmod.c index 74b39874..ca48cd87 100644 --- a/runtime/mppa_k1c/i64_udivmod.c +++ b/runtime/mppa_k1c/i64_udivmod.c @@ -1,3 +1,4 @@ +#if 0 /* THIS IS THE PREVIOUS VERSION, USED ON BOSTAN AND ANDEY */ unsigned long long udivmoddi4(unsigned long long num, unsigned long long den, int modwanted) @@ -26,3 +27,4 @@ udivmoddi4(unsigned long long num, unsigned long long den, int modwanted) return modwanted ? r : q; } +#endif |