David Majnemer a92b3c914e 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

llvm-svn: 185954

2013-07-09 18:11:10 +00:00

78 KiB

Raw Blame History

View Raw