arm64汇编学习-(3)算术与移位指令

article/2025/10/7 7:32:23

arm64汇编学习-(3)算术与移位指令

  • 1 数据处理指令
    • 1.1 check the C condition of adds, adc,cmp
      • 1.1.1 测试示例程序
      • 1.1.2 执行之前
      • 1.1.3 执行之后
        • 1.1.3.1 ldr和mov指令之后
        • 1.1.3.2 ads和adc指令之后
        • 1.1.3.3 cmp和adc指令之后
    • 1.2 cmp和sbc指令的综合运用
      • 1.2.1 示例代码
      • 1.2.2 compare_and_return(10, 9)测试之前
      • 1.2.3 compare_and_return(10, 9)测试之后
      • 1.2.4 compare_and_return(9, 10)测试之前
      • 1.2.5 compare_and_return(9, 10)测试之后
    • 1.3 测试ands指令对Z标志位的影响
      • 1.3.2 测试之前
      • 1.3.3 测试之后
    • 1.4 测试位段bitfield指令
      • 1.4.1 示例代码
      • 1.4.2 测试之前
      • 1.4.3 bfi x0, x1, 8, 4之后
      • 1.4.4 ubfx and sbfx之后
    • 1.5 读取寄存器的域
      • 1.5.1 示例代码

本篇博客是基于对苯叔的第三季视频的学习整理而得,大家如果想深入学习可以购买《arm64体系结构编程与实践》以及购买苯叔出品的第三季视频。

1 数据处理指令

1.1 check the C condition of adds, adc,cmp

1.1.1 测试示例程序

/*测试adds, cmp以及adc指令的条件标志位
*/
.global add_inst_test
add_inst_test:mov x0, #0ldr x1, =0xffffffffffffffffmov x2, #3/*测试adds的进位功能,当有溢出发生时,C=1*/adds x0, x1, x1adc x3, xzr, xzr/*测试cmp的条件标志位,当x1 > x2时,C=1当x1 < x2是, C=0*/cmp x1, x2adc x4, xzr, xzrret

1.1.2 执行之前

在这里插入图片描述

1.1.3 执行之后

1.1.3.1 ldr和mov指令之后

在这里插入图片描述

1.1.3.2 ads和adc指令之后

