arsenm wrote: > The lowering of G_UADDE blindly adds the CarryIn to the sum of > This is a bug. We would need an optimization combine to fold the carry-out to add-in iff the target boolean content is ZeroOrOne https://github.com/llvm/llvm-project/pull/116998