[llvm] [InstCombine] Detect uadd with overflow idiom (PR #140178)

[Craig Topper via llvm-commits]

topperc wrote:

Do you have any real word examples of this pattern? It's a bit of an unusual way to check for unsigned add overflow. The more common way is to check if the result is less than one of the inputs.

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