diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 15:26:03 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 15:26:03 +0200 |
| commit | a6c79438ae754d969558bd37eb3a7676be6e66aa (patch) | |
| tree | 18f70fc6ef416e53638c445fa8ca745aef0b0fe1 /mppa_k1c/TargetPrinter.ml | |
| parent | 5e35117f8dd7cc4c548ecd704e11f3ca8845dedd (diff) | |
| download | compcert-kvx-a6c79438ae754d969558bd37eb3a7676be6e66aa.tar.gz compcert-kvx-a6c79438ae754d969558bd37eb3a7676be6e66aa.zip | |
MPPA - Ocast32signed
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 16d75df3..3e4c3ff6 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -199,7 +199,7 @@ module Target : TARGET = fprintf oc " get %a = %a\n;;\n" ireg rd preg rs | Pset (rd, rs) -> fprintf oc " set %a = %a\n;;\n" preg rd ireg rs - | Pmv(rd, rs) -> + | Pmv(rd, rs) | Pmvw2l(rd, rs) -> fprintf oc " addd %a = %a, 0\n;;\n" ireg rd ireg rs | Paddiw (rd, rs, imm) -> @@ -276,7 +276,7 @@ module Target : TARGET = assert false | Pfreeframe(sz, ofs) -> assert false - | Pcvtl2w _ -> assert false + | Pcvtl2w _ | Pcvtw2l _ -> assert false (* Pseudo-instructions that remain *) | Plabel lbl -> |