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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

I just realized that we already treat branch on undef as UB in `isGuaranteedNotToBeUndefOrPoison()`: https://github.com/llvm/llvm-project/blob/0ab5b5b8581d9f2951575f7245824e6e4fc57dec/llvm/lib/Analysis/ValueTracking.cpp#L4655-L4673


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D76931