[llvm-commits] [llvm] r124183 - in /llvm/trunk: include/llvm/Analysis/ValueTracking.h lib/Analysis/InstructionSimplify.cpp lib/Analysis/ValueTracking.cpp test/Transforms/InstSimplify/2011-01-18-Compare.ll

[Nick Lewycky]

On 25 January 2011 11:06, Duncan Sands <baldrick at free.fr> wrote:

> Hi Nick,
>
>
>  i1 1 (non-negative number) + i1 1 (power-of-two) != 0 -> false. You
>> probably
>> don't see this because we transform i1 add to xor very early on, but
>> please make
>> sure we don't get it wrong when someone does create it.
>>
>
> i1 1 is a negative number.
>

Oh right! Thanks.

Nick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20110125/491483ea/attachment.html>