public inbox for binutils@sourceware.org
 help / color / mirror / Atom feed
From: Nelson Chu <nelson@rivosinc.com>
To: Tatsuyuki Ishi <ishitatsuyuki@gmail.com>
Cc: binutils@sourceware.org, rui314@gmail.com,
	ruiu@bluewhale.systems,  i@maskray.me
Subject: Re: [PATCH v2 1/5] RISC-V: Fix local GOT and reloc size calculation for TLS.
Date: Wed, 21 Feb 2024 08:49:25 +0800	[thread overview]
Message-ID: <CAPpQWtAumKoWPeuQg45jS1Tnr1nAFOxa+oqL6zp+TR0JV=gaOg@mail.gmail.com> (raw)
In-Reply-To: <20230831171345.49052-2-ishitatsuyuki@gmail.com>

[-- Attachment #1: Type: text/plain, Size: 7384 bytes --]

Oops I lost this one.  This seems to fix the redundant dynamic R_RISCV_NONE
in .rela.dyn if using --no-pie for tls gd and ie, so looks good to me.

Btw, I just noticed that I also reviewed four of the TLS patches since my
mail box looks weird and only shows the old patches, so I lost this one and
others...  I will see the remaining stuff.

Thanks
Nelson

On Fri, Sep 1, 2023 at 1:13 AM Tatsuyuki Ishi <ishitatsuyuki@gmail.com>
wrote:

> The previous code did not account correctly for two cases:
> * A TLS symbol can be referenced with multiple TLS types (although rare),
>   in which case it only allocated the maximum slot size among the types,
>   instead of the sum.
> * TLS relocations are only needed for DLLs, unlike normal symbols which
>   requires relocations for all PIE code.
>
> Modify the logic to account for the two cases.
>
> bfd/
>     * elfnn-riscv.c (riscv_elf_size_dynamic_sections): Handle relocation
>     sizing for TLS and non-TLS symbols differently, with the former
>     requiring relocs on DLL while the latter requiring on PIE.
>     Allocate GOT slots and relocation slots for each TLS type separately,
>     accounting for the possibility of a TLS variable getting referenced by
>     multiple symbols.
> ld/
>     * testsuite/ld-riscv-elf/ld-riscv-elf.exp: Updated.
>     * testsuite/ld-riscv-elf/tls*: New testcase for TLS GD and IE, with
>     symbols referred by both types and global and local symbols.
> ---
> v2: Add tests for GD and IE, testing both global and local symbols.
>     Both -shared and -no-pie are tested.
>
>  bfd/elfnn-riscv.c                          | 27 ++++++++++++++++-----
>  ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp |  8 +++++++
>  ld/testsuite/ld-riscv-elf/tls.d            | 15 ++++++++++++
>  ld/testsuite/ld-riscv-elf/tls.s            | 28 ++++++++++++++++++++++
>  ld/testsuite/ld-riscv-elf/tlsbin.d         |  7 ++++++
>  ld/testsuite/ld-riscv-elf/tlslib.s         |  6 +++++
>  6 files changed, 85 insertions(+), 6 deletions(-)
>  create mode 100644 ld/testsuite/ld-riscv-elf/tls.d
>  create mode 100644 ld/testsuite/ld-riscv-elf/tls.s
>  create mode 100644 ld/testsuite/ld-riscv-elf/tlsbin.d
>  create mode 100644 ld/testsuite/ld-riscv-elf/tlslib.s
>
> diff --git a/bfd/elfnn-riscv.c b/bfd/elfnn-riscv.c
> index 09aa7be225e..02b46835cc7 100644
> --- a/bfd/elfnn-riscv.c
> +++ b/bfd/elfnn-riscv.c
> @@ -1562,12 +1562,27 @@ riscv_elf_size_dynamic_sections (bfd *output_bfd,
> struct bfd_link_info *info)
>           if (*local_got > 0)
>             {
>               *local_got = s->size;
> -             s->size += RISCV_ELF_WORD_BYTES;
> -             if (*local_tls_type & GOT_TLS_GD)
> -               s->size += RISCV_ELF_WORD_BYTES;
> -             if (bfd_link_pic (info)
> -                 || (*local_tls_type & (GOT_TLS_GD | GOT_TLS_IE)))
> -               srel->size += sizeof (ElfNN_External_Rela);
> +             if (*local_tls_type & (GOT_TLS_GD | GOT_TLS_IE))
> +               {
> +                 if (*local_tls_type & GOT_TLS_GD)
> +                   {
> +                     s->size += 2 * RISCV_ELF_WORD_BYTES;
> +                     if (bfd_link_dll (info))
> +                       srel->size += sizeof (ElfNN_External_Rela);
> +                   }
> +                 if (*local_tls_type & GOT_TLS_IE)
> +                   {
> +                     s->size += RISCV_ELF_WORD_BYTES;
> +                     if (bfd_link_dll (info))
> +                       srel->size += sizeof (ElfNN_External_Rela);
> +                   }
> +               }
> +             else
> +               {
> +                 s->size += RISCV_ELF_WORD_BYTES;
> +                 if (bfd_link_pic (info))
> +                   srel->size += sizeof (ElfNN_External_Rela);
> +               }
>             }
>           else
>             *local_got = (bfd_vma) -1;
> diff --git a/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp
> b/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp
> index 947a266ba72..adb4ee75e4a 100644
> --- a/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp
> +++ b/ld/testsuite/ld-riscv-elf/ld-riscv-elf.exp
> @@ -317,4 +317,12 @@ if [istarget "riscv*-*-*"] {
>      run_dump_test "pcrel-reloc-rel-pie"
>      run_dump_test "pcrel-reloc-abs-nopie"
>      run_dump_test "pcrel-reloc-abs-pie"
> +
> +    run_ld_link_tests {
> +       { "Build shared library for TLS runtime"
> +        "-shared" "" "" {tlslib.s}
> +        {} "tlslib.so" }
> +    }
> +    run_dump_test "tls"
> +    run_dump_test "tlsbin"
>  }
> diff --git a/ld/testsuite/ld-riscv-elf/tls.d
> b/ld/testsuite/ld-riscv-elf/tls.d
> new file mode 100644
> index 00000000000..0e2ab5683ad
> --- /dev/null
> +++ b/ld/testsuite/ld-riscv-elf/tls.d
> @@ -0,0 +1,15 @@
> +#source: tls.s
> +#ld: --shared tmpdir/tlslib.so
> +#readelf: -Wr
> +
> +Relocation section '.rela.dyn' at offset 0x[0-9a-f]+ contains 5 entries:
> + +Offset +Info +Type +Symbol's Value +Symbol's Name \+ Addend
> +[0-9a-f]+ +[0-9a-f]+ R_RISCV_TLS_DTPMOD64 +0
> +[0-9a-f]+ +[0-9a-f]+ R_RISCV_TLS_TPREL64 +4
> +[0-9a-f]+ +[0-9a-f]+ R_RISCV_TLS_DTPMOD64 +0+ sg1 \+ 0
> +[0-9a-f]+ +[0-9a-f]+ R_RISCV_TLS_DTPREL64 +0+ sg1 \+ 0
> +[0-9a-f]+ +[0-9a-f]+ R_RISCV_TLS_TPREL64 +0+ sg1 \+ 0
> +
> +Relocation section '.rela.plt' at offset 0x[0-9a-f]+ contains 1 entry:
> + +Offset +Info +Type +Symbol's Value +Symbol's Name \+ Addend
> +[0-9a-f]+ +[0-9a-f]+ R_RISCV_JUMP_SLOT +0+ __tls_get_addr \+ 0
> \ No newline at end of file
> diff --git a/ld/testsuite/ld-riscv-elf/tls.s
> b/ld/testsuite/ld-riscv-elf/tls.s
> new file mode 100644
> index 00000000000..79e9bc20374
> --- /dev/null
> +++ b/ld/testsuite/ld-riscv-elf/tls.s
> @@ -0,0 +1,28 @@
> +       .section        .tbss,"awT",@nobits
> +       .global sg1
> +sg1:
> +       .zero   4
> +sl1:
> +       .zero   4
> +
> +       .text
> +       .globl  _start
> +       .type   _start,@function
> +_start:
> +       /* GD, global var */
> +       la.tls.gd       a0,sg1
> +       call  __tls_get_addr
> +
> +       /* IE, global var */
> +       la.tls.ie       a0,sg1
> +       add     a0,a0,tp
> +
> +       /* GD, local var */
> +       la.tls.gd       a0,sl1
> +       call  __tls_get_addr
> +
> +       /* IE, local var */
> +       la.tls.ie       a0,sl1
> +       add     a0,a0,tp
> +
> +       ret
> diff --git a/ld/testsuite/ld-riscv-elf/tlsbin.d
> b/ld/testsuite/ld-riscv-elf/tlsbin.d
> new file mode 100644
> index 00000000000..12a4d0ea703
> --- /dev/null
> +++ b/ld/testsuite/ld-riscv-elf/tlsbin.d
> @@ -0,0 +1,7 @@
> +#source: tls.s
> +#ld: -no-pie tmpdir/tlslib.so
> +#readelf: -Wr
> +
> +Relocation section '.rela.plt' at offset 0x[0-9a-f]+ contains 1 entry:
> + +Offset +Info +Type +Symbol's Value +Symbol's Name \+ Addend
> +[0-9a-f]+ +[0-9a-f]+ R_RISCV_JUMP_SLOT +[0-9a-f]+ __tls_get_addr \+ 0
> \ No newline at end of file
> diff --git a/ld/testsuite/ld-riscv-elf/tlslib.s
> b/ld/testsuite/ld-riscv-elf/tlslib.s
> new file mode 100644
> index 00000000000..17c770786d0
> --- /dev/null
> +++ b/ld/testsuite/ld-riscv-elf/tlslib.s
> @@ -0,0 +1,6 @@
> +       .text
> +       /* Dummy.  */
> +       .globl  __tls_get_addr
> +       .type   __tls_get_addr,@function
> +__tls_get_addr:
> +       ret
> --
> 2.42.0
>
>

  reply	other threads:[~2024-02-21  0:49 UTC|newest]

Thread overview: 52+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-08-17 18:08 [PATCH 0/4] RISC-V: Implement TLS Descriptors Tatsuyuki Ishi
2023-08-17 18:08 ` [PATCH 1/4] RISC-V: Add TLSDESC reloc definitions Tatsuyuki Ishi
2023-08-17 18:08 ` [PATCH 2/4] RISC-V: Add assembly support for TLSDESC Tatsuyuki Ishi
2023-08-17 18:08 ` [PATCH 3/4] RISC-V: Define and use GOT entry size constants for TLS Tatsuyuki Ishi
2023-08-17 18:08 ` [PATCH 4/4] RISC-V: Initial ld.bfd support for TLSDESC Tatsuyuki Ishi
2023-08-18  0:22 ` [PATCH 0/4] RISC-V: Implement TLS Descriptors Nelson Chu
2023-08-18  7:13   ` Fangrui Song
2023-08-31 17:13 ` [PATCH v2 0/5] " Tatsuyuki Ishi
2023-08-31 17:13   ` [PATCH v2 1/5] RISC-V: Fix local GOT and reloc size calculation for TLS Tatsuyuki Ishi
2024-02-21  0:49     ` Nelson Chu [this message]
2024-02-21  7:04       ` Nelson Chu
2023-08-31 17:13   ` [PATCH v2 2/5] RISC-V: Add TLSDESC reloc definitions Tatsuyuki Ishi
2023-08-31 17:13   ` [PATCH v2 3/5] RISC-V: Add assembly support for TLSDESC Tatsuyuki Ishi
2023-08-31 17:13   ` [PATCH v2 4/5] RISC-V: Define and use GOT entry size constants for TLS Tatsuyuki Ishi
2023-08-31 17:13   ` [PATCH v2 5/5] RISC-V: Initial ld.bfd support for TLSDESC Tatsuyuki Ishi
2023-11-28  8:51 ` [PATCH v3 0/9] RISC-V: Implement TLS Descriptors Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 1/9] RISC-V: Fix local GOT and reloc size calculation for TLS Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 2/9] RISC-V: Add TLSDESC reloc definitions Tatsuyuki Ishi
2024-02-19  0:49     ` Nelson Chu
2024-02-20 17:28       ` Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 3/9] RISC-V: Add assembly support for TLSDESC Tatsuyuki Ishi
2024-02-19  1:44     ` Nelson Chu
2024-02-20 17:29       ` Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 4/9] RISC-V: Define and use GOT entry size constants for TLS Tatsuyuki Ishi
2024-02-19  1:57     ` Nelson Chu
2024-02-20 17:32       ` Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 5/9] RISC-V: Initial ld.bfd support for TLSDESC Tatsuyuki Ishi
2024-02-19  4:33     ` Nelson Chu
2024-02-20 17:36       ` Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 6/9] RISC-V: Move STATIC_TLS handling into record_tls_type Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 7/9] RISC-V: Unify TLS handling in check_relocs Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 8/9] RISC-V: Add elf_link_hash_entry to relax_func args Tatsuyuki Ishi
2023-11-28  8:51   ` [PATCH v3 9/9] RISC-V: Introduce TLSDESC relaxation Tatsuyuki Ishi
2023-12-05 16:44   ` [PATCH v3 0/9] RISC-V: Implement TLS Descriptors Tatsuyuki Ishi
2023-12-06  0:33     ` Nelson Chu
2023-12-07  3:35       ` Fangrui Song
2023-12-13  0:27         ` Palmer Dabbelt
2023-12-13  1:53           ` Tatsuyuki Ishi
2024-01-27  0:57             ` Fangrui Song
2024-02-20 17:55 ` [PATCH v4 " Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 1/9] RISC-V: Fix local GOT and reloc size calculation for TLS Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 2/9] RISC-V: Add TLSDESC reloc definitions Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 3/9] RISC-V: Add assembly support for TLSDESC Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 4/9] RISC-V: Define and use GOT entry size constants for TLS Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 5/9] RISC-V: Initial ld.bfd support for TLSDESC Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 6/9] RISC-V: Move STATIC_TLS handling into record_tls_type Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 7/9] RISC-V: Unify TLS handling in check_relocs Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 8/9] RISC-V: Add elf_link_hash_entry to relax_func args Tatsuyuki Ishi
2024-02-20 17:55   ` [PATCH v4 9/9] RISC-V: Introduce TLSDESC relaxation Tatsuyuki Ishi
2024-02-29  7:06   ` [PATCH v4 0/9] RISC-V: Implement TLS Descriptors Nelson Chu
2024-02-29  7:14     ` Tatsuyuki Ishi
2024-03-29  6:22       ` Tatsuyuki Ishi

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAPpQWtAumKoWPeuQg45jS1Tnr1nAFOxa+oqL6zp+TR0JV=gaOg@mail.gmail.com' \
    --to=nelson@rivosinc.com \
    --cc=binutils@sourceware.org \
    --cc=i@maskray.me \
    --cc=ishitatsuyuki@gmail.com \
    --cc=rui314@gmail.com \
    --cc=ruiu@bluewhale.systems \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).