diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2023-02-07 10:03:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-07 10:03:41 +0100 |
| commit | 243c0f7ce4e8b6c22ddd930bd470ab74187e5256 (patch) | |
| tree | cb824d64ac60ff7d3c52d2e99fa68c3a22e7bf99 | |
| parent | 2db601dc7c8055d2b666b14d57dc6d5d1c7cc077 (diff) | |
| download | compcert-243c0f7ce4e8b6c22ddd930bd470ab74187e5256.tar.gz compcert-243c0f7ce4e8b6c22ddd930bd470ab74187e5256.zip | |
RISC-V: print flt.s, feq.s, fle.s with a tab after the mnemonic (#481)
| -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 |