给定汇编，翻译成 C答案

【问题标题】：Given Assembly, translate to C给定汇编，翻译成 C
【发布时间】：2015-11-12 17:59:43
【问题描述】：

原来给我的是函数原型：

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

这些 cmets 不是在问题中给我的，这是我相信他们正在做的事情，但我不是 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;

如果没有给我函数原型，我怎么知道使用的是什么类型的返回类型？

【问题讨论】：

你需要熟悉函数调用约定的概念，编译后的代码调用其他编译后的代码的步骤。 For x86, you can read about them here.。汇编程序中没有真正的局部变量；只有从内存读取到寄存器，在寄存器中进行操作，以及从寄存器到内存写入。但是，代码可以通过修改%esp 在堆栈上保留空间，并随意使用该空间（包括存储所谓的局部变量）。
好的，我会调查一下，这只是很难管理我应该在学校学习的内容以及在现实世界中实际实用的内容哈哈@IwillnotexistIdonotexist

标签： c assembly att x86

【解决方案1】：

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

第一：

movl 8(%ebp), %edi

会将位于内存中的 4 个字节的内容加载到 EDI 寄存器中，该内容位于 EBP 寄存器中设置的地址之外的 8 个 8 个字节处。这种特殊的 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 局部变量，而只是创建处理器寄存器。

您的第二个问题是否，您无法判断返回的类型，这又是一个关于寄存器使用的约定，您无法仅通过查看生成的汇编代码。

【讨论】：

所以由于没有创建局部变量，我仍然可以在 C 中创建它们并命名它们，只要它们是正确的类型吗？像我一样将其命名为 tx 或将其命名为 x 不会改变任何东西？ @PA。
@bkennedy：对，局部变量只是占位符。它们只能存在于寄存器中。他们的名字没有区别。如果您查看没有优化的编译器输出，gcc 通常会发出将tx 存储在堆栈上的代码，然后在将值存储到*yp 之前再次加载它。但是-Og 会生成不会从寄存器中溢出的健全代码。
确实如此，但在一些旧的 c 编译器中，您可以通过指定 register 保留关键字来提示编译器帮助他们优化局部变量。它在某种程度上已被弃用，因为一般而言，现代编译器比人类程序员更能解决此类优化问题。

【解决方案2】：

恭喜，你做对了:)

您可以使用任何寄存器，但有些需要保留，即在使用前应保存并在使用后恢复。在典型的调用约定中，您可以使用eax、ecx 和edx，其余的需要保留。您显示的程序集不包含执行此操作的代码，但大概它就在那里。

至于返回类型，这很难推断。简单类型在eax 寄存器中返回，并且总是在那里。我们无法判断这是作为返回值，还是只是局部变量的剩余部分。也就是说，如果您的函数有return tx;，它可能是相同的汇编代码。此外，我们也不知道eax 的类型，它可能是任何适合那里的东西，并且根据调用约定预计会在那里返回。

【讨论】：