diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-09 16:05:42 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-13 16:19:24 +0200 |
commit | 0ef341c554aff8d70f879411bb0918fb8349f2e4 (patch) | |
tree | adb56368a81714afdd37e221c3d593d86f0ba5b2 /mppa_k1c/TargetPrinter.ml | |
parent | 9fd4e33a6dd2c2dc88103711af62a7214dbd4109 (diff) | |
download | compcert-kvx-0ef341c554aff8d70f879411bb0918fb8349f2e4.tar.gz compcert-kvx-0ef341c554aff8d70f879411bb0918fb8349f2e4.zip |
MPPA - Added optim for long unsigned cmp to 0.
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-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 ca26dbbe..af7b7b30 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -252,7 +252,7 @@ module Target : TARGET = fprintf oc " compw.%a %a = %a, %a\n;;\n" icond it ireg rd ireg rs1 ireg rs2 | Pcompd (it, rd, rs1, rs2) -> fprintf oc " compd.%a %a = %a, %a\n;;\n" icond it ireg rd ireg rs1 ireg rs2 - | Pcb (bt, r, lbl) -> + | Pcb (bt, r, lbl) | Pcbu (bt, r, lbl) -> fprintf oc " cb.%a %a?%a\n;;\n" bcond bt ireg r print_label lbl | Plb(rd, ra, ofs) -> |