diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-09 00:04:11 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-09 00:04:11 +0200 |
| commit | 3d73bc6d86ceed29317f9d51c3da617613bab595 (patch) | |
| tree | 68e004a7d9de49fcc98d51a874a9116e08f53aef /mppa_k1c/TargetPrinter.ml | |
| parent | 63915fbebe707cc1de7c0ed5a24148cac45a742c (diff) | |
| download | compcert-kvx-3d73bc6d86ceed29317f9d51c3da617613bab595.tar.gz compcert-kvx-3d73bc6d86ceed29317f9d51c3da617613bab595.zip | |
update it's now @tlsle not @tprel
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
| -rw-r--r-- | mppa_k1c/TargetPrinter.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index ca1d3229..2489b959 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -219,14 +219,16 @@ module Target (*: TARGET*) = if Archi.pic_code () then begin assert (ofs = Integers.Ptrofs.zero); if C2C.atom_is_thread_local id then begin - fprintf oc " addd %a = $r13, @tprel(%s)\n" ireg r (extern_atom id) + (* fprintf oc " addd %a = $r13, @tprel(%s)\n" ireg r (extern_atom id) *) + fprintf oc " addd %a = $r13, @tlsle(%s)\n" ireg r (extern_atom id) end else begin fprintf oc " make %a = %s\n" ireg r (extern_atom id) end end else begin if C2C.atom_is_thread_local id then begin - fprintf oc " addd %a = $r13, @tprel(%a)\n" ireg r symbol_offset (id, ofs) + (* fprintf oc " addd %a = $r13, @tprel(%a)\n" ireg r symbol_offset (id, ofs) *) + fprintf oc " addd %a = $r13, @tlsle(%a)\n" ireg r symbol_offset (id, ofs) end else begin fprintf oc " make %a = %a\n" ireg r symbol_offset (id, ofs) end |