这个汇编代码将如何翻译成c？

Question

在 C 中我有以下结构：

typedef struct _Node{
    int data;
    struct _Node *left;
    struct _Node *right;
} Node;

以及以下汇编代码：

.section .text
.global _start

_start:
    mov $8, %esi
    mov $A, %rdi
    call func
    movq $60, %rax
    movq $0, %rdi
    syscall
    
func:
    pushq %rbp
    movq %rsp, %rbp
    cmp (%rdi), %esi
    jne continue
    mov $1, %eax
    jmp finish
    
continue:
    cmpq $0, 4(%rdi)
    je next
    pushq %rdi
    mov 4(%rdi), %rdi
    call func
    pop %rdi
    cmp $1, %eax
    je finish

next:
    cmpq $0, 12(%rdi)
    je fail
    pushq %rid
    mov 12(%rdi), %rdi
    call func
    pop %rdi
    cmp $1, %eax
    je finish
   
fail:
    mov $0, %rax

finish:
    leave
    ret

现在尝试用 C 编写它我有一个问题：

__long__ func ( Node *root, __int__ x){
            if (root->data == __x__ )
                return 1;

            if (root->left != null)
               if (_____??_____)
                   return ___ func(root->left, x)____;

            if (root->right != null)
                return ____func(root->right, x)____;
}

为什么我们有两个 if-if？如果 left 不为 null，则汇编代码使用 left 儿子调用该函数，并且不进行其他条件检查（即 cmp 调用）。

Answer 1

第二个if 是func 成功时返回的那个。

bool func(Node *nd, int x)
{
    if (nd->data == x)
        return true;

    if (nd->left)
    {
        if (func(nd->left, x) == true)
            return true;
    }

    if (nd->right)
        return func(nd->right, x);
    
    return false;
}

我选择bool 是因为它在这个函数的上下文中是有意义的，即使int 或long 或其他可能也有效。