Wie erfolgt die Montage der TEST-Anweisung-arbeiten mit diesen jump-Anweisungen?

AT&T assembly-syntax, ich versuche zu verstehen, wie testl verwendet wird, in Assembler-code. Speziell:

testl  %edx, %edx
jle    .L3

Ich weiß testl führt eine bitweise and mit dem gleichen Wert auf den Zustand festlegen, der Flaggen, aber wie kann ich das interpretieren 'springe wenn kleiner oder gleich', wenn es nicht zwei Werte verglichen?

InformationsquelleAutor amorimluc | 2013-01-30
  1. 9

    Hier ein Auszug aus der offiziellen Dokumentation von Intel im test:

    Operation
TEMP ← SRC1 AND SRC2;
SF ← MSB(TEMP);
IF TEMP = 0
    THEN ZF ← 1;
    ELSE ZF ← 0;
FI:
PF ← BitwiseXNOR(TEMP[0:7]);
CF ← 0;
OF ← 0;

    Und das gleiche auf jle:

    Jump if less or equal (ZF=1 or SF≠OF)

    So, der Sprung wird durchgeführt, wenn edx ist 0 (weil edx AND edx = edx und dass die 0 nur, wenn edx 0 ist, und da ZF ist auf 1 gesetzt, wenn das Ergebnis AND ist 0), oder wenn das höchstwertigste bit von edx ist 1 (weil SF = most significant bit von edx AND edx (oder, was dasselbe ist, der edx selbst) und OF ist immer 0, was bedeutet, dass SF ≠ OF ist nur wahr, wenn SF ≠ 0).

    IOW, der Sprung wird nur ausgeführt, wenn edx ≤ 0, wenn Sie interpretiert wird als Ganzzahl oder, was dasselbe ist, wenn edx ist entweder 0 oder größer oder gleich als 0x80000000, wenn Sie interpretiert wird als unsigned integer.

    • +1, große fangen über die Ganzzahlen mit Vorzeichen. Das macht viel mehr Sinn als Prüfung für 0 or >= 0x80000000!
    • IOW, im Fall von vorzeichenbehafteten Ganzzahlen, die jump-Anweisungen vergleicht immer den geprüften Wert (testl) auf 0. Danke!
    • Es gibt nichts anderes, um effektiv zu vergleichen mit. Wenn du das getan hast cmp edx, 5 oder sub edx, 5 wäre Sie betrachten edx-5 vs 0 statt nur edx vs 0.
    InformationsquelleAutor Alexey Frunze
  2. 2

    In x86 Assembler fast alle bedingten Sprünge basieren auf Fahnen (außer jcxz, jecxz, loop und loopne/loopnz). Dies bedeutet, dass alles, was zählt sind die Werte der flags haben.

    jle ist gleichbedeutend mit jng. Die Sprung-Bedingung ist ZF = 1 or SF <> OF. Sie können prüfen wollen Intel x86 SPRINGEN quick reference.

    test nicht gesetzt, alle Fahnen außer AF link, so sieht alles gut aus so weit.

    Laut dieser link logischen Operationen, die immer null OF. Das bedeutet, dass Ihre springen wäre praktisch ZF = 1 or SF = 1 werden, also in deinem code jle springen würde, wenn edx war 0 oder zwischen reichen 0x80000000 ... 0xffffffff.

    InformationsquelleAutor nrz
  3. 2

    TESTL mit identische Argumente (wie edx und edx) setzt die flags entsprechend dem Wert, der das argument selbst (da x UND x ist identisch mit x). So können wir vergessen, über die AND insgesamt hier, da es verworfen - alle müssen wir uns auseinandersetzen, ist der Wert in edx.

    Mit TESTL das zero-flag ZF nur auf 1 festgelegt, wenn der Wert null ist. TESTL auch Kräfte, die überlauf-flag OF auf 0 und setzt das sign-flag SF nur, wenn das höchste bit gesetzt ist.

    JLE wird dann springen, wenn entweder ZF auf 1 gesetzt ist, oder SF <> OF.

    So, der Sprung wird ausgeführt, wenn entweder:

    • edx null war; oder
    • edx hatte seine high-bit gesetzt.

    Daher wird es springen für edx Werte 0 oder 0x80000000 - 0xffffffff.

    Wahrscheinlich ist dies ein überprüfen, um sicherzustellen, dass die Zahl eine Natürliche Zahl 0x00000001 - 0x7fffffff, der Sprung wäre zu einer error-handling-routine irgendeiner Art und eine gültige Natürliche Zahl würde weiter ohne zu springen, so etwas wie:

    loop_for_number:
    call   get_number_into_edx
    testl  %edx, %edx
    jle    loop_for_number

    ; carry on here knowing that edx >= 1

    Für eine Beschreibung der verschiedenen Sprünge und die flags, die Sie verwenden, finden Sie unter hier.

    InformationsquelleAutor paxdiablo
Schreibe einen Kommentar