[PATCH] D157798: [ValueTracking] Add tests for deducing non-zero based for incoming phi-edges; NFC

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM, but I think this is still missing a test case for equal successors, something like this:

  define i1 @equal_successors(i8 %x) {
  entry:
    %cmp = icmp ugt i8 %x, 32
    br i1 %cmp, label %T, label %T
  T:
    %v = phi i8 [ %x, %entry], [-1, %F]
    %r = icmp eq i8 %v, 0
    ret i1 %r
  }


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D157798/new/

https://reviews.llvm.org/D157798