2

我正在用汇编语言（Linux，64 位，yasm）实现一个冒泡排序算法的函数。该函数在 C 文件中调用，其中数组和数组大小分别通过 rdi 和 rsi 传递给程序集。

  xor rax, rax
  xor rbx, rbx
  xor r14, r14                  ; r14 : int j = 0
  xor r15, r15                  ; r15 : boolean swapped
  inc r15                       ; swapped = true    (=> swapped = 1)

  while:  
    cmp r15, 1                  ; while (swapped)   (=> check if  swapped == 1)
    jne end_while   

    dec r15                     ; swapped = false   (=> swapped = 0)
    inc r14                     ; j++    
    mov rdx, rsi                ; rdx = size
    sub rdx, r14                ; size - j
    xor rcx, rcx                ; int i = 0

  for:
    cmp rcx, rdx                ; i < size - j
    je end_for

    mov rax, [rdi+rcx*4+4]      ; rax = rdi+rcx*4+4 => arr[i+1]
    mov rbx, [rdi+rcx*4]        ; rbx = rdi+rcx*4   => temp = arr[i]

    cmp rbx, rax                ; if(arr[i] > arr[i+1])
    jng done_if

    mov  [rdi+rcx*4], rax       ; arr[i] = arr[i+1]
    mov  [rdi+rcx*4+4], rbx     ; arr[i+1] = temp        
    inc r15                     ; swapped = true (=> swapped = 1)

    done_if:

    inc rcx                     ; ++i
    jmp for

  end_for:  
  end_while:
    ret

该数组仅对整数进行排序。我用 Java 编写了冒泡排序并在那里进行了测试——它工作得很好。但是，当我通过 C 文件传递​​数组 {9,8,7,6,5,4,3,2,1,0} 时，输出为 {8,8,8,8,8,8,8, 8,8,9}。我用 gdb 进行了调试，但仍然看不到问题出在哪里。for 循环构造工作正常（rcx 和 rdx 功能正确）。似乎访问数组元素的方式可能存在问题。任何意见，将不胜感激。

4

1 回答 1

1

您的问题是您在任何地方都使用四字（64 位整数），但您的数组中充满了双字（32 位整数）。尤其是你使用的部分mov rax, [rdi+rcx*4+4]要改成movl eax, [rdi+rcx*4+4]，其他的mov指令也要改成movl。

于 2014-10-29T08:53:19.463 回答