c - 给定 Assembly，翻译成 C

Question

最初给我的函数原型(prototype):

void decode1(int *xp, int *yp, int *zp)

现在我被告知将以下程序集转换为 C 代码:

movl 8(%ebp), %edi //line 1 ;; gets xp
movl 12(%ebp), %edx //line 2 ;; gets yp
movl 16(%ebp),%ecx //line 3 ;; gets zp
movl (%edx), %ebx //line 4 ;; gets y
movl (%ecx), %esi //line 5 ;; gets z
movl (%edi), %eax //line 6 ;; gets x
movl %eax, (%edx) //line 7 ;; stores x into yp
movl %ebx, (%ecx) //line 8 ;; stores y into zp
movl %esi, (%edi) //line 9 ;; stores z into xp

问题中没有给我这些评论，这是我相信他们正在做的，但我不是 100% 确定。

我的问题是，对于第 4-6 行，我是否可以假设命令

movl (%edx), %ebx 
movl (%ecx), %esi
movl (%edi), %eax

只是为 y,z,x 创建一个局部变量？

此外，每个变量存储在其中的寄存器(edi、edx、ecx)是否重要，或者我可以以任何顺序使用任何寄存器来将指针从堆栈中取出吗？

C 代码:

int tx = *xp;
int ty = *yp;
int tz = *zp;
*yp = tx;
*zp = ty;
*xp = tz;

如果我没有得到函数原型(prototype)，我怎么知道使用了哪种类型的返回类型？

Answer 1

让我们关注一组更简单的指令。

首先:

movl 8(%ebp), %edi

会将内存中位于 EBP 寄存器中设置的地址之外的 8 个八字节处的 4 个字节的内容加载到 EDI 寄存器中。这种特殊的 EBP 用法是编译器代码生成器遵循的约定，即针对每个函数，将堆栈指针 ESP 保存到 EBP 寄存器中，然后为函数局部变量创建堆栈帧。

现在，在 EDI 寄存器中，我们将第一个参数传递给函数，它是一个指向整数的指针，因此 EDI 现在包含该整数的地址，而不是整数本身。

movl (%edi), %eax

会得到EDI寄存器指向的4个字节，并加载到EAX寄存器中。

现在在 EAX 中，我们在第一个参数中有了 xp 指向的整数值。

然后:

movl %eax, (%edx)

会将这个整数值保存到 EDX 寄存器的内容所指向的内存中，该寄存器又从 EBP+12 加载，这是传递给函数的第二个参数。

那么，您的第一个问题是，这段汇编代码是否等同于此？

int tx = *xp;
int ty = *yp;
int tz = *zp;
*yp = tx;
*zp = ty;
*xp = tz;

是，是，但请注意，没有创建 tx,ty,tz 局部变量，只有处理器寄存器。

你的第二个问题是不，你无法分辨返回的类型，这又是关于寄存器使用的约定，你不能仅通过查看生成汇编代码。