tschuett wrote: Thanks! `and the second element of which is a bit specifying ****if**** the signed summation resulted in an overflow.` We end up with a target specific boolean, but there are some inconsistencies in the code base. https://github.com/llvm/llvm-project/pull/116998