函数调用栈

1
2
3
4
5
6
7
8
9
10
11
12
13
14
void swap(int * a, int *b)
{
  int c;
  c = *a; *a = *b; *b = c;
}

int main()
{
   int a, b;
   a = 16; b = 32;
   swap(&a, &b);
   return (a - b);
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
.text
 _swap:
  pushl %ebp  # 保存原ebp值，设置当前函数的帧指针。
  movl %esp,%ebp
  subl $4,%esp  # 为局部变量c在栈内分配空间。
  movl 8(%ebp),%eax   # 取函数第1个参数，该参数是一个整数类型值的指针。
  movl (%eax),%ecx # 取该指针所指位置的内容，并保存到局部变量c中。
  movl %ecx,-4(%ebp)
  movl 8(%ebp),%eax # 再次取第1个参数，然后取第2个参数。
  movl 12(%ebp),%edx
  movl (%edx),%ecx  # 把第2个参数所指内容放到第1个参数所指的位置。
  movl %ecx,(%eax)
  movl 12(%ebp),%eax   # 再次取第2个参数。
  movl -4(%ebp),%ecx   # 然后把局部变量c中的内容放到这个指针所指位置处。
  movl %ecx,(%eax)
  leave   				# 恢复原ebp、esp值（即movl %ebp,%esp; popl %ebp;）。
  ret
 _main:
  pushl %ebp    # 保存原ebp值，设置当前函数的帧指针。
  movl %esp,%ebp
  subl $8,%esp # 为整型局部变量a和b在栈中分配空间。
  movl $16,-4(%ebp) # 为局部变量赋初值（a=16，b=32）。
  movl $32,-8(%ebp)
  leal -8(%ebp),%eax # 为调用swap()函数作准备，取局部变量b的地址，
  pushl %eax # 作为调用的参数并压入栈中。即先压入第2个参数。
  leal -4(%ebp),%eax   # 再取局部变量a的地址，作为第1个参数入栈。
  pushl %eax
  call _swap # 调用函数swap()。
  movl -4(%ebp),%eax # 取第1个局部变量a的值，减去第2个变量b的值。
  subl -8(%ebp),%eax
  leave # 恢复原ebp、esp值（即movl %ebp,%esp; popl %ebp;）。
  ret