1

我想了解 cmp 和 je/jg 如何在汇编中工作。我在谷歌上看到了几个例子，但我还是有点困惑。下面我展示了我试图转换为 C 语言的一部分汇编代码和相应的 C 代码。它是以正确的方式实施还是我对 cmp 的工作原理有错误的理解？

cmp    $0x3,%eax
je     A
cmp    $0x3,%eax
jg     B
cmp    $0x1,%eax
je     C


 int func(int x){


  if(x == 3)
    goto A;

  if (x >3)
    goto B;


  if(x == 1)
     goto C;

    A:
    ......

    B:
    ......

    C:
    ......
4

3 回答 3

5

您正确理解 cmp 和 je/jg 的工作原理，但您的 C 代码中有错误。这一行：

if (*x == 1)

应该

if (x == 1)

这是 x86 控制流指令的一个很好的总结。

此外，没有理由对相同的值重复 cmp 指令。执行后，您可以通过多种方式测试结果，而无需重复比较。所以你的汇编代码应该是这样的：

cmp    $0x3,%eax
je     A
jg     B
cmp    $0x1,%eax
je     C
于 2012-09-30T21:38:52.900 回答
4

是的，这是正确的，除了在您的 C 代码中，您*x在第三个示例中但x在其他示例中，这是没有意义的。在您的汇编代码中没有相应的代码。

在 C 中，变量类型（有符号/无符号）是在声明变量时定义的，例如。int x或unsigned int x，但在汇编中，用于比较的有符号和无符号变量（无论是在内存中还是在寄存器中）之间的区别是通过不同的条件跳转进行的：

对于有符号变量：

jg  ; jump if greater
jl  ; jump if less
jge ; jump if greater or equal, "jnl" is synonymous
jle ; jump if less or equal, "jng" is synonymous

对于无符号变量：

ja  ; jump if above
jb  ; jump if below
jae ; jump if above or equal, "jnb" is synonymous
jbe ; jump if below or equal, "jna" is synonymous

Intel x86 JUMP 快速参考列出了x86汇编中所有可用的条件跳转，连同它们的条件（标志值）和它们的短跳转和长跳转操作码。

于 2012-09-30T21:47:33.863 回答
2

您可能已经知道，处理器在所谓的标志寄存器中跟踪上次操作期间发生的事情。例如，如果操作溢出或结果为零等，则有一个标志。 cmp 助记符告诉处理器减去两个寄存器/寄存器和内存内容，它会更改正确的标志。之后，您可以使用已完成的跳跃进行跳跃。处理器检查标志以查看它是否相等（检查零标志），或者它是否更小/更大（无符号的溢出标志和有符号数的溢出和符号标志）。

于 2012-09-30T22:24:55.567 回答