新浪博客

汇编语言中返回指令(RET)的作用

2014-02-10 16:12阅读：

http://blog.sina.cn/dpool/blog/u/2513944792

子程序执行完时，需要返回到调用它的程序之中。为实现此功能，指令系统提供了一条专用的返回指令。其格式如下：
RET/RETN/RETF [Imm]
子程序的返回在功能上是子程序调用的逆操作。为了与子程序的远、近调用相对应，子程序的返回也分：远返回和近返回。返回指令在堆栈操作方面是调用指令的逆过程。
在近类型的子程序中，返回指令RET是近返回，其功能是把栈顶之值弹出到指令指针寄存器IP中，SP会被加2；
在远类型的子程序中，返回指令RET是远返回，其功能是：先弹出栈顶之值到IP中，再弹出栈顶之值到CS之中，SP总共会被加4。
如果返回指令后面带有立即数(其值通常为偶数)，则表示在得到返回地址之后，SP还要增加的偏移量，它不是类似于高级语言中子程序的返回值。
在MASM 5.0及其以后版本中，可用指令RETN或RETF来显式地告诉汇编程序是本子程序的返回是近返回，还是远返回。
例如：
RET;可能是近返回，也可能是远返回
RETN;近返回指令
RETF;远返回指令
RET6;子程序返回后，(SP)←(SP) + 6 举例：
源代码：
assume cs:code
stack segment
db 16 dup(0)
stack ends
code segment
mov ax,4c00h
int 21h
start:
mov ax,stack
mov ss,ax
mov sp,16
mov ax,0
push ax
mov bx,0
ret
code ends
在这里RET指令的内部操作是：栈顶字单元出栈，其值赋给IP寄存器。即实现了一个程序的转移，将栈顶字单元保存的偏移地址作为下一条指令的偏移地址。
看这段代码不难发现，程序从start后面的语句开始，用mov ax,0指令，让(ax)=0，然后push ax，即让栈顶字单元的值为0。所以ret执行后，(IP)=0，但是CS值不变，即CS一直指向code segment这个段(这个功能是通过assume cs:code实现的)，程序转移到code segment段的开头的第一条语句，即mov ax,4c00h，然后调用int 21h结束程序。
mov bx,0这一步嘛，可以理解为这段代码的具体功能就是让bx清零。
补充说明一下：返回指令分为两种，近返回和远返回。
近返回的指令就是ret，内部操作为只出栈一个字单元，只改变IP的值。
远返回的指令是retf，内部操作为连续出栈两个字单元，分别改变IP和CS的值。
这段代码用的是近返回，只改变了IP的值。

我的更多文章

下载客户端阅读体验更佳

APP专享