diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-03-19 11:42:30 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:08 +0200 |
commit | 1c1dd8c9cfcc98f183f6844b6c2f4ae60edd165d (patch) | |
tree | fa2c37098369a22ec7e6150ea7e4ed5fd4e529d3 /mppa_k1c/TargetPrinter.ml | |
parent | 734ef70ef9edcd69d822d573628d5f0ca282ddcb (diff) | |
download | compcert-kvx-1c1dd8c9cfcc98f183f6844b6c2f4ae60edd165d.tar.gz compcert-kvx-1c1dd8c9cfcc98f183f6844b6c2f4ae60edd165d.zip |
MPPA - Activated Paddw and Paddiw + ops
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index e51ad51f..71d2f22d 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -168,9 +168,9 @@ module Target : TARGET = fprintf oc " addd %a = %a, 0\n;;\n" ireg rd ireg rs (* 32-bit integer register-immediate instructions *) - (*| Paddiw (rd, rs, imm) -> - fprintf oc " addi%t %a, %a, %a\n" w ireg rd ireg rs coqint imm - | Psltiw (rd, rs, imm) -> + | Paddiw (rd, rs, imm) -> + fprintf oc " addd %a = %a, %a\n;;\n" ireg rd ireg rs coqint64 imm + (*| Psltiw (rd, rs, imm) -> fprintf oc " slti %a, %a, %a\n" ireg rd ireg rs coqint imm | Psltiuw (rd, rs, imm) -> fprintf oc " sltiu %a, %a, %a\n" ireg rd ireg rs coqint imm @@ -190,9 +190,9 @@ module Target : TARGET = fprintf oc " lui %a, %a\n" ireg rd coqint imm (* 32-bit integer register-register instructions *) - | Paddw(rd, rs1, rs2) -> - fprintf oc " add%t %a, %a, %a\n" w ireg rd ireg rs1 ireg rs2 - | Psubw(rd, rs1, rs2) -> + *)| Paddw(rd, rs1, rs2) -> + fprintf oc " addd %a = %a, %a\n;;\n" ireg rd ireg rs1 ireg rs2 + (*| Psubw(rd, rs1, rs2) -> fprintf oc " sub%t %a, %a, %a\n" w ireg rd ireg rs1 ireg rs2 | Pmulw(rd, rs1, rs2) -> |