[llvm] [DA] Add tests where dependencies are missed due to overflow (NFC) (PR #164246)

[Ryotaro Kasuga via llvm-commits]

https://github.com/kasuga-fj commented:

Addressing the issues of SIV/RDIV would be a bit tricky, since they handle `SCEVUnknown` as well, not only constant values. I think the easiest way to fix them is to insert pessimistic overflow checks at the expense of analysis precision...

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