diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-13 09:19:44 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-13 09:19:44 +0200 |
commit | 67be67deebe911c6f202338178e53787f17dd76d (patch) | |
tree | bea3e14cfebd18f2274214d61e09c633add457d8 /mppa_k1c/TargetPrinter.ml | |
parent | 53b3704180fc57bcf73b933ffa45028a33dab58b (diff) | |
download | compcert-kvx-67be67deebe911c6f202338178e53787f17dd76d.tar.gz compcert-kvx-67be67deebe911c6f202338178e53787f17dd76d.zip |
dirty fix for issue #112
That should not be the final say on this.
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index ca158cb9..5aedd557 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -393,10 +393,14 @@ module Target (*: TARGET*) = fprintf oc " floatuw.rn.s %a = %a, 0\n" ireg rd ireg rs | Pfloatwrnsz(rd, rs) -> fprintf oc " floatw.rn.s %a = %a, 0\n" ireg rd ireg rs - | Pfloatudrnsz(rd, rs) | Pfloatudrnsz_i32(rd, rs) -> + | Pfloatudrnsz(rd, rs) -> fprintf oc " floatud.rn.s %a = %a, 0\n" ireg rd ireg rs - | Pfloatdrnsz(rd, rs) | Pfloatdrnsz_i32(rd, rs) -> - fprintf oc " floatd.rn.s %a = %a, 0\n" ireg rd ireg rs + | Pfloatudrnsz_i32(rd, rs) -> + fprintf oc " zxwd %a = %a\n # FIXME\n ;;\n floatud.rn.s %a = %a, 0\n" ireg rd ireg rs ireg rd ireg rd + | Pfloatdrnsz(rd, rs) -> + fprintf oc " floatd.rn.s %a = %a, 0\n" ireg rd ireg rs + | Pfloatdrnsz_i32(rd, rs) -> + fprintf oc " sxwd %a = %a\n # FIXME\n ;;\n floatd.rn.s %a = %a, 0\n" ireg rd ireg rs ireg rd ireg rd | Pfixedwrzz(rd, rs) -> fprintf oc " fixedw.rz %a = %a, 0\n" ireg rd ireg rs | Pfixeduwrzz(rd, rs) -> |