diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 16:24:56 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 16:24:56 +0100 |
commit | 41109bd86942b028240ac20758ff29853b025534 (patch) | |
tree | 71e37e2c7a2733da4e637d4242bd4d54964673fc /mppa_k1c/TargetPrinter.ml | |
parent | 0a56ab26bc776468e6cf462cb5136fd62d4eb44a (diff) | |
download | compcert-kvx-41109bd86942b028240ac20758ff29853b025534.tar.gz compcert-kvx-41109bd86942b028240ac20758ff29853b025534.zip |
Added Osingleofint
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 aa6c167d..9a96cf3b 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -294,6 +294,8 @@ module Target (*: TARGET*) = fprintf oc " sxwd %a = %a\n" ireg rd ireg rs | Pzxwd(rd, rs) -> 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 (* Arith RI32 instructions *) | Pmake (rd, imm) -> |