No, I really am not interested in ISAs at all. I'm interested in how various current microarchitectures (Tiger Lake, A77 or BOOM) implement add at the gate level.
But what I'm really interested in is which adder modern microarchitectures use.
Yes, we all know that you can implement RISC-V using a clever arrangement of turtles and that the resulting egg-gestation-based adder has no analog in electronic circuits. Moving on....