ARM指令集详解超详细的带实例.docx

1、ARM指令集详解超详细的带实例算术和逻辑指令ADC : 带进位的加法(Addition withCarry)ADC条件S , , dest = op_1 + op_2 + carryADC将把两个操作数加起来，并把结果放置到目的寄存器中。它使用一个进位标志位，这样就可以做比 32 位大的加法。下列例子将加两个 128 位的数。128 位结果: 寄存器 0、1、2、和 3第一个 128 位数: 寄存器 4、5、6、和 7第二个 128 位数: 寄存器 8、9、10、和 11。ADDS R0, R4, R8 ; 加低端的字 ADCS R1, R5, R9 ; 加下一个字，带进位 ADCS R2,

2、R6, R10 ; 加第三个字，带进位 ADCS R3, R7, R11 ; 加高端的字，带进位如果如果要做这样的加法，不要忘记设置 S 后缀来更改进位标志。ADD : 加法(Addition)ADD条件S , , dest = op_1 + op_2ADD将把两个操作数加起来，把结果放置到目的寄存器中。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:ADD R0, R1, R2 ; R0 = R1 + R2 ADD R0, R1, #256 ; R0 = R1 + 256 ADD R0, R2, R3,LSL#1 ; R0 = R2 + (R3 1)加法

3、可以在有符号和无符号数上进行。AND : 逻辑与(logicalAND)AND条件S , , dest = op_1 AND op_2AND将在两个操作数上进行逻辑与，把结果放置到目的寄存器中；对屏蔽你要在上面工作的位很有用。 操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:AND R0, R0, #3 ; R0 = 保持 R0 的位 和 1，丢弃其余的位。AND 的真值表(二者都是 1 则结果为 1):Op_1 Op_2 结果 0 0 0 0 1 0 1 0 0 1 1 1BIC : 位清除(BitClear)BIC条件S , , dest = op_1

4、 AND (!op_2)BIC是在一个字中清除位的一种方法，与 OR 位设置是相反的操作。操作数 2 是一个 32 位位掩码(mask)。如果如果在掩码中设置了某一位，则清除这一位。未设置的掩码位指示此位保持不变。BIC R0, R0, #%1011 ; 清除 R0 中的位 0、1、和 3。保持其余的不变。BIC 真值表 :Op_1 Op_2 结果 0 0 0 0 1 0 1 0 1 1 1 0译注：逻辑表达式为 Op_1 AND NOT Op_2EOR : 逻辑异或(logicalExclusiveOR)EOR条件S , , dest = op_1 EOR op_2EOR将在两个操作数上进行

5、逻辑异或，把结果放置到目的寄存器中；对反转特定的位有用。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:EOR R0, R0, #3 ; 反转 R0 中的位 0 和 1EOR 真值表(二者不同则结果为 1):Op_1 Op_2 结果 0 0 0 0 1 1 1 0 1 1 1 0MOV : 传送(Move)MOV条件S , dest = op_1MOV从另一个寄存器、被移位的寄存器、或一个立即值装载一个值到目的寄存器。你可以指定相同的寄存器来实现 NOP 指令的效果，你还可以专门移位一个寄存器:MOV R0, R0 ; R0 = R0. NOP 指令 MO

6、V R0, R0, LSL#3 ; R0 = R0 * 8如果 R15 是目的寄存器，将修改程序计数器或标志。这用于返回到调用代码，方法是把连接寄存器的内容传送到 R15:MOV PC, R14 ; 退出到调用者 MOVS PC, R14 ; 退出到调用者并恢复标志位 (不遵从 32-bit 体系)MVN : 传送取反的值(MoveNegative)MVN条件S , dest = !op_1MVN从另一个寄存器、被移位的寄存器、或一个立即值装载一个值到目的寄存器。不同之处是在传送之前位被反转了，所以把一个被取反的值传送到一个寄存器中。这是逻辑非操作而不是算术操作，这个取反的值加 1 才是它的取

7、负的值:MVN R0, #4 ; R0 = -5 MVN R0, #0 ; R0 = -1ORR : 逻辑或(logicalOR)ORR条件S , , dest = op_1 OR op_2OR将在两个操作数上进行逻辑或，把结果放置到目的寄存器中；对设置特定的位有用。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:ORR R0, R0, #3 ; 设置 R0 中位 0 和 1OR 真值表(二者中存在 1 则结果为 1):Op_1 Op_2 结果 0 0 0 0 1 1 1 0 1 1 1 1RSB : 反向减法(ReverseSubtraction)RSB

