B BL BLX BX詳解

B、BL、BX、BLX 和 BXJ

跳轉(zhuǎn)、帶鏈接跳轉(zhuǎn)、跳轉(zhuǎn)并切換指令集、帶鏈接跳轉(zhuǎn)并切換指令集、跳轉(zhuǎn)并轉(zhuǎn)換到 Jazelle 狀態(tài)。

語(yǔ)法

op1{cond}{.W} label

op2{cond} Rm

其中：

op1

是下列項(xiàng)之一：

B

跳轉(zhuǎn)。

BL

帶鏈接跳轉(zhuǎn)

BLX

帶鏈接跳轉(zhuǎn)并切換指令集。

op2

是下列項(xiàng)之一：

BX

跳轉(zhuǎn)并切換指令集。

BLX

帶鏈接跳轉(zhuǎn)并切換指令集。

BXJ

跳轉(zhuǎn)并轉(zhuǎn)換為 Jazelle 執(zhí)行。

cond

是一個(gè)可選的條件代碼。 cond 不能用于此指令的所有形式。

.W

是一個(gè)可選的指令寬度說(shuō)明符，用于強(qiáng)制要求在 Thumb-2 中使用 32 位 B 指令。

label

是一個(gè)程序相對(duì)的表達(dá)式。

Rm

是一個(gè)寄存器，包含要跳轉(zhuǎn)到的目標(biāo)地址。

操作

所有這些指令均會(huì)引發(fā)跳轉(zhuǎn)，或跳轉(zhuǎn)到 label，或跳轉(zhuǎn)到包含在 Rm 中的地址處。 此外：

BLX label 無(wú)論何種情況，始終會(huì)更改處理器的狀態(tài)。

BX Rm 和 BLX Rm 可從 Rm 的位 [0] 推算出目標(biāo)狀態(tài)：

如果 Rm 的位 [0] 為 0，則處理器的狀態(tài)會(huì)更改為（或保持在）ARM 狀態(tài)

如果 Rm 的位 [0] 為 1，則處理器的狀態(tài)會(huì)更改為（或保持在）Thumb 狀態(tài)。

BXJ 指令會(huì)將處理器的狀態(tài)更改為 Jazelle。

指令可用性和跳轉(zhuǎn)范圍

下表給出了可在 ARM 和 Thumb 狀態(tài)下使用的指令。 此表中未列出的指令不可在這兩種狀態(tài)下使用。 括號(hào)中的注釋給出了第一個(gè)可在其中使用指令的體系結(jié)構(gòu)版本。

Table 4.7. 跳轉(zhuǎn)指令的可用性和范圍

擴(kuò)展跳轉(zhuǎn)范圍

機(jī)器級(jí)指令 B 和 BL 對(duì)當(dāng)前指令有地址范圍限制。 但是，即使label 超出范圍，仍可以使用這些指令。通常您并不知道鏈接器會(huì)將 label 放在何處。必要時(shí)鏈接器會(huì)添加代碼，以允許進(jìn)行更長(zhǎng)的跳轉(zhuǎn)。 所添加的代碼稱為中間代碼。

Thumb-2 中的 B

您可以使用 .W 寬度說(shuō)明符強(qiáng)制 B 在 Thumb-2 代碼中生成 32 位指令。

B.W 始終生成 32 位指令，即使使用 16 位指令就可訪問(wèn)目標(biāo)也如此。

對(duì)于向前引用，不帶 .W 的 B 始終在 Thumb 代碼中生成 16 位指令，即使這會(huì)導(dǎo)致無(wú)法訪問(wèn)可以使用 32 位 Thumb 指令訪問(wèn)的目標(biāo)。

Thumb-2EE 中的 BX、BLX 和 BXJ

這些指令可在 Thumb-2EE 代碼中用作跳轉(zhuǎn)，但不能用于更改狀態(tài)。 不能在 Thumb-2EE 中使用這些指令的 op{cond} label 格式。在該寄存器格式中，Rm 的位 [0] 必須是 1，執(zhí)行以 ThumbEE 狀態(tài)在目標(biāo)地址繼續(xù)進(jìn)行。

條件標(biāo)記

這些指令不更改標(biāo)記。

體系結(jié)構(gòu)

有關(guān)這些指令在每種體系結(jié)構(gòu)中的可用性的詳細(xì)信息。

示例

   B       loopA

    BLE     ng+8

    BL      subC

    BLLT    rtX

    BEQ     {pc}+4  ; #0x8004

ARM/thumb之間 函數(shù)調(diào)用:

在同一狀態(tài)時(shí)直接:BL function即可

返回也直接用MOV PC,LR

不在同一狀態(tài)要注意以下幾點(diǎn):

1.         要用BX,而不用BL

2.         BX之前要保存好LR

3.         要用BX LR來(lái)返回

;Check if tasm.exe(armasm -16 ...@ADS 1.0) is used.

;這一段是為了統(tǒng)一處理器工作狀態(tài)和軟件編譯方式（16位編譯環(huán)境使用tasm.exe編譯）

;arm有兩種工作狀態(tài)：

；（1）32位，該狀態(tài)執(zhí)行字對(duì)準(zhǔn)的arm指令；

；（2）16位，該狀態(tài)執(zhí)行半字對(duì)準(zhǔn)的Thumb指令

;不同的工作狀態(tài)，編譯器編譯方式也不同

GBLL THUMBCODE

[ {CONFIG} = 16 ;if config

THUMBCODE SETL {TRUE}

CODE32 ;轉(zhuǎn)入32位編譯模式

| ;else

THUMBCODE SETL {FALSE} ;設(shè)置為FALSE

MACRO

MOV_PC_LR

[ THUMBCODE

bx lr

|

mov pc,lr

MEND

MACRO

MOVEQ_PC_LR

[ THUMBCODE

bxeq lr

|

moveq pc,lr

MEND

GBLA 指令聲明一個(gè)全局算術(shù)變量，并將其值初始化為 0。

GBLL 指令聲明一個(gè)全局邏輯變量，并將其值初始化為 {FALSE}。

GBLS 指令聲明一個(gè)全局字符串變量，并將其值初始化為空字符串 ""。

語(yǔ)法

<</span>gblx> variable

其中：

是 GBLA、GBLL 或 GBLS。

variable

是變量的名稱。variable 在一個(gè)源文件內(nèi)的符號(hào)中必須是唯一的。

SETA 指令用于設(shè)置局部或全局算術(shù)變量的值。

SETL 指令用于設(shè)置局部或全局邏輯變量的值。

SETS 指令用于設(shè)置局部或全局字符串變量的值。

語(yǔ)法

variable <</span>setx> expr

其中：

是 SETA、SETL 或 SETS。

variable

是由 GBLA、GBLL、GBLS、LCLA、LCLL 或 LCLS 指令聲明的變量的名稱。

expr

是一個(gè)表達(dá)式，可以為以下幾種類型：

對(duì)于 SETA，其值是數(shù)值型

對(duì)于 SETL，其值是邏輯型

對(duì)于 SETS，其值是字符串。