diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 09:47:01 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 09:47:01 +0200 |
| commit | efd88a7e6fc5e7eacff6cb76830b27f334b46daa (patch) | |
| tree | 512494eb551bf03dfa383b0cecc4e33756365e1e /mppa_k1c | |
| parent | 6fc8d55b1bd8a14b9c3b530e9ee24beee9a8afde (diff) | |
| parent | 83cc11add90eea576a798bacf821a70a28d4d9cc (diff) | |
| download | compcert-kvx-efd88a7e6fc5e7eacff6cb76830b27f334b46daa.tar.gz compcert-kvx-efd88a7e6fc5e7eacff6cb76830b27f334b46daa.zip | |
Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-div
Diffstat (limited to 'mppa_k1c')
| -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 15f05960..96779517 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -173,10 +173,10 @@ module Target (*: TARGET*) = (* Associate labels to floating-point constants and to symbols. *) let print_tbl oc (lbl, tbl) = - fprintf oc " .balign 4\n"; + fprintf oc " .balign 8\n"; fprintf oc "%a:\n" label lbl; List.iter - (fun l -> fprintf oc " .4byte %a\n" + (fun l -> fprintf oc " .8byte %a\n" print_label l) tbl @@ -408,9 +408,9 @@ module Target (*: TARGET*) = fprintf oc "%s jumptable [ " comment; List.iter (fun l -> fprintf oc "%a " print_label l) tbl; fprintf oc "]\n"; - fprintf oc " make %a = %a\n ;;\n" ireg base_reg label lbl; - fprintf oc " lwz.xs %a = %a[%a]\n ;;\n" ireg base_reg ireg idx_reg ireg base_reg; - fprintf oc " igoto %a\n ;;\n" ireg base_reg; + fprintf oc " make %a = %a\n ;;\n" ireg base_reg label lbl; + fprintf oc " ld.xs %a = %a[%a]\n ;;\n" ireg base_reg ireg idx_reg ireg base_reg; + fprintf oc " igoto %a\n ;;\n" ireg base_reg; section oc Section_jumptable; print_tbl oc (lbl, tbl); section oc Section_text |