我在这里有点不适应，并且试图了解这种特定的优化是如何工作的。

如答案中所述，gcc会将整数除以7来优化为：

mov edx, -1840700269
mov eax, edi
imul    edx
lea eax, [rdx+rdi]
sar eax, 2
sar edi, 31
sub eax, edi

转换回C为：

int32_t divideBySeven(int32_t num) {
    int32_t temp = ((int64_t)num * -015555555555) >> 32;
    temp = (temp + num) >> 2;
    return (temp - (num >> 31));
}

让我们看一下第一部分：

int32_t temp = ((int64_t)num * -015555555555) >> 32;

为什么要这个数字？

好吧，让我们将2 ^ 64除以7，然后看看弹出的内容。

2^64 / 7 = 2635249153387078802.28571428571428571429

看起来一团糟，如果我们将其转换为八进制该怎么办？

0222222222222222222222.22222222222222222222222

这是一个非常漂亮的重复模式，肯定不是巧合。我的意思是我们记得7是，0b111并且我们知道当我们除以99时，我们倾向于在以10为底的情况下得到重复模式。所以有意义的是，当我们除以7时，在以8为底的情况下得到了重复模式。

那么我们的电话号码从哪里来？

(int32_t)-1840700269 是相同的 (uint_32t)2454267027

* 7 = 17179869189

最后17179869184是 2^34

这意味着17179869189是7 2 ^ 34的最接近倍数。或者换句话说，
2454267027是将适合的最大数，uint32_t乘以7便非常接近2的幂

这个八进制数字是多少？

0222222222223

为什么这很重要？好吧，我们想除以7。这个数字大约是2 ^ 34/7…。因此，如果我们乘以它，然后左移34次，我们应该得到一个非常接近确切数字的数字。

最后两行看起来像是为了弥补近似误差而设计的。

也许在该领域具有更多知识和/或专业知识的人可以对此感兴趣。

>>> magic = 2454267027
>>> def div7(a):
...   if (int(magic * a >> 34) != a // 7):
...     return 0
...   return 1
... 
>>> for a in xrange(2**31, 2**32):
...   if (not div7(a)):
...     print "%s fails" % a
...

失败始于3435973841，这很有趣，它是0b11001100110011001100110011010001

归类为什么近似失败的原因超出了我一点，为什么补丁也将其修复。有谁知道魔术的作用超出了我在这里所说的范围？