ARM指令中如何判断一个立即数是有效立即数

发布者:咖啡小熊最新更新时间:2016-03-31 来源: eefocus关键字:ARM指令  立即数  有效立即数 手机看文章 扫描二维码
随时随地手机看文章
arm指令 立即数(一)

2011-04-13 16:55

在ARM处理器的汇编语言中,对指令语法格式中的的常数表达式有这样的规定:“该常数必须对应8位位图,即常数是由一个8位的常数循环移位偶数位得到的。”

首先从ARM指令系统的语法格式说起。

一条ARM指令语法格式分为如下几个部分:

{}{S} ,{,}

其中,<>内的项是必须的,{}内的项是可选的,如是指令助记符,是必须的,而{}为指令执行条件,是可选的,如果不写则使用默认条件AL(无条件执行)。

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

Cond       执行条件,如EQ,NE 等

       S           是否影响CPSR 寄存器的值,书写时影响CPSR,否则不影响

       Rd          目标寄存器

Rn          第一个操作数的寄存器

shifter_operand      第二个操作数

 

其指令编码格式如下:

 

31-28

27-25

24-21

20  

19-16

15-12

11-0 (12位)

cond

001

opcode

S

Rn

Rd

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这样的数,要两条指令才能完成。

MOV    R3, #0x7F00   ;E3 A0 3C 7F 该指令自己完成0x7f移位

ORR    R1, R3, #2

所以直接是找不到0x7f02的

关于循环移位,其实arm中只有循环右移(ROR)。0x7f到0x7f00是通过循环右移24次才实现的,这里每次移动2位所以是12次(0xc)

在 ARM 数据处理指令中, 当参与操作的第二操作数为立即数时, 每个立即数都是采用一个8位的常数循环右移偶数位而间接得到, 其中循环右移的位数有一个4位二进制的2倍表示. 则有效立即数可表示为: := immed_8; 循环右移(2×rotate_imm). 其中: 代表立即数, immed_8 代表8位常数, 即所谓的"8位图", rotate_imm 代表4位的循环右移值. 这样一来出现了一个问题: 尽管表示的范围变大了, 但是12位所能表现的数字的个数是一定的. 因此, ARM 规定并不是所有的32位常数都是合法的立即数, 只有通过上面的构造方法得到的才是合法的立即数, 编译的时候才不会报错.

举个例子吧.0x3FC(0000 0000 0000 0000 0000 0011 1111 1100) 是由 0xff 循环右移 2 位得到的;200(0000 0000 0000 0000 0000 0000 1100 1000) 是由 0xc8 循环右移 2 位得到的, 它们都是合法的.而 0x1FE(0000 0000 0000 0000 0000 0001 1111 1110) 和511(0000 0000 0000 0000 0000 0001 1111 1111) 无法看成是8位的常数循环右移偶数位而得到的, 因此是非法的.

指令操作数立即数时候,每个立即数由一个8位的常数循环右移偶数位得到。= immed_8 循环右移( 2*rotate_imm)打个比如:1.立即数0xF200是由0xCF2间接表示的,即是由8位的0xF2循环右移24(2*12)得到的immed_8 == 0xF2;  rotate_imm == 0xC2.立即数0x3F0是由0xE3F间接表示的,即是由8位的0x3F循环右移28(2*14)得到的immed_8 == 0x3F;  rotate_imm == 0xE或者立即数0x3F0是由0xFFC间接表示的,即是由8位的0xFC循环右移30(2*15)得到的immed_8 == 0xFC;  rotate_imm == 0xF表示方法有好几种PS:其实你没必要一个一个的算,只要利用LDR伪指令就可以了,例如:ldr r1, =12345678编译器自然会给你做工作,现实的编程中应该也是这个居多吧

比较下来, 我们可以这样总结:

  1. 判断一个数是否符合8位位图的原则, 首先看这个数的二进制表示中1的个数是否不超过8个. 如果不超过8个, 再看这n个1(n<=8)是否能同时放到8个二进制位中, 如果可以放进去, 再看这八个二进制位是否可以循环右移偶数位得到我们欲使用的数. 如果可以, 则此数符合8位位图原理, 是合法的立即数. 否则, 不符合.
  • 无法表示的32位数, 只有通过逻辑或算术运算等其它途径获得了. 比如0xffffff00, 可以通过0x000000ff按位取反得到.

因此以后的编程中, 时刻检查用到的第二操作数是否符合8位位图是一件千万不能疏忽的事. 至于为什么要将这12位 operand2"八四开", 这个问题就要请教大牛了.

关键字:ARM指令  立即数  有效立即数 引用地址:ARM指令中如何判断一个立即数是有效立即数

上一篇:ARM协处理器CP15寄存器详解
下一篇:ARM Linux 更新启动画面

推荐阅读最新更新时间:2024-03-16 14:48