ADDS: Add (extended register), setting flags, adds a register value and a sign or zero-extended register value, followed by an optional left shift amount, and writes the result to the destination register. The argument that is extended from the register can be a byte, halfword, word, or doubleword. It updates the condition flags based on the result.

  • ADDS , <Xn|SP>, {, {#}}
  • (result, nzcv) = AddWithCarry(operand1, operand2, ‘0’);
  • PSTATE.<N,Z,C,V> = nzcv;
  • X[d] = result;
    ADC:Add with Carry adds two register values and the Carry flag value, and writes the result to the destination register.
  • (result, -) = AddWithCarry(operand1, operand2, PSTATE.C);
  • X[d] = result;
    在这里插入图片描述

1.1.3.3 cmp和adc指令之后

CMP:This instruction is an alias of the SUBS (shifted register) instruction.

  • The encodings in this description are named to match the encodings of SUBS (shifted register).
  • The description of SUBS (shifted register) gives the operational pseudocode for this instruction.
    在这里插入图片描述

1.2 cmp和sbc指令的综合运用

1.2.1 示例代码

ret = compare_and_return(10, 9);
val = compare_and_return(9, 10);/*当arg1 >= arg2 时, 返回 0当arg1 < arg2 时,返回0xffffffffffffffff
*/
.global compare_and_return
compare_and_return:cmp x0, x1sbc x0, xzr, xzrret

1.2.2 compare_and_return(10, 9)测试之前

在这里插入图片描述

1.2.3 compare_and_return(10, 9)测试之后

在这里插入图片描述

1.2.4 compare_and_return(9, 10)测试之前

在这里插入图片描述

1.2.5 compare_and_return(9, 10)测试之后

在这里插入图片描述

1.3 测试ands指令对Z标志位的影响

2.1.3.1 示例代码

/*data_process_instr lab3: 测试ands指令对Z标志位的影响
*/
.global ands_test
ands_test:mov x1, #0x3mov x2, #0//mov x2, #2ands x3, x1, x2/*读取NZCV寄存器,查看Z标志位是否为1, 见armv8.6手册第C5.2.9章*/mrs x0, nzcvret

1.3.2 测试之前

在这里插入图片描述

1.3.3 测试之后

在这里插入图片描述

1.4 测试位段bitfield指令

1.4.1 示例代码

/*data_process_instr lab4: 测试位段bitfield指令*/
.global bitfield_test
bitfield_test:/* 位段插入*/mov x1, 0x345mov x0, 0bfi x0, x1, 8, 4/*无符号数的bitfield提取,提取x2,从第4个bit开始,提取8位,x3其他位都是0,最终:0xbc*/ldr x2, =0x5678abcdubfx x3, x2, #4, #8/*有符号数的bitfield提取,提取x2,从第4个bit开始,提取8bit。x4的其他比特位都是f, 最终:0xffffffffffffffbc*/sbfx x4, x2, #4, #8ret

1.4.2 测试之前

在这里插入图片描述

1.4.3 bfi x0, x1, 8, 4之后

BFI :Bitfield Insert copies a bitfield of bits from the least significant bits of the source register to bit position of the destination register, leaving the other destination bits unchanged.
在这里插入图片描述

  • bfi x0, x1, 8, 4 该汇编指令的含义为:将x1寄存器的最低4位拷贝到x0寄存器的bit 8开始的4位上去,x0寄存器的其他位不变,所以最终x0寄存器的值被设置为0x500
    在这里插入图片描述

1.4.4 ubfx and sbfx之后

UBFX :Unsigned Bitfield Extract copies a bitfield of bits starting from bit position in the source register to the least significant bits of the destination register, and sets destination bits above the bitfield to zero.

  • UBFX , , #, #
    SBFX :Signed Bitfield Extract copies a bitfield of bits starting from bit position in the source register to the least significant bits of the destination register, and sets destination bits above the bitfield to a copy of the most significant bit of the bitfield.
  • SBFX , , #, #
    This content is only supported in a Docs.
    在这里插入图片描述
    在这里插入图片描述

1.5 读取寄存器的域

1.5.1 示例代码

/*data_process_instr lab4: 测试位段bitfield指令*/
.global bitfield_test
bitfield_test:/* 位段插入*/mov x1, 0x345mov x0, 0bfi x0, x1, 8, 4/*无符号数的bitfield提取,提取x2,从第4个bit开始,提取8位,x3其他位都是0,最终:0xbc*/ldr x2, =0x5678abcdubfx x3, x2, #4, #8/*有符号数的bitfield提取,提取x2,从第4个bit开始,提取8bit。x4的其他比特位都是f, 最终:0xffffffffffffffbc*/sbfx x4, x2, #4, #8/*lab5: 使用ubfx指令来读取 寄存器的位域*/mrs x1, ID_AA64ISAR0_EL1/*读取atomic域的值:判断是否支持LSE指令*/ubfx x0, x1, #20, #4/*读取AES域的值:判断是否支持AES指令*/ubfx x2, x1, #4, #4ret

2.5.1.2 测试之前的状态
在这里插入图片描述

2.5.1.3 测试之后的状态值
在这里插入图片描述


http://chatgpt.dhexx.cn/article/Hxayfw2h.shtml

相关文章

汇编语言——逻辑运算和移位指令

逻辑运算和移位指令 逻辑运算指令 逻辑与AND 格式 AND reg, imm/reg/mem ;reg←reg^imm/reg/mem AND mem, imm/reg ; mem←-mem ^ imm/reg功能:对两个操作数执行按位的逻辑与运算&#xff0c;结果送到目的操作数说明: (1)按位的逻辑与运算; (2)操作数不能同时为存储器操作数…

汇编语言基础之 移位指令

原文: http://bdxnote.blog.163.com/blog/static/ 移位指令是一组经常使用的指令,包括:算数移位、逻辑移位、双精度移位、循环移位、带进位的循环移位; 移位指令都有一个指定需要移动的二进制位数的操作数,该操作数可以是立即数,也可以是CL的值;在8086中,该操作数只能是1,但是在…

x86汇编_移位和循环移位指令简介_笔记46

移位指令与前面介绍的按位操作指令一起形成了汇编语言最显著的特点之一。位移动 (bit shifting) 意味着在操作数内向左或向右移动。x86 处理器在这方面提供了相当丰富的指令集如下表所示&#xff0c;这些指令都会影响溢出标志位和进位标志位。 英文全称汇编指令中文翻译说明意…

PLC移位循环指令

PLC移位循环指令 一、移位指令 移位指令包括无符号数移位和有符号数移位。 其中无符号数移位包含字左移指令、字右移指令、 双字左移指令和双字右移指令&#xff1b;有符号数移位包含整数右移指令和双整数右移指令。 1、无符号数移位指令 &#xff08;1&#xff09;字左移指…

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

条件操作码 条件标志位描述N负数标志&#xff08;上一次运算结果为负值&#xff09;Z零结果标志&#xff08;上一次运算结果为零&#xff09;C进位标志&#xff08;上一次运算结果发生了无符号溢出&#xff09;V溢出标志&#xff08;上一次运算结果发生了有符号溢出&#xff0…

逻辑、移位操作与空指令的实现

逻辑、移位操作和空指令的实现 1. 流水线数据相关的问题 流水线上经常会有一些被称为“相关”的情况发生&#xff0c;它使得指令序列中下一条指令无法按照设计的时钟周期执行&#xff0c;这些“相关”会降低流水线的性能。 1.1 流水线相关 流水线中的相关可分为&#xff1a…

汇编移位指令SHR,SAR,SAL/SHL,ROR,ROL,RCR,RCL

目录 逻辑右移SHR 算数右移SAR&#xff08;重点&#xff09; 算数/逻辑左移SAL/SHL(完成的操作都一样) 循环右移ROR 循环左移ROL 带进位循环右移RCR 带进位循环左移RCL 总结 例题 一 二 移位指令为双操作数指令&#xff0c;用于将目的的操作数中的二进制数移位。 目…

位移指令实现乘法、除法计算

前言 大家都知道51单片机是有乘法、除法指令的&#xff0c;不管是用C语言还是汇编语言&#xff0c;都是可以直接计算乘法、除法的&#xff0c;我以为&#xff0c;-&#xff0c;*&#xff0c;/ 这些算术运算是单片机的标配&#xff0c;而我公司使用的应广单片机居然没有乘法、除…

微机原理——移位指令

例题 思路 选择移位语句&#xff0c;右移&#xff0c;将AL移出的送入DX左端&#xff0c;将BL移出的送入DX左端。循环八次 MOV AL,01100101B; MOV BL,11011010B; XOR DX,DX;两个值相同&#xff0c;异或结果为0。等效&#xff1a;MOV DX,0 MOV CX,8;count L1: SHR AL,1;逻辑右…

汇编语言---移位指令

移位指令是一组经常使用的指令,包括:算数移位、逻辑移位、双精度移位、循环移位、带进位的循环移位; 移位指令都有一个指定需要移动的二进制位数的操作数,该操作数可以是立即数,也可以是CL的值;在8086中,该操作数只能是1,但是在其后的CPU中,该立即数可以是定义域[1,31]之内的数…

汇编语言——移位指令

基本概念 移位操作指令&#xff1a;移位操作指令是一组经常使用的指令&#xff0c;属于汇编语言逻辑指令中的一部分&#xff0c;它包括移位指令&#xff08;含算术移位指令、逻辑移位指令&#xff09;&#xff0c;循环移位指令&#xff08;含带进位的循环移位指令&#xff09;&…

汇编指令之移位指令

移位指令包括了 算术移位指令、逻辑移位指令、循环移位指令。 格式为:xxx oper1,CL/1 ;移位次数只能是1或者存放在CL里面。 一、算术移位指令 1、算术左移指令SAL 功能&#xff1a;左移一次&#xff0c;最低位补0&#xff0c;最高位送入CF标志位&#xff0c;如图&am…

汇编指令(四)移位指令

学习概要 格式 移位指令主要分四种 一、逻辑移位指令 1.逻辑左移指令SHL 2.逻辑右移指令SHR 3.逻辑移位指令的功能 二、算术移位指令 1.算术左移指令SAL 2.算术右移指令SAR 最高位不变的意思就是&#xff0c;最高位原来是1&#xff08;0&#xff09;&#xff0c;右移过后…

【大学生软件测试基础】白盒测试 - 语句覆盖 - 03

任务1、依据源代码画出程序流程图&#xff1b; 任务2、根据程序流程图&#xff0c;找出程序的所有执行路径&#xff1b; 任务3、找出能覆盖所有语句的最少路径&#xff1b; 任务4、根据最少路径设计语句覆盖用例&#xff1b; 流程图&#xff1a; 任务2、根据程序流程图&…

修正的判定条件覆盖例题_语句覆盖、判断覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修正条件覆盖...

int function(bool a,bool b,boolc){intx; x=0;if(a&&(b||c)){x=1;returnx; } } 1、语句覆盖(SC) 选择足够多的测试数据,使得被测程序中的每条语句至少执行一次。 测试用例:a=T,b=T,c=T 2、判断覆盖(DC) 设计足够的测试用例,使得程序中的每个判定至少都获得一次真值…

语句覆盖,判定覆盖,条件覆盖,条件/判定覆盖,条件组合覆盖,路径覆盖

最近在复习软件测试的考试&#xff0c;每次到白盒测试这里都要为这几种逻辑覆盖方法感到头疼&#xff0c;这次终于决定好好整理出来。 逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖。它是一系列测试过程的总称&#xff0c;这组测试过程逐渐进行越来越完整的通路测试。 根…

软件测试培训之:白盒测试的语句覆盖法和判定覆盖法

白盒测试是相对于黑盒测试而言的&#xff0c;黑盒测试不关注程序内部的实现结构&#xff0c;仅仅是通过向程序进行输入来观察程序的输出对不对;白盒测试就需要关注程序内部的实现结构&#xff0c;对程序的逻辑结构实施相关的测试;那么下面来谈谈语句覆盖法、判定覆盖法和条件覆…

语句覆盖、判定覆盖、条件覆盖 - 白盒笔试题解析

1. 定义 黑盒测试 - 不关注内部结构的测试/基于输入输出的测试 白盒测试 - 基于内部结构的测试 白盒测试的关键&#xff1a; 覆盖度 2. 白盒相关概念 语句覆盖 - 设计一套测试 让被测对象中所有语句得到测试覆盖 判定覆盖 - 设计一套测试 让被测对象中所有判定得到测试覆…

白盒测试用例设计方法(语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、组合覆盖、路径覆盖、基本路径覆盖)

语句覆盖&#xff1a;每条语句至少执行一次。 判定覆盖&#xff1a;每个判定的所有可能结果至少出现一次。&#xff08;又称“分支覆盖”&#xff09; 条件覆盖&#xff1a;每个条件的所有可能结果至少执行一次。 判定/条件覆盖&#xff1a;一个判定中的每个条件的所有可能结果…

白盒测试的逻辑覆盖辨析(语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖)

白盒测试逻辑覆盖&#xff08;语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖&#xff09; 逻辑覆盖测试&#xff1a; 语句覆盖&#xff1a;每条语句至少执行一次判定覆盖&#xff1a;每一判定的每个分支至少执行一次条件覆盖&#xff1a;每一判定中的每个条件&…