[all-commits] [llvm/llvm-project] 1b3e7d: [DA] Check for overflow in strong SIV test (#164704)

[Alireza Torabian via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1b3e7df195f4900a858e97a887e47eddd6dabdfe
      https://github.com/llvm/llvm-project/commit/1b3e7df195f4900a858e97a887e47eddd6dabdfe
  Author: Alireza Torabian <alireza.torabian at huawei.com>
  Date:   2025-10-31 (Fri, 31 Oct 2025)

  Changed paths:
    M llvm/lib/Analysis/DependenceAnalysis.cpp
    M llvm/test/Analysis/DependenceAnalysis/SimpleSIVNoValidityCheck.ll
    M llvm/test/Analysis/DependenceAnalysis/StrongSIV.ll

  Log Message:
  -----------
  [DA] Check for overflow in strong SIV test (#164704)

Rely on the product of `UpperBound` and `AbsCoeff` only if SCEV 
can prove that there is no overflow. Also the same about the result
of the subtraction of `DstConst` from `SrcConst` to calculate `Delta`.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications