[llvm] [InstCombine] Simplify `add nsw/nuw i1` to `or disjoint i1` (PR #118221)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Specifically, I was looking at combining carry flags from two uadd.with.overflows, where seeing it xored together is weird, and probably not something that can turn into ADC on x86

Can you provide a test case to show that the frontend generates `add nsw/nuw i1`?


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