diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-08 14:31:02 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-08 14:31:02 +0100 |
| commit | fdc5df430f2823004d2506cf579f7126d46d3a26 (patch) | |
| tree | 01eadcbb4b990edfc359818beb5acffc5cea9ac4 /mppa_k1c/TargetPrinter.ml | |
| parent | a57a83d632afb029c1e12c9851a8631ace7ded01 (diff) | |
| download | compcert-kvx-fdc5df430f2823004d2506cf579f7126d46d3a26.tar.gz compcert-kvx-fdc5df430f2823004d2506cf579f7126d46d3a26.zip | |
Minor fix on TargetPrinter (coqint instead of coqint64 for adequate types)
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 5d59e7d2..70d9ff6c 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -415,21 +415,21 @@ module Target (*: TARGET*) = (* Arith RRI32 instructions *) | Pcompiw (it, rd, rs, imm) -> - fprintf oc " compw.%a %a = %a, %a\n" icond it ireg rd ireg rs coqint64 imm + fprintf oc " compw.%a %a = %a, %a\n" icond it ireg rd ireg rs coqint imm | Paddiw (rd, rs, imm) -> - fprintf oc " addw %a = %a, %a\n" ireg rd ireg rs coqint64 imm + fprintf oc " addw %a = %a, %a\n" ireg rd ireg rs coqint imm | Pandiw (rd, rs, imm) -> - fprintf oc " andw %a = %a, %a\n" ireg rd ireg rs coqint64 imm + fprintf oc " andw %a = %a, %a\n" ireg rd ireg rs coqint imm | Poriw (rd, rs, imm) -> - fprintf oc " orw %a = %a, %a\n" ireg rd ireg rs coqint64 imm + fprintf oc " orw %a = %a, %a\n" ireg rd ireg rs coqint imm | Pxoriw (rd, rs, imm) -> - fprintf oc " xorw %a = %a, %a\n" ireg rd ireg rs coqint64 imm + fprintf oc " xorw %a = %a, %a\n" ireg rd ireg rs coqint imm | Psraiw (rd, rs, imm) -> - fprintf oc " sraw %a = %a, %a\n" ireg rd ireg rs coqint64 imm + fprintf oc " sraw %a = %a, %a\n" ireg rd ireg rs coqint imm | Psrliw (rd, rs, imm) -> - fprintf oc " srlw %a = %a, %a\n" ireg rd ireg rs coqint64 imm + fprintf oc " srlw %a = %a, %a\n" ireg rd ireg rs coqint imm | Pslliw (rd, rs, imm) -> - fprintf oc " sllw %a = %a, %a\n" ireg rd ireg rs coqint64 imm + fprintf oc " sllw %a = %a, %a\n" ireg rd ireg rs coqint imm | Psllil (rd, rs, imm) -> fprintf oc " slld %a = %a, %a\n" ireg rd ireg rs coqint64 imm | Psrlil (rd, rs, imm) -> |