diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 16:47:18 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 16:47:18 +0100 |
| commit | 685c2f76b5f8b320495868cfdcadbf203f50a0bd (patch) | |
| tree | de1e379c6c99cdc94ecaf930318c79718dcce9cb /mppa_k1c/TargetPrinter.ml | |
| parent | 41109bd86942b028240ac20758ff29853b025534 (diff) | |
| download | compcert-kvx-685c2f76b5f8b320495868cfdcadbf203f50a0bd.tar.gz compcert-kvx-685c2f76b5f8b320495868cfdcadbf203f50a0bd.zip | |
Added Ointofsingle + floatconv unit test
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 9a96cf3b..1a73ae7a 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -296,6 +296,8 @@ 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 + | Pfixedwrzz(rd, rs) -> + fprintf oc " fixedw.rz %a = %a, 0\n" ireg rd ireg rs (* Arith RI32 instructions *) | Pmake (rd, imm) -> |