ARM64 CSEL条件 B条件一览

原创

已于 2024-12-31 13:07:10 修改 · 1.2k 阅读

21 ·

CC 4.0 BY-SA版权

文章标签：

#arm

于 2024-12-29 23:11:11 首次发布

其实整体概括下来，就是两个寄存器比大小，按照不同的格式（有符号，无符号）比

条件选择

(Conditional Selection, CSEL)

示例
CSEL X3, X1, X2, EQ
在这个例子中，如果条件码 EQ 为真（即条件寄存器的标志指示相等），那么 X3 将被赋值为 X1 的值，否则将被赋值为 X2 的值。

EQ (Equal): 零标志（Z）被设置，即结果为零。
NE (Not Equal): 零标志（Z）没有被设置，即结果不为零。
CS/HS: Carry Set/Unsigned Higher or Same: 进位标志（C）被设置，用于无符号比较（大于或等于）。
CC/LO: Carry Clear/Unsigned Lower: 进位标志（C）没有被设置，用于无符号比较（小于）。
MI (Minus): 负标志（N）被设置，表示结果为负。
PL (Plus): 负标志（N）没有被设置，表示结果为正或零。
VS (Overflow Set): 溢出标志（V）被设置。
VC (Overflow Clear): 溢出标志（V）没有被设置。
HI (Unsigned Higher): 进位标志（C）被设置且零标志（Z）没有被设置，用于无符号比较（严格大于）。
LS (Unsigned Lower or Same): 进位标志（C）没有被设置或零标志（Z）被设置，用于无符号比较（小于或等于）。
GE (Signed Greater than or Equal): 负标志（N）等于溢出标志（V），用于有符号比较（大于或等于）。
LT (Signed Less Than): 负标志（N）不等于溢出标志（V），用于有符号比较（小于）。
GT (Signed Greater Than): 零标志（Z）没有被设置且负标志（N）等于溢出标志（V）ÿ

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

uiop_uiop_uiop

关注关注

13
点赞
踩
21

收藏

觉得还不错? 一键收藏
0
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

ARM64汇编（二）

zhuxincheng_1218的专栏

02-03

2846

文章目录if条件判断——cmp/bl/b.gt/b.lt/b.eq/b.ge/b.le(比较指令)while/for循环识别Switch三个及以下case四个case分布差异大的

【ARM64 常见汇编指令学习 19 -- ARM64 BEQ与B.EQ的区别】

CodingCos的博客

08-18

3340

实际上是同一条指令的两种不同表示方式，它们都表示条件分支指令，当某个条件满足时，跳转到某个地址。它们表示的都是"Branch if Equal"，也就是如果。在这两个例子中，如果Zero标志位被设置，CPU都会跳转到标签target指定的地址。如果你的汇编器支持，你可以选择使用这两种形式中的任何一种。则是在后来的ARM汇编版本中引入的，为了与其他指令保持一致，因为大多数其他指令都使用。被设置（表示上一条比较或算术指令的结果为0），就跳转到目标地址。是在早期ARM汇编中使用的指令形式，而。

参与评论您还未登录，请先登录后发表或查看评论

ARMv8指令的学习记录一 CSEL

qq_41760034的博客

05-04

3678

ARM64 ARMv8 CSEL 条件

【ARM64 常见汇编指令学习 19.3 -- ARMv8 三目运算指令 csel 详细介绍】

CodingCos的博客

06-07

822

例如，在执行了某些操作后，程序通过检查标志位来决定是显示“通过”消息还是“失败”消息。这种模式是低级编程中常见的条件逻辑处理方式，能有效地利用 ARM 架构提供的条件执行特性，以实现更紧凑和高效的代码。这组指令的用途通常是在基于某个条件（通常是之前的计算结果）来决定程序的下一步行动，比如输出不同的消息。在这个场景中，根据某个条件的结果，选择。的地址，最终可能用于后续的打印或日志记录操作。本篇文章以下面汇编代码介绍三目运算指令。

ARM汇编指令 CSEL CSET

linewon

02-04

6238

CSEL X7, X2, X0, EQ ; if (cond == true) X7 = X2, else X7 = X0 CSET W0, EQ ; if (cond == true) W0 = 1, else W0 = 0

【优化系列】汇编优化技术（六）：ARM架构64位（AARCH64）汇编优化及demo

优快云明星博主，认证博客专家，视频、Matlab领域优质创作者。

08-15

1422

