如何在Mac M1与x86-64平台实现前导零计数且输入0时返回64？

关于__builtin_clzll传0的问题 #

GCC、Clang的__builtin_clzll内置函数明确将输入0的场景定义为未定义行为，和底层硬件指令是否支持0输入无关。你遇到的sanitizer报错是预期行为，哪怕实际运行时底层调用的CLZ/LZCNT指令对0有定义，也不要直接传入0，否则程序行为不受编译器保证。

跨平台兼容实现方案 #

你可以通过简单的包装逻辑处理0输入的边界情况，即可同时兼容x86-64和ARM64（包括Mac M1）平台，且性能几乎无损失：

#include <stdint.h>

// 64位前导零计数，输入0返回64，行为与ARM CLZ、x86 LZCNT指令一致
static inline int count_leading_zeros_64(uint64_t input) {
    return input == 0 ? 64 : __builtin_clzll(input);
}

补充说明：

• 编译器优化：现代编译器（包括Apple Clang、GCC）会自动将上述代码优化为对应平台的最优指令序列，ARM64下生成CLZ指令，x86-64开启LZCNT支持（如-march=native编译参数）时生成LZCNT指令，不会引入额外的分支开销。
• 标准原生支持：如果你使用C23及以上标准，可以直接调用标准库函数stdc_count_leading_zeros_u64(input)，该函数明确规定输入0时返回64，无需自定义包装，目前主流编译器均已支持该特性。
• 如果需要兼容不支持__builtin_clzll的老旧编译器，可以替换为纯软件实现的前导零计数逻辑，仅在性能极度敏感的场景下会有可感知的开销。

内容的提问来源于stack exchange，提问作者Eric Stotch