给定 Assembly,翻译成 C

Given Assembly, translate to C

原来给我的函数原型:

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;

如果我没有得到函数原型,我怎么知道使用了哪种类型的 return 类型?

恭喜,你做对了:)

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

至于return类型,就不好推论了。简单类型在 eax 寄存器中被 returned,并且总有一些东西在那里。我们无法判断这是作为 return 值,还是仅保留为局部变量。也就是说,如果您的函数有 return tx; 它可能是相同的汇编代码。此外,我们也不知道 eax 的类型,它可能是适合那里的任何类型,并且根据调用约定预计会在那里 returned。

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

第一个:

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 局部变量,只有处理器寄存器。

你的第二个问题,是 no,你无法分辨 return 的类型,这又是关于寄存器使用的约定光看生成的汇编代码是无法推断的