Re: AArch64 bfloat16 mangling

2023-03-10 Thread Richard Sandiford via Gcc-patches
Jakub Jelinek writes: > On Fri, Mar 10, 2023 at 11:50:39AM +, Richard Sandiford wrote: >> > Will test it momentarily (including the patch it depends on): > > Note, testing still pending, I'm testing in a Fedora scratch build > and that is quite slow (lto bootstrap and the like). > >> A naive q

Re: AArch64 bfloat16 mangling

2023-03-10 Thread Jakub Jelinek via Gcc-patches
On Fri, Mar 10, 2023 at 11:50:39AM +, Richard Sandiford wrote: > > Will test it momentarily (including the patch it depends on): Note, testing still pending, I'm testing in a Fedora scratch build and that is quite slow (lto bootstrap and the like). > A naive question: > > > --- libgcc/config

Re: AArch64 bfloat16 mangling

2023-03-10 Thread Richard Sandiford via Gcc-patches
Jakub Jelinek writes: > On Fri, Mar 10, 2023 at 08:43:02AM +, Richard Sandiford wrote: >> > So, either __bf16 should be also extended floating-point type >> > like decltype (0.0bf16) and std::bfloat16_t and in that case >> > it is fine if it mangles u6__bf16, or __bf16 will be a distinct >> >

Re: AArch64 bfloat16 mangling

2023-03-10 Thread Jakub Jelinek via Gcc-patches
On Fri, Mar 10, 2023 at 08:43:02AM +, Richard Sandiford wrote: > > So, either __bf16 should be also extended floating-point type > > like decltype (0.0bf16) and std::bfloat16_t and in that case > > it is fine if it mangles u6__bf16, or __bf16 will be a distinct > > type from the latter two, >

Re: AArch64 bfloat16 mangling

2023-03-10 Thread Richard Sandiford via Gcc-patches
Jakub Jelinek writes: > On Thu, Mar 09, 2023 at 05:14:11PM +, Richard Sandiford wrote: >> We decided to keep the current mangling of __bf16 and use it for >> std::bfloat16_t too. __bf16 will become a non-standard arithmetic type. >> This will be an explicit diversion from the Itanium ABI. >>

Re: AArch64 bfloat16 mangling

2023-03-10 Thread Jakub Jelinek via Gcc-patches
On Thu, Mar 09, 2023 at 05:14:11PM +, Richard Sandiford wrote: > We decided to keep the current mangling of __bf16 and use it for > std::bfloat16_t too. __bf16 will become a non-standard arithmetic type. > This will be an explicit diversion from the Itanium ABI. > > I think that's equivalent

Re: AArch64 bfloat16 mangling

2023-03-09 Thread Richard Sandiford via Gcc-patches
Sorry for the slow response. Jakub Jelinek writes: > Hi! > > On Mon, Jan 30, 2023 at 11:07:23PM +, Richard Sandiford wrote: >> Jakub Jelinek writes: >> > https://gcc.gnu.org/pipermail/gcc-patches/2022-November/605965.html >> > - ABI - aarch64: Add bfloat16_t support for aarch64 (enabling i

AArch64 bfloat16 mangling

2023-02-01 Thread Jakub Jelinek via Gcc-patches
Hi! On Mon, Jan 30, 2023 at 11:07:23PM +, Richard Sandiford wrote: > Jakub Jelinek writes: > > https://gcc.gnu.org/pipermail/gcc-patches/2022-November/605965.html > > - ABI - aarch64: Add bfloat16_t support for aarch64 (enabling it in GCC 14 > > will be harder) > > Sorry for the delay