按照C編譯器的約定調用函數時壓棧的順序是從右向左,並且返回值是保存在eax寄存器當中。這個命題本該是成立的,下面用一個小程序來反匯編觀察執行過程:
#include<stdio.h> int add(int x, int y){ return x+y; } int main(){ int eax=0; int z =0; int x =6; int y =5; z=add(x,y); __asm__( "movl %%eax, %0" :"+b"(eax) :"m"(x) ); printf("z is %d\n", z); printf("eax is %d\n", eax); return 0; }
代碼解釋一下,asm的代碼中movl %%eax, %0的意思是把寄存器eax的值賦值給咱們程序的eax變量當中。但為什麼執行結果卻是:
z is 11
eax is 0
理論上應該是x和y相加返回的結果才對啊。反匯編一下此exe程序:
上面是main函數
所以這裡就解釋了先把y壓棧,再把x壓棧,確實是從右向左壓棧。
接下來再看add調用:
先取了y的值再取x的值,相加後結果保存在eax裡。然後再回到main函數
調用完add後把eax的值賦值給了z,這就說明函數的返回值確實是保存在eax中。但為什麼打印出來的eax卻是0呢。
接著往下看,
首先把程序中eax變量的值賦給了eax寄存器,那當然就是0了。所以現在深入理解了C語言嵌入匯編的執行過程,就算指定了"+b"賦給ebx寄存器,但編譯器還是會先把變量的值賦給eax寄存器,再賦值給ebx,返回也是一樣的原理,如下圖: