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

Question

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

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 行，我收到错误错误：无效的有效地址

起初我认为这是一个对齐错误（因此在排序功能的开头推四字）
然后我尝试使用 movq 指令（显然由于其他原因不起作用，我因为阅读了指令手册）
移向了内存地址似乎有效，即使被寄存器引用（至少 mov [rax] ， qword [ rbp-24 - rbx * 8] 编译），但我几乎看不出这样做有什么意义）我可能会用 lea 修复它，哪个编译，但我想要这个值，不是 mov rax,, qword [ rbp-24 - rbx * 8] 给出了 rbp-24-rbx*8 指向的值？

由于我在代码中的四个不同点（第 38 行之后）
遇到了同样的问题，我完全被困住了，不知道现在该尝试什么有人可以解释为什么这不能编译，如果可能，请给出解决方案（或在最少提示）

Answer 1

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

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

但是，您似乎正在尝试使用存储在的指针rbp-24作为基址，这也不支持；基地址必须来自寄存器。方便的是，你已经有了arrayin register的地址rdi，所以我想你想要的很简单

mov rax, qword [rdi + rbx * 8]

只是改进代码时的一般提示：使用汇编语言的主要原因是速度，而实现速度的最重要方法是最小化内存访问。您真的不希望每次触摸它们时都将局部变量保留在堆栈中并访问内存。机器有很多寄存器，所以只需为每个变量选择一个寄存器并将其保留在那里。

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