Как изменить флаги сборки x86 для условных переходов? - PullRequest
Новая
       65

Как изменить флаги сборки x86 для условных переходов?

0 голосов
/ 30 ноября 2011 
_Str_compare proc ; (byte * str1, byte * str2, DWORD str1_len, DWORD str2_len) :: Returns -1, 0, or 1 for str1 is lexiographically before, equivalent to, or after str2, respectively. Also modifies the carry and zero flags so that cmp can be used directly following invokation of this method.
; init
push ebp
mov ebp, esp
push edi
push esi
push ecx
push edx
xor esi, esi
xor edi, edi
xor ecx, ecx
xor edx, edx
add esi, DWORD PTR [ebp + 8] ; esi = str1
add edi, DWORD PTR [ebp + 12] ; edi = str2
mov edx, DWORD PTR [ebp + 16]
cmp edx, DWORD PTR [ebp + 20]
jae IFBLOCK1
    add ecx, DWORD PTR [ebp + 16]
IFBLOCK1:
    add ecx, DWORD PTR [ebp + 20]
add edx, ecx ; edx is a buffer for holding ecx's value after looping through the strings

; code
cld ; traverse strings from beginning to end
repe cmpsb
cmp esi, edx
jne IFBLOCK2
    mov edx, DWORD PTR [ebp + 16]
    cmp edx, DWORD PTR [ebp + 20]
    je op2
    jmp op1
IFBLOCK2:
mov edx, DWORD PTR [esi - 1]
cmp edx, DWORD PTR [edi - 1]
jb op1
je op2
ja op3
op1:
    lahf
    or ax, 01h ; set the carry flag
    and ax, 0FFBFh ; clear the zero flag
    sahf
    xor eax, eax
    dec eax
    jmp finish
op2:
    lahf
    and ax, 0FFFEh ; clear the carry flag
    or ax, 040h ; set the zero flag
    sahf
    xor eax, eax
    jmp finish
op3:
    lahf
    and ax, 0FFBEh ; clear both the carry and zero flags
    sahf
    xor eax, eax
    inc eax

finish: ; clean and exit method
    pop edx
    pop ecx
    pop esi
    pop edi
    add ebp, 4
    pop ebp
    ret
_Str_compare endp

В моей процедуре _Str_compare, хотя она возвращает -1, 0 или 1 правильно, я просто не понимаю, почему, когда я вызываю этот метод _Str_compare из другой процедуры сборки, условные операторы не работают должным образом, например, jbe в приведенном ниже примере: 

sampleProc proc
    push 6
    push 3
    push sixLetteredStringAddress
    push threeLetteredStringAddress
    call _Str_compare
    add esp, 16
    jbe IF_STATEMENT_1
        inc eax ; dummy operation
    IF_STATEMENT_1:
    ret
sampleProc endp

1 Ответ

1 голос
/ 30 ноября 2011

Инструкция ADD (как и многие другие арифметические / логические инструкции) влияет на EFLAFS, поэтому JBE действует не на то, что возвращает _Str_compare, а на что-то другое, на результаты ADD ESP, 16. Я думаю, та же проблема существует с ADD EBP, 4 и XOR EAX, EAX.

Пожалуйста, проверьте ваши инструкции на предмет наличия соответствующих флагов. В руководствах по процессорам AMD в конце тома 3 приведена хорошая сводка, в которой перечислены все инструкции по изменению флагов.

...