diff options
Diffstat (limited to 'riscV/TargetPrinter.ml')
| -rw-r--r-- | riscV/TargetPrinter.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/riscV/TargetPrinter.ml b/riscV/TargetPrinter.ml index 3d258257..5d7e0461 100644 --- a/riscV/TargetPrinter.ml +++ b/riscV/TargetPrinter.ml @@ -404,11 +404,11 @@ module Target : TARGET = fprintf oc " fmax.s %a, %a, %a\n" freg fd freg fs1 freg fs2 | Pfeqs (rd, fs1, fs2) -> - fprintf oc " feq.s %a, %a, %a\n" ireg rd freg fs1 freg fs2 + fprintf oc " feq.s %a, %a, %a\n" ireg rd freg fs1 freg fs2 | Pflts (rd, fs1, fs2) -> - fprintf oc " flt.s %a, %a, %a\n" ireg rd freg fs1 freg fs2 + fprintf oc " flt.s %a, %a, %a\n" ireg rd freg fs1 freg fs2 | Pfles (rd, fs1, fs2) -> - fprintf oc " fle.s %a, %a, %a\n" ireg rd freg fs1 freg fs2 + fprintf oc " fle.s %a, %a, %a\n" ireg rd freg fs1 freg fs2 | Pfsqrts (fd, fs) -> fprintf oc " fsqrt.s %a, %a\n" freg fd freg fs |