Conversione C a NASM montaggio con problema di segmentazione

Question

Sto cercando di ottenere questo codice C:

main() 

{int x, y, count ; 

    count = 0 ; 
    x = 10 ; 
    y = 2 ; 
    while (y < x) 
    { x = x + 1 ; 
     y = y + 2 ; 
     count = count + 1 ; 
    } 

    printf(“ It took %d iterations to complete loop. That seems like a  lot\n”,count) ; 
} 

al suo equivalente NASM che ho questo finora:

segment .data 

out1 db "It took ", 0 
out2 db "%i ", 0 
out3 db "iterations to complete the loop. That seems like a lot.", 10, 0 

segment .bss 

segment .text 

global  main 
extern printf 

main: 

    mov eax, 0  ;count 
    mov ebx, 10  ;x 
    mov ecx, 2  ;y 

    jmp  lp 

    mov eax, 0 
    ret 

lp: 
    cmp ecx, ebx ;compare y to x 
    jge end  ;jump to end if y >= x 
    add eax, 1 
    add ebx, 1 
    add ecx, 2 
    jmp lp 

end: 

    push out1 
    call printf 

    push eax 
    push out2 
    call printf 

    push out3 
    call printf 

Continuo a ricevere un segmentation fault e non capisco perché continua a succedere. Ho provato ad aggiungere dichiarazioni di stampa ovunque e non riesco a trovare dove si trova l'errore. Qualsiasi consiglio sarebbe grande! Grazie!

Answer 1

Penso che non si stia seguendo la convenzione di chiamata per printf (è cdecl IIRC).

1. il chiamante deve pulire lo stack dopo la chiamata
2. e EAX è rovinati dalla prima chiamata a printf con il suo valore di ritorno

Numero uno causerà problemi al ritorno dalla main. In realtà, non v'è alcuna ret istruzioni dopo le printf s che causa l'esecuzione di andare avanti fino a quando qualcosa va storto :)

Aggiungere il seguente dopo la stampa:

add  esp, 16 ; Fix stack, usually it's done after each call 
        ; with the appropiate values. 
        ; In this way (one fixup for many calls) stack 
        ; grows unnecessarily 
    xor  eax, eax ; set return value to 0 
    ret    ; Return from main 

Anche se, questo non si prende cura di emissione numero due.

Answer 2

aggiornato e completo esempio:

segment .data 
out1 db  "It took %d iterations to complete loop. That seems like " 
     db  "a lot.", 0aH, 00H 
segment .bss 
segment .text 
     global main 
     extern printf 
main: xor  eax, eax 
     mov  ebx, 10 
     mov  ecx, 2 
loop0: inc  ebx 
     add  ecx, 2 
     inc  eax 
     cmp  ecx, ebx 
     jl  loop0 
     push eax 
     push offset out1 
     call printf 
     add  esp, 8 
     xor  eax, eax 
     ret 
     end 

Answer 3

Se non avete capito ancora risolto, il problema è dovuto alla eax sempre battuto sul printf chiamata. Come risolvere? Salvalo in un buffer prima della prima chiamata printf e carica eax prima del secondo. Per esempio. aggiungere:

segment .bss 

buffer resd 1   ; reserve 32 bit buffer 
... 
mov  [buffer], eax ; save eax in the buffer 

push out1 
call printf 

mov  eax, [buffer] ; load eax from the buffer 

push eax 
push out2 
call printf 

push out3 
call printf 

xor  ebx, ebx   ; exit nicely 
mov  eax, 1 
int  0x80 

Usa/Output

$ ./bin/pt 
It took 8 iterations to complete the loop. That seems like a lot.