diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-11 14:20:47 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-11 14:20:47 +0200 |
| commit | 0e5f7395d185cde931c11fb3a12e6c2af03a7ebf (patch) | |
| tree | 74c20ab43f4316e4e7a0748ea2224ecd92a2bce6 /mppa_k1c/TargetPrinter.ml | |
| parent | 9fbf11fb19617643e816717a288901b4ba17a2b7 (diff) | |
| download | compcert-kvx-0e5f7395d185cde931c11fb3a12e6c2af03a7ebf.tar.gz compcert-kvx-0e5f7395d185cde931c11fb3a12e6c2af03a7ebf.zip | |
afaddd / afaddw
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 7b22a857..4599f2a1 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -312,6 +312,10 @@ module Target (*: TARGET*) = fprintf oc " itouchl 0[%a]\n" ireg addr | Pdzerol addr -> fprintf oc " dzerol 0[%a]\n" ireg addr + | Pafaddd(addr, incr_res) -> + fprintf oc " afaddd 0[%a] = %a\n" ireg addr ireg incr_res + | Pafaddw(addr, incr_res) -> + fprintf oc " afaddw 0[%a] = %a\n" ireg addr ireg incr_res | Pjumptable (idx_reg, tbl) -> let lbl = new_label() in |