`testl` eax gegen eax?

Ich versuche eine Versammlung zu verstehen.

Die Montage wie folgt interessiert mich an der testlLinie:

000319df  8b4508        movl   0x08(%ebp), %eax  
000319e2  8b4004        movl   0x04(%eax), %eax  
000319e5  85c0          testl  %eax, %eax  
000319e7  7407          je     0x000319f0  

Ich versuche diesen Punkt testlzwischen %eaxund zu verstehen %eax? Ich denke, die Einzelheiten dieses Codes sind nicht wichtig. Ich versuche nur, den Test mit sich selbst zu verstehen. Wäre der Wert nicht immer wahr?

Es wird geprüft, ob eax0 oder höher oder niedriger ist. In diesem Fall wird der Sprung ausgeführt, wenn eax0 ist.

Die Bedeutung von testist, die Argumente zusammen UND zu verknüpfen und das Ergebnis auf Null zu überprüfen. Dieser Code testet also, ob EAX Null ist oder nicht. jewird springen, wenn Null.

Übrigens erzeugt dies einen kleineren Befehl als cmp eax, 0der Grund, warum Compiler dies im Allgemeinen auf diese Weise tun.

Der Testbefehl führt eine logische UND-Verknüpfung zwischen den Operanden durch, schreibt das Ergebnis jedoch nicht zurück in ein Register. Nur die Flags werden aktualisiert.

In Ihrem Beispiel setzt der Test eax, eax das Null-Flag, wenn eax Null ist, das Vorzeichen-Flag, wenn das höchste Bit gesetzt ist, und einige andere Flags.

Der Befehl Jump if Equal (je) springt, wenn das Null-Flag gesetzt ist.

Sie können den Code in einen besser lesbaren Code wie folgt übersetzen:

cmp eax, 0
je  somewhere

Das hat die gleiche Funktionalität, erfordert aber einige Bytes mehr Code-Speicherplatz. Aus diesem Grund hat der Compiler einen Test anstelle eines Vergleichs ausgegeben.

