[llvm] [SCEVExpander] Expand UDiv avoiding UB when in seq_min/max. (PR #92177)

[Florian Hahn via llvm-commits]

fhahn wrote:

> LGTM, though I'd see this as just a first step of a broader change. As followups, we should:
> 
> * Make SafeUDivMode the default, and disable it in LV instead.
> * Make isSafeToExpand only check for addrec expansion validity, not udiv by zero.

Sounds good to me thanks, there is definitely plenty of room for additional improvements as follow-ups!

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