Jakub Jelinek <ja...@redhat.com> 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 on this. There's still an ongoing debate about whether to keep the current AArch64 mangling or switch to the new one. Thanks, Richard