8、条件S , , dest = op_2 - op_1SUB用操作数two减去操作数one，把结果放置到目的寄存器中。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:RSB R0, R1, R2 ; R0 = R2 - R1 RSB R0, R1, #256 ; R0 = 256 - R1 RSB R0, R2, R3,LSL#1 ; R0 = (R3 1) - R2反向减法可以在有符号或无符号数上进行。RSC : 带借位的反向减法(ReverseSubtraction withCarry)RSC条件S , , dest = op_2 - op_1 - !c

9、arry同于SBC，但倒换了两个操作数的前后位置。SBC : 带借位的减法(Subtraction withCarry)SBC条件S , , dest = op_1 - op_2 - !carrySBC做两个操作数的减法，把结果放置到目的寄存器中。它使用进位标志来表示借位，这样就可以做大于 32 位的减法。SUB和SBC生成进位标志的方式不同于常规，如果需要借位则清除进位标志。所以，指令要对进位标志进行一个非操作 - 在指令执行期间自动的反转此位。SUB : 减法(Subtraction)SUB条件S , , dest = op_1 - op_2SUB用操作数one减去操作数two，把结果放置

10、到目的寄存器中。操作数 1 是一个寄存器，操作数 2 可以是一个寄存器，被移位的寄存器，或一个立即值:SUB R0, R1, R2 ; R0 = R1 - R2 SUB R0, R1, #256 ; R0 = R1 - 256 SUB R0, R2, R3,LSL#1 ; R0 = R2 - (R3 1)减法可以在有符号和无符号数上进行。移位指令 ARM 处理器组建了可以与数据处理指令(ADC、ADD、AND、BIC、CMN、CMP、EOR、MOV、MVN、ORR、RSB、SBC、SUB、TEQ、TST)一起使用的桶式移位器(barrel shifter)。你还可以使用桶式移位器影响在 LDR

11、/STR 操作中的变址值。译注：移位操作在 ARM 指令集中不作为单独的指令使用，它是指令格式中是一个字段，在汇编语言中表示为指令中的选项。如果数据处理指令的第二个操作数或者单一数据传送指令中的变址是寄存器，则可以对它进行各种移位操作。如果数据处理指令的第二个操作数是立即值，在指令中用 8 位立即值和 4 位循环移位来表示它，所以对大于 255 的立即值，汇编器尝试通过在指令中设置循环移位数量来表示它，如果不能表示则生成一个错误。在逻辑类指令中，逻辑运算指令由指令中 S 位的设置或清除来确定是否影响进位标志，而比较指令的 S 位总是设置的。在单一数据传送指令中指定移位的数量只能用立即值而不能用

12、寄存器。下面是给不同的移位类型的六个助记符:LSL 逻辑左移 ASL 算术左移 LSR 逻辑右移 ASR 算术右移 ROR 循环右移 RRX 带扩展的循环右移ASL和LSL是等同的，可以自由互换。你可以用一个立即值(从 0 到 31)指定移位数量，或用包含在 0 和 31 之间的一个值的寄存器指定移位数量。逻辑或算术左移(Logical orArithmeticShiftLeft)Rx, LSL #n or Rx, ASL #n or Rx, LSL Rn or Rx, ASL Rn接受 Rx 的内容并按用n或在寄存器 Rn 中指定的数量向高有效位方向移位。最低有效位用零来填充。除了概念上的第

13、 33 位(就是被移出的最小的那位)之外丢弃移出最左端的高位，如果逻辑类指令中 S 位被设置了，则此位将成为从桶式移位器退出时进位标志的值。考虑下列:MOV R1, #12 MOV R0, R1, LSL#2在退出时，R0 是 48。 这些指令形成的总和是R0 = #12, LSL#2等同于 BASIC 的R0 = 12 shift。算术右移(ArithmeticShiftRight)Rx, ASR #n or Rx, ASR Rn类似于 LSR，但使用要被移位的寄存器(Rx)的第 31 位的值来填充高位，用来保护补码表示中的符号。如果逻辑类指令中 S 位被设置了，则把最后被移出最右端的那位放

14、置到进位标志中。它同于 BASIC 的register = value shift。循环右移(RotateRight)Rx, ROR #n or Rx, ROR Rn循环右移类似于逻辑右移，但是把从右侧移出去的位放置到左侧，如果逻辑类指令中 S 位被设置了，则同时放置到进位标志中，这就是位的循环。一个移位量为 32 的操作将导致输出与输入完全一致，因为所有位都被移位了 32 个位置，又回到了开始时的位置!带扩展的循环右移(RotateRight with extend)Rx, RRX这是一个 ROR#0 操作，它向右移动一个位置 - 不同之处是，它使用处理器的进位标志来提供一个要被移位的 33

