[NewGVN] Fix handling of assumes
This patch fixes two bugs:
* test1: Previously assume(a >= 5) concluded that a == 5. That's only
valid for assume(a == 5)...
* test2: If operands were swapped, additional users were added to the
wrong cmp operand. This resulted in an "unsettled iteration"
assertion failure.
Patch by Nikita Popov
Differential Revision: https://reviews.llvm.org/D46974
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@333007 91177308-0d34-0410-b5e6-96231b3b80d8
2 files changed