如何解决将较小的值移入寄存器
我已经存储了8
的一个字节值,我想将其移到rax
寄存器中。我目前正在使用movzx
来对字节进行零扩展:
.globl main
main:
push %rbp
mov %rsp,%rbp
movb $8,-1(%rbp)
movzx -1(%rbp),%rax <-- here
...
movzx
指令如何“知道” -1(%rbp)
处的值只有一个字节长?从这里说,如果我正确阅读它,它可以同时在byte
和word
上运行,但是怎么知道呢?例如,如果我在-2(%rbp)
处添加了一个两个字节的值,它将如何知道要获取两个字节的值?还有另一条指令,我可以在地址处获取one
或two
或four
字节值并将其插入64位寄存器吗?
我想另一种方法是先将寄存器清零,然后将其添加到8位(或很多位)的组件中,例如:
mov $0,%rax
mov -1(%rbp),%al
有没有一种方法比另一种方法更可取?
解决方法
它是模棱两可的,并且依赖于某些默认值,因此您不应编写这样的代码。
这就是AT&T语法针对Intel语法movzb
助记符的两种不同源大小使用movzw
和movzbl -1(%rbp),%eax
指令(通常用作movzx
)的原因。请参见Are x86 Assembly Mnemonic standarized?(不,AT&T会重新命名。)
是的,您可以 xor %eax,%eax
/ mov -1(%rbp),%al
合并到低字节,但这毫无意义,效率低下。 x86-64保证movzx等386条指令的可用性。
令人惊讶的是,movzx -1(%rbp),%rax
确实可以汇编。如果进行汇编,然后使用objdump -d foo.o
反汇编为AT&T语法,则会得到movzbq
(字节至四字节),包括一个无用的REX前缀,而不是在编写EAX之后使用implicit zero-extension do the job。 >
48 0f b6 45 ff movzbq -0x1(%rbp),%rax
或使用objdump -drwC -Mintel
分解为Intel语法:
48 0f b6 45 ff movzx rax,BYTE PTR [rbp-0x1]
有趣的事实:如果只写movzb
,GAS无法推断movzw
与movz
,因为movz
不是指令助记符。与可以从操作数推断出的操作数大小的后缀不同,b
和w
被视为助记符的一部分。但是您可以编写movzx
,然后它将从寄存器操作数推断出两个大小,就像在Intel语法模式下一样。
5: 0f b6 c0 movzbl %al,%eax # source: movzx %al,%eax
8: 0f b7 c0 movzwl %ax,%eax # source: movzx %ax,%eax
movzw
和movzb
本身就像指令助记符(可以从目标寄存器推断出大小后缀)。半相关:What does the MOVZBL instruction do in IA-32 AT&T syntax?
也相关:一张movsx
和等价于AT&T的cdq等价表:What does cltq do in assembly?
也相关:MOVZX missing 32 bit register to 64 bit register-因为在编写32位寄存器时是隐式的。
,
movzx
指令如何“知道”-1(%rbp)
处的值只有一个字节长?
有两个(甚至三个)指令:
movzxb
(-1(%rbp)
是一个字节长)和movzxw
(-1(%rbp)
是一个16位字长)。
我的汇编器将movzx
解释为movzxb
;但是,您不应该依赖它!
最好使用包含源大小(movzxb
或movzxw
)的指令名称,以确保汇编程序使用正确的指令。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。