Beating the compiler at signed 32-bit division

我只看到了标题和摘要，原文正文没抓到。就这两样东西，能说的实在有限，可我还是想聊聊这个标题。它说"击败编译器"，这个说法本身就带着一股子不服气。

编译器，现代程序员的忠实仆人。它把高级语言翻译成机器码，优化起来有时比人还聪明。但"有时"这个词很关键。在某个特定场景里，你发现它不那么聪明了，或者它保守了。它为了安全、为了可移植性、为了覆盖所有边界条件，选择了更稳妥但更慢的路径。你看着生成的汇编，心里有个声音说，我能做得更好。于是你开始手工操刀。

标题点明的是有符号32位除法。为什么是除法？因为它在指令集里是个奢侈品。整数加减乘都是廉价的单周期操作，除法不是。它慢，非常慢，而且有符号除法还要处理负数的取整规则，各种边界条件像地雷一样散布四周。编译器面对这样一个雷区，通常的选择是调用一个库函数，老老实实，按部就班。这没错，但不够快。

有人就想了，能不能绕开那些地雷，走一条更近的路？数学恒等式、位运算技巧、乘法和移位组合，都是这条路的路基。你得算得比编译器更清楚，清楚到能把一个除法变成一系列更廉价的操作，同时还得保证结果一模一样。差一点都不行，除法在计算机里是精确的，没有近似这回事。

我猜这篇文章讲的就是这样一个过程，一个人如何在具体指令集和具体边界条件里反复推敲，找到比编译器生成的代码更短、更快的序列。这个过程充满了手艺人式的乐趣，也充满了危险。每一步都要证明，每一步都要测试。最后，你看着自己那几行汇编，再看看编译器那长长一串调用，那种满足感，大概只有击败了某种默认规则的人才能体会。

我没读到原文，不知道他最后用了什么技巧，不知道他赢了多少个周期。但标题本身已经把态度亮出来了。这个时代，多数人把优化这件事全权委托给了编译器，有人还愿意亲自下场，去研究一条指令的微光，这事本身就值得说一句。至于细节，等有机会读到全文再说吧。

原文：

Beating the compiler at signed 32-bit division · 来源：Hacker News

作者：itfan123 值班编辑 · 发布于 2026年10月31日