今天看了Programming from the Ground Up的函数(Page 53)调用一章，对汇编语言函数调用有了一些了解。在汇编语言中需要调用函数时要call这个函数名，函数的执行过程如下:
准备执行
在主程序中每次调用函数时，先依次把各参数以相反的顺序入栈；
然后call func_name, 这里call要做两件事: 一是把函数的返回地址入栈，二是让指令执行指针%eip指向函数开始处。
开始执行
现在函数要开始执行了，但它执行函数代码前还要做一点小事，首先把原来的基地址寄存器%ebp值入栈，因为在程序执行中%ebp要另作它用, 接着堆栈指针%esp的值复制给%ebp, 此后在函数执行中%ebp一直保持不变，可以由此寻址获得函数参数。
pushl %ebp
movl %esp, %ebp
下面开始执行函数代码了。函数先要把它的局部变量保存在栈中，这很简单。比如要保存一个long型数据，只要把%esp指针向下移动4个字节(因为栈增长方向是由高地址到低地址)，再根据%esp把该数据移入. 下面是保存两个局部变量long后的堆栈内容：
Parameter #N <--- N*4+4(%ebp)
...
Parameter 2 <--- 12(%ebp)
Parameter 1 <--- 8(%ebp)
Return Address <--- 4(%ebp)
Old %ebp <--- (%ebp)
Local Variable 1 <--- -4(%ebp)
Local Variable 2 <--- -8(%ebp) and (%esp)
从上可以看出通过%ebp基地址寻址可以访问所有的函数参数和局部变量. 当然也可以不用
%ebp而用其它的寄存器进行同样的基地址寻址。但对于x86结构使用%ebp寄存器可能会更
快一点。
执行结束：
现在函数执行要结束了，在它返回之前，还要做下面几件事:
1. 把函数的返回值存放在通用寄存器%eax中，供外部使用
2. 把%esp指向函数开始执行的位置, 即movl %ebp,%esp
3. 在函数返回ret之前，要还原ebx, 即popl %ebp
movl %ebp, %esp
popl %ebp
ret
从上也可以看出，当%esp指向函数开始执行的位置后，局部变量也就没有意义了(因为此时
esp指向的栈地址高于那些局部变量的地址)。
函数执结束ret返回后，要把call时push的所有函数参数也pop出来(或者直接在%esp上加参数的个数的4倍,如果不需要再使用这些参数值的话)。
addl $8, %esp # 因为有两个参数8个字节
下面是一段代码power.s，计算2^3+5^2
# ==================== asm code begin ===================
#PURPOSE: Program to illustrate how functions work. This program will compute
#the value of 2^3+5^2
.section .data
.section .text
.global _start
_start:
pushl $3
pushl $2
call power # 调用power(2,3)函数
addl $8, %esp # 函数结束后，堆栈指针%esp要返回到参数之前，即加上4*2
pushl %eax # 把第一次计算的power(2,3)的结果(保存在%eax中)，入栈保存
pushl $2
pushl $5
call power #调用power(5,2)
addl $8, %esp # 函数结束后，堆栈指针%esp要返回到参数之前，即加上4*2
popl %ebx #从堆栈中取出第一次计算的power(2,3)结果，放在%ebx中
addl %eax, %ebx # 两者相加保存在%ebx中
movl $1,%eax
int $0x80
#系统调用结束，调用号保存在%eax中(为1)，返回值保存在%ebx中(为计算结果33)
# function long power(long a,long b) =a^b
.type power, @function
power:
pushl %ebp # %ebp入栈
movl %esp, %ebp # %ebp中保存%esp值，用作下面的基地址寻址
subl $4, %esp
movl 8(%ebp) ,%ebx #把参数a的值赋给%ebx
movl 12(%ebp) ,%ecx #把参数b的值赋给%ecx
movl %ebx, -4(%ebp) #下面是对a做b次循环计算，把 中间结果存放在-4(%ebp) 中
power_loop_start:
cmpl $1, %ecx
je end_power
movl -4(%ebp),%eax
imull %ebx, %eax
movl %eax, -4(%ebp)
decl %ecx
jmp power_loop_start
end_power:
movl -4(%ebp), %eax # 返回值给%ebx
movl %ebp, %esp # %esp回到函数执行开始位置
popl %ebp # ret前要还原函数执行初的%ebp值
ret
#================= asm code end ====================
#as power.s -o power.o
#ld power.o -o power
#./power
#echo $?
33
