From 243c0f7ce4e8b6c22ddd930bd470ab74187e5256 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 7 Feb 2023 10:03:41 +0100 Subject: RISC-V: print flt.s, feq.s, fle.s with a tab after the mnemonic (#481) --- riscV/TargetPrinter.ml | 6 +++--- 1 file 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 -- cgit