diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-03-21 17:46:45 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:09 +0200 |
commit | 447ceed8642e2ed000a20036298adb8448ac594b (patch) | |
tree | 8d5935601d9c48818e3ea7e1b44e73f0eec74302 /mppa_k1c/TargetPrinter.ml | |
parent | 0a7a6ed916a95b53b63a9d4bdf1e545aacf3f82b (diff) | |
download | compcert-kvx-447ceed8642e2ed000a20036298adb8448ac594b.tar.gz compcert-kvx-447ceed8642e2ed000a20036298adb8448ac594b.zip |
MPPA - Added Msetstack + bunch of store --> on a des call !
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index fe3a57ac..913127df 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -159,9 +159,9 @@ module Target : TARGET = (* Printing of instructions *) let print_instruction oc = function | Pcall(s) -> - fprintf oc " call %a\n" symbol s + fprintf oc " call %a\n;;\n" symbol s | Pgoto(s) -> - fprintf oc " goto %a\n" symbol s + fprintf oc " goto %a\n;;\n" symbol s | Pret -> fprintf oc " ret\n;;\n" | Pget (rd, rs) -> @@ -359,9 +359,9 @@ module Target : TARGET = fprintf oc " sb %a, %a(%a)\n" ireg rd offset ofs ireg ra | Psh(rd, ra, ofs) -> fprintf oc " sh %a, %a(%a)\n" ireg rd offset ofs ireg ra - | Psw(rd, ra, ofs) | Psw_a(rd, ra, ofs) -> - fprintf oc " sw %a, %a(%a)\n" ireg rd offset ofs ireg ra - *)| Psd(rd, ra, ofs) (*| Psd_a(rd, ra, ofs)*) -> assert Archi.ptr64; + *)| Psw(rd, ra, ofs) | Psw_a(rd, ra, ofs) | Pfss(rd, ra, ofs) -> + fprintf oc " sw %a[%a] = %a\n" offset ofs ireg ra ireg rd + | Psd(rd, ra, ofs) | Psd_a(rd, ra, ofs) | Pfsd(rd, ra, ofs) -> assert Archi.ptr64; fprintf oc " sd %a[%a] = %a\n;;\n" offset ofs ireg ra ireg rd |