MOV类指令
MOV类指令是最简单的数据传送指令,这类指令把数据从源位置复制到目的位置,不做任何变化。
MOV类指令由四条指令组成:movb、movw、movl和movq。
这些指令都执行同样的操作:主要区别在于它们操作的数据大小不同:分别是1、2、4和8字节。
指令 | 效果 | 描述 |
---|---|---|
M O V S , D MOV S,D MOVS,D | D < − S D <- S D<−S | 传送 |
m o v b movb movb | 传送字节 | |
m o v w movw movw | 传送字 | |
m o v l movl movl | 传送双字 | |
m o v q movq movq | 传送四字 | |
m o v a b s q I , R movabsq I, R movabsqI,R | R < − I R<-I R<−I | 传送绝对四字 |
源操作数指定的值是一个立即数,存储在寄存器中或者内存中。
目的操作数指定一个位置,要么是一个寄存器或者,要么是一个内存地址。
x86-64加了一条限制,传送指令的两个操作数不能都指向内存位置。
将一个值从一个内存位置复制到另一个内存位置需要两条指令——第一条指令将源值加载到寄存器中,第二条将该寄存器值写入目的位置。
这些指令的寄存器操作数可以是x86-64CPU的16寄存器中有标号部分中的任意一个,寄存器部分的大小必须与指令最后一个字符(b、w、l或q)指定的大小匹配。
大多数情况下,MOV中指令只会更新目的操作数指定的那些寄存器字节或内存位置。唯一的例外是movl指令以寄存器作为目的时,它会把该寄存器的高4位字节设置为0。
造成这个例外的原因是x86-64采用的惯例,即任何为寄存器生成32为值的指令都会把该寄存器的高位部分置成0。
常规的movq指令只能以表示为32位补码数字的立即数作为源操作数,然后把这个值符号扩展得到64位的值,放到目的位置。movabsq指令能够以任意64位立即数值作为源操作数,并且只能以寄存器作为目的。
MOVZ类指令
MOVZ类数据移动指令,在将较小的源复制到较大的目的时使用。
这些指令把数据从源(在寄存器或内存中)复制到目的寄存器。
MOVZ类中的指令把目的中剩余的字节填充为0。
指令 | 效果 | 描述 |
---|---|---|
M O V Z S , R MOVZ S, R MOVZS,R | R < − 零 扩 展 ( S ) R<-零扩展(S) R<−零扩展(S) | 以零字节扩展进行传送 |
m o v z b w movzbw movzbw | 将做了零扩展的字节传送到字 | |
m o v z b l movzbl movzbl | 将做了零扩展的字节传送到双字 | |
m o v z w l movzwl movzwl | 将做了零扩展的字传送到双字 | |
m o v z b q movzbq movzbq | 将做了零扩展的字节传送到四字 | |
m o v z w q movzwq movzwq | 将做了零扩展的字传送到四字 |
注意到,并没有一条明确的指令把4字节源值零扩展到8字节目的。
这样的指令逻辑上应该被命名为
m
o
v
z
l
q
movzlq
movzlq,但是并没有这样的指令。
不过,这样的数据传送指令可以用以寄存器为目的的
m
o
v
l
movl
movl来实现。
这一技术利用的属性是,生成4字节值并以寄存器作为目的的指令会把高4字节置为0.
MOVS类指令
MOVS类数据移动指令,在将较小的源复制到较大的目的时使用。
这些指令把源数据从源(在寄存器或内存中)复制到目的寄存器。
MOVS类中的指令通过符号扩展来填充,把源操作数的最高位进行复制。
指令 | 效果 | 描述 |
---|---|---|
M O V Z S , R MOVZ S,R MOVZS,R | R < − 符 号 扩 展 ( S ) R<-符号扩展(S) R<−符号扩展(S) | 传送符号扩展的字节 |
m o v s b w movsbw movsbw | 将做了符号扩展的字节传送到字 | |
m o v s b l movsbl movsbl | 将做了符号扩展的字节传送到双字 | |
m o v s w l movswl movswl | 将做了符号扩展的字传送到双字 | |
m o v s b q movsbq movsbq | 将做了符号扩展的字节传送到四字 | |
m o v s w q movswq movswq | 将做了符号扩展的字传送到四字 | |
m o v s l q movslq movslq | 将做了符号扩展的双字传送到四字 | |
c l t q cltq cltq | %rax <- 符号扩展(%eax) | 把%eax符号扩展到%rax |
cltq指令没有操作数:它总是以寄存器%eax作为源,%rax作为符号扩展结果的目的。它的效果与指令movslq %eax, %rax完全一致,不过编码更紧凑。