[llvm] r185954 - ValueTracking: Fix bugs in isKnownToBeAPowerOfTwo

[Eli Friedman]

On Tue, Jul 9, 2013 at 11:11 AM, David Majnemer
<david.majnemer at gmail.com> wrote:
> Author: majnemer
> Date: Tue Jul  9 13:11:10 2013
> New Revision: 185954
>
> URL: http://llvm.org/viewvc/llvm-project?rev=185954&view=rev
> Log:
> ValueTracking: Fix bugs in isKnownToBeAPowerOfTwo
>
> (add nsw x, (and x, y)) isn't a power of two if x is zero, it's zero
> (add nsw x, (xor x, y)) isn't a power of two if y has bits set that aren't set in x

Testcase?

-Eli