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

llvm-svn: 124567
2011-01-30 22:01:13 +00:00
..
2011-01-30 22:01:13 +00:00
2011-01-29 20:06:16 +00:00