这个C ++:
int my_func(int y, int t){
int m = 0;
m= y*t;
return m;
}
int main(){
int h = my_func(1,2);
return 1;
}
制作此x86:
int main(){
push ebp
mov ebp,esp
sub esp,8
int m = my_func(1,2);
mov dword ptr [ebp-4],0
mov eax,1
imul eax,eax,2
mov dword ptr [ebp-4],eax ;Why?
mov ecx,dword ptr [ebp-4] ;Why?
mov dword ptr [m],ecx ;Why?
return 1;
mov eax,1
}
mov esp,ebp
pop ebp
ret
我不明白为什么mov
的价值m
已经包含在注册eax
中,imul
之后?
是因为eax
行必须使用return 1
,因此eax
是一个特殊的寄存器吗?
另外,dword ptr [ebp-4]究竟指的是什么?它是1还是2?
答案 0 :(得分:0)
[ebp-4]是my_func的m本地副本存储在堆栈中的地方。 [m]是存储m的主要本地副本的地方。这里缺少的是主要副本m的定义。我原本预计它也会偏离ebp。使用VS2005,我编译了这个例子,使用volatile来防止多重优化。
__inline int myfun(int a, int b)
{
int m;
m = a*b;
return (m);
}
int main (void)
{
volatile int a, b, m;
a = 1;
b = 2;
m = myfun(a, b);
return(0);
}
并获得此汇编代码。请注意,m和a共享相同的内存位置:-4 [ebp + 8]:
_b$ = -8 ; size = 4
_m$ = -4 ; size = 4
_a$ = -4 ; size = 4
_main PROC
sub esp, 8
mov DWORD PTR _a$[esp+8], 1
mov DWORD PTR _b$[esp+8], 2
mov ecx, DWORD PTR _b$[esp+8]
mov eax, DWORD PTR _a$[esp+8]
imul eax, ecx
mov DWORD PTR _m$[esp+8], eax
xor eax, eax
add esp, 8
ret 0