[llvm] [InstSimplify] Fold icmp ult/ule (A nuw+ CA), (B nuw+ CB) to true when A <=u B and CA <=u CB (PR #201485)

[Simon Pilgrim via llvm-commits]

https://github.com/RKSimon requested changes to this pull request.

Make sure you add any new tests as the first commit in the PR's commit chain with current (trunk) codegen, and then regenerate the checks in eh followup commit with the new fold.

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