c - x64 assembly 部门

Question

当我在 Ubuntu 64 位中执行以下汇编代码时，出现浮点异常(核心转储)错误:

#include <stdio.h>

int main() {  
int arg1, arg2, quo, rem ;

    printf( "Enter two integer numbers : " );
    scanf( "%d%d", &arg1, &arg2 );

    __asm__ ( "movl $0x0, %%edx;"
              "movl %2, %%eax;"
              "movl %3, %%ebx;"
               "idivl %%ebx;" : "=a" (quo), "=d" (rem) : "g" (arg1), "g" (arg2) );


    printf( "%d / %d = %d\n", arg1, arg2, quo );
    printf( "%d %% %d = %d\n", arg1, arg2, rem );

    return 0 ;
}

Answer 1

您当前的问题可能是由于未正确读取输入造成的。

但是您也错误地使用了内联汇编。 gcc 内联汇编是一个复杂的野兽，请确保您确实需要它，然后准备好阅读手册。

你的代码很糟糕，因为你使用 ebx不告诉编译器。

此外，gcc 内联汇编的经验法则是，如果您曾经使用 mov你可能做错了。如果您希望参数位于特定寄存器中，则应使用适当的约束。另一个规则是你几乎不应该使用 g约束。

可能的修复:

__asm__("cdq; idivl %3" : "=a" (quo), "=&d" (rem) : "a" (arg1), "rm" (arg2) );

当然，您不需要内联汇编来执行除法。

<小时/>

更新:看起来问题毕竟在其他地方，即您使用了 %edx在您的代码中而不通知编译器。由于编译器不知道，因此可以自由地将其分配给除数，即替换为 %3 = %edx 。尽管编译器正确地将除数放在那里，但您所做的第一件事是零 %edx ，从而破坏除数。后来你把那个零移到 %ebx ，并尝试除以它，因此出现异常。

我的建议使用了所谓的“earlyclobber”修饰符( & 中的 =&d )，它向编译器发出信号，表明代码将在用完输入之前修改有问题的输出，因此编译器不得在那里放置任何输入。请注意，仅将其添加到原始代码中仍然不够，因为仍然剩下 %eax和%ebx同样的问题。

下次，请记住，您可以使用 gcc -S 请求程序集列表。 (或者您可以使用 objdump -d 或内部 gdb 进行反汇编)，这样您就可以看到编译器进行了哪些替换。