叮当优化：＆amp;＆amp; VS＆amp;：优化与非优化的（对于某些值）

Question

clang -o3优化此代码：

_Bool f1(char x)
{
    _Bool b1 = x == 4;
    _Bool b2 = x & 3;
    return b1 & b2;
}

to：to：

f1:
        xor     eax, eax
        ret

但是，clang -o3不优化此代码：

_Bool f1(char x)
{
    _Bool b1 = x == 2;
    _Bool b2 = x & 1;
    return b1 & b2;
}

f1:
        cmp     dil, 2
        sete    al
        and     al, dil
        ret

为什么？

注意：＆amp; b1＆amp; B2有意使用。如果使用＆amp;＆amp;，则clang -o3将其优化为：

f1:
        xor     eax, eax
        ret

如何解释？

Answer 1

为什么？

效率低下的代码生成（由于“丢失了noffing for bitwise逻辑的狭窄变换”）。