15、 位的数量。乘法指令指令格式这两个指令与普通算术指令在对操作数的限制上有所不同:1. 给出的所有操作数、和目的寄存器必须为简单的寄存器。2. 你不能对操作数 2 使用立即值或被移位的寄存器。3. 目的寄存器和操作数 1 必须是不同的寄存器。4. 最后，你不能指定 R15 为目的寄存器。MLA : 带累加的乘法(Multiplication withAccumulate)MLA条件S , , , dest = (op_1 * op_2) + op_3MLA的行为同于MUL，但它把操作数 3 的值加到结果上。这在求总和时有用。MUL : 乘法(Multiplication)MUL条件S , , d

16、est = op_1 * op_2MUL提供 32 位整数乘法。如果操作数是有符号的，可以假定结果也是有符号的。比较指令指令格式译注：CMP 和 CMP 是算术指令，TEQ 和 TST 是逻辑指令。把它们归入一类的原因是它们的 S 位总是设置的，就是说，它们总是影响标志位。CMN : 比较取负的值(CompareNegative)CMN条件P , status = op_1 - (- op_2)CMN同于CMP，但它允许你与小负值(操作数 2 的取负的值)进行比较，比如难于用其他方法实现的用于结束列表的 -1。这样与 -1 比较将使用:CMN R0, #1 ; 把 R0 与 -1 进行比较详情

17、参照CMP指令。CMP : 比较(Compare)CMP条件P , status = op_1 - op_2CMP允许把一个寄存器的内容如另一个寄存器的内容或立即值进行比较，更改状态标志来允许进行条件执行。它进行一次减法，但不存储结果，而是正确的更改标志。标志表示的是操作数 1 比操作数 2 如何(大小等)。如果操作数 1 大于操作操作数 2，则此后的有 GT 后缀的指令将可以执行。明显的，你不需要显式的指定S后缀来更改状态标志. 如果你指定了它则被忽略。TEQ : 测试等价(TestEquivalence)TEQ条件P , Status = op_1 EOR op_2TEQ类似于TST。区别

18、是这里的概念上的计算是 EOR 而不是 AND。这提供了一种查看两个操作数是否相同而又不影响进位标志(不象CMP那样)的方法。加上P后缀的TEQ还可用于改变 R15 中的标志(在 26-bit 模式中)。详情请参照psr.html，在 32-bit 模式下如何做请参见这里。TST : 测试位(Testbits)TST条件P , Status = op_1 AND op_2TST类似于CMP，不产生放置到目的寄存器中的结果。而是在给出的两个操作数上进行操作并把结果反映到状态标志上。使用TST来检查是否设置了特定的位。操作数 1 是要测试的数据字而操作数 2 是一个位掩码。经过测试后，如果匹配则设

19、置 Zero 标志，否则清除它。象CMP那样，你不需要指定S后缀。TST R0, #%1 ; 测试在 R0 中是否设置了位 0。 分支指令B : 分支(Branch)B条件 B 是最简单的分支。一旦遇到一个 B 指令，ARM 处理器将立即跳转到给定的地址，从那里继续执行。注意存储在分支指令中的实际的值是相对当前的 R15 的值的一个偏移量；而不是一个绝对地址。它的值由汇编器来计算，它是 24 位有符号数，左移两位后有符号扩展为 32 位，表示的有效偏移为 26 位(+/- 32 M)。在其他处理器上，你可能经常见到这样的指令:OPT 1 LDA &70 CMP #0 BEQ Zero STA

20、&72 .Zero RTS(取自 Acorn Electron User Guide issue 1 page 213)在 ARM 处理器上，它们将变成下面这些东西:OPT 1 ADR R1, #&70 LDR R0, R1 CMP #0 BEQ Zero STR R0, R1, #2 .Zero MOV PC, R14这不是一个很好的例子，但你可以构想如何更好的去条件执行而不是分支。另一方面，如果你有大段的代码或者你的代码使用状态标志，那么你可以使用条件执行来实现各类分支: 这样一个单一的简单条件执行指令可以替代在其他处理器中存在的所有这些分支和跳转指令。OPT 1 ADR R1, #&70

