diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-03 16:32:35 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-03 16:32:35 +0200 |
| commit | 919d1dfbf22967ae9686d5b982b51cfa707b5edd (patch) | |
| tree | a16e3dc736f47cbf272f0e821909db04d42cfd69 /mppa_k1c/TargetPrinter.ml | |
| parent | d9ac009e14007e7b7e45e82f6187ae31d14aee94 (diff) | |
| download | compcert-kvx-919d1dfbf22967ae9686d5b982b51cfa707b5edd.tar.gz compcert-kvx-919d1dfbf22967ae9686d5b982b51cfa707b5edd.zip | |
begin add Plq
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 9d42169a..326b802d 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -392,6 +392,8 @@ module Target (*: TARGET*) = fprintf oc " lws%a %a = %a[%a]\n" xscale adr ireg rd addressing adr ireg ra | Pld(rd, ra, adr) | Pfld(rd, ra, adr) | Pld_a(rd, ra, adr) -> assert Archi.ptr64; fprintf oc " ld%a %a = %a[%a]\n" xscale adr ireg rd addressing adr ireg ra + | Plq(rd, ra, adr) -> + fprintf oc " lq%a %a = %a[%a]\n" xscale adr gpreg_q rd addressing adr ireg ra | Psb(rd, ra, adr) -> fprintf oc " sb%a %a[%a] = %a\n" xscale adr addressing adr ireg ra ireg rd |