HomePhabricator

[NewGVN] Fix handling of assumes

Authored by fhahn on May 22 2018, 10:38 AM.

Description

[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

llvm-svn: 333007

Details

Committed
fhahnMay 22 2018, 10:38 AM
Differential Revision
D46974: [NewGVN] Fix handling of assumes
Parents
rG63eca15e95ad: [DebugInfo] Invert DIE order for range errors.
Branches
Unknown
Tags
Unknown