[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

[Duncan Sands]

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.

Ciao, Duncan.