diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-27 14:33:14 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-27 14:33:14 +0100 |
commit | b09dea1ebfa5358e4d866e03e5a024c968c6a0b8 (patch) | |
tree | d7f1cb980c22b2bd777299e8e897e9d5805e8847 /mppa_k1c/TargetPrinter.ml | |
parent | b31983dea996d3149cb188efe4f4a32690ed49ad (diff) | |
download | compcert-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.ml | 8 |
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) -> |