That was an interesting bug. In my Hyperstone JIT for MAME, I was getting a mismatch with the interpreter results on one particular emulated ADDC (add with carry) opcode.
Näytä tämä ketju
-
As it happened, in the IR/UML representation, I was summing the source register and carry bit by using a 32-bit UML_ADD, then summing it with the destination register using the 64-bit UML_DADD.
Näytä tämä ketju
The end result, and it's obvious in retrospect, is that the carry-out bit would be erroneously unset if and *only* if we had a carry-in, and the source register was 0xFFFFFFFF. Because FFFFFFFF+1 sums to 0 when using 32 bits. Use UML_DADD instead of UML_ADD, bug fixed. Oops.
