arm汇编当即数有效位数判别

首要从ARM指令系统的语法格局说起。

一条ARM指令语法格局分为如下几个部分：

{}{S} ,{,}

其间，<>内的项是有必要的，{}内的项是可选的，如是指令助记符，是有必要的，而{}为指令履行条件，是可选的，假如不写则运用默许条件AL(无条件履行)。

Opcode指令助记符，如LDR，STR等

Cond履行条件，如EQ，NE等

S是否影响CPSR寄存器的值，书写时影响CPSR，不然不影响

Rd方针寄存器

Rn第一个操作数的寄存器

shifter_operand第二个操作数

其指令编码格局如下：

当第2 个操作数的方式为：＃immed_8r常数表达式时“该常数有必要对应8位位图，即常数是由一个8位的常数循环移位偶数位得到的。”

其意思是这样：

＃immed_8r在芯片处理时表明一个32位数，可是它是由一个8位数（比方：01011010，即0x5A）经过循环移位偶数位得到（1000 0000 0000 0000 0000 0000 0001 0110，便是0x5A经过循环右移2位（偶数位）的到的）。

而1010 0000 0000 0000 0000 0000 0001 0110，就不契合这样的规则，编译时必定犯错。由于你或许经过将1011 0101循环右移位得到它，可是不或许经过循环移位偶数位得到。1011 0000 0000 0000 0000 0000 0001 0110，也不契合这样的规则，很明显：1 0110 1011 有9位。

为什么要有这样的规则？

要从指令编码格局来解说（这便是我为什么一开始讲的是指令编码格局），仔细看表格中的shifter_operand所占的位数：12位。要用一个12位的编码来表明恣意的32位数是肯定不或许的（12位数有2^12种或许，而32位数有2^32种）。

可是又要用12位的编码来表明32位数，怎么办？

只需在表明数的数量上做约束。经过编码来完成用12位的编码来表明32位数。

在12位的shifter_operand中：8位存数据，4位存移位的次数。

8位存数据：解说了“该常数有必要对应8位位图”。

4位存移位的次数：解说了为什么只能移偶数位。4位只需16种或许值，而32位数能够循环移位32次（32种或许），那就只好约束：只能移偶数位（两位两位地移，如同一个16位数在移位，16种移位或许）。这样就处理了能表明的状况是实际状况一半的对立。

所以对＃immed_8r常数表达式的约束是处理指令编码的第二个操作数位数不足以表明32位操作数的无法之举，但在我看来：这个能够说是聪明的做法。由于假如直接用12位数来表明32位操作数，只能表明0 到（2^12-1）。大于(2^12-1)的数就没办法表明了。并且细细想来“8位存数据，4位存移位的次数”，应该是最好的组合了（我并未想过一切的组合，仅仅趁便试了几个）。

ARM指令第二操作数#immed_8r详解

大多数ARM通用数据处理指令有一个灵敏的第2操作数(flexible second operand),这儿这解说一下其间的一种格局，#immed_8r常量的表达式。常量有必要对应于8位位图(pattern)。该位图在32位字中，被循环移位偶数位(0,2,4,…28,30)。合法常量0xff,0xff000,0xf000000f。不合法常量：0x101,0xff04

ARM 在32位形式下，一条指令长度为32位，在上述数据处理指令中，操作数2为12位。所以像0x7f02这样的数，要两条指令才干完结。

MOVR3, #0x7F00；E3 A0 3C 7F 该指令自己完结0x7f移位

ORRR1, R3, #2

所以直接是找不到0x7f02的

关于循环移位，其实arm中只需循环右移（ROR）。0x7f到0x7f00是经过循环右移24次才完成的，这儿每次移动2位所以是12次（0xc）