diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 14:44:09 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 14:44:09 +0100 |
commit | df32503f46a62b18f92363ac7f81ec0d5b36c64a (patch) | |
tree | b11b1282e4b44e96c84dcaad438ee4e264fcacc9 /mppa_k1c/TargetPrinter.ml | |
parent | 50affca71434b1e1ca3e75ce8f62a304ed1913cf (diff) | |
download | compcert-kvx-df32503f46a62b18f92363ac7f81ec0d5b36c64a.tar.gz compcert-kvx-df32503f46a62b18f92363ac7f81ec0d5b36c64a.zip |
Ointuofsingle done
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 8d053cde..acb128de 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -312,6 +312,8 @@ module Target (*: TARGET*) = 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 + | Pfixeduwrzz(rd, rs) -> + fprintf oc " fixeduw.rz %a = %a, 0\n" ireg rd ireg rs | Pfixeddrzz(rd, rs) | Pfixeddrzz_i32(rd, rs) -> fprintf oc " fixedd.rz %a = %a, 0\n" ireg rd ireg rs | Pfixedudrzz(rd, rs) | Pfixedudrzz_i32(rd, rs) -> |