testist wie and, außer dass es nur FLAGS schreibt und beide Eingaben unverändert lässt. Mit zwei verschiedenen Eingängen ist es nützlich zu testen, ob einige Bits alle Null sind oder ob mindestens eines gesetzt ist. (z. B. test al, 3setzt ZF, wenn EAX ein Vielfaches von 4 ist (und somit beide niedrigen 2 Bits auf Null gesetzt sind).

test eax,eaxsetzt alle Flags genau die gleiche Art und Weise, cmp eax, 0würde :

• CF und OF gelöscht (AND / TEST macht das immer; das Subtrahieren von Null erzeugt niemals einen Übertrag)
• ZF, SF und PF gemäß dem Wert in EAX. ( a = a&a = a-0).
  (PF wird wie gewohnt nur auf die niedrigen 8 Bits eingestellt )

Mit Ausnahme des veralteten AF (Auxiliary-Carry-Flag, das von ASCII / BCD-Anweisungen verwendet wird). TEST lässt es undefiniert , aber CMP setzt es "entsprechend dem Ergebnis" . Da das Subtrahieren von Null keinen Übertrag vom 4. zum 5. Bit erzeugen kann, sollte CMP immer AF löschen.

TEST ist kleiner (kein sofortiger) und manchmal schneller (kann in mehr Fällen als CMP auf mehr CPUs zu einem Vergleichs- und Verzweigungs-UOP verschmelzen). Das macht testdie bevorzugte Redewendung zum Vergleichen eines Registers mit Null . Es ist eine Gucklochoptimierung cmp reg,0, die Sie unabhängig von der semantischen Bedeutung verwenden können.

Der einzige häufige Grund für die Verwendung von CMP mit einer unmittelbaren 0 ist, wenn Sie mit einem Speicheroperanden vergleichen möchten. Zum Beispiel, cmpb $0, (%esi)um am Ende einer Zeichenfolge im C-Stil mit impliziter Länge nach einem abschließenden Null-Byte zu suchen.

AVX512F fügt hinzukortestw k1, k2 und AVX512DQ / BW (Skylake-X, aber nicht KNL) fügt hinzu ktestb/w/d/q k1, k2, die mit AVX512-Maskenregistern (k0..k7) arbeiten, aber weiterhin reguläre FLAGS setzen, wie testdies bei Ganzzahlen ORoder ANDAnweisungen der Fall ist . (Ähnlich wie SSE4 ptestoder SSE ucomiss: Eingaben in die SIMD-Domäne und Ergebnis in ganzzahligen FLAGS.)

kortestw k1,k1ist die idiomatische Methode zum Verzweigen von / cmovcc / setcc basierend auf einem AVX512-Vergleichsergebnis, wobei SSE / AVX2 (v)pmovmskb/ps/pd+ testoder ersetzt werden cmp.

Die Verwendung von jzvs. jekann verwirrend sein.

jzund jesind buchstäblich die gleiche Anweisung , dh der gleiche Opcode im Maschinencode. Sie tun dasselbe, haben aber für den Menschen eine andere semantische Bedeutung . Disassembler (und normalerweise Asm-Ausgaben von Compilern) verwenden immer nur einen, sodass die semantische Unterscheidung verloren geht.

cmpund subsetze ZF, wenn ihre zwei Eingänge gleich sind (dh das Subtraktionsergebnis ist 0). je(Sprung wenn gleich) ist das semantisch relevante Synonym.

test %eax,%eax/ and %eax,%eaxsetzt erneut ZF, wenn das Ergebnis Null ist, aber es gibt keinen "Gleichheitstest". ZF nach dem Test sagt Ihnen nicht, ob die beiden Operanden gleich waren. Also jz(Sprung wenn Null) ist das semantisch relevante Synonym.

Dieser Codeausschnitt stammt aus einer Unterroutine, die einen Zeiger auf etwas erhalten hat, wahrscheinlich auf eine Struktur oder ein Objekt. Die 2. Zeile dereferenziert diesen Zeiger und ruft einen Wert von diesem Ding ab - möglicherweise selbst einen Zeiger oder nur ein Int, der als 2. Element gespeichert ist (Offset +4). Die 3. und 4. Zeile testen diesen Wert auf Null (NULL, wenn es sich um einen Zeiger handelt) und überspringen die folgenden wenigen Operationen (nicht gezeigt), wenn er Null ist.

Der Test für Null wird manchmal als Vergleich mit einem unmittelbaren wörtlichen Nullwert codiert, aber der Compiler (oder Mensch?), Der dies geschrieben hat, könnte gedacht haben, dass ein Testlop schneller laufen würde - unter Berücksichtigung aller modernen CPU-Dinge wie Pipelining und Register Umbenennung. Es ist aus der gleichen Trickkiste, die die Idee enthält, ein Register mit XOR EAX, EAX (das ich auf einem Nummernschild in Colorado gesehen habe!) Zu löschen, anstatt mit dem offensichtlichen, aber vielleicht langsameren MOV EAX, # 0 (ich verwende eine ältere Notation) ).

In asm, wie Perl, TMTOWTDI.

Wenn eax Null ist, wird der bedingte Sprung ausgeführt, andernfalls wird die Ausführung bei 319e9 fortgesetzt

In einigen Programmen können sie verwendet werden, um nach einem Pufferüberlauf zu suchen. Ganz oben auf dem zugewiesenen Platz wird eine 0 platziert. Nach der Eingabe von Daten in den Stapel wird ganz am Anfang des zugewiesenen Speicherplatzes nach der 0 gesucht, um sicherzustellen, dass der zugewiesene Speicherplatz nicht überläuft.

Es wurde in der Stack0-Übung von Exploits-Übungen verwendet, um zu überprüfen, ob es übergelaufen ist und wenn es keine Null gibt und dort eine Null angezeigt wird, wird "Erneut versuchen" angezeigt.

0x080483f4 <main+0>:    push   ebp
0x080483f5 <main+1>:    mov    ebp,esp
0x080483f7 <main+3>:    and    esp,0xfffffff0
0x080483fa <main+6>:    sub    esp,0x60                     
0x080483fd <main+9>:    mov    DWORD PTR [esp+0x5c],0x0 ;puts a zero on stack
0x08048405 <main+17>:   lea    eax,[esp+0x1c]
0x08048409 <main+21>:   mov    DWORD PTR [esp],eax
0x0804840c <main+24>:   call   0x804830c <gets@plt>
0x08048411 <main+29>:   mov    eax,DWORD PTR [esp+0x5c] 
0x08048415 <main+33>:   test   eax,eax                  ; checks if its zero
0x08048417 <main+35>:   je     0x8048427 <main+51>
0x08048419 <main+37>:   mov    DWORD PTR [esp],0x8048500 
0x08048420 <main+44>:   call   0x804832c <puts@plt>
0x08048425 <main+49>:   jmp    0x8048433 <main+63>
0x08048427 <main+51>:   mov    DWORD PTR [esp],0x8048529
0x0804842e <main+58>:   call   0x804832c <puts@plt>
0x08048433 <main+63>:   leave
0x08048434 <main+64>:   ret

wir könnten das jg，jle sehen Wenn testl %edx,%edx. jle .L3wir leicht herausfinden könnten, dass jle passt (SF^OF)|ZF, wenn% edx Null ist, ist ZF = 1, aber wenn% edx nicht Null ist und -1 ist, nach dem Test, dem OF = 0 und dem SF = 1, also das Flag = true, das den Sprung implementiert. Tut mir leid, mein Englisch ist schlecht