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

[Eli Friedman via Phabricator via llvm-commits]

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

This has rather more impact than I was expecting... but I guess this sort of reasoning was missing before, to some extent.

LGTM


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80875