diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-16 14:31:17 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-16 14:31:17 +0200 |
commit | a36a8c77b67ad1e054cb7aabae53817e98c00088 (patch) | |
tree | f648dfdf9be8b26fb090ed690cd68447a521a630 /runtime | |
parent | acc7b444ba2ccdf7273bb0da128a6cdfe392dc5d (diff) | |
download | compcert-kvx-a36a8c77b67ad1e054cb7aabae53817e98c00088.tar.gz compcert-kvx-a36a8c77b67ad1e054cb7aabae53817e98c00088.zip |
simplify sdiv code
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/mppa_k1c/vararg.S | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.S index e0b73811..d3626c25 100644 --- a/runtime/mppa_k1c/vararg.S +++ b/runtime/mppa_k1c/vararg.S @@ -80,10 +80,7 @@ __compcert_i32_umod: fmuld $r0 = $r0, $r1 ;; ffmsd $r2 = $r1, $r3 - ;; - sd 8[$r12] = $r0 - ;; - ld $r1 = 8[$r12] + copyd $r1 = $r0 ;; ffmad $r1 = $r2, $r0 ;; |