Question

我试图将以下程序翻译成x86程序集（AT＆amp; 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并将商存储在％ex中，余数存储在％edx中。

Answer 1

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

根据上述评论，

%edi不是n：

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％的编码器

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

2 个答案: