From: Rich Felker <dalias@libc.org>
To: Fangrui Song <i@maskray.me>
Cc: musl@lists.openwall.com, Tatsuyuki Ishi <ishitatsuyuki@gmail.com>
Subject: Re: [musl] Draft riscv64 TLSDESC implementation
Date: Tue, 23 Jan 2024 08:26:32 -0500 [thread overview]
Message-ID: <20240123132631.GF4163@brightrain.aerifal.cx> (raw)
In-Reply-To: <DS7PR12MB5765FAA341DFA3E7D08BC9C0CB742@DS7PR12MB5765.namprd12.prod.outlook.com>
On Tue, Jan 23, 2024 at 12:52:01AM -0800, Fangrui Song wrote:
> On Sun, Jan 21, 2024 at 7:41 PM Tatsuyuki Ishi <ishitatsuyuki@gmail..com> wrote:
> >
> > > On Jan 22, 2024, at 9:03, Rich Felker <dalias@libc.org> wrote:
> > >
> > > On Sun, Jan 21, 2024 at 03:48:55PM -0800, Fangrui Song wrote:
> > >> On Sun, Jan 21, 2024 at 2:28 PM Rich Felker <dalias@libc.org> wrote:
> > >>>
> > >>> On Tue, Aug 22, 2023 at 01:38:21PM -0400, Rich Felker wrote:
> > >>>> The psABI work is not finalized, but based on the current status of
> > >>>> https://github.com/riscv-non-isa/riscv-elf-psabi-doc/pull/373, I think
> > >>>> the attached is a valid (but untested) implementation of TLSDESC for
> > >>>> riscv64. Actually activating it requires also adding the relocation
> > >>>> type macro to riscv64/reloc.h.
> > >>>>
> > >>>> If any rv folks could look it over and make sure I haven't made any
> > >>>> stupid asm errors or missed any obvious optimizations, that would help
> > >>>> to quickly get this merged when the psABI is finalized.
> > >>>>
> > >>>> Rich
> > >>>
> > >>>> .text
> > >>>> .global __tlsdesc_static
> > >>>> .hidden __tlsdesc_static
> > >>>> .type __tlsdesc_static,%function
> > >>>> __tlsdesc_static:
> > >>>> ld a0,8(a0)
> > >>>> jr t0
> > >>>>
> > >>>> .global __tlsdesc_dynamic
> > >>>> .hidden __tlsdesc_dynamic
> > >>>> .type __tlsdesc_dynamic,%function
> > >>>> __tlsdesc_dynamic:
> > >>>> add sp,sp,-8
> > >>>> sd t1,(sp)
> > >>>> sd t2,8(sp)
> > >>>>
> > >>>> ld t2,-8(tp) # t2=dtv
> > >>>>
> > >>>> ld a0,8(a0) # a0=&{modidx,off}
> > >>>> ld t1,8(a0) # t1=off
> > >>>> ld a0,(a0) # a0=modidx
> > >>>> sll a0,a0,3 # a0=8*modidx
> > >>>>
> > >>>> add a0,a0,t2 # a0=dtv+8*modidx
> > >>>> ld a0,(a0) # a0=dtv[modidx]
> > >>>> add a0,a0,t1 # a0=dtv[modidx]+off
> > >>>> sub a0,a0,tp # a0=dtv[modidx]+off-tp
> > >>>>
> > >>>> ld t1,(sp)
> > >>>> ld t2,8(sp)
> > >>>> add sp,sp,8
> > >>>> jr t0
> > >>>
> > >>> Any feedback on this? Offhand, it looks like adjusting sp by 8 is
> > >>> wrong and that should be 16. Anything else? Does anyone have recent
> > >>> enough tooling to test this?
> > >>
> > >> Tatsuyuki, do you have links to the latest version of
> > >> gcc/binutils/glibc patches?
> > >> Downloading patches from these mailing lists is probably a large
> > >> hurdle for many users, so having the relevant repositories online may
> > >> help.
> > >>
> > >> mold has implemented RISC-V TLSDESC.
> > >>
> > >> On the LLVM side, I have reviewed
> > >> https://github.com/llvm/llvm-project/pull/66915 and am waiting for it
> > >> to land, before I can check the lld status.
> > >
> > > To test this, drop it in src/ldso/riscv64/tlsdesc.s, and add to
> > > arch/riscv64/reloc.h:
> > >
> > > #define REL_TLSDESC R_RISCV_TLSDESC
> > >
> > > or whatever the reloc name is (I don't think it's in elf.h yet so you
> > > probably need to either add it there too or just hard-code the number
> > > for testing).
> > >
> > > Updated version with the sp bugfix attached.
> >
> > The assembly looks fine to me. (It’s nice that musl don’t need to bother with save/restore at all since DTVs are initialized eagerly..)
> > For the patches mentioned in the other thread, most tests were done with glibc’s portable testsuite (tst-elf-*).
> > If musl has a similar one, you should be able to run it with my GCC / binutils fork (with either --with_tls=desc at configure time or -mtls-dialect=desc at compile time).
> >
> > Tatsuyuki.
> >
> > > Rich
> > > <tlsdesc.s>
> >
>
> I have verified that the patch works using a runtime test under qemu-user.
> I use Paul Kirth's pending LLVM codegen/assembly patch and my pending
> lld patch:)
Thanks for running tests!
> Compile b.c to bb.s. Replace general dynamic code sequences (e.g.
> `la.tls.gd a0,tls0; call __tls_get_addr@plt`) with TLSDESC, e.g.
> ```
> ..Ltlsdesc_hi0:
> auipc a0, %tlsdesc_hi(tls0)
> ld a1, %tlsdesc_load_lo(.Ltlsdesc_hi0)(a0)
> addi a0, a0, %tlsdesc_add_lo(.Ltlsdesc_hi0)
> jalr t0, 0(a1), %tlsdesc_call(.Ltlsdesc_hi0)
> add a0, a0, tp
> ```
Is this due to compiler not supporting generation of TLSDESC sequence
yet? If so, unlike a full test with compiler support, it does not test
for the TLSDESC machinery honoring all the non-clobbering requirements
of the ABI. But I think we can check by hand that that part of the ABI
is honored.
Rich
next prev parent reply other threads:[~2024-01-23 13:26 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-08-22 17:38 Rich Felker
2024-01-21 22:28 ` Rich Felker
2024-01-21 23:48 ` Fangrui Song
2024-01-22 0:03 ` Rich Felker
2024-01-22 3:41 ` Tatsuyuki Ishi
2024-01-23 8:52 ` Fangrui Song
2024-01-23 13:26 ` Rich Felker [this message]
2024-01-25 6:48 ` Fangrui Song
[not found] ` <CAN30aBFHo2NmDknvhVUyWOvXuhvFZBvrzO6vm1PqEB7e2P9NTg@mail.gmail.com>
2024-01-27 0:11 ` Fangrui Song
[not found] ` <DS7PR12MB576582CD9FF325AAE6FA8B0CCB762@DS7PR12MB5765.namprd12.prod.outlook.com>
2024-01-22 3:38 ` 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=20240123132631.GF4163@brightrain.aerifal.cx \
--to=dalias@libc.org \
--cc=i@maskray.me \
--cc=ishitatsuyuki@gmail.com \
--cc=musl@lists.openwall.com \
/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.
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/musl/
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 NNTP newsgroup(s).