[llvm] [DA][NFC] clang-format DependenceAnalysis (PR #151505)
Ryotaro Kasuga via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 6 06:12:11 PDT 2025
================
@@ -1270,9 +1231,9 @@ bool DependenceInfo::strongSIVtest(const SCEV *Coeff, const SCEV *SrcConst,
LLVM_DEBUG(dbgs() << "\t UpperBound = " << *UpperBound);
LLVM_DEBUG(dbgs() << ", " << *UpperBound->getType() << "\n");
const SCEV *AbsDelta =
- SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta);
+ SE->isKnownNonNegative(Delta) ? Delta : SE->getNegativeSCEV(Delta);
----------------
kasuga-fj wrote:
Not the topic of this PR, but this logic is clearly incorrect... (`!isKnownNonNegative(Delta)` doesn't imply that `Delta` is negative)
https://github.com/llvm/llvm-project/pull/151505
More information about the llvm-commits
mailing list