[PATCH] D149592: [InstCombine] Fix bug in `FoldOpIntoSelect` where we would incorrectly fold `undef` as constant
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon May 1 08:56:54 PDT 2023
nikic added inline comments.
================
Comment at: llvm/lib/Transforms/InstCombine/InstructionCombining.cpp:1044
+ Pred == (IsTrueArm ? ICmpInst::ICMP_EQ : ICmpInst::ICMP_NE) &&
+ !C->containsUndefOrPoisonElement()) {
// Pass
----------------
I think this needs to use isGuaranteedNotToBeUndefOrPoison to handle constant expressions correctly.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D149592/new/
https://reviews.llvm.org/D149592
More information about the llvm-commits
mailing list