I registri

ESP - punta SEMPRE alla cima dello STACK
Quindi PUSH abbassa il valore di ESP e POP lo alza

EBP - (FRAME POINT) è l'indicatore dello stack per funzione e permette di referenziare le variabili locali con un OFFSET

void func(int a) {
                                pushl %ebp
                                movl %esp,%ebp
                                subl $28,%esp
   char buf1[5];
   char buf2[20];
}

void main() {			        
                                pushl $7
   func(7);                     call func ; Salva RET
}