DATE：2021.8.15 文章目录1、arm架构64位优化基础知识2、ARMv8/AArch64 neon指令格式3、ARM相关编译参数4、查看状态标记位NZCV的方法5、A64指令集特有的指令及其用法6、资料文档查阅7、AArch64 asm demo8、优化经验总结（满满的干货） 1、arm架构64位优化基础知识【arm】arm架构64位入门基础：架构分析、寄存器、调用规则、指令集以及参考手册该博客已经分析了arm架构64位汇编优化的入门基础知识,主要包括架构分析,寄存器,调用

ARM64常见指令

Ben_boba的博客

06-22

889

QEMU ARM64 Uboot

dp__mcu的专栏

03-03

1213

/传递进来的参数依次压入堆栈 x1-x7 c8-d8-e8-f8-0x100-[x0 栈顶指针的位置]//传递进来的参数依次压入堆栈 x1-x7 c8-d8-e8-f8-0x100-[x0 栈顶指针的位置]//7*8=56 0x38 0xFFFFFFC8 + 0x38 = 0x00000000 即-0x38。//函数的参数如果是8个以内(包含8个) 用x0-x7来传递 (param0-param7)//SP 64bit 保存栈指针,使用 SP/WSP来进行对SP寄存器的访问。

B2.3 Arm 内存模型定义

baron-周贺贺-代码改变世界ctw

08-15

235

内在关系：例如，内在数据/控制/顺序依赖关系和内在翻译之前的关系，这些是源自指令语义的硬件要求。之后关系：例如，之后的连贯性和 TLB 之后的关系，这些关系在特定执行中发生这种方式，但在不同的执行中可以以其他方式进行。观察关系：例如，显式观察的关系和 TLB 观察的关系，基于之后关系来描述一个执行。有序关系：例如，有序之前的关系和 TLB 有序之前的关系，这些是硬件在所有执行中必须遵守的架构要求。本节描述了 Arm 内存模型中的观察和排序。它包含以下小节：基本定义内在依赖关系标记检查内在之前。

ARM64基础7：A64的比较和跳转指令

科学边界

08-25

5366

pstate的nzcv标志位条件标志位描述 N 负数标志(上次运算结果为负值，则N=1,否则N=0) Z 上次运算结果为0 C 对于加法运算，无符号溢出，C=1, 其他不变 V 有符号溢出条件码后缀助记符标志位定义 0000 EQ Z=1 相等 0001 NE Z=0 不相等 0010 CS/HS C=1 无符号大于或者等于 0011 CC/LO C=0 无符号小于 0100 MI N=1 负值 0101 PL N=0 正值或0

ARM base instruction -- b.cs

xiaozhi

09-06

648

ARM base instruction -- b.cs

Linux内核深度解析之中断、异常和系统调用——ARM64异常处理

linuxweiyh的博客

06-14

2236

4.1 ARM64异常处理 4.1.1异常级别 ARM64处理器定义了4个异常级别：0~3。通常ARM64处理器在异常级别0执行进程，在异常级别1执行内核。ARM64处理器的异常级别0就是我们常说的用户模式，异常级别1就是我们常说的内核模式。 4.1.2异常分类在ARM64体系结构中，异常分为同步异常和异步异常。同步异常： (1)系统调用 (2)数据中止 (3)指令中止 (4)栈指针或指令地址没有对齐 (5)没有定义的指令 (6)调试异常异步异常： (1)中断（IRQ） ..

linux 内核启动 arm64 汇编 head.s

wuye110的专栏

10-06

1484

ARM64体系结构编程3-算数和移位指令

做一位会读书的Linux工程师

12-12

2631

b 指令的操作由后缀 cs 决定，cs 表示判断是否发生无符号溢出，3 + not(2) + 1 , not(2) = 0xfffffffffffffffd , 3 + 0xfffffffffffffffd + 1 = 1，，这个过程发生了溢出，C 标志位置为 1，所以 b.cs 的判断条件成立，跳转到标签 1 处，继续执行。BFI 指令把 X1 寄存器中的 Bit[3,0] 设置为 X0 寄存器中的 Bit[7,4], X0 寄存器中的 Bit[7,4] ,X0 寄存器的值是 0x50。

ARM64-memcpy.S 汇编源码分析

沉思

12-13

7985

汇编源代码文件：内存拷贝优先级：数据块地址：源码分析： 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

arm B和BL指令浅析

最新发布

03-23

