排序算法：组装答案

【问题标题】：Sorting algorthm: assembly排序算法：组装
【发布时间】：2014-10-06 12:19:26
【问题描述】：

我正在用汇编语言（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 功能正确）。似乎访问数组元素的方式可能存在问题。任何建议将不胜感激。

【问题讨论】：

您使用 gdb 进行了调试 - 那么数组内容在什么时候不再有意义？
这似乎是一件奇怪的事情——在汇编代码中实现一个效率极低的算法——你这样做是为了自己的娱乐，还是作为家庭作业，或类似的东西？
为什么不使用 avx，因为这是 64 位和 linux？
我认为用 asm 编码的最好方法是先用 C 编码，然后依靠编译器将其翻译成 asm，然后再进行优化。
我看到的一个问题是你永远不会恢复while循环，即没有跳转到'while'标签。

标签： c assembly yasm

【解决方案1】：

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

【讨论】：