[llvm] [InstCombine] Infer sub nuw from dominating conditions (PR #100164)

[Nikita Popov via llvm-commits]

nikic wrote:

The principled way to do this would be to infer sub nuw in ConstraintElimination, but I think using CE for this is probably too expensive.

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