diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 15:35:01 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 15:35:01 +0200 |
commit | 1ecd47e848d3073c7317dc39c4fa72dbac66dd60 (patch) | |
tree | 5b3d09bd9d1481fd09c1e97f9e3f8d5f75e96c95 /mppa_k1c/TargetPrinter.ml | |
parent | a6c79438ae754d969558bd37eb3a7676be6e66aa (diff) | |
download | compcert-kvx-1ecd47e848d3073c7317dc39c4fa72dbac66dd60.tar.gz compcert-kvx-1ecd47e848d3073c7317dc39c4fa72dbac66dd60.zip |
MPPA - Oshr
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 3e4c3ff6..00129c97 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -215,6 +215,8 @@ module Target : TARGET = fprintf oc " srlw %a = %a, %a\n;;\n" ireg rd ireg rs coqint64 imm | Psrlil (rd, rs, imm) -> fprintf oc " srld %a = %a, %a\n;;\n" ireg rd ireg rs coqint64 imm + | Psraw (rd, rs1, rs2) -> + fprintf oc " sraw %a = %a, %a\n;;\n" ireg rd ireg rs1 ireg rs2 | Poril (rd, rs, imm) -> assert Archi.ptr64; fprintf oc " ord %a = %a, %a\n;;\n" ireg rd ireg rs coqint64 imm |