c - 汇编语言到 C

Question

所以我有以下汇编语言代码，我需要将其转换为 C。我对几行代码感到困惑。

我知道这是一个for循环。我在每一行都添加了我的评论。

我认为for循环是这样的

for (int i = 1; i > 0; i << what?) {
    //Calculate result
}

测试条件是什么？我该如何改变它？

查看汇编代码，变量'n'有什么作用？

这是 Intel x86 所以格式是 movl = source, dest

  movl 8(%ebp), %esi     //Get x
  movl 12(%ebp), %ebx    //Get n
  movl $-1, %edi         //This should be result
  movl $1, %edx          //The i of the loop
.L2:
  movl %edx, %eax
  andl %esi, %eax
  xorl %eax, %edi        //result = result ^ (i & x)
  movl %ebx, %ecx        //Why do we do this? As we never use $%ebx or %ecx again
  sall %cl, %edx         //Where did %cl come from?
  testl %edx, %edx       //Tests if i != what? - condition of the for loop
  jne .L2                //Loop again
  movl %edi, %eax        //Otherwise return result.

Answer 1

sall %cl, %edx将 %edx 左移一位%cl。( %cl，作为参考，是 的低字节%ecx。) 随后testl测试该移位是否将 %edx 归零。

之所以jne这么称呼是因为它经常用于比较的上下文中，在 ASM 中通常只是减法。标志将根据差异设置；如果项目相等（因为 x - x == 0），将设置 ZF。它jnz在 Intel 语法中也被调用；我不确定 GNU 是否也允许这样做。

总之，这三个指令转换为i <<= n; if (i != 0) goto L2;. 加上标签似乎形成了一个 for 循环。

for (i = 1; i != 0; i <<= n) { result ^= i & x; }

或者，更准确地说（但实现相同的目标），一个 do...while 循环。

i = 1;
do { result ^= i & x; i <<= n; } while (i != 0);