[llvm] [DA] Widening SCEV expressions in strong SIV test to prevent overflow (PR #164704)

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> , I don't think they are practical enough to justify the added complexity of using wider integer types

What is the concern here, is it compile time or something else? large constant values are very rare in practice, so I don't think that should prevent us.

While in principle I agree that the primary concern is correctness, and it is ok to give up on accuracy for correctness, if there is an approach that can give us more accurate results while preserving correctness, it should be preferrable.

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