diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-08 11:38:52 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-08 11:38:52 +0200 |
commit | f28f05a915a0e9f3258a0e1a9fbbf5a1942f5ca4 (patch) | |
tree | 88240089620463c22469fe1fd648afc57d5fec24 /mppa_k1c/TargetPrinter.ml | |
parent | 5cb91df0e3faaca529798e14edb9c39046b27767 (diff) | |
parent | b75f59eeee0e8b73a7116fd49f08810e7d4382fe (diff) | |
download | compcert-kvx-f28f05a915a0e9f3258a0e1a9fbbf5a1942f5ca4.tar.gz compcert-kvx-f28f05a915a0e9f3258a0e1a9fbbf5a1942f5ca4.zip |
Merge remote-tracking branch 'origin/mppa-work' into mppa-refactor
Conflicts:
mppa_k1c/Asm.v
mppa_k1c/Asmblock.v
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 90ef6a4d..3aa6b319 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -529,6 +529,10 @@ module Target (*: TARGET*) = | Pmaddil (rd, rs, imm) -> fprintf oc " maddd %a = %a, %a\n" ireg rd ireg rs coqint64 imm + | Pcmove (bt, rd, rcond, rs) | Pcmoveu (bt, rd, rcond, rs) -> + fprintf oc " cmoved.%a %a? %a = %a\n" + bcond bt ireg rcond ireg rd ireg rs + let get_section_names name = let (text, lit) = match C2C.atom_sections name with |