试图翻译 C 程序以将数字反转为 x86 程序集

Question

我正在尝试将以下程序转换为 x86 程序集 (AT&T)。

#include <stdio.h>

int main()
{
   int n = 123;
   int reverse = 0;


   while (n != 0)
   {
      reverse = reverse * 10;
      reverse = reverse + n%10;
      n       = n/10;
   }

   printf("%d\n", reverse);

   return 0;
}

应该打印321。

但是，使用下面的代码，我得到的是 0。 任何人都可以告诉我我在这里做错了什么吗？ （我只粘贴了下面的相关部分。我确定初始化和打印工作正常。你可以看到the whole thing here）

  movl  $123, %esi    # int n
  movl  $0, %edi    # int reverse
  movl $10, %ebx    # divisor


L1:     # while n != 0

cmpl $0, %esi
je L2

# reverse = reverse * 10
imul $10, %edi

# reverse = reverse + n % 10
movl $0, %edx
movl %edi, %eax
idivl %ebx
addl %edx, %edi

# n = n / 10
movl %esi, %eax
movl $0, %edx
idivl %ebx
movl %eax, %esi

jmp L1

L2:  # end while

movl %edi, %eax

也许我还没有完全理解 idivl 命令应该做什么。我知道它将 %edx:%eax 除以 %ebx 并将商存储在 %eax 中，余数存储在 %edx 中。

Answer 1

# reverse = reverse + n % 10
movl $0, %edx
movl %edi, %eax   ; <--- here

%edi不是n，根据上面的cmets：

movl  $123, %esi    # int n

所以，它应该使用%esi，即movl %esi, %eax。

Answer 2

有时看看编译器生成了什么是件好事

int reverse(int x)
{
   int r = 0;

   while (x != 0)
   {
      r = r * 10;
      r = r + x%10;
      x = x/10;
   }
   return r;
}

和最短的版本：

reverse:
  xor eax, eax
  mov esi, 10
.L2:
  test edi, edi
  je .L5
  imul ecx, eax, 10
  mov eax, edi
  cdq
  idiv esi
  mov edi, eax
  lea eax, [rdx+rcx]
  jmp .L2
.L5:
  ret

或最快的：

reverse:
  xor eax, eax
  test edi, edi
  je .L4
  mov esi, 1717986919
.L3:
  lea ecx, [rax+rax*4]
  mov eax, edi
  imul esi
  mov eax, edi
  sar eax, 31
  sar edx, 2
  sub edx, eax
  lea eax, [rdx+rdx*4]
  add eax, eax
  sub edi, eax
  test edx, edx
  lea eax, [rdi+rcx*2]
  mov edi, edx
  jne .L3
  rep ret
.L4:
  rep ret

正如您所见，编译器与 99.99% 的编码器一样好/更好