[llvm-commits] [llvm] r126642 - /llvm/trunk/lib/Analysis/ValueTracking.cpp

[Duncan Sands]

Hi Nick,

> @@ -696,6 +696,15 @@
>       return isPowerOfTwo(SI->getTrueValue(), TD, Depth)&&
>         isPowerOfTwo(SI->getFalseValue(), TD, Depth);
>
> +  // An exact divide or right shift can only shift off zero bits, so the result
> +  // is non-zero only if the first operand is non-zero.

non-zero -> a power of two (both instances)

Ciao, Duncan.