无法理解错误:mov rax 上的有效地址无效,qword [ rbp-24 - rbx * 8]



我想学习来自C的asm
一本书建议尝试实现这个算法,这是一个非常简单的排序算法

begin
for i = 0 to len-1
small = arr(i)
index = i
for j = i to len-1
if ( arr(j) < small ) then
small = arr(j)
index = j
end_if
end_for
arr(index) = arr(i)
arr(i) = small
end_for
end_begin

我的代码的开头是(如果需要,可以提供其余部分(

section .bss

section .data
len dq 5
array dq 1 , 3 ,  6 , 8 ,  2

section .text

global _start
_start:
mov rdi , [len]
mov rsi , array
call sort
exit


sort:
push rbp
mov rbp,rsp
push qword 0 ; i_counter = rbp-8
push rdi ; len = rbp-16
push rsi ; *array = rbp -24
push  qword 0 ; j = rbp - 32
dec qword [rbp-16]
i_loop:
mov r8 , [rbp-16]
cmp [rbp-8], r8 ; if counter = len - 1 (decreased above)
je end_i_loop
mov rbx , [rbp-8]
mov rax , qword [  rbp-24 - rbx * 8] ; small = array(i) and line 38
mov rcx , [rbp-8] ; index = i
mov [rbp - 32 ] , rcx ; j = i

在第38行我得到错误错误:无效的有效地址

一开始我认为这是一个对齐错误(因此排序函数开头的push四字(
然后我尝试使用movq指令(显然由于其他原因,它不起作用,我已经阅读了指令手册(
即使被寄存器引用,向内存地址移动似乎也有效(至少mov[rax],qword[rbp-24-rbx*8]编译(,但我认为这样做毫无意义(我可能会用编译的lea来修复它,但我想要这个值,mov rax,,qword[rbp-24-rbx*8]不是给出了rbp-24-rbx*8所指向的值吗?

由于我在代码的四个不同点(第38行之后(遇到了相同的问题,我完全被卡住了,不知道现在该尝试什么
有人能解释一下为什么它没有编译吗,如果可能的话,给出一个解决方案(或至少提示(

mov rax , qword [  rbp-24 - rbx * 8]

这从表面上看是非法的,因为SIB寻址模式只能添加缩放的索引寄存器(此处为rbx * 8(;它不能减去它。但如果你想要array(i),那么你无论如何都要加它,因为这里的rbx对应于i

然而,您似乎正在尝试使用存储在rbp-24中的指针作为基地址,这也不受支持;基址必须来自寄存器。方便的是,您已经在寄存器rdi中有了array的地址,所以我认为您想要的只是

mov rax, qword [rdi + rbx * 8]

这只是改进代码的一个一般提示:使用汇编语言的主要原因是速度,而实现速度的最重要方法是最大限度地减少内存访问。你真的不想把你的局部变量放在堆栈上,每次接触它们都访问内存。机器有很多寄存器,所以只需为每个变量选择一个寄存器并将其保存在那里。

如果你一直试图通过读取未优化的编译器程序集输出来学习,你可能会养成过度使用内存的习惯;非优化编译器将保留堆栈中的所有内容,以便在需要时具有一致的位置和地址。但试着启用优化,你会看到它神奇地消失了,一切都尽可能用寄存器完成。这更是你应该努力争取的。

相关内容

  • 没有找到相关文章