ac / c ++编译器是否将2的幂乘以常数来优化常数除法？

Question

问题说明了一切。有人知道以下内容吗？

size_t div(size_t value) {
    const size_t x = 64;
    return value / x;
}

…被优化成？

size_t div(size_t value) {
    return value >> 6;
}

编译器会这样做吗？（我的兴趣在于GCC）。在某些情况下会这样做吗？在其他情况下却不会呢？

我真的很想知道，因为每次我写一个像这样可以优化的除法运算时，我都会花些精力思考是否浪费一秒钟宝贵的时间去做一个足以满足需要的除法运算。

Answer 1

即使g++ -O0（是，-O0！），也会发生这种情况。您的函数编译为：

_Z3divm:
.LFB952:
        pushq   %rbp
.LCFI0:
        movq    %rsp, %rbp
.LCFI1:
        movq    %rdi, -24(%rbp)
        movq    $64, -8(%rbp)
        movq    -24(%rbp), %rax
        shrq    $6, %rax
        leave
        ret

请注意shrq $6，右移了6位。

使用-O1，可以删除不必要的垃圾：

_Z3divm:
.LFB1023:
        movq    %rdi, %rax
        shrq    $6, %rax
        ret

在g ++ 4.3.3，x64上的结果。