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

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

The passes we are aware that introduce branch on poison are: IndVarSimplify, LoopUnswitch, SimpleLoopUnswitch, and SimpifyCFG.
(https://web.ist.utl.pt/nuno.lopes/alive2/index.php?hash=4beb2b117e2fdd2c)

I tend to agree with Eli that this patch may help triggering end-to-end miscompilations. But it's otherwise correct; nice catch!


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80875