将字符与 Intel x86_64 程序集进行比较

Question

我是汇编新手（Intel x86_64），我正在尝试重新编码 C 库中的一些函数。我在 64 位 Linux 上使用 NASM 进行编译。

我的 strchr 函数出现错误，我找不到解决方案...

提醒一下，这里是 strchr 手册页的摘录：

char *strchr(const char *s, int c);

strchr() 函数返回一个指针，指向字符串 s 中字符 c 的第一次出现。

这是我尝试过的：

strchr:
    push rpb
    mov rbp, rsp

    mov r12, rdi ; get first argument
    mov r13, rsi ; get second argument

    call strchr_loop


strchr_loop:
    cmp [r12], r13 ; **DON'T WORK !** check if current character is equal to character given in parameter... 
    je strchr_end  ; go to end

    cmp [r12], 0h  ; test end of string
    je strchr_end  ; go to end

    inc r12        ; move to next character of the string

    jmp strchr_loop ; loop


strchr_end
    mov rax, r12    ; set function return

    mov rsp, rbp
    pop rbp

这会在字符串的 ned 上返回一个指针，但找不到字符...

我认为是这条线不起作用：

    cmp [r12], r13

我对此进行了测试，并且成功了：

    cmp [r12], 97 ; 97 = 'a' in ASCII

例子：

char *s;

s = strchr("blah", 'a');
printf("%s\n", s);

返回：

ah

但是我不能让它与寄存器比较一起工作。我做错了什么，我该如何解决？

Answer 1

首先，感谢您的帮助！我想我对自己在做什么有了更好的了解。

我遇到了接收8bits参数而不是64bits的问题rdi...但是朋友告诉我第一个8bit参数也在sil 注册。

这是我的工作代码：

strchr:

   push rpb
   mov rbp, rsp

   call strchr_loop


strchr_loop:
    cmp byte [rdi], sil ; check if current character is equal to character given in parameter
    je strchr_end  ; go to end

    cmp byte [rdi], 0h  ; test end of string
    je strchr_end  ; go to end

    inc rdi        ; move to next character of the string

    jmp strchr_loop ; loop


 strchr_end
    mov rax, rdi    ; set function return

    mov rsp, rbp
    pop rbp

请随时告诉我是否有改进的方法，再次感谢！

Answer 2

这里是您的汇编代码的修复，它在手册页中定义的 x86-64 汇编中实现了 strchr(3)：

asm_strchr:
        push rbp
        mov rbp, rsp

strchr_loop:
        cmp byte [rdi], 0  ; test end of string
        je fail_end     ; go to end

        cmp byte [rdi], sil ; check if current character is equal to character given in parameter
        je strchr_end   ; go to end

        inc rdi         ; move to next character of the string
        jmp strchr_loop         ; loop

strchr_end:
        mov rax, rdi            ; set function return
        mov rsp, rbp
        pop rbp
        ret

fail_end:
        mov rax, 0
        mov rsp, rbp
        pop rbp
        ret