[llvm] [SCEV] Preserve divisibility info when creating UMax/SMax expressions. (PR #160012)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

The idea makes sense to me, but TBH I'm pretty lost in the code structure here. Why are we fixing this up after the fact rather than creating the umax/umin with the larger value from the start?

Also would it make sense to do something more generic during SCEV construction here? Or do we expect this to only be useful for guards?

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