21、 LDR R0, R1 CMP R0, #0 STRNE R0, R1, #2 MOV PC, R14BL : 带连接的分支(Branch with Link)BL条件 BL 是另一个分支指令。就在分支之前，在寄存器 14 中装载上 R15 的内容。你可以重新装载 R14 到 R15 中来返回到在这个分支之后的那个指令，它是子例程的一个基本但强力的实现。它的作用在屏幕装载器 2 (例子 4)中得以很好的展现.load_new_format BL switch_screen_mode BL get_screen_info BL load_palette .new_loop MOV R1, R5

22、BL read_byte CMP R0, #255 BLEQ read_loop STRB R0, R2, #1!.在这里我们见到在装载器循环之前调用了三个子例程。接着，一旦满足了条件执行就在循环中调用了 read_byte 子例程。条件执行 ARM 处理器的一个非常特殊的特征是它的条件执行。我们指的不是基本的如果进位则分支，ARM 使这个逻辑阶段进一步深化为如果进位则 XXX - 这里的 XXX 是任何东西。为了举例，下面是 Intel 8086 处理器分支指令的一个列表:JA Jump if Above JAE Jump if Above or Equal JB Jump if Below

23、 JBE Jump if Below or Equal JC Jump if Carry JCXZ Jump if CX Zero (CX is a register that can be used for loop counts) JE Jump if Equal JG Jump if Greater than JGE Jump if Greater than or Equal JL Jump if Less than JLE Jump if Less Than or Equal JMP JuMP JNA Jump if Not Above JNAE Jump if Not Above o

24、r Equal JNB Jump if Not Below JNBE Jump if Not Below or Equal JNC Jump if No Carry JNE Jump if Not Equal JNG Jump if Not Greater than JNGE Jump if Not Greater than or Equal JNL Jump if Not Less than JNLE Jump if Not Less than or Equal JNO Jump if Not Overflow JNP Jump if Not Parity JNS Jump if Not S

25、ign JNZ Jump if Not Zero JO Jump if Overflow JP Jump if Parity JPE Jump if Parity Even JPO Jump if Parity Odd JS Jump if Sign JZ Jump if Zero80386 添加了: JECXZ Jump if ECX Zero作为对比，ARM 处理器只提供了:B 分支 BL 带连接的分支但 ARM 提供了条件执行，你可以不受这个表面上不灵活的方式的限制:BEQ Branch if EQual BNE Branch if Not Equal BVS Branch if oVe

26、rflow Set BVC Branch if oVerflow Clear BHI Branch if HIgher BLS Branch if Lower or the Same BPL Branch if PLus BMI Branch if MInus BCS Branch if Carry Set BCC Branch if Carry Clear BGE Branch if Greater than or Equal BGT Branch if Greater Than BLE Branch if Less than or Equal BLT Branch if Less Than

27、 BLEQ Branch with Link if EQual . BLLT Branch with Link if Less Than还有两个代码， AL - ALways，缺省条件所以不须指定 NV - NeVer，不是非常有用。你无论如何不要使用这个代码.当你发现所有 Bxx 指令实际上是同一个指令的时候，紧要关头就到了。接着你会想，如果你可以在一个分支指令上加上所有这些条件，那么对一个寄存器装载指令能否加上它们? 答案是可以。 下面是可获得的条件代码的列表:EQ : 等于 如果一次比较之后设置了 Z 标志。 NE : 不等于 如果一次比较之后清除了 Z 标志。 VS : 溢出设置 如果

28、在一次算术操作之后设置了 V 标志，计算的结果不适合放入一个 32bit 目标寄存器中。 VC : 溢出清除 如果清除了 V 标志，与 VS 相反。 HI : 高于(无符号) 如果一次比较之后设置了 C 标志并清除了 Z 标志。 LS : 低于或同于(无符号) 如果一次比较操作之后清除了 C 标志或设置了 Z 标志。 PL : 正号 如果一次算术操作之后清除了 N。出于定义正号的目的，零是正数的原因是它不是负数. MI : 负号 如果一次算术操作之后设置了 N 标志。 CS : 进位设置 如果一次算术操作或移位操作之后设置了 C 标志，操作的结果不能表示为 32bit。你可以把 C 标志当作结果的第 33 位。 CC : 进位清除 与 CS 相反。 GE : 大于或等于(有符号) 如果一次比较之后.设置了 N 标志并设置了 V 标志或者.清除了 N 标志并清除了 V 标志。 GT : 大于(有符号) 如果一次比