Ich versuche meinen Kopf um den Überlauf zu wickeln & amp; Tragen Sie Flags in x86.
Wie ich es verstehe, können die Flags nur auf eine von vier Arten erzeugt werden (meine Beispiele sind 4-Bit-Zahlen):
Also erzeugt die Subtraktion von B aus A in der x86-Assembly dieselben Flags wie das Hinzufügen von A und -B?
Hier ist eine Referenztabelle, die helfen könnte. Dies zeigt ein Beispiel für jede mögliche Kombination der vier arithmetischen Flags, die aus den Anweisungen ADD und SUB auf x86 resultieren können. 'h' 'ud' und 'd' stehen für hexadezimale, vorzeichenlose dezimale und vorzeichenbehaftete Dezimaldarstellungen für jeden Wert. Zum Beispiel sagt die erste Zeile für SUB 0xFF - 0xFE = 0x1 ohne Flags gesetzt.
Aber ich denke, die kurze Geschichte ist, dass Alex 'Antwort richtig ist.
%Vor%Alle 4 Kombinationen der Übertrags- und Überlaufwerte sind beim Addieren oder Subtrahieren möglich. Sie können weitere Beispiele in dieser Antwort sehen.
Diese Antwort enthält einen Beweis dafür, dass der Übertrag, den Sie von A-B
erhalten, die Umkehrung der Trage dich von A+(-B)
. Der Code nach dem ersten Link nutzt diese Eigenschaft, um ADC
in SBB
zu verwandeln.
Der vorzeichenbehaftete Überlauf-Flag-Wert muss jedoch sowohl für A-B
als auch für A+(-B)
gleich sein, weil es davon abhängt, ob das Ergebnis das richtige Vorzeichenbit hat oder nicht, und in beiden Fällen ist das Vorzeichenbit dasselbe.
Tags und Links math x86 overflow twos-complement carryflag