转移指令的原理
可以修改IP,或同时修改CS和IP的指令称为转移指令。
jmp指令
jmp为无条件转移指令,可以修改IP,也可以同时修改CS和IP
jmp指令要给出两种信息
- 1.转移的目的地址
- 2.转移的距离(段间转移,段内短转移,段内近转移)
依据位移进行转移的jmp指令
- jmp short 标号(转到标号处执行指令)
这种格式的jmp指令实现的是段内短转移
比如:
assume cs:codesg
codesg segment
start: mov ax,0
jmp short s
add ax,1
s: inc ax
codesg ends
end start
上面的程序执行后,ax中的值为1,因为执行jmp short s后,越过了add ax,1,IP指向了标号s处的Inc ax.
本质:
- 在"jmp short标号"指令所对应的机器码中,并不包括转移的目的地址,而包含的是转移的位移,这个位移,是编译器根据汇编指令中的"标号"计算出来的,具体方法如下:
实际上,"jmp short 标号"的功能为:(IP)=(IP)+8 - 8位位移=标号处的地址-jmp指令后的第一个字节的地址
- short指明此处的位移为8位位移
- 8位位移的范围为-128-127,用补码表示
- 8位位移由编译程序在编译时算出
转移的目的地址在指令中的jmp指令
“jmp far ptr 标号"实现的是段间转移,又称为远转移,功能如下:
- (CS)=标号所在段的段地址
- (IP)=标号在段中的偏移地址
- far ptr指明了指令用标号的段地址和偏移地址修改CS和IP
转移地址在寄存器中的jmp指令
- 指令格式:jmp 16位 reg
- 功能:(IP)=(16位reg)
转移地址在内存中的jmp指令
转移地址在内存中的jmp指令有两种形式:
- jmp word ptr 内存单元地址(段内存转移)
- 功能:从内存单元地址处开始存放着一个字,是转移的目的偏移地址
- 比如:
mov ax,0123H
mov ds:[0],ax
jmp word ptr ds:[0]
执行后,(IP)=0123H
- jmp dword ptr内存单元地址(段间地址)
- 功能:从内存单元地址处开始存放着两个字,高地址处的字是转移的目的段地址,低地址处是转移的目的偏移地址。
- (CS)=(内存单元地址+2)
- (IP)=(内存单元地址)
- 比如:
mov ax,0123H
mov ds:[0[,ax
mov word ptr ds:[2],0
jmp dword ptr ds:[0]
执行后,(CS)=0,(IP)=0123H,CS:IP指向0000:0123
jcxz指令
jcxz指令为有条件转移指令,所有的条件转移指令都是短转移,在对应的机器码中包含转移的位移,而不是目的地址,对IP的修改范围是:-128-127
当(CX)!=0时,什么也不做(程序向下执行)
我们从jcxz的功能中可以看到,“jcxz 标号”的功能相当于:
if((cx)==0) jmp short 标号;
loop指令
loop指令为循环指令,所有的循环指令都是短指令,在对应的机器码中包含转移的位移,而不是目的地址,对IP的修改范围都为:-128-127
指令格式:loop 标号((cx)=(cx)-1,如果(cx)!=0,转移到标号处执行
操作:
- (cx)=(cx)-1
- 如果(cx)!=0,(IP)=(IP)+8位移
如果(cx)=0,什么也不做(程序向下执行)
我们从loop的功能可以看出,"loop 标号"的功能相当于:
(cx)--;
if((cx)!=0) jmp short 标号;
根据位移进行转移的意义
我们我们讲到:
- jmp short 标号
- jmp near ptr 标号
- jcxz 标号
- loop 标号
等几种汇编指令,它们对IP的修改是根据转移目的地址和转移起始地址之间的位移来进行的,在它们对应的机器码中不包括转移的目的地址,而包含的是到目的地址的位移
这种设计,方便了程序段在内存中的浮动转配
例如:
汇编指令 机器代码
mov cx,6 B9 06 00
mov ax,10h B8 10 00
s: add ax,ax 01 c0
loop s E2 FC
这段代码转在了内存中的不同位置都可正常执行,因为loop s在执行时值只设及s的位移,而不是s的地址,如果loop s的机器码中包含的是s的地址,则就对程序段在内存中的偏移地址有了严格的限制,因为机器码中包含的是s的地址,如果s处的指令不在目的地址处,程序的执行就会出错,而loop s的机器码中包含的是转移的位移,就不会出现这个问题。
编译器对转移位移超界的检测
注意,根据位移进行转移的指令,它们的转移范围受到转移位移的限制,如果在源程序中出现了转移范围超界的问题,在编程的时候,编译器将报错
比如:
assume cs:code
code segment
start: jmp short s
db 128 dup(0)
s: mov ax,0ffffh
code ends
end start
jmp short s的转移范围是-128-127,IP最多向后移动127个字节