为什么检查没有被优化

Question

今天我开始玩分支，检查两个布尔值。我很确定，在某些优化级别上，它们将简单地添加并检查，但gcc和CLANG不是这样。为什么gcc不优化两个bool检查，用addition和一个check替换它们？让我给你看一个例子：

void test(bool a, bool b)
{ 
    // Branch 1
    if (a && b)
    {
        std::cout << "Branch 1";
    }

    // Branch 2
    if (static_cast<int>(a) + static_cast<int>(b))
    {
        std::cout << "Branch 2";
    }
}

test   dil,dil
je     400794 <test(bool, bool)+0x14>
test   sil,sil
jne    4007b0 <test(bool, bool)+0x30>

movzx  ebx,bl
movzx  ebp,bpl
add    ebx,ebp
jne    4007cf <test(bool, bool)+0x4f>

两个分支(test+je)不应该比加法和分支(add+jne)慢吗？

编辑：我真正的意思是乘法，因为在true和false的情况下(1+0)，加法给出true(1)，但乘法给出正确的结果（0）。

Answer 1

在抽象机器级别，&&强制不计算第二个表达式，如果第一个表达式为false。根据as-if规则，编译器无论如何都可以选择计算第二个表达式--如果它能够证明它已经定义了行为（或者未定义的行为无关紧要）并且没有副作用；然而，编译器编写者显然认为这是不值得的。

如果您不想简单化，&可能会有帮助（带有注释）。