diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-05-09 16:59:04 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-05-09 16:59:56 +0200 |
| commit | 1bed3383fb21e7604320c7eb4c877ceded447efa (patch) | |
| tree | e2bbe1fac10e587bb05ee7835a5a354032e80aae /mppa_k1c/TargetPrinter.ml | |
| parent | 34ba2d51f07a5050529512e888f3d7d56e2b6739 (diff) | |
| download | compcert-kvx-1bed3383fb21e7604320c7eb4c877ceded447efa.tar.gz compcert-kvx-1bed3383fb21e7604320c7eb4c877ceded447efa.zip | |
Replacing tabs by spaces in TargetPrinter
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index d92e55ac..114297c9 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -347,45 +347,45 @@ module Target (*: TARGET*) = | Pwfxm(n, dst) -> fprintf oc " wfxm $s%ld = %a\n" (camlint_of_coqint n) ireg dst | Pldu(dst, addr) -> - fprintf oc " ld.u %a = 0[%a]\n" ireg dst ireg addr + fprintf oc " ld.u %a = 0[%a]\n" ireg dst ireg addr | Plbzu(dst, addr) -> - fprintf oc " lbz.u %a = 0[%a]\n" ireg dst ireg addr + fprintf oc " lbz.u %a = 0[%a]\n" ireg dst ireg addr | Plhzu(dst, addr) -> - fprintf oc " lhz.u %a = 0[%a]\n" ireg dst ireg addr + fprintf oc " lhz.u %a = 0[%a]\n" ireg dst ireg addr | Plwzu(dst, addr) -> - fprintf oc " lwz.u %a = 0[%a]\n" ireg dst ireg addr + fprintf oc " lwz.u %a = 0[%a]\n" ireg dst ireg addr | Pawait -> - fprintf oc " await\n" + fprintf oc " await\n" | Psleep -> - fprintf oc " sleep\n" + fprintf oc " sleep\n" | Pstop -> - fprintf oc " stop\n" + fprintf oc " stop\n" | Pbarrier -> - fprintf oc " barrier\n" + fprintf oc " barrier\n" | Pfence -> - fprintf oc " fence\n" + fprintf oc " fence\n" | Pdinval -> - fprintf oc " dinval\n" + fprintf oc " dinval\n" | Pdinvall addr -> - fprintf oc " dinvall 0[%a]\n" ireg addr + fprintf oc " dinvall 0[%a]\n" ireg addr | Pdtouchl addr -> - fprintf oc " dtouchl 0[%a]\n" ireg addr + fprintf oc " dtouchl 0[%a]\n" ireg addr | Piinval -> - fprintf oc " iinval\n" + fprintf oc " iinval\n" | Piinvals addr -> - fprintf oc " iinvals 0[%a]\n" ireg addr + fprintf oc " iinvals 0[%a]\n" ireg addr | Pitouchl addr -> - fprintf oc " itouchl 0[%a]\n" ireg addr + fprintf oc " itouchl 0[%a]\n" ireg addr | Pdzerol addr -> - fprintf oc " dzerol 0[%a]\n" ireg 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 + 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 + fprintf oc " afaddw 0[%a] = %a\n" ireg addr ireg incr_res | Palclrd(res, addr) -> - fprintf oc " alclrd %a = 0[%a]\n" ireg res ireg addr + fprintf oc " alclrd %a = 0[%a]\n" ireg res ireg addr | Palclrw(res, addr) -> - fprintf oc " alclrw %a = 0[%a]\n" ireg res ireg addr + fprintf oc " alclrw %a = 0[%a]\n" ireg res ireg addr | Pjumptable (idx_reg, tbl) -> let lbl = new_label() in (* jumptables := (lbl, tbl) :: !jumptables; *) |