将x86转换为c。简单的if/else函数

Question

我在这里挑战。

我正在参加名为Mini #2的练习：初级反编译器。在这里，我必须查看一些程序集，然后将其转换为c函数。程序集如下所示：

Assembly (x86-64)
0x00:  push   rbp
0x01:  mov    rbp,rsp
0x04:  mov    DWORD PTR [rbp-0x4],edi
0x07:  mov    DWORD PTR [rbp-0x8],esi
0x0a:  mov    eax,DWORD PTR [rbp-0x4]
0x0d:  cmp    eax,DWORD PTR [rbp-0x8]
0x10:  jl     17 <foo+0x17>
0x12:  mov    eax,DWORD PTR [rbp-0x4]
0x15:  jmp    1a <foo+0x1a>
0x17:  mov    eax,DWORD PTR [rbp-0x8]
0x1a:  pop    rbp
0x1b:  ret

因此，行：0x04:mov DWORD PTR[rbp-0x4]，edi 0x07:mov DUORD PTR[rbp-x8]，esi我很有把握对应于两个参数。然后是带有il的if语句，它决定函数的结束方式。我自己的翻译是这样的：

int foo(int a, int b) {
int c = a;
if (c > a){
    c = a;
} else {
    c = b;
}
return c;
}

因为在我看来，函数所做的一切都是比较两个输入，然后返回较大的输入，将较大的输入存储在eax中。

在线代码检查器告诉我我错了。我可能哪里出错了？

Answer 1

我不知道你的checker有多挑剔，但是rbp下面的存储是针对局部变量的，所以它是把形参复制到局部变量内存中。

此外，您正在将第一个参数值与其本身进行比较，因此执行

此外，你是对的，这个关系应该被否定，才能把它带到C，但是相反