quick question about bit analyses

As expected, in optimized LLVM code, I never see computeKnownBits() knowing the value of every bit of a variable.

On the other hand, in optimized LLVM code I do sometimes see i1 values where isKnownNonZero(), isKnownNonNegative(), and/or isKnownToBeAPowerOfTwo() are true.

My question is whether perhaps these analysis fail to apply to i1 values or am I simply seeing missed optimization opportunities?



Sorry-- looks like I was seeing a bug in my code.