[PATCH] D60846: [ValueTracking] Improve isKnowNonZero for Ints

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

@uabelho Thanks for the reproducer. I think the problems is that when we thread a comparison over a phi in instsimplify, we retain the original context instruction, while (I think) we should be using the terminator of the incoming value as context.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D60846