進階語言函數調用過程-bp，sp

sp作為基址指標訪問函數的參數和函數中得局部變數，sp是棧頂指標，棧的方向是由大到小。

臨時儲存區做為函數局部變數的儲存地區。

VC6.0中預設是40h大小，當函數中包含局部變數時，臨時儲存區會相應的擴充，局部變數佔多少位元組，臨時儲存區就增加多少位元組。比如函數中有臨時變數int a，則臨時儲存區擴充為44h大小。

摘要：本文說明進階語言編譯成組合語言後，進階語言中函數調用的組譯工具過程。

本文：進階語言編譯成組譯工具以後，在進階語言中的函數調用的組譯工具過程如下：

1.將函數參數入棧，第一個參數在棧頂，最後一個參數在棧底。

2.執行CALL指令，調用該函數，進入該函數代碼空間。
a.執行CALL指令，將CALL指令下一行代碼的地址入棧。
b.進入函數代碼空間後，將基址指標EBP入棧，然後讓基址指標EBP指向當前堆棧棧頂，並使用它訪問存在堆棧中的函數輸入參數及堆棧中的其他資料。
c.堆棧指標ESP減少一個值，如44H，向上移動一個距離，留出一個空間給該函數作為臨時儲存區。
{
   // 以上準備工作做好後，函數正式被執行，如下所示。
   d.將其他指標或寄存器中的值入棧，以便在函數中使用這些寄存器。
   e.執行代碼。
   f.執行return()返回執行結果，將要返回的值存入EAX中。
   g.步驟2.d中的指標出棧。
}
h.將EBP的值傳給堆棧指標ESP，使ESP複原為2.c之前的值。此時進入函數時EBP的值在棧頂。
i.基址指標EBP出棧，複原為2.b之前的EBP的值。
j.執行RET指令，“調用函數”的地址出棧，本函數返回到CALL指令的下一行。

3.函數返回到CALL指令下一行，將堆棧指標加一個數值，以使堆棧指標恢複到以上步驟1執行之前的值。該數值是上面第一步入棧參數的總長度。

注意：
1.堆棧指標ESP指向棧頂的新入棧資料的最低位。
2.MOV指令中位移指標指向被“MOV”的資料的最低位。如下面指令是將ebp+8到ebp+11四個位元組的內容傳到eax寄存器中。
00402048   mov         eax,dword ptr [ebp+8]

一個例子如下：

進階語言代碼中的函數調用如下：

117:      bR = t1(p);

彙編代碼如下：

00401FB8   mov         ecx,dword ptr [ebp-8]   ;將參數放入ecx寄存器
00401FBB   push        ecx                     ;參數入棧
00401FBC   call        @ILT+10(t1) (0040100f)  ;函數調用,下一行地址00401FC1入棧
00401FC1   add         esp,4                   ;函數返回,堆棧指標加4,複原為00401FB8時的值
00401FC4   mov         dword ptr [ebp-10h],eax ;從eax中取出進階語言中的函數傳回值,放入bR變數中

其中t1函數如下：

125:  BOOL t1(void* p)
126:  {
00402030   push        ebp                    ;ebp入棧
00402031   mov         ebp,esp                ;ebp指向此時堆棧的棧頂
00402033   sub         esp,44h                ;esp減少一個值,空出一段儲存區
00402036   push        ebx                    ;將三個寄存器的值入棧,以便在函數中使用它
00402037   push        esi                    ;
00402038   push        edi                    ;
00402039   lea         edi,[ebp-44h]          ;
0040203C   mov         ecx,11h                ;
00402041   mov         eax,0CCCCCCCCh         ;
00402046   rep stos    dword ptr [edi]        ;
127:      int* q = (int*)p;                   ;
00402048   mov         eax,dword ptr [ebp+8]  ;ebp+8指向函數輸入參數的最低位地址;
;如果是ebp+4則指向函數返回地址00401FC1的最低位,值為C1
0040204B   mov         dword ptr [ebp-4],eax  ;
128:      return 0;                           ;
0040204E   xor         eax,eax                ;傳回值放入eax寄存器中
129:  }
00402050   pop         edi                    ;三個寄存器出棧
00402051   pop         esi                    ;
00402052   pop         ebx                    ;
00402053   mov         esp,ebp                ;esp複原
00402055   pop         ebp                    ;ebp出棧,它的值也複原了
00402056   ret                                ;返回到此時棧頂儲存的代碼地址:00401FC1
;故而如果不幸被修改了返回地址,程式就會出現意外

以上彙編代碼由VC++6.0編譯得到。

堆棧在EBP入棧後的情況：

       低位          高位
        ↓            ↓
記憶體位址      堆棧
        ┆            ┆
0012F600├──────┤← edi = 0012F600
        │            │
0012F604├─┄┄┄┄─┤
        │            │
        │            │
        ┆ 44h的空間  ┆
        ┆            ┆
        │            │
        │            │
0012F640├─┄┄┄┄─┤
        │            │
0012F644├──────┤← ebp被賦值後指向該單元,此時ebp=0012F644
        │AC F6 12 00 │ebp賦值為esp之前的值
0012F648├──────┤
        │C1 1F 40 00 │返回地址
0012F64C├──────┤← ebp + 8
        │A0 F6 12 00 │函數實參p的值
0012F650├──────┤
        │            │
        ├──────┤
        ┆            ┆

註：儲存空間儲存空間堆棧按從高到低的排列，左邊標註的地址是其右下方儲存單元的最低位地址。如0012F644指向0012F6AC的AC位元組，AC在棧頂。圖中儲存空間中的內容按從低到高位書寫，“AC F6 12 00”= 0x0012F6AC