[llvm-branch-commits] [llvm] [DA] Add overflow check in ExactSIV (PR #157086)

[Ryotaro Kasuga via llvm-branch-commits]

================
@@ -1716,6 +1727,7 @@ bool DependenceInfo::exactSIVtest(const SCEV *SrcCoeff, const SCEV *DstCoeff,
   // explore directions
   unsigned NewDirection = Dependence::DVEntry::NONE;
   APInt LowerDistance, UpperDistance;
+  // TODO: Overflow check may be needed.
----------------
kasuga-fj wrote:

I suspect this part could cause overflows, but not entirely sure...

https://github.com/llvm/llvm-project/pull/157086