diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-01 22:49:37 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-01 22:49:37 +0200 |
| commit | 49f970ff21e05135dba6b1b32d52c77564cdcee3 (patch) | |
| tree | 6e83f812423afad03d2fc137f418722626f79eb5 | |
| parent | 14d2059195b5c66cd7e77184b0e76e95147aaaa9 (diff) | |
| download | compcert-kvx-49f970ff21e05135dba6b1b32d52c77564cdcee3.tar.gz compcert-kvx-49f970ff21e05135dba6b1b32d52c77564cdcee3.zip | |
fix targetprinter bug for .xs
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 47927364..62b02f58 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -359,13 +359,13 @@ module Target (*: TARGET*) = fprintf oc " ld%a %a = %a[%a]\n" xscale adr ireg rd addressing adr ireg ra | Psb(rd, ra, adr) -> - fprintf oc " sb %a[%a] = %a\n" addressing adr ireg ra ireg rd + fprintf oc " sb%a %a[%a] = %a\n" xscale adr addressing adr ireg ra ireg rd | Psh(rd, ra, adr) -> - fprintf oc " sh %a[%a] = %a\n" addressing adr ireg ra ireg rd + fprintf oc " sh%a %a[%a] = %a\n" xscale adr addressing adr ireg ra ireg rd | Psw(rd, ra, adr) | Psw_a(rd, ra, adr) | Pfss(rd, ra, adr) -> - fprintf oc " sw %a[%a] = %a\n" addressing adr ireg ra ireg rd + fprintf oc " sw%a %a[%a] = %a\n" xscale adr addressing adr ireg ra ireg rd | Psd(rd, ra, adr) | Psd_a(rd, ra, adr) | Pfsd(rd, ra, adr) -> assert Archi.ptr64; - fprintf oc " sd %a[%a] = %a\n" addressing adr ireg ra ireg rd + fprintf oc " sd%a %a[%a] = %a\n" xscale adr addressing adr ireg ra ireg rd (* Arith R instructions *) |