aboutsummaryrefslogtreecommitdiffstats
path: root/mppa_k1c/TargetPrinter.ml
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-02-27 14:33:14 +0100
committerCyril SIX <cyril.six@kalray.eu>2019-02-27 14:33:14 +0100
commitb09dea1ebfa5358e4d866e03e5a024c968c6a0b8 (patch)
treed7f1cb980c22b2bd777299e8e897e9d5805e8847 /mppa_k1c/TargetPrinter.ml
parentb31983dea996d3149cb188efe4f4a32690ed49ad (diff)
downloadcompcert-kvx-b09dea1ebfa5358e4d866e03e5a024c968c6a0b8.tar.gz
compcert-kvx-b09dea1ebfa5358e4d866e03e5a024c968c6a0b8.zip
Fixed some additional operands inversions
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r--mppa_k1c/TargetPrinter.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml
index baeb493a..c1339af5 100644
--- a/mppa_k1c/TargetPrinter.ml
+++ b/mppa_k1c/TargetPrinter.ml
@@ -295,13 +295,13 @@ module Target (*: TARGET*) =
| Pfabsw(rd, rs) ->
fprintf oc " fabsw %a = %a\n" ireg rd ireg rs
| Pfnegd(rd, rs) ->
- fprintf oc " fnegd %a = %a\n" ireg rs ireg rd
+ fprintf oc " fnegd %a = %a\n" ireg rd ireg rs
| Pfnegw(rd, rs) ->
- fprintf oc " fnegw %a = %a\n" ireg rs ireg rd
+ fprintf oc " fnegw %a = %a\n" ireg rd ireg rs
| Pfnarrowdw(rd, rs) ->
- fprintf oc " fnarrowdw %a = %a\n" ireg rs ireg rd
+ fprintf oc " fnarrowdw %a = %a\n" ireg rd ireg rs
| Pfwidenlwd(rd, rs) ->
- fprintf oc " fwidenlwd %a = %a\n" ireg rs ireg rd
+ fprintf oc " fwidenlwd %a = %a\n" ireg rd ireg rs
| Pfloatwrnsz(rd, rs) ->
fprintf oc " floatw.rn.s %a = %a, 0\n" ireg rd ireg rs
| Pfloatudrnsz(rd, rs) ->