Memmove in Assembly

Question

我试图将Memmove代码放到程序集中，但没有得到预期的结果。

我在xubuntu上使用x86-64程序集，在调试了2个小时之后，我没有发现我错了。

C备忘录代码：

#include <stdio.h> 

extern void * memmove(void *dest, void *src, size_t n);

int main () { 
  char str1[] = "Geeks";  // Array of size 6
  char str2[] = "Quiz";   // Array of size 5 

  puts("str1 before memmove "); 
  puts(str1); 

  /* Copies contents of str2 to sr1 */
  memmove(str1, str2, sizeof(str2));

  puts("\nstr1 after memmove "); 
  puts(str1); 

  return 0; 
} 
/*

void * memmove(void *dest, void *src, size_t n) { 

    char *d = (char *) dest; 
    char *s = (char *) src; 

    if(s == d)
        return dest;

    if(s < d) { 
        //copy from back 
        s=s+n-1; 
        d=d+n-1; 
        while(n--) { 
            *d-- = *s--; 
        } 
    } 
    else { 
        //copy from front 
        while(n--) 
            *d++ = *s++; 
    } 
    return dest; 
} */

装配代码：

.globl memmove

# RDI = dest
# RSI = src
# RDX = n

# R8 = d
# R9 = s

memmove:
    mov     %rdi, %r8       # d = dest
    mov     %rsi, %r9       # s = src
    jmp     if_equal

if_equal:
    cmp     %r8, %r9        # s == d
    jz      retDest
    ja      else            # s > d
    jb      if_s_minor      # s < d

if_s_minor:
    add     %rdx, %r9       # s = s + n
    sub     $1, %r9         # s = s - 1

    add     %rdx, %r8       # d = d + n
    sub     $1, %r8         # d = d - 1

    jmp     while1

while1:
    cmp     $0, %rdx        # n > 0 ?
    jna     retDest         # if n <= 0 go to retDest
    sub     $1, %rdx        # n--

    movb    (%rsi), %cl     # *dst-- = *src--
    movb    %cl, (%rdi) 

    leaq    -1(%r8), %r8    # *d--
    leaq    -1(%r9), %r9    # *s--
    jmp     while1

else:
    jmp     while2

while2:
    cmp     $0, %rdx        # n > 0 ?
    jna     retDest
    sub     $1, %rdx        # n--

    movb    (%rsi), %cl     # *dst = *src
    movb    %cl, (%rdi) 

    leaq    1(%r8), %r8 # *d++
    leaq    1(%r9), %r9 # *s++
    jmp     while2

retDest:
    mov     %rdi, %rax
    ret

.end

它本来应该在第二张纸上显示“测验”，但它显示如下：

str1之前的记忆移动极客

模动后的str1

Answer 1

movb (%rsi)，%cl # *dst = *src movb %cl，(%rdi) leaq 1( %r8 )，%r8# *d++ leaq 1( %r9 )，%r9# *s++ jmp while2

这里的问题是，您的代码更改了%rdi和%r9寄存器、，但是实际移动中使用的 %r8 和寄存器保持了相同的，从而重复复制同一个字节！

当然，在while1代码中也存在同样的问题。