汇编中的内存移动
Memmove in Assembly
我正在尝试将此 Memmove C 代码放入汇编中,但没有得到预期的结果。
我在 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 , %r9 # s = s - 1
add %rdx, %r8 # d = d + n
sub , %r8 # d = d - 1
jmp while1
while1:
cmp [=11=], %rdx # n > 0 ?
jna retDest # if n <= 0 go to retDest
sub , %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 [=11=], %rdx # n > 0 ?
jna retDest
sub , %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
它应该在第二次打印时显示 "Quiz" 但它显示了这个:
内存移动前的 str1
极客
记忆移动后的 str1
Qeeks
movb (%rsi), %cl # *dst = *src
movb %cl, (%rdi)
leaq 1(%r8), %r8 # *d++
leaq 1(%r9), %r9 # *s++
jmp while2
这里的问题是您的代码更改了 %r8
和 %r9
寄存器,但是 %rdi
和 %rsi
寄存器用于实际移动保持不变,因此一次又一次地重复复制相同的字节!
在 while1 代码中当然存在同样的问题。
我正在尝试将此 Memmove C 代码放入汇编中,但没有得到预期的结果。
我在 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 , %r9 # s = s - 1
add %rdx, %r8 # d = d + n
sub , %r8 # d = d - 1
jmp while1
while1:
cmp [=11=], %rdx # n > 0 ?
jna retDest # if n <= 0 go to retDest
sub , %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 [=11=], %rdx # n > 0 ?
jna retDest
sub , %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
它应该在第二次打印时显示 "Quiz" 但它显示了这个:
内存移动前的 str1 极客
记忆移动后的 str1 Qeeks
movb (%rsi), %cl # *dst = *src movb %cl, (%rdi) leaq 1(%r8), %r8 # *d++ leaq 1(%r9), %r9 # *s++ jmp while2
这里的问题是您的代码更改了 %r8
和 %r9
寄存器,但是 %rdi
和 %rsi
寄存器用于实际移动保持不变,因此一次又一次地重复复制相同的字节!
在 while1 代码中当然存在同样的问题。