[llvm-branch-commits] [llvm] [DA] Fix Strong SIV test for symbolic coefficients and deltas (#149977) (PR #157738)

[Sebastian Pop via llvm-branch-commits]

sebpop wrote:

> The correct way to compute the absolute value is using `ScalarEvolution::getAbsExpr`.

I agree.  The current way of using SE->isKnownNonNegative may be unsafe.  Do you have a patch for this?

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