[llvm] [SCEV] Collect guard info for ICMP NE w/o constants. (PR #160500)

[Nikita Popov via llvm-commits]

nikic wrote:

> Maybe instead of eagerly creating the expressions, we could just record LHS != RHS, and then materialize only when we hit were visiting LHS in the rewriter?

This generally makes sense to me. Would the approach be look for `(-1 * %a + %b)` SCEVAddExprs in the rewriter, check whether we have a `%a != %b` fact and then do the umax replacement there?

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