diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 17:05:04 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 17:05:04 +0100 |
commit | adfc93550f1e4948ed4f39d52a4f6eece9c8a35d (patch) | |
tree | 7f46e83f8828cd807319cca7ff461f99ebc2df0a /mppa_k1c/TargetPrinter.ml | |
parent | 685c2f76b5f8b320495868cfdcadbf203f50a0bd (diff) | |
download | compcert-kvx-adfc93550f1e4948ed4f39d52a4f6eece9c8a35d.tar.gz compcert-kvx-adfc93550f1e4948ed4f39d52a4f6eece9c8a35d.zip |
Added Olongoffloat, Ofloatoflong and doubleconv test
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 1a73ae7a..703863b7 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -296,8 +296,12 @@ module Target (*: TARGET*) = fprintf oc " zxwd %a = %a\n" ireg rd ireg rs | Pfloatwrnsz(rd, rs) -> fprintf oc " floatw.rn.s %a = %a, 0\n" ireg rd ireg rs + | Pfloatdrnsz(rd, rs) -> + fprintf oc " floatd.rn.s %a = %a, 0\n" ireg rd ireg rs | Pfixedwrzz(rd, rs) -> fprintf oc " fixedw.rz %a = %a, 0\n" ireg rd ireg rs + | Pfixeddrzz(rd, rs) -> + fprintf oc " fixedd.rz %a = %a, 0\n" ireg rd ireg rs (* Arith RI32 instructions *) | Pmake (rd, imm) -> |