VC 函数调用的 汇编代码 浅析

摘要：主要谈谈vc里面函数调用汇编成汇编代码的情形，首先针对之前的一个小程序，说说vc编译器的优化。

例子程序：

#include <iostream>
using namespace std;
int main(int argc, char* argv[])
{
int i=10;
int a = i;
cout << "i=" << a << endl;

//下面汇编语句的作用就是改变内存中i的值，但是又不让编译器知道
__asm
{
mov dword ptr [ebp-4], 20h
}
int b = i;
cout << "i=" << b << endl;

return 0;
}

这段代码很简洁，但汇编代码可不简洁，首先看看release模式下的汇编代码概况：

……

; 14 :
; 15 : //下面汇编语句的作用就是改变内存中i的值，但是又不让编译器知道
; 16 : __asm
; 17 : {
; 18 : mov dword ptr [ebp-4], 20h

mov DWORD PTR [ebp-4], 32 ; 00000020H

; 19 : }
; 20 : int b = i;
; 21 : cout << "i=" << b << endl;

push 10 ; 0000000aH
push OFFSET FLAT:??_C@_02HDOK@i?$DN?$AA@ ; `string'
push OFFSET FLAT:?cout@std@@3V?$basic_ostream@DU?$char_traits@D@std@@@1@A ; std::cout
call ??6std@@YAAAV?$basic_ostream@DU?$char_traits@D@std@@@0@AAV10@PBD@Z ; std::operator<<
add esp, 8
mov ecx, eax
call ??6?$basic_ostream@DU?$char_traits@D@std@@@std@@QAEAAV01@H@Z ; std::basic_ostream<char,std::char_traits<char> >::operator<<
mov esi, eax
push 10 ; 0000000aH
mov ecx, esi
call ?put@?$basic_ostream@DU?$char_traits@D@std@@@std@@QAEAAV12@D@Z ; std::basic_ostream<char,std::char_traits<char> >::put
mov ecx, DWORD PTR [esi]
xor edi, edi

……

调用cout前面，直接一个push 10，这是函数调用前压参数的过程，压了个常数在里面，呵呵，其实i已经被修改了，但是编译器不知道，以为i仍然是10，顾做了优化，压参压了常量在里面。

再看看debug模式下的汇编代码情况：

16: __asm
17: {
18: mov dword ptr [ebp-4], 20h
004017DE mov dword ptr [ebp-4],20h
19: }
20: int b = i;
004017E5 mov edx,dword ptr [ebp-4]
004017E8 mov dword ptr [ebp-0Ch],edx
21: cout << "i=" << b << endl;
004017EB push offset @ILT+195(std::endl) (004010c8)
004017F0 mov eax,dword ptr [ebp-0Ch]
004017F3 push eax
004017F4 push offset string "i=" (0046c01c)
004017F9 push offset std::cout (00477a10)
004017FE call @ILT+640(std::operator<<) (00401285)
00401803 add esp,8
00401806 mov ecx,eax

b = i，赋值这句成了从i的地址去取值送往b了，

mov edx,dword ptr [ebp-4]
mov dword ptr [ebp-0Ch],edx

注意release版本是没有这两句的，所以现在b取值就是肯定正确的了，后面压参的时候，也把b地址指向的值压入了堆栈，呵呵，这也是之前说的为什么两个版本下运行结果不同的原因。

把这个程序稍加修改，开始我们下面的函数调用汇编浅析：

#include <iostream>

using namespace std;

int ChangNum(int, int);
int main(int argc, char* argv[])
{
int i=10;
int a = i;
cout << "i=" << a << endl;

//下面汇编语句的作用就是改变内存中i的值，但是又不让编译器知道
__asm
{
mov dword ptr [ebp-4], 20h
}
int b = i;
cout << "i=" << b << endl;
ChangNum(50, 100);

return 0;
}

int ChangNum(int nParam, int nW)
{
int i = 10;
int a = i;
cout << "i=" << a << endl;

__asm
{
mov dword ptr [ebp - 4], 20h
mov dword ptr [ebp + 12], 0h
}
int b = i;
cout << "i=" << b << endl;

return 0;
}

主要看看函数调用那段的汇编代码：

1、函数调用点汇编代码：

23: ChangNum(50, 100);
00401824 push 64h
00401826 push 32h
00401828 call @ILT+590(ChangNum) (00401253)
0040182D add esp,8
分别是两个参数入栈，call这句有两个作用，下一行地址入栈，同时进行函数调用，最后一句是恢复栈空间，两个整型参数每个四字节，所以esp堆栈指针要加上8字节。

2、函数体中的汇编代码：

004018C0 push ebp
004018C1 mov ebp,esp
004018C3 sub esp,4Ch
004018C6 push ebx
004018C7 push esi
004018C8 push edi
004018C9 lea edi,[ebp-4Ch]
004018CC mov ecx,13h
004018D1 mov eax,0CCCCCCCCh
004018D6 rep stos dword ptr [edi]
30: int i = 10;
004018D8 mov dword ptr [ebp-4],0Ah
31: int a = i;
004018DF mov eax,dword ptr [ebp-4]
004018E2 mov dword ptr [ebp-8],eax
32: cout << "i=" << a << endl;
004018E5 push offset @ILT+195(std::endl) (004010c8)
004018EA mov ecx,dword ptr [ebp-8]
004018ED push ecx
004018EE push offset string "i=" (0046c01c)
004018F3 push offset std::cout (00477a10)
004018F8 call @ILT+645(std::operator<<) (0040128a)
004018FD add esp,8
00401900 mov ecx,eax
00401902 call @ILT+250(std::basic_ostream<char,std::char_traits<char> >::operator<<) (004010ff)
00401907 mov ecx,eax
00401909 call @ILT+475(std::basic_ostream<char,std::char_traits<char> >::operator<<) (004011e0)
33:
34: __asm
35: {
36: mov dword ptr [ebp - 4], 20h
0040190E mov dword ptr [ebp-4],20h
37: mov dword ptr [ebp + 12], 0h
00401915 mov dword ptr [ebp+0Ch],0
38: }
39: int b = i;
0040191C mov edx,dword ptr [ebp-4]
0040191F mov dword ptr [ebp-0Ch],edx
40: cout << "i=" << b << endl;
00401922 push offset @ILT+195(std::endl) (004010c8)
00401927 mov eax,dword ptr [ebp-0Ch]
0040192A push eax
0040192B push offset string "i=" (0046c01c)
00401930 push offset std::cout (00477a10)
00401935 call @ILT+645(std::operator<<) (0040128a)
0040193A add esp,8
0040193D mov ecx,eax
0040193F call @ILT+250(std::basic_ostream<char,std::char_traits<char> >::operator<<) (004010ff)
00401944 mov ecx,eax
00401946 call @ILT+475(std::basic_ostream<char,std::char_traits<char> >::operator<<) (004011e0)
41:
42: return 0;
0040194B xor eax,eax
43: }
0040194D pop edi
0040194E pop esi
0040194F pop ebx
00401950 add esp,4Ch
00401953 cmp ebp,esp
00401955 call __chkesp (00406df0)
0040195A mov esp,ebp
0040195C pop ebp
0040195D ret
ebp入栈，然后将esp的值传给ebp，现在ebp是指向此时的堆栈了，注意后面除了函数返回前，ebp的值一直是固定的，通过这种机制来访问参数和局部变量，esp减少了一个比较大的值，留给局部变量使用的，然后是通用寄存器入栈，接着就是实际的工作的代码了，这里就不说了，到那个return后面再看，是通用寄存器出栈，esp恢复，ebp出栈，ret回到函数调用的下一条指令。
http://blog.csdn.net/magictong/article/details/3447982