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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124567 91177308-0d34-0410-b5e6-96231b3b80d8
2011-01-30 22:01:13 +00:00
..
2011-01-24 17:54:01 +00:00
2011-01-14 17:01:20 +00:00
2011-01-30 22:01:13 +00:00
2010-08-29 14:49:00 +00:00