[PATCH] D76931: [ValueLattice] Distinguish between constant ranges with/without undef.

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

As we have somewhat recently defined that branch on poison is UB, I wonder whether it's possible to also make branch on undef UB. It so happens that currently all the things we define as UB for poison are also UB for undef, and branching is the only distinction. Is there a reason for that? It would be really great if we could stop thinking about undef when it comes to conditions implied by branches.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76931