clang -O3优化此代码：

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

致：

f1:
        xor     eax, eax
        ret

但是，clang -O3没有优化此代码：
一个二个一个一个
为什么？
注意：&b1 & b2是有意使用的，如果使用&&，则clang -O3将其优化为：

f1:
        xor     eax, eax
        ret

怎么解释呢？