diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-18 17:24:20 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-18 17:24:20 +0200 |
commit | 2ed659b796c97de9d2854e73dfe3e803a92a67da (patch) | |
tree | 10e7d84cd25c877c4a065a0da3e9743aa1db75b3 /mppa_k1c | |
parent | 31802695bf6673831674836817456142ab293e6b (diff) | |
download | compcert-kvx-2ed659b796c97de9d2854e73dfe3e803a92a67da.tar.gz compcert-kvx-2ed659b796c97de9d2854e73dfe3e803a92a67da.zip |
Typo in Prevsubxw
Diffstat (limited to 'mppa_k1c')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 8365d54f..674695d9 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -540,7 +540,7 @@ module Target (*: TARGET*) = | Psubw (rd, rs1, rs2) -> fprintf oc " sbfw %a = %a, %a\n" ireg rd ireg rs2 ireg rs1 | Prevsubxw (s14, rd, rs1, rs2) -> - fprintf oc " subx%dw %a = %a, %a\n" (scale_of_shift1_4 s14) + fprintf oc " sbfx%dw %a = %a, %a\n" (scale_of_shift1_4 s14) ireg rd ireg rs1 ireg rs2 | Pmulw (rd, rs1, rs2) -> fprintf oc " mulw %a = %a, %a\n" ireg rd ireg rs1 ireg rs2 |