ARM指令中STM和LDM的理解误区
STM和LDM的主要用途是现场保护、数据复制、参数传递等,其模式有8种,如下: 注:前面4种用于数据块的传输,后面4种用于堆栈操作 (1)IA 每次传送后地址加4 (2)IB 每次传送前地址加4 (3)DA 每次传送后地址减4 (4)DB 每次传送前地址减4 (5)FD 满递减堆栈 (6)FA 满递增堆栈 (7)ED 空递减堆栈 (8)EA 空递增堆栈 下面的讲述对于空递减堆栈和空递增堆栈同样适用. 在堆栈操作时,经常错误以为使用STMFD满递减将寄存器压入堆栈后,在弹出数据的时候应该使用LDMFA。 但是FD和FA仅用于只是目前操作的堆栈是何种模式(堆栈共有四种模式),FD指明
[单片机]
关于ARM立即的理解
一、立即数指令码的组成 ARM公司将32bit指令码分为如下两部分: 32bit立即数通过Imm8值循环右移ROR值*2bit得到。即:shifter_operand = immed_8 Rotate_Right (rotate_imm * 2)。 二、如何判断一个数是否是合法立即数? 首先将这个数转换为32bit16进制形式,例如218=0xDA=0x000000DA 除零外,仅有一位数为合法立即数。 除零外,仅有二位数,并且相邻(包括首尾相邻,如0x1000000A)的为合法立即数。 除零外,仅有三位数,并且相邻(包括中间有0相间,例如0x10800000,包括首尾相邻,如:0x14000003),这三位数中,最
[单片机]
关于ARM<font color='red'>立即</font><font color='red'>数</font>的理解
ARM 指令的分类与格式
ARM微处理器的指令集是加载/存储型的,也即指令集仅能处理寄存器中的数据,而且处理结果都要放回寄存器中,而对系统存储器的访问则需要通过专门的加载/存储指令来完成。 ARM微处理器的指令集可以分为跳转指令、数据处理指令、程序状态寄存器(PSR)处理指令、加载/存储指令、协处理器指令和异常产生指令六大类,具体的指令及功能如表3-1所示(表中指令为基本ARM指令,不包括派生的ARM指令)。 当处理器工作在ARM状态时,几乎所有的指令均根据 CPSR 中条件码的状态和指令的条件域有条件的执行。当指令的执行条件满足时,指令被执行,否则指令被忽略。 每一条 ARM 指令包含 4 位的条件码,位于指令的最高 4 位 。条件码共有 16 种,每
[单片机]
ARM立即讲解--LDR和MOV的区别
Mov 是把立即数赋给一个寄存器,但对立即数的范围有要求。只能是由8bit连续有效位通过偶数次移位能得到的数。如果立即数超出这个范围,就没办法用一条MOV指令给寄存器赋值。 LDR除了普通的读数之外,也有给寄存器赋立即数的功能。 你只要写 LDR R0,=0xabcdef 它没有立即数范围的限制。因为这是一条伪指令。如果立即数在MOV的要求内,那就用一条汇编来实现。如果不在Mov的范围内,就用其它方式实现,如变成两条指令,或从PC偏移地址读一个32位数给寄存器。 MOV是从一个寄存器或者移位的寄存器或者立即数的值传递到另外一个寄存器 从本质上是寄存器到寄存器的传递,为什么会有立即数,其实也是有限制的立即数,不是所有立即数都可以
[单片机]
ARM指令ldr与str解析
S3C2440A datasheet上关于这两条指令的说明如下: SINGLE DATA TRANSFER (LDR, STR), The single data transfer instructions are used to load or store single bytes or words of data. 简单的理解就是数据的传送/存储指令。 接下来是datasheet上关于这两个指令格式的说明: {cond}{B}{T} Rd, where: LDR --- Load from memory into a register STR --- Store from a
[单片机]
31-ARM指令
[嵌入式]
ARM汇编程序中立即的合法性
ARM汇编中立即数的构成规则:必须是一个8位的二进制数,前面补上24位二进制0,扩展为32位;然后将这个32位的扩展数首尾相连循环偶数位得到。 给定一个立即数,判断其是否合法可以分三步:首先将给定的立即数写成32位二进制的形式;然后看能不能用一个8位的二进制数包括所有含1的部分,如不能则非法;最后看这个8位二进制数能不能循环右移偶数位得到给定的立即数,不能数则非法。举例如下: 0xff=00000000 00000000 00000000 11111111:相当于8位二进制11111111循环右移0位得到,合法; 0x104=00000000 00000000 00000001 00000100:相当于8位二进制0100000
[单片机]
小广播
添点儿料...
无论热点新闻、行业分析、技术干货……
热门活动
换一批
更多
设计资源 培训 开发板 精华推荐

最新单片机文章
何立民专栏 单片机及嵌入式宝典

北京航空航天大学教授,20余年来致力于单片机与嵌入式系统推广工作。

换一换 更多 相关热搜器件
电子工程世界版权所有 京B2-20211791 京ICP备10001474号-1 电信业务审批[2006]字第258号函 京公网安备 11010802033920号 Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved