[llvm] [VPlan] Allow folding not (cmp eq) -> icmp ne with other select users (PR #154497)
Luke Lau via llvm-commits
llvm-commits at lists.llvm.org
Thu Aug 21 03:08:36 PDT 2025
================
@@ -1107,13 +1107,30 @@ static void simplifyRecipe(VPRecipeBase &R, VPTypeAnalysis &TypeInfo) {
return Def->replaceAllUsesWith(A);
// Try to fold Not into compares by adjusting the predicate in-place.
- if (isa<VPWidenRecipe>(A) && A->getNumUsers() == 1) {
+ auto CanFold = [&A](VPUser *U) {
+ return match(
+ U, m_CombineOr(m_Not(m_Specific(A)),
+ m_Select(m_Specific(A), m_VPValue(), m_VPValue())));
+ };
+ if (isa<VPWidenRecipe>(A) && all_of(A->users(), CanFold)) {
auto *WideCmp = cast<VPWidenRecipe>(A);
if (WideCmp->getOpcode() == Instruction::ICmp ||
WideCmp->getOpcode() == Instruction::FCmp) {
WideCmp->setPredicate(
CmpInst::getInversePredicate(WideCmp->getPredicate()));
- Def->replaceAllUsesWith(WideCmp);
+ for (VPUser *U : to_vector(WideCmp->users())) {
----------------
lukel97 wrote:
The replaceAllUsesWith on line 1131 invalidates it though
https://github.com/llvm/llvm-project/pull/154497
More information about the llvm-commits
mailing list