ARM64汇编04 - 条件码

281 阅读4分钟

关于分支控制与条件码的作用可以去看 《CSAPP》的第 3.6 节,讲的非常清楚,建议看看,这里就不重复了。

我们直接使用一个例子来简单理解汇编是如何实现分支控制的:

#include <stdio.h>
#include <stdlib.h>
#include <time.h>

int main()
{
    time_t t;
    srand((unsignedtime(&t));

    int a = rand();
    int b = rand();

    printf("a = %d, b = %d\n", a, b);

    if (a > b)
    {
        printf("a win!!!\n");
    }
    else if (a < b)
    {
        printf("b win!!!\n");
    }
    else
    {
        printf("both win!!!\n");
    }

    return 0;
}

编译后,使用 ida 打开,查看其核心逻辑:

1处的 w19 与 w20 储存着 a 与 b 的值,CMP 会对这两个值做比较。

CSEL 指令介绍:

CSEL <Xd>, <Xn>, <Xm>, <cond>

cond 是有一个表可以查的,我们后面会说。这个指令的意思是,如果 cond == true,Xd = Xn,否则 Xd = Xm。

2 处的 CSEL 指令的意思是如果 LT 的值是 true,那么 x8 = x9,否则 x8 = x8。x9 的值是 b win。结合源代码,可以猜测出  CMP 就是做了一个减法操作。

综合一下,当 w19 < w20,那么输出 x9(b win),否则输出 x8(both win)。

3 处的分析与 2 一样就不展开了,当 w19 > w20,那么输出 x0(a win)

通常,在有分支的位置,会出现 CMP 等指令,它会修改 ZNCV 这些 flags 的值,然后后面会跟一些需要根据 flags 值来决定分支走向的汇编代码,比如 CSEL。

我们编写的程序,肯定是有很多分支的。所以,cond 非常的重要。

Condition code

arm64 的条件码如下,与 arm32 有点区别,但是不大:

我们在上面的例子中看到的 LTGT 这里都是有对应的。

LT 表示有符号的小于,GT 表示有符号的大于。

LT 需要检查 N 与 V 的值,GT 需要检查 Z,N,V的值。

关于 ZCNV 这几个标志位的解释,不太好描述,先简单理解:

  • N: 当操作结果为负数时,设置为1,否则为0。
  • Z: 当操作结果为0时,设置为1,否则为0。
  • C: 当操作结果发生进位或者减法结果无借位时,设置为1,否则设置为0。
  • V: 当操作导致溢出时,设置为1,否则设置为0。

实际上,会有相当多的指令会更新这些 flag 的值,比如,一些运算指令等。但是运算指令想要更新 flag,还需要加 S 后缀。比如,ADDS指令。

有符号与无符号

从上面的条件码表中可知:

  • 有符号的大于为:GT(Greater than)
  • 有符号的小于为:LT(Less than)
  • 无符号的大于为:HI(higher)
  • 无符号的小于等于为:LS(lower or same)

由于助记符设计的有符号的小于使用的单词是 Less,无符号的小于采用的 lower,导致它们看起来会比较像。

在汇编中出现了 LT 与 LS 后缀,很难会一下子反应过来,这到底是有符号还是无符号。

x86 中的有符号与无符号区分的比较开,有符号使用greater/less,无符号使用 above/below。

LS后缀

由于 cond 后缀有一个 LS,表示 less or same。而 B 指令也可以接 cond 后缀,所以会出现 BLS 指令。

这很好理解,但是对初学者来说,有一个麻烦的地方,就是还有一个 BL 指令,我们还记得有些指令是可以加 S 后缀的。

所以当我们看到  BLS 指令的时候,它到底表示的是 B + LS ,还是 BL + S 呢?

如果你翻arm手册,就知道,BL 是没有 S 后缀的,也就是说它不设置 flag:

C标志位的奇怪表现

使用 ida 来简单观察一下C flag 的变化情况。

测试加法,0 + 1,单步后,查看 C 位变化:

发现 C 位无变化,很正常。

再测试一个减法,2 - 1

单步后,查看 C 位变化:

发现,C 位居然变成了 1,这个表现就与x86中是相反的,设计的很奇怪。

再测试一个 1 -2

单步后,查看 C 位变化:

C 位无变化,N位变成了 1,因为结果是 -1。

对于C位,需要注意到,在减法中,它与 x86 中的表现是相反的,与直觉也是相反的。

二手的程序员

红日初升,其道大光。河出伏流,一泻汪洋。潜龙腾渊,鳞爪飞扬。乳虎啸谷,百兽震惶。鹰隼试翼,风尘翕张。奇花初胎,矞矞皇皇。干将发硎,有作其芒。天戴其苍,地履其黄。纵有千古,横有八荒。前途似海,来日方长。

**

公众号