Allow isPower2 predicate to work with any operand type.
It should use isKnownToBeAPowerOfTwo() of LLVM when the operand is not a constant.