[llvm] [SCEV] Improve code in isImpliedCondOperands (NFC) (PR #147347)
Ramkumar Ramachandra via llvm-commits
llvm-commits at lists.llvm.org
Mon Jul 7 09:48:05 PDT 2025
https://github.com/artagnon created https://github.com/llvm/llvm-project/pull/147347
None
>From f1881d035921d593b7f993dc6e80a465a557da90 Mon Sep 17 00:00:00 2001
From: Ramkumar Ramachandra <ramkumar.ramachandra at codasip.com>
Date: Mon, 7 Jul 2025 17:46:14 +0100
Subject: [PATCH] [SCEV] Improve code in isImpliedCondOperands (NFC)
---
llvm/lib/Analysis/ScalarEvolution.cpp | 23 ++++++++---------------
1 file changed, 8 insertions(+), 15 deletions(-)
diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index dd309bc2c54a8..8a086abf1f9b0 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/lib/Analysis/ScalarEvolution.cpp
@@ -12499,21 +12499,14 @@ bool ScalarEvolution::isImpliedCondOperands(CmpPredicate Pred, const SCEV *LHS,
const SCEV *FoundLHS,
const SCEV *FoundRHS,
const Instruction *CtxI) {
- if (isImpliedCondOperandsViaRanges(Pred, LHS, RHS, Pred, FoundLHS, FoundRHS))
- return true;
-
- if (isImpliedCondOperandsViaNoOverflow(Pred, LHS, RHS, FoundLHS, FoundRHS))
- return true;
-
- if (isImpliedCondOperandsViaShift(Pred, LHS, RHS, FoundLHS, FoundRHS))
- return true;
-
- if (isImpliedCondOperandsViaAddRecStart(Pred, LHS, RHS, FoundLHS, FoundRHS,
- CtxI))
- return true;
-
- return isImpliedCondOperandsHelper(Pred, LHS, RHS,
- FoundLHS, FoundRHS);
+ return isImpliedCondOperandsViaRanges(Pred, LHS, RHS, Pred, FoundLHS,
+ FoundRHS) ||
+ isImpliedCondOperandsViaNoOverflow(Pred, LHS, RHS, FoundLHS,
+ FoundRHS) ||
+ isImpliedCondOperandsViaShift(Pred, LHS, RHS, FoundLHS, FoundRHS) ||
+ isImpliedCondOperandsViaAddRecStart(Pred, LHS, RHS, FoundLHS, FoundRHS,
+ CtxI) ||
+ isImpliedCondOperandsHelper(Pred, LHS, RHS, FoundLHS, FoundRHS);
}
/// Is MaybeMinMaxExpr an (U|S)(Min|Max) of Candidate and some other values?
More information about the llvm-commits
mailing list