diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-16 14:29:15 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-16 14:29:15 +0200 |
commit | acc7b444ba2ccdf7273bb0da128a6cdfe392dc5d (patch) | |
tree | fdc3cd5700dd469dbff75bbb89c0483431ed9848 /runtime | |
parent | ca92d5ab93f2ee63ff416a096fdbfa569a64c717 (diff) | |
download | compcert-kvx-acc7b444ba2ccdf7273bb0da128a6cdfe392dc5d.tar.gz compcert-kvx-acc7b444ba2ccdf7273bb0da128a6cdfe392dc5d.zip |
simplify sdiv code
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/mppa_k1c/vararg.S | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.S index 2050c9aa..e0b73811 100644 --- a/runtime/mppa_k1c/vararg.S +++ b/runtime/mppa_k1c/vararg.S @@ -62,7 +62,6 @@ __compcert_i32_smod: __compcert_i32_udiv: __compcert_i32_umod: sxwd $r0 = $r0 - ;; /* Can't issue next in the same bundle */ sxwd $r1 = $r1 ;; /* Can't issue next in the same bundle */ make $r2 = 0x3ff0000000000000 @@ -74,15 +73,8 @@ __compcert_i32_umod: ;; floatw.rn.s $r1 = $r1, 0 ;; - ;; -#APP -# 16 "clock_int_div2.c" 1 finvw $r1=$r1 -# 0 "" 2 - ;; - ;; -#NO_APP fwidenlwd $r1 = $r1 ;; fmuld $r0 = $r0, $r1 |