[llvm-branch-commits] [llvm] release/23.x: [DAGCombiner] Require a 0/1 carry-in when rebuilding a borrow chain (#223396) (PR #223616)

[Douglas Yung via llvm-branch-commits]

dyung wrote:

> I'm not sure I believe UADDO_CARRY/USUBO_CARRY don't conform to getBooleanContents. Type legalization uses PromoteIntRes_Overflow just like SADDO_CARRY/SSUBO_CARRY. This uses getBoolExtTrunc and PromoteTargetBoolean.
> 
> I think the documentation in ISDOpcodes may be incorrect.

Is this an issue that should block this change from consideration for the release branch?

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