关于分支控制与条件码的作用可以去看 《CSAPP》的第 3.6 节，讲的非常清楚，建议看看，这里就不重复了。
我们直接使用一个例子来简单理解汇编是如何实现分支控制的：
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
int main()
{
time_t t;
srand((unsigned) time(&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 有点区别，但是不大：
我们在上面的例子中看到的 LT，GT 这里都是有对应的。
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。文章来源：https://www.toymoban.com/news/detail-838649.html
对于C位，需要注意到，在减法中，它与 x86 中的表现是相反的，与直觉也是相反的。文章来源地址https://www.toymoban.com/news/detail-838649.html
到了这里，关于ARM64汇编04 - 条件码的文章就介绍完了。如果您还想了解更多内容，请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章，希望大家以后多多支持TOY模板网！
![[ARM 汇编]进阶篇—控制流指令—2.2.1 条件分支指令](https://imgs.yssmx.com/Uploads/2024/02/770704-1.png)
