diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 17:41:27 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 17:41:27 +0100 |
commit | 59948b3348964f4b16f408ffe690f2c78ca80959 (patch) | |
tree | 5bffab7d0225ca82abd1fde068d80ad78c30b651 /mppa_k1c/TargetPrinter.ml | |
parent | 5f7252105c9c639078ca3cc313502c647779d2f8 (diff) | |
download | compcert-kvx-59948b3348964f4b16f408ffe690f2c78ca80959.tar.gz compcert-kvx-59948b3348964f4b16f408ffe690f2c78ca80959.zip |
Added double comparisons
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 ac2e3b27..5d59e7d2 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -359,6 +359,8 @@ module Target (*: TARGET*) = | Pfcompw (ft, rd, rs1, rs2) -> fprintf oc " fcompw.%a %a = %a, %a\n" fcond ft ireg rd ireg rs1 ireg rs2 + | Pfcompl (ft, rd, rs1, rs2) -> + fprintf oc " fcompd.%a %a = %a, %a\n" fcond ft ireg rd ireg rs1 ireg rs2 | Paddw (rd, rs1, rs2) -> fprintf oc " addw %a = %a, %a\n" ireg rd ireg rs1 ireg rs2 |