Question

我正在使用汇编语言（Linux，64位，yasm）实现bubblesort算法的函数。从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编写了bubblesort并在那里进行了测试 - 它运行正常。但是，当我通过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函数正确）。似乎访问数组元素的方式可能存在问题。任何建议将不胜感激。

Answer 1

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

排序算法：汇编

1 个答案: