[PATCH] D76931: [ValueLattice] Distinguish between constant ranges with/without undef.
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Mar 27 13:10:16 PDT 2020
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
More information about the llvm-commits
mailing list