ARM-SVE：svptest_any两种掩码写法的使用原因问询

在ARM官方文档中使用了写法while (svptest_any(svptrue_b64(), pg))；同时存在另一种等价写法while (svptest_any(pg, pg))。经测试，Clang编译器对后者会生成更少的机器指令。请问使用前者写法的原因是什么？是为了文档可读性还是存在其他技术考量？

回答： #

• 可读性优先：ARM官方文档的核心目标是帮助开发者理解SVE intrinsics的用法。svptest_any(svptrue_b64(), pg)的写法更直观地表达了“检查掩码pg中是否有任意位为真”的语义——用全1的掩码svptrue_b64()和目标掩码pg做测试，逻辑上更贴近“验证pg是否非空”的意图，对刚接触SVE的开发者来说更容易理解。
• 兼容性考量：虽然当前Clang对后者生成更优代码，但早期的SVE编译器或其他厂商的编译器（比如GCC旧版本）可能对svptest_any(pg, pg)的优化支持不足。使用svptest_any(svptrue_b64(), pg)这种更“显式”的写法，能确保在不同编译器环境下都能正确编译并生成预期的行为，避免因编译器优化差异导致的潜在问题。
• 语义的严谨性：从SVE指令的定义来看，svptest_any(a, b)的语义是检查a和b的掩码位按位与后是否有非零位。用全1掩码和pg做与运算，等价于直接检查pg本身，但这种写法更贴合svptest_any函数的原始设计意图——即测试两个掩码的交集是否非空，文档用这种写法可以更准确地展示函数的用法场景，而不是依赖编译器对特殊情况的优化。

内容的提问来源于stack exchange，提问作者Denis Yaroshevskiy