[PATCH] D80875: [ValueTracking] Branch on poison is UB, branch cond is non-poison.

[Eli Friedman via Phabricator via llvm-commits]

efriedma requested changes to this revision.
efriedma added a comment.
This revision now requires changes to proceed.

Actually, thinking about it a bit more, I'm not completely comfortable with landing this yet.  We still have a few known issues with IR transforms that don't correctly freeze branch conditions, and I'm afraid the interaction here might expose them as miscompiles.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80875