diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-18 15:18:21 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-18 15:18:21 +0100 |
commit | 202050c6240a11c94cc8b6ab599022fee7bd2471 (patch) | |
tree | 25c312f2ef9a7435132c9b45e66f28cb509f8ab8 /mppa_k1c/TargetPrinter.ml | |
parent | 6cd9c6faecaa830160fbca31924e29a5e791f499 (diff) | |
download | compcert-kvx-202050c6240a11c94cc8b6ab599022fee7bd2471.tar.gz compcert-kvx-202050c6240a11c94cc8b6ab599022fee7bd2471.zip |
bug de pretty printing
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index c3de5206..511537ce 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -488,9 +488,9 @@ module Target (*: TARGET*) = | Pnxoril (rd, rs, imm) -> assert Archi.ptr64; fprintf oc " nxord %a = %a, %a\n" ireg rd ireg rs coqint64 imm | Pandnil (rd, rs, imm) -> - fprintf oc " andnd %a = %a, %a\n" ireg rd ireg rs coqint imm + fprintf oc " andnd %a = %a, %a\n" ireg rd ireg rs coqint64 imm | Pornil (rd, rs, imm) -> - fprintf oc " ornd %a = %a, %a\n" ireg rd ireg rs coqint imm + fprintf oc " ornd %a = %a, %a\n" ireg rd ireg rs coqint64 imm let get_section_names name = let (text, lit) = |