arrays - 在 x86 程序集中交换数组值时出现错误值

Question

我正在 x86 程序集中进行快速排序，我需要交换数组 A[pivot] 和 A[j] 的两个元素，但我什至无法为数组索引分配值，更不用说交换元素了.

数组的分配如下:

A:      .long   2,1,8,6,12

我原来的交换方案根本不起作用，所以我将其简化为这样以了解我的问题出在哪里。我尝试了多种方法来获得正确的结果，但所有方法要么导致错误的值，要么导致段错误

    movl    A(,%ebx,4), %eax            #eax = A[pivot]
    movl    A(,%edi,4), %edx            #edx = A[j]


                                        #ebx = pivot = 0
                                        #edi = j = 1

    pushl   %eax
    pushl   $test7                      #"A[pivot] = %d"
    call    printf
    addl    $8, %esp                    # A[0] = 2 

    pushl   %edx
    pushl   $test8                      #"A[j] = %d"
    call    printf
    addl    $8, %esp                   #A[1] = 1

此片段返回:

A[pivot]         = 2 
A[j]             = -143535296 

A[pivot] = A[0] = 2，所以这是正确的，但是A[j] = A[1] = 1

当 %ebx 和 %edi 是两个数组索引来查看其内容或更改其值时，这是引用数组元素的正确方法吗？

无法弄清楚我做错了什么，任何帮助将不胜感激。

编辑:此外，如果我使用 A(,[index],4) 作为 printf 参数，它确实会显示正确的值。

edit1:我意识到为什么我的 printf 语句不正确，我更改了代码，它返回了似乎正确的内存地址。 addr[A] = 134513652 和 addr[A+1] = 134513656。不过，我最初更改数组值的问题仍然存在，执行此操作时我继续遇到段错误:

    leal    A(,%ebx,4), %ecx        # ecx = addr[A[0]]          
    movl    A(,%edi,4), %edx        # edx = A[1]
    movl    %edx, (%ecx)            # (ecx) = edx

Answer 1

您应该阅读有关调用约定的内容，尤其是。被调用者和调用者保存寄存器。在许多 ia32 调用约定中，EAX、ECX 和 EDX 是调用者保存寄存器。这意味着调用(在您的情况下是第一个 printf 调用)可能会更改它们的值。它被称为调用者保存，因为您作为调用者负责保存值，例如使用推送/弹出指令。您的示例也可以通过使用被调用者保存的寄存器之一来修复。