diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-08 13:19:08 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-08 13:19:08 +0200 |
| commit | 4d608532aaeccec5a07a3c378682868b85dcbeec (patch) | |
| tree | f109217f57d4cafa776a5eddbdf83d5c5df75651 /mppa_k1c | |
| parent | 0b99415251e56c64adb5caeec8f7c9c4f77ac926 (diff) | |
| download | compcert-kvx-4d608532aaeccec5a07a3c378682868b85dcbeec.tar.gz compcert-kvx-4d608532aaeccec5a07a3c378682868b85dcbeec.zip | |
simplification d'un code moche pour les variables thread-local
Diffstat (limited to 'mppa_k1c')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index a2318469..d92e55ac 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -195,7 +195,7 @@ module Target (*: TARGET*) = fprintf oc " make %a = %s\n" ireg r (extern_atom id) end else begin if (extern_atom id) = "_impure_thread_data" then begin - fprintf oc " make %a = @tprel(%a)\n;;\n addd %a = %a, $r13\n" ireg r symbol_offset (id, ofs) ireg r ireg r + fprintf oc " addd %a = $r13, @tprel(%a)\n" ireg r symbol_offset (id, ofs) end else begin fprintf oc " make %a = %a\n" ireg r symbol_offset (id, ofs) end |