[llvm] [ConstraintElim] Simplify cmp after uadd.sat/usub.sat (PR #135603)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

Thanks for the improvement!

There still are a number of improvements to simplifying intrinsics, e.g. add_with_overflow is still missing, while we already support ssub_with_overflow.

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