[PATCH] D150517: [WIP][ValueTracking] Make use of CtxI info in programUndefinedIfUndefOrPoison

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I don't understand the example from the patch description. At the point sdiv is hoisted, the zext will be in the preheader and as such should not satisfy programUndefinedIfUndefOrPoison().

Generally, the way this function is implemented requires the scan to start at the instruction. Simplify starting from a different place doesn't really make sense, because the YieldsPoison set will not be populated correctly.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150517