diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-01-22 16:18:22 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-01-22 16:18:22 +0100 |
commit | 6acefcbbc51aa7d2edb7b2098a5b15d06e742604 (patch) | |
tree | 7c82b4e1c690ec27171dab9c15630818f08270c9 /mppa_k1c/TargetPrinter.ml | |
parent | 8909fb3df6fd282d6b8f24b288ef5d7ddbdb741a (diff) | |
download | compcert-kvx-6acefcbbc51aa7d2edb7b2098a5b15d06e742604.tar.gz compcert-kvx-6acefcbbc51aa7d2edb7b2098a5b15d06e742604.zip |
Added sxwd and zxwd support
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 098027f2..36fab151 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -268,11 +268,9 @@ module Target (*: TARGET*) = fprintf oc " sd %a[%a] = %a\n" offset ofs ireg ra ireg rd (* Arith R instructions *) - | Pcvtw2l(rd) -> assert false - (* Converted to no instruction in Asmexpand *) (* Arith RR instructions *) - | Pmv(rd, rs) | Pmvw2l(rd, rs) -> + | Pmv(rd, rs) -> fprintf oc " addd %a = %a, 0\n" ireg rd ireg rs | Pcvtl2w(rd, rs) -> assert false | Pnegl(rd, rs) -> assert Archi.ptr64; @@ -281,6 +279,10 @@ module Target (*: TARGET*) = fprintf oc " negw %a = %a\n" ireg rd ireg rs | Pfnegd(rd, rs) -> fprintf oc " fnegd %a = %a\n" ireg rs ireg rd + | Psxwd(rd, rs) -> + fprintf oc " sxwd %a = %a\n" ireg rd ireg rs + | Pzxwd(rd, rs) -> + fprintf oc " zxwd %a = %a\n" ireg rd ireg rs (* Arith RI32 instructions *) | Pmake (rd, imm) -> |