Wie erkennt diese Assemblersprache einen signierten Überlauf?

Question

Hier ist der Assemblersprachcode für signierten Überlauf zusätzlich zu testen:

addu $t0, $t1, $t2 
xor $t3, $t1, $t2 
slt $t3, $t3, $zero 
bne $t3, $zero, No_overflow 
xor $t3, $t0, $t1 
slt $t3, $t3, $zero 
bne $t3, $zero, Overflow 

was ist die genaue Bedeutung der menschlichen Sprache?

Answer 1

• Überlauf tritt nur auf, wenn zwei Zahlen mit demselben Vorzeichen (beide positiv oder beide negativ) hinzugefügt werden. Daher sollte das Ergebnis von operand1 XOR operand2 das Vorzeichen-Bit gelöscht haben (da 0 XOR 0 und 1 XOR 1 beide gleich 0 sind). Das prüft der erste Teil.
• Der zweite Teil prüft, ob das Vorzeichen des Ergebnisses vom Vorzeichen der Operanden abweicht (hier wird nur operand1 verwendet, da nach dem ersten Teil bekannt ist, dass beide Operanden das gleiche Vorzeichen haben). Wenn das Vorzeichen des Ergebnisses das Vorzeichen der Operanden ist, ist kein Überlauf aufgetreten.