[llvm-commits] [llvm] r124567 - in /llvm/trunk: lib/Transforms/InstCombine/InstCombineCompares.cpp test/Transforms/InstCombine/add.ll

[Duncan Sands]

Hi Anders,

> Recognize and simplify
>
> (A+B) == A  ->   B == 0
> A == (A+B)  ->   B == 0

there are similar transforms for subtraction and xor.

Ciao, Duncan.