转载地址: https://blog.csdn.net/coldsnow 33/article/details/37727621
b、BL、BX、BLX、BXJ
跳转,链接跳转,跳转并切换指令集,链接跳转并切换指令集,跳转并转移到Jazelle状态。
语法op1 { cond } {.w }标签
op2{cond}Rm
其中:
op1可以是以下选项之一:
乙跳。
带BL链接的跳跃
BLX链接跳转和指令集的切换。
op2可以是以下选项之一:
跳转到BX切换指令集。
BLX链接跳转和指令集的切换。
BXJ跳转并转换为Jazelle来执行。
cond是可选的条件代码。 cond不能用于此命令的所有格式。
. w是可选的命令宽度说明符,强制Thumb-2使用32位b命令。
label是相对于程序的相对表达式。
Rm是包含跳转目标地址的寄存器。
操作这些命令时,会发生跳转,或跳转到标签或Rm中包含的地址。 另外:
3358 www.Sina.com/http://www.Sina.com/(r 14http://www.Sina.com/)。
从3358 www.Sina.com/http://www.Sina.com /更改为Thumb或从Thumb更改为ARM。
BLXlabel在任何情况下都会更改处理器的状态。
BXRm和BLXRm可以根据Rm的比特[0]估计目标状态:
如果Rm位[0]为0,则将处理器状态改变(或保持)为ARM状态
如果Rm的位[0]为1,则处理器状态将更改为Thumb状态。
BXJ指令将处理器的状态更改为Jazelle。
命令的可用性和跳转范围下表列出了可以在ARM和Thumb状态下使用的命令。 此表中未列出的命令在这两种状态下不可用。 括号中的注释表示可以使用指令的第一个体系结构版本。
Table4.7 .跳转指令的可用性和范围
命令
自动取款机
16位Thumb
32位Thumb
B级
32MB
(全部)
2KB
(所有t )
16MB
(所有T2 )
b{cond}标签
32MB
(全部)
252至258
(所有t )
1MBa
(所有T2 )
标签
32MB
(全部)
4MB
(所有t )
16MB
(所有T2 )
bl{cond}标签
32MB
(全部)
_
_
_
BXRm
可用
(4T,5 ) )。
可用
(所有t )
使用16位
(所有T2 )
BX{cond}Rm
可用
(4T,5 ) )。
_
_
_
BLXlabel
32MB
(5) ) )。
4MB[2]
(5T ) )。
16MB
(ARMv7-M除外的所有T2 )
BLXRm
可用
(5) ) )。
可用
(5T ) )。
使用16位
(所有T2 )
BLX{cond}Rm
可用
(5) ) )。
_
_
_
BXJRm
可用
(5J,6 ) )。
_
可用
(ARMv7-M除外的所有T2 )
BXJ{cond}Rm
可用
(5J,6 ) )。
_
_
_
[1.w允许您指示汇编程序使用此32位指令。
>[2这是一个指令对。
扩展跳转范围
机器级指令 B 和 BL 对当前指令有地址范围限制。 但是,即使label 超出范围,仍可以使用这些指令。通常您并不知道链接器会将 label 放在何处。必要时链接器会添加代码,以允许进行更长的跳转。 所添加的代码称为中间代码。
Thumb-2 中的 B
您可以使用 .W 宽度说明符强制 B 在 Thumb-2 代码中生成 32 位指令。
B.W 始终生成 32 位指令,即使使用 16 位指令就可访问目标也如此。
对于向前引用,不带 .W 的 B 始终在 Thumb 代码中生成 16 位指令,即使这会导致无法访问可以使用 32 位 Thumb 指令访问的目标。
Thumb-2EE 中的 BX、BLX 和 BXJ
这些指令可在 Thumb-2EE 代码中用作跳转,但不能用于更改状态。 不能在 Thumb-2EE 中使用这些指令的 op{cond} label 格式。在该寄存器格式中,Rm 的位 [0] 必须是 1,执行以 ThumbEE 状态在目标地址继续进行。
条件标记
这些指令不更改标记。
体系结构
有关这些指令在每种体系结构中的可用性的详细信息。
示例
B loopA
BLE ng+8
BL subC
BLLT rtX
BEQ {pc}+4 ; #0x8004
ARM/thumb之间 函数调用:
在同一状态时直接:BL function即可
返回也直接用MOV PC,LR
不在同一状态要注意以下几点:
1. 要用BX,而不用BL
2. BX之前要保存好LR
3. 要用BX LR来返回
;Check if tasm.exe(armasm -16 ...@ADS 1.0) is used.
;这一段是为了统一处理器工作状态和软件编译方式(16位编译环境使用tasm.exe编译)
;arm有两种工作状态:
;(1)32位,该状态执行字对准的arm指令;
;(2)16位,该状态执行半字对准的Thumb指令
;不同的工作状态,编译器编译方式也不同
GBLL THUMBCODE
[ {CONFIG} = 16 ;if config
THUMBCODE SETL {TRUE}
CODE32 ;转入32位编译模式
| ;else
THUMBCODE SETL {FALSE} ;设置为FALSE
]
MACRO
MOV_PC_LR
[ THUMBCODE
bx lr
|
mov pc,lr
]
MEND
MACRO
MOVEQ_PC_LR
[ THUMBCODE
bxeq lr
|
moveq pc,lr
]
MEND
GBLA 指令声明一个全局算术变量,并将其值初始化为 0。
GBLL 指令声明一个全局逻辑变量,并将其值初始化为 {FALSE}。
GBLS 指令声明一个全局字符串变量,并将其值初始化为空字符串 ""。
语法
<gblx> variable
其中:
<gblx> 是 GBLA、GBLL 或 GBLS。
variable
是变量的名称。variable 在一个源文件内的符号中必须是唯一的。
SETA 指令用于设置局部或全局算术变量的值。
SETL 指令用于设置局部或全局逻辑变量的值。
SETS 指令用于设置局部或全局字符串变量的值。
语法
variable <setx> expr
其中:
<setx> 是 SETA、SETL 或 SETS。
variable 是由 GBLA、GBLL、GBLS、LCLA、LCLL 或 LCLS 指令声明的变量的名称。
expr 是一个表达式,可以为以下几种类型:
对于 SETA,其值是数值型
对于 SETL,其值是逻辑型
对于 SETS,其值是字符串。