Delete comment from: Ken Shirriff's blog
Assuming we use c6 xor c7 for overflow detection.
7FFF_FFFF
+8000_0000
---------
FFFFFFFFF
This is not detected as an overflow with this method, yet detected by an x86 ALU.
Do you know how this edge case is detected in practice?
Jan 31, 2023, 3:11:09 AM