CPU MXFP4 解包零值特判 4 指令折叠为 2,位级等价
值得精读,重点看三处: 1. `vptestmw` 互补掩码 + `maskz_add` 的指令折叠思路——用谓词补集加零掩码写入替代混合选择,是 AVX-512 下常见的两指令等价变换范式。 2. 测试设计:针对“现有 1e-2 容差会包住坏特判”的盲区,特意构造全零码场景并用精确相等断言,体现了围绕不变量而不是围绕功能正确性写测试的思路。 3. 作者对性能数据的处理:主动撤回不可复现的测量行、明确区分硬指标(位精确性、指令数)与辅助证据(吞吐),是技术汇报的可借鉴范本。建议关注 sglang#34292 的合入状态,确保两份 `vec.h` 保持一致。
参与讨论