aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/TargetPrinter.ml
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-02-27 12:06:53 +0100
committerCyril SIX <cyril.six@kalray.eu>2019-02-27 12:06:53 +0100
commitb31983dea996d3149cb188efe4f4a32690ed49ad (patch)
tree1d6448b30aff05b0ec754a9acd04513919729d6e /mppa_k1c/TargetPrinter.ml
parent3c72ae21ae10f3f3f379cc45ef145bc7d90feed7 (diff)
downloadcompcert-kvx-b31983dea996d3149cb188efe4f4a32690ed49ad.tar.gz
compcert-kvx-b31983dea996d3149cb188efe4f4a32690ed49ad.zip
FIX the order of operands of float sub was inverted
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r--mppa_k1c/TargetPrinter.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml
index bbb608de..baeb493a 100644
--- a/mppa_k1c/TargetPrinter.ml
+++ b/mppa_k1c/TargetPrinter.ml
@@ -382,9 +382,9 @@ module Target (*: TARGET*) =
| Pfaddw (rd, rs1, rs2) ->
fprintf oc " faddw %a = %a, %a\n" ireg rd ireg rs1 ireg rs2
| Pfsbfd (rd, rs1, rs2) ->
- fprintf oc " fsbfd %a = %a, %a\n" ireg rd ireg rs1 ireg rs2
+ fprintf oc " fsbfd %a = %a, %a\n" ireg rd ireg rs2 ireg rs1
| Pfsbfw (rd, rs1, rs2) ->
- fprintf oc " fsbfw %a = %a, %a\n" ireg rd ireg rs1 ireg rs2
+ fprintf oc " fsbfw %a = %a, %a\n" ireg rd ireg rs2 ireg rs1
| Pfmuld (rd, rs1, rs2) ->
fprintf oc " fmuld %a = %a, %a\n" ireg rd ireg rs1 ireg rs2
| Pfmulw (rd, rs1, rs2) ->