nasm x86_64 中的 strcmp，寄存器

Question

我正在尝试在 asm 中实现我自己的 strcmp。这是 ft_strcmp.s 文件：

global ft_strcmp

section .text
ft_strcmp:
            mov eax, [rdi]
            sub eax, [rsi]
            jne .exit
            cmp byte [rdi], 0 ; if s1 end
            je .exit
            cmp byte [rsi], 0 ; if s2 end
            je .exit
            inc rdi
            inc rsi
            jmp ft_strcmp
.exit:
            ret

第一个字母没问题： char *s1 = "你好世界" char *s2 = "Jdllo 世界" 结果是 1。 (0000 0001)

问题是当我尝试比较这些字符串时：

char *s1 = "Hello World"

char *s2 = "Hdllo 世界"

RAX 中的结果不是 1，而是 256。(0000 0001 0000 0000)

另一个例子：

char *s1 = "Hello World"

char *s2 = "Hcllo 世界"

RAX 中的结果不是 2，而是 512。(0000 0010 0000 0000)

正如您已经理解的那样，第三个不同字母的结果将是：

char *s1 = "Hello World"

char *s2 = "Heklo 世界"

RAX 中的结果不是 1，而是 65 536。（0000 0001 0000 0000 0000 0000）

我意识到 RAX 递增不正确，但我在代码中找不到错误。 所以我请你帮助我理解。

Answer 1

Assembly 与其他语言不同，所以很多时候您认为可能发生的事情并不是实际发生的事情。您得到令人惊讶/不正确结果的原因是因为您要减去两个数字。在获得调试器之前，您不会立即看到这一点（如果您想在汇编中学习/生存，您应该已经拥有它）。让我们看看在调试器的帮助下发生了什么。 首先让我们设置一个小main 和一些数据：

section .data
    str1: db "Hello world",0
    str2: db "Hdllo world",0

section .text
global main

ft_strcmp:
... ; your code here

main:
   nop
   mov rdi, str1
   mov rsi, str2
   
   call ft_strcmp
   nop

当执行开始时，我们用字符串（只是一个字节序列）加载rdi 和rsi。这里重要的是rdi 和rsi 实际上并不“包含”字符串/字节，而是指向它们，即rdi 和rsi 包含我们的字符串所在位置的地址。

接下来我们调用该函数，这就是问题开始发生的地方。我将重点关注这两个说明：

    mov eax, [rdi] ;1
    sub eax, [rsi] ;2

在指令1 中，您将字符串本身移动到eax。 [rdi] 表示获取rdi 拥有的地址的值。这就像取消引用一个指针。现在，eax 的大小是 32 位（4 个字节），所以它只能包含 4 个字节。假设你有一个小端系统，字节的顺序将是相反的，所以eax 中的值将是：

eax = 0x6c6c6548

如果你仔细看，你会发现它距离str1有4个字节：

6c  6c   65  48
'l' 'l' 'e'  'h'

接下来，从rsi 中的地址值中减去这个数字，即：

0x6c6c6448
OR
0x6c 6c  64  48
'l' 'l' 'd'  'h'

如果你减去这两个数字：

0x6c6c6548 - 0x6c6c6448 = 0x100

0x100 以 10 为底数为 256。

由于该值非零，ZF（零标志）将不会被设置，您将跳转到.exit。

希望您现在了解实际发生的情况。

我强烈建议您获取调试器并使用它来调试此类问题。