diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 17:13:41 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 17:13:41 +0200 |
commit | 9fd4e33a6dd2c2dc88103711af62a7214dbd4109 (patch) | |
tree | b39d6da151bd4c8d79a8009395afb2b54dbc6860 /mppa_k1c/TargetPrinter.ml | |
parent | d407e23fe62ce837082820f777564c0050cf66c1 (diff) | |
download | compcert-kvx-9fd4e33a6dd2c2dc88103711af62a7214dbd4109.tar.gz compcert-kvx-9fd4e33a6dd2c2dc88103711af62a7214dbd4109.zip |
Osub and Omul
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 00129c97..ca26dbbe 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -211,6 +211,12 @@ module Target : TARGET = | Paddl(rd, rs1, rs2) -> assert Archi.ptr64; fprintf oc " addd %a = %a, %a\n;;\n" ireg rd ireg rs1 ireg rs2 + | Psubw(rd, rs1, rs2) -> + fprintf oc " sbfwd %a = %a, %a\n;;\n" ireg rd ireg rs1 ireg rs2 + + | Pmulw(rd, rs1, rs2) -> + fprintf oc " mulw %a = %a, %a\n;;\n" ireg rd ireg rs1 ireg rs2 + | Psrliw (rd, rs, imm) -> fprintf oc " srlw %a = %a, %a\n;;\n" ireg rd ireg rs coqint64 imm | Psrlil (rd, rs, imm) -> |