[llvm] [SCEV] Use willNotOverflow for AR-check in udiv (PR #217133)

[Ramkumar Ramachandra via llvm-commits]

artagnon wrote:

> I don't think extending willNotOverflow() with "phi" support makes sense. This does not fit into the current meaning of the function (as there is no meaningful way in which a phi node can overflow).

Yeah, it's a bit of a hack. Do you have an alternate suggestion to reuse the same code? My current thinking is that we can create an overload with the code in willNotOverflow, that the original function can use?

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