GSoC 2024：在LLVM libc中实现半精度
内容提要
GSoC 2024项目旨在在LLVM libc中实现C23定义的_Float16数学函数，使其成为第一个实现这些C23函数的C标准库。已完成_Float16基本操作的70个计划中的所有操作，并在某些架构上对_Float16、float和double变体进行了优化。计划中的54个_Float16高级数学函数中已合并了8个，并有9个开放的拉取请求。需要解决与编译器运行时的问题，并在其他架构上启用所有_Float16函数。
延伸解读
LLVM libc 的领先地位
LLVM libc 成为首个实现 C23 所定义 _Float16 数学函数的 C 标准库。这体现了 LLVM 项目对最新 C 标准的快速跟进，也为其他标准库提供了参考。不过，目前完整功能仅在 x86-64 Linux 上启用，其他架构的支持仍在推进中。
实现进度与挑战
项目已完成全部 70 个 _Float16 基本操作，并在部分架构上优化了 _Float16、float 和 double 变体。高级数学函数计划 54 个，已合并 8 个，另有 9 个拉取请求开放。主要挑战来自 Clang 11 的 bug 和编译器运行时不一致，导致 AArch64、32 位 Arm 和 RISC-V 上的部分功能被禁用。
跨架构兼容性问题
由于编译器运行时（如 GCC 的 libgcc 和 LLVM 的 compiler-rt）在浮点转换函数上的行为不一致，以及旧版本运行时缺失某些函数，LLVM libc 目前仅在 x86-64 Linux 上启用所有 _Float16 函数。GPU 上因缺少 _Float128 类型，部分函数也不可用。解决这些问题需要等待编译器运行时更新或采用自有转换函数。
后续工作方向
剩余的高级数学函数有待实现。AArch64 上被禁用的函数需等 LLVM libc 提升最低支持的 Clang 版本后启用；32 位 Arm 和 RISC-V 上的函数则需等编译器运行时问题解决。项目也在进行自有浮点转换函数的开发，以绕过运行时依赖。
Q&A
GSoC 2024项目的主要目标是什么？
GSoC 2024项目旨在在LLVM libc中实现C23定义的_Float16数学函数，使其成为第一个实现这些函数的C标准库。
目前_Float16基本操作的实现进展如何？
目前已完成70个计划中的所有_Float16基本操作，并在某些架构上进行了优化。
在_Float16高级数学函数的实现中遇到了哪些问题？
遇到的问题包括Clang 11中的错误和编译器运行时的不一致行为。
哪些架构目前支持_Float16函数？
目前，LLVM libc仅在x86-64 Linux上启用所有_Float16函数，其他架构如AArch64和32位Arm存在问题。
GSoC 2024项目中_Float16高级数学函数的实现状态如何？
在54个计划中的_Float16高级数学函数中，8个已合并，9个开放拉取请求。
项目后续的工作计划有哪些？
后续工作包括实现剩余的_Float16高级数学函数和解决编译器运行时问题。