<think>嗯，用户让我介绍一下ARM64指令中的CSET W10, NE。首先，我需要回忆一下ARM架构的指令集，特别是条件置位指令。CSET应该属于条件选择类指令，可能和条件码有关。首先，CSET的全称是Conditional SET，也就是条件满足时设置寄存器的值。ARM64中的条件执行不像以前那样每条指令都可以带条件，现在更多地使用条件选择指令，比如CSET、CSEL、CINC等。接下来，具体的语法是CSET Wd, cond，其中Wd是目标寄存器，cond是条件码。这里用户给的例子是CSET W10, NE，所以目标寄存器是W10，条件码是NE（Not Equal）。那这个指令的作用应该是，当条件码NE满足时，将目标寄存器Wd设置为1，否则设置为0。因为CSET实际上是CSINC Wd, WZR, WZR, invert(cond)的别名，而WZR是零寄存器，所以当条件满足时，CSET会设置Wd为1，否则为0。需要验证一下这个逻辑是否正确。比如，当条件码是NE时，即上一条运算结果不为零时，会触发设置。这时候如果前面的比较或运算结果导致了Z标志位为0（表示结果不等于零），那么NE条件成立，W10就被置1，否则置0。另外，需要注意ARM64中的条件码，NE对应的条件是什么。在ARM中，条件码NE对应的是Z标志位为0，即结果不等于零的情况。比如，在执行了一条比较指令CMP X0, X1后，如果结果不相等，那么Z=0，条件NE成立。所以，CSET W10, NE的作用就是根据前面的操作结果，如果满足NE条件，就将W10设为1，否则设为0。这通常用于将条件结果转换为布尔值，存储在寄存器中，便于后续的条件判断或计算。还要考虑用户可能的实际应用场景。比如，在循环中判断某个条件是否满足，或者进行逻辑运算后存储结果。例如，比较两个寄存器是否不等，然后通过CSET将结果存入W10，之后可能根据W10的值进行分支或其他操作。另外，需要确认指令中的寄存器是32位的W10还是64位的X10。这里用的是W10，说明是32位寄存器，结果的高32位会被清零。但ARM64的通用寄存器都是64位的，使用W10会操作低32位，而高位补零。最后，可能需要举一个例子来说明。比如： CMP W0, W1 ; 比较W0和W1的值 CSET W10, NE ; 如果W0 ≠ W1，W10=1，否则W10=0 这样，W10就存储了比较结果的布尔值。用户可能在编写条件赋值或者需要将条件结果保存下来的代码时会用到这个指令。总结一下，CSET指令的作用是根据指定的条件码，将目标寄存器设置为1或0，方便后续的逻辑处理。而NE条件则检查之前的操作结果是否不相等（Z标志位为0），从而决定置位。</think>ARM64指令集中的`CSET W10, NE`是一条条件置位指令，下面分步骤详细解释其作用： --- ### **1. 指令分解** - **CSET**：Conditional SET（条件置位） - **W10**：目标寄存器（32位通用寄存器） - **NE**：条件码（Not Equal，表示“不等于”） --- ### **2. 核心功能** - **作用**：根据条件码 `NE` 是否成立，将 `W10` 设置为 `1`（条件成立）或 `0`（条件不成立）。 - **底层逻辑**： - 若前一条指令的结果满足 `NE`（不相等），则 `W10 = 1` - 否则 `W10 = 0` --- ### **3. 条件码 `NE` 的含义** - `NE` 对应处理器状态寄存器（**PSTATE**）中的 **Z (Zero) 标志位**： - **Z = 0** → 结果非零 → `NE` 条件成立 - **Z = 1** → 结果为零 → `NE` 条件不成立 --- ### **4. 典型应用场景** #### **示例代码片段** ```assembly CMP W0, W1 ; 比较 W0 和 W1 的值 CSET W10, NE ; 若 W0 ≠ W1，则 W10 = 1；否则 W10 = 0 ``` - **执行过程**： 1. `CMP W0, W1` 计算 `W0 - W1` 并设置标志位。 2. 若 `W0 ≠ W1`，则结果非零 → **Z = 0** → `NE` 条件成立 → `W10 = 1`。 3. 若 `W0 = W1`，则结果为零 → **Z = 1** → `NE` 条件不成立 → `W10 = 0`。 --- ### **5. 实际用途** - 将条件判断结果转换为布尔值（1/0），常用于： - 条件赋值（替代分支跳转） - 逻辑运算的优化（如 `a > b ? 1 : 0`） - 状态标记存储（避免频繁访问标志寄存器） --- ### **6. 补充说明** - **寄存器位数**：`W10` 是32位寄存器，结果会清零高32位；若使用 `X10`（64位寄存器），高32位也会清零。 - **其他条件码**：类似指令如 `CSET W10, EQ`（等于时置位）、`CSET W10, GT`（大于时置位）等。 --- ### **总结** `CSET W10, NE` 是一条高效的条件置位指令，通过检查前一条操作的标志位（Z），将条件结果直接转换为数值1或0，简化了条件逻辑的实现。