ARM程序設計基礎

1 ARM匯編器所支持的偽指令 1

2 ARM匯編器所支持的偽指令 10

3 匯編語言的語句格式 16

4 匯編語言的程序結構 19

ARM編譯器一般都支持匯編語言的程序設計和C/C++語言的程序設計，以及兩者的混合編程。本章介紹ARM程序設計的一些基本概念，如ARM匯編語言的偽指令、匯編語言的語句格式和匯編語言的程序結構等，同時介紹C/C＋＋和匯編語言的混合編程等問題。

本章的主要內容：

－ ARM編譯器所支持的偽指令

－ 匯編語言的語句格式

－ 匯編語言的程序結構

－ 相關的程序示例

1ARM匯編器所支持的偽指令

在ARM匯編語言程序里，有一些特殊指令助記符，這些助記符與指令系統的助記符不同，沒有相對應的操作碼，通常稱這些特殊指令助記符為偽指令，他們所完成的操作稱為偽操作。偽指令在源程序中的作用是為完成匯編程序作各種準備工作的，這些偽指令僅在匯編過程中起作用，一旦匯編結束，偽指令的使命就完成。

在ARM的匯編程序中，有如下幾種偽指令：符號定義偽指令、數據定義偽指令、匯編控制偽指令、宏指令以及其他偽指令。

1.1 符號定義（Symbol Definition）偽指令

符號定義偽指令用于定義ARM匯編程序中的變量、對變量賦值以及定義寄存器的別名等操作。常見的符號定義偽指令有如下幾種：

— 用于定義全局變量的GBLA、GBLL和GBLS。

— 用于定義局部變量的LCLA、LCLL和LCLS。

— 用于對變量賦值的SETA、SETL、SETS。

— 為通用寄存器列表定義名稱的RLIST。

1、 GBLA、GBLL和GBLS

語法格式：

GBLA（GBLL或GBLS） 全局變量名

GBLA、GBLL和GBLS偽指令用于定義一個ARM程序中的全局變量，并將其初始化。其中：

GBLA偽指令用于定義一個全局的數字變量，并初始化為0；

GBLL偽指令用于定義一個全局的邏輯變量，并初始化為F（假）；

GBLS偽指令用于定義一個全局的字符串變量，并初始化為空；

由于以上三條偽指令用于定義全局變量，因此在整個程序范圍內變量名必須唯一。

使用示例：

GBLA Test1 ；定義一個全局的數字變量，變量名為Test1

Test1 SETA 0xaa ；將該變量賦值為0xaa

GBLL Test2 ；定義一個全局的邏輯變量，變量名為Test2

Test2 SETL {TRUE} ；將該變量賦值為真

GBLS Test3 ；定義一個全局的字符串變量，變量名為Test3

Test3 SETS “Testing” ；將該變量賦值為“Testing”

2、 LCLA、LCLL和LCLS

語法格式：

LCLA（LCLL或LCLS） 局部變量名

LCLA、LCLL和LCLS偽指令用于定義一個ARM程序中的局部變量，并將其初始化。其中：

LCLA偽指令用于定義一個局部的數字變量，并初始化為0；

LCLL偽指令用于定義一個局部的邏輯變量，并初始化為F（假）；

LCLS偽指令用于定義一個局部的字符串變量，并初始化為空；

以上三條偽指令用于聲明局部變量，在其作用范圍內變量名必須唯一。

使用示例：

LCLA Test4 ；聲明一個局部的數字變量，變量名為Test4

Test3 SETA 0xaa ；將該變量賦值為0xaa

LCLL Test5 ；聲明一個局部的邏輯變量，變量名為Test5

Test4 SETL {TRUE} ；將該變量賦值為真

LCLS Test6 ；定義一個局部的字符串變量，變量名為Test6

Test6 SETS “Testing” ；將該變量賦值為“Testing”

3、 SETA、SETL和SETS

語法格式：

變量名 SETA（SETL或SETS） 表達式

偽指令SETA、SETL、SETS用于給一個已經定義的全局變量或局部變量賦值。

SETA偽指令用于給一個數學變量賦值；

SETL偽指令用于給一個邏輯變量賦值；

SETS偽指令用于給一個字符串變量賦值；

其中，變量名為已經定義過的全局變量或局部變量，表達式為將要賦給變量的值。

使用示例：

LCLA Test3 ；聲明一個局部的數字變量，變量名為Test3

Test3 SETA 0xaa ；將該變量賦值為0xaa

LCLL Test4 ；聲明一個局部的邏輯變量，變量名為Test4

Test4 SETL {TRUE} ；將該變量賦值為真

4、RLIST

語法格式：

名稱 RLIST {寄存器列表}

RLIST偽指令可用于對一個通用寄存器列表定義名稱，使用該偽指令定義的名稱可在ARM指令LDM/STM中使用。在LDM/STM指令中，列表中的寄存器訪問次序為根據寄存器的編號由低到高，而與列表中的寄存器排列次序無關。

使用示例：

RegList RLIST {R0-R5，R8，R10} ；將寄存器列表名稱定義為RegList，可在ARM指令LDM/STM中通過該名稱訪問寄存器列表。

1.2 數據定義（Data Definition）偽指令

數據定義偽指令一般用于為特定的數據分配存儲單元，同時可完成已分配存儲單元的初始化。常見的數據定義偽指令有如下幾種：

— DCB 用于分配一片連續的字節存儲單元并用指定的數據初始化。

— DCW（DCWU） 用于分配一片連續的半字存儲單元并用指定的數據初始化。

— DCD（DCDU） 用于分配一片連續的字存儲單元并用指定的數據初始化。

— DCFD（DCFDU）用于為雙精度的浮點數分配一片連續的字存儲單元并用指定的數據初始化。

— DCFS（DCFSU） 用于為單精度的浮點數分配一片連續的字存儲單元并用指定的數據初始化。

— DCQ（DCQU） 用于分配一片以8字節為單位的連續的存儲單元并用指定的數據初始化。

— SPACE 用于分配一片連續的存儲單元

— MAP 用于定義一個結構化的內存表首地址

— FIELD 用于定義一個結構化的內存表的數據域

1、 DCB

語法格式：

標號 DCB 表達式

DCB偽指令用于分配一片連續的字節存儲單元并用偽指令中指定的表達式初始化。其中，表達式可以為0～255的數字或字符串。DCB也可用“=”代替。

使用示例：

Str DCB “This is a test！” ；分配一片連續的字節存儲單元并初始化。

2、 DCW（或DCWU）

語法格式：

標號 DCW（或DCWU） 表達式

DCW（或DCWU）偽指令用于分配一片連續的半字存儲單元并用偽指令中指定的表達式初始化。其中，表達式可以為程序標號或數字表達式。。

用DCW分配的字存儲單元是半字對齊的，而用DCWU分配的字存儲單元并不嚴格半字對齊。

使用示例：

DataTest DCW 1，2，3 ；分配一片連續的半字存儲單元并初始化。

3、 DCD（或DCDU）

語法格式：

標號 DCD（或DCDU） 表達式

DCD（或DCDU）偽指令用于分配一片連續的字存儲單元并用偽指令中指定的表達式初始化。其中，表達式可以為程序標號或數字表達式。DCD也可用“&”代替。

用DCD分配的字存儲單元是字對齊的，而用DCDU分配的字存儲單元并不嚴格字對齊。

使用示例：

DataTest DCD 4，5，6 ；分配一片連續的字存儲單元并初始化。

4、 DCFD（或DCFDU）

語法格式：

標號 DCFD（或DCFDU） 表達式

DCFD（或DCFDU）偽指令用于為雙精度的浮點數分配一片連續的字存儲單元并用偽指令中指定的表達式初始化。每個雙精度的浮點數占據兩個字單元。

用DCFD分配的字存儲單元是字對齊的，而用DCFDU分配的字存儲單元并不嚴格字對齊。

使用示例：

FDataTest DCFD 2E115，-5E7 ；分配一片連續的字存儲單元并初始化為指定的雙精度數。

5、 DCFS（或DCFSU）

語法格式：

標號 DCFS（或DCFSU） 表達式

DCFS（或DCFSU）偽指令用于為單精度的浮點數分配一片連續的字存儲單元并用偽指令中指定的表達式初始化。每個單精度的浮點數占據一個字單元。

用DCFS分配的字存儲單元是字對齊的，而用DCFSU分配的字存儲單元并不嚴格字對齊。

使用示例：

FDataTest DCFS 2E5，-5E－7 ；分配一片連續的字存儲單元并初始化為指定的單精度數。

6、 DCQ(或DCQU）

語法格式：

標號 DCQ（或DCQU） 表達式

DCQ（或DCQU）偽指令用于分配一片以8個字節為單位的連續存儲區域并用偽指令中指定的表達式初始化。

用DCQ分配的存儲單元是字對齊的，而用DCQU分配的存儲單元并不嚴格字對齊。

使用示例：

DataTest DCQ 100 ；分配一片連續的存儲單元并初始化為指定的值。

7、 SPACE

語法格式：

標號 SPACE 表達式

SPACE偽指令用于分配一片連續的存儲區域并初始化為0。其中，表達式為要分配的字節數。SPACE也可用“％”代替。

使用示例：

DataSpace SPACE 100 ；分配連續100字節的存儲單元并初始化為0。

8、 MAP

語法格式：

MAP 表達式{，基址寄存器}

MAP偽指令用于定義一個結構化的內存表的首地址。MAP也可用“＾”代替。

表達式可以為程序中的標號或數學表達式，基址寄存器為可選項，當基址寄存器選項不存在時，表達式的值即為內存表的首地址，當該選項存在時，內存表的首地址為表達式的值與基址寄存器的和。

MAP偽指令通常與FIELD偽指令配合使用來定義結構化的內存表。

使用示例：

MAP 0x100，R0 ；定義結構化內存表首地址的值為0x100＋R0。

9、 FILED

語法格式：

標號 FIELD 表達式

FIELD偽指令用于定義一個結構化內存表中的數據域。FILED也可用“#”代替。

表達式的值為當前數據域在內存表中所占的字節數。

FIELD偽指令常與MAP偽指令配合使用來定義結構化的內存表。MAP偽指令定義內存表的首地址，FIELD偽指令定義內存表中的各個數據域，并可以為每個數據域指定一個標號供其他的指令引用。

注意MAP和FIELD偽指令僅用于定義數據結構，并不實際分配存儲單元。

使用示例：

MAP 0x100 ；定義結構化內存表首地址的值為0x100。

A FIELD 16 ；定義A的長度為16字節，位置為0x100

B FIELD 32 ；定義B的長度為32字節，位置為0x110

S FIELD 256 ；定義S的長度為256字節，位置為0x130

1.3 匯編控制（Assembly Control）偽指令

匯編控制偽指令用于控制匯編程序的執行流程，常用的匯編控制偽指令包括以下幾條：

— IF、ELSE、ENDIF

— WHILE、WEND

— MACRO、MEND

— MEXIT

1、 IF、ELSE、ENDIF

語法格式：

IF 邏輯表達式

指令序列1

ELSE

指令序列2

ENDIF

IF、ELSE、ENDIF偽指令能根據條件的成立與否決定是否執行某個指令序列。當IF后面的邏輯表達式為真，則執行指令序列1，否則執行指令序列2。其中，ELSE及指令序列2可以沒有，此時，當IF后面的邏輯表達式為真，則執行指令序列1，否則繼續執行后面的指令。

IF、ELSE、ENDIF偽指令可以嵌套使用。

使用示例：

GBLL Test ；聲明一個全局的邏輯變量，變量名為Test

……

IF Test =TRUE

指令序列1

ELSE

指令序列2

ENDIF

2、 WHILE、WEND

語法格式：

WHILE 邏輯表達式

指令序列

WEND

WHILE、WEND偽指令能根據條件的成立與否決定是否循環執行某個指令序列。當WHILE后面的邏輯表達式為真，則執行指令序列，該指令序列執行完畢后，再判斷邏輯表達式的值，若為真則繼續執行，一直到邏輯表達式的值為假。

WHILE、WEND偽指令可以嵌套使用。

使用示例：

GBLA Counter ；聲明一個全局的數學變量，變量名為Counter

Counter SETA 3 ；由變量Counter控制循環次數

……

WHILE Counter< 10

指令序列

WEND

3、 MACRO、MEND

語法格式：

$標號 宏名 $參數1，$參數2，……

指令序列

MEND

MACRO、MEND偽指令可以將一段代碼定義為一個整體，稱為宏指令，然后就可以在程序中通過宏指令多次調用該段代碼。其中，$標號在宏指令被展開時，標號會被替換為用戶定義的符號，

宏指令可以使用一個或多個參數，當宏指令被展開時，這些參數被相應的值替換。

宏指令的使用方式和功能與子程序有些相似，子程序可以提供模塊化的程序設計、節省存儲空間并提高運行速度。但在使用子程序結構時需要保護現場，從而增加了系統的開銷，因此，在代碼較短且需要傳遞的參數較多時，可以使用宏指令代替子程序。

包含在MACRO和MEND之間的指令序列稱為宏定義體，在宏定義體的第一行應聲明宏的原型（包含宏名、所需的參數），然后就可以在匯編程序中通過宏名來調用該指令序列。在源程序被編譯時，匯編器將宏調用展開，用宏定義中的指令序列代替程序中的宏調用，并將實際參數的值傳遞給宏定義中的形式參數。

MACRO、MEND偽指令可以嵌套使用。

4、 MEXIT

語法格式：

MEXIT

MEXIT用于從宏定義中跳轉出去。

1.4 其他常用的偽指令

還有一些其他的偽指令，在匯編程序中經常會被使用，包括以下幾條：

— AREA

— ALIGN

— CODE16、CODE32

— ENTRY

— END

— EQU

— EXPORT（或GLOBAL）

— IMPORT

— EXTERN

— GET（或INCLUDE）

— INCBIN

— RN

— ROUT

1、 AREA

語法格式：

AREA 段名 屬性1，屬性2，……

AREA偽指令用于定義一個代碼段或數據段。其中，段名若以數字開頭，則該段名需用“|”括起來，如|1_test|。

屬性字段表示該代碼段（或數據段）的相關屬性，多個屬性用逗號分隔。常用的屬性如下：

— CODE屬性：用于定義代碼段，默認為READONLY。

— DATA屬性：用于定義數據段，默認為READWRITE。

— READONLY屬性：指定本段為只讀，代碼段默認為READONLY。

— READWRITE屬性：指定本段為可讀可寫，數據段的默認屬性為READWRITE。

— ALIGN屬性：使用方式為ALIGN 表達式。在默認時，ELF（可執行連接文件）的代碼段和數據段是按字對齊的，表達式的取值范圍為0～31，相應的對齊方式為2表達式次方。

— COMMON屬性：該屬性定義一個通用的段，不包含任何的用戶代碼和數據。各源文件中同名的COMMON段共享同一段存儲單元。

一個匯編語言程序至少要包含一個段，當程序太長時，也可以將程序分為多個代碼段和數據段。

使用示例：

AREA Init，CODE，READONLY

指令序列

；該偽指令定義了一個代碼段，段名為Init，屬性為只讀

2、 ALIGN

語法格式：

ALIGN {表達式{，偏移量}}

ALIGN偽指令可通過添加填充字節的方式，使當前位置滿足一定的對其方式|。其中，表達式的值用于指定對齊方式，可能的取值為2的冪，如1、2、4、8、16等。若未指定表達式，則將當前位置對齊到下一個字的位置。偏移量也為一個數字表達式，若使用該字段，則當前位置的對齊方式為：2的表達式次冪＋偏移量。

使用示例：

AREA Init，CODE，READONLY，ALIEN＝3 ；指定后面的指令為8字節對齊。

指令序列

END

3、 CODE16、CODE32

語法格式：

CODE16（或CODE32）

CODE16偽指令通知編譯器，其后的指令序列為16位的Thumb指令。

CODE32偽指令通知編譯器，其后的指令序列為32位的ARM指令。

若在匯編源程序中同時包含ARM指令和Thumb指令時，可用CODE16偽指令通知編譯器其后的指令序列為16位的Thumb指令，CODE32偽指令通知編譯器其后的指令序列為32位的ARM指令。因此，在使用ARM指令和Thumb指令混合編程的代碼里，可用這兩條偽指令進行切換，但注意他們只通知編譯器其后指令的類型，并不能對處理器進行狀態的切換。

使用示例：

AREA Init，CODE，READONLY

……

CODE32 ；通知編譯器其后的指令為32位的ARM指令

LDR R0，＝NEXT＋1 ；將跳轉地址放入寄存器R0

BX R0 ；程序跳轉到新的位置執行，并將處理器切換到Thumb工作狀態

……

CODE16 ；通知編譯器其后的指令為16位的Thumb指令

NEXT LDR R3，＝0x3FF

……

END ；程序結束

4、 ENTRY

語法格式：

ENTRY

ENTRY偽指令用于指定匯編程序的入口點。在一個完整的匯編程序中至少要有一個ENTRY（也可以有多個，當有多個ENTRY時，程序的真正入口點由鏈接器指定），但在一個源文件里最多只能有一個ENTRY（可以沒有）。

使用示例：

AREA Init，CODE，READONLY

ENTRY ；指定應用程序的入口點

……

5、 END

語法格式：

END

END偽指令用于通知編譯器已經到了源程序的結尾。

使用示例：

AREA Init，CODE，READONLY

……

END ；指定應用程序的結尾

6、 EQU

語法格式：

名稱 EQU 表達式{，類型}

EQU偽指令用于為程序中的常量、標號等定義一個等效的字符名稱，類似于C語言中的＃define。其中EQU可用“*”代替。

名稱為EQU偽指令定義的字符名稱，當表達式為32位的常量時，可以指定表達式的數據類型，可以有以下三種類型：

CODE16、CODE32和DATA

使用示例：

Test EQU 50 ；定義標號Test的值為50

Addr EQU 0x55，CODE32 ；定義Addr的值為0x55，且該處為32位的ARM指令。

7、 EXPORT（或GLOBAL）

語法格式：

EXPORT 標號{[WEAK]}

EXPORT偽指令用于在程序中聲明一個全局的標號，該標號可在其他的文件中引用。EXPORT可用GLOBAL代替。標號在程序中區分大小寫，[WEAK]選項聲明其他的同名標號優先于該標號被引用。

使用示例：

AREA Init，CODE，READONLY

EXPORT Stest ；聲明一個可全局引用的標號Stest

……

END

8、 IMPORT

語法格式：

IMPORT 標號{[WEAK]}

IMPORT偽指令用于通知編譯器要使用的標號在其他的源文件中定義，但要在當前源文件中引用，而且無論當前源文件是否引用該標號，該標號均會被加入到當前源文件的符號表中。

標號在程序中區分大小寫，[WEAK]選項表示當所有的源文件都沒有定義這樣一個標號時，編譯器也不給出錯誤信息，在多數情況下將該標號置為0，若該標號為B或BL指令引用，則將B或BL指令置為NOP操作。

使用示例：

AREA Init，CODE，READONLY

IMPORT Main ；通知編譯器當前文件要引用標號Main，但Main在其他源文件中定義

……

END

9、 EXTERN

語法格式：

EXTERN 標號{[WEAK]}

EXTERN偽指令用于通知編譯器要使用的標號在其他的源文件中定義，但要在當前源文件中引用，如果當前源文件實際并未引用該標號，該標號就不會被加入到當前源文件的符號表中。

標號在程序中區分大小寫，[WEAK]選項表示當所有的源文件都沒有定義這樣一個標號時，編譯器也不給出錯誤信息，在多數情況下將該標號置為0，若該標號為B或BL指令引用，則將B或BL指令置為NOP操作。

使用示例：

AREA Init，CODE，READONLY

EXTERN Main ；通知編譯器當前文件要引用標號Main，但Main在其他源文件中定義

……

END

10、GET（或INCLUDE）

語法格式：

GET 文件名

GET偽指令用于將一個源文件包含到當前的源文件中，并將被包含的源文件在當前位置進行匯編處理。可以使用INCLUDE代替GET。

匯編程序中常用的方法是在某源文件中定義一些宏指令，用EQU定義常量的符號名稱，用MAP和FIELD定義結構化的數據類型，然后用GET偽指令將這個源文件包含到其他的源文件中。使用方法與C語言中的“include”相似。

GET偽指令只能用于包含源文件，包含目標文件需要使用INCBIN偽指令

使用示例：

AREA Init，CODE，READONLY

GET a1.s ；通知編譯器當前源文件包含源文件a1.s

GE T C：a2.s ；通知編譯器當前源文件包含源文件C： a2.s

……

END

11、INCBIN

語法格式：

INCBIN 文件名

INCBIN偽指令用于將一個目標文件或數據文件包含到當前的源文件中，被包含的文件不作任何變動的存放在當前文件中，編譯器從其后開始繼續處理。

使用示例：

AREA Init，CODE，READONLY

INCBIN a1.dat ；通知編譯器當前源文件包含文件a1.dat

INCBIN C：a2.txt ；通知編譯器當前源文件包含文件C：a2.txt

……

END

12、RN

語法格式：

名稱 RN 表達式

RN偽指令用于給一個寄存器定義一個別名。采用這種方式可以方便程序員記憶該寄存器的功能。其中，名稱為給寄存器定義的別名，表達式為寄存器的編碼。

使用示例：

Temp RN R0 ；將R0定義一個別名Temp

13、ROUT

語法格式：

{名稱} ROUT

ROUT偽指令用于給一個局部變量定義作用范圍。在程序中未使用該偽指令時，局部變量的作用范圍為所在的AREA，而使用ROUT后，局部變量的作為范圍為當前ROUT和下一個ROUT之間。

2ARM匯編器所支持的偽指令

ARM微處理器的指令集可以分為跳轉指令、數據處理指令、程序狀態寄存器（PSR）處理指令、加載/存儲指令、協處理器指令和異常產生指令六大類。

2.1 指令的條件域

當處理器工作在ARM狀態時，幾乎所有的指令均根據CPSR中條件碼的狀態和指令的條件域有條件的執行。當指令的執行條件滿足時，指令被執行，否則指令被忽略。

每一條ARM指令包含4位的條件碼，位于指令的最高4位[31:28]。條件碼共有16種，每種條件碼可用兩個字符表示，這兩個字符可以添加在指令助記符的后面和指令同時使用。

2.2 尋址方式

n立即尋址

n寄存器尋址

n寄存器間接尋址

n基址變址尋址

n多寄存器尋址

n相對尋址

n堆棧尋址

1立即尋址

立即尋址也叫立即數尋址，這是一種特殊的尋址方式，操作數本身就在指令中給出，只要取出指令也就取到了操作數。這個操作數被稱為立即數，對應的尋址方式也就叫做立即尋址。

ADDR0，R0，＃1 ；R0←R0＋1

ADDR0，R0，＃0x3f ；R0←R0＋0x3f

2寄存器尋址

寄存器尋址就是利用寄存器中的數值作為操作數，這種尋址方式是各類微處理器經常采用的一種方式，也是一種執行效率較高的尋址方式。

ADDR0，R1，R2 ；R0←R1＋R2

3寄存器間接尋址

寄存器間接尋址就是以寄存器中的值作為操作數的地址，而操作數本身存放在存儲器中。

ADDR0，R1，[R2] ；R0←R1＋[R2]

LDRR0，[R1] ；R0←[R1]

STRR0，[R1] ；[R1]←R0

4基址變址尋址

基址變址尋址就是將寄存器（該寄存器一般稱作基址寄存器）的內容與指令中給出的地址偏移量相加，從而得到一個操作數的有效地址。變址尋址方式常用于訪問某基地址附近的地址單元。

LDR R0，[R1，＃4] ；R0←[R1＋4]

LDR R0，[R1，＃4]！ ；R0←[R1＋4]、R1←R1＋4

LDR R0，[R1] ，＃4 ；R0←[R1]、R1←R1＋4

LDR R0，[R1，R2] ；R0←[R1＋R2]

5多寄存器尋址

采用多寄存器尋址方式，一條指令可以完成多個寄存器值的傳送。這種尋址方式可以用一條指令完成傳送最多16個通用寄存器的值。

LDMIA R0，{R1，R2，R3，R4}

；R1←[R0]，R2←[R0＋4]，R3←[R0＋8]，R4←[R0＋12]

該指令的后綴IA表示在每次執行完加載/存儲操作后，R0按字長度增加，因此，指令可將連續存儲單元的值傳送到R1～R4。

6相對尋址

與基址變址尋址方式相類似，相對尋址以程序計數器PC的當前值為基地址，指令中的地址標號作為偏移量，將兩者相加之后得到操作數的有效地址。以下程序段完成子程序的調用和返回，跳轉指令BL采用了相對尋址方式：

BL NEXT ；跳轉到子程序NEXT處執行

……

NEXT：

……

MOV PC，LR ；從子程序返回

7 堆棧尋址

操作順序為“后進先出” 。堆棧尋址是隱含的，它使用一個專門的寄存器(堆棧指針)指向一塊存儲區域(堆棧)，指針所指向的存儲單元即是堆棧的棧頂。存儲器堆棧可分為兩種：

• • 向上生長：向高地址方向生長，稱為遞增堆棧
  • 向下生長：向低地址方向生長，稱為遞減堆棧

堆棧指針指向最后壓入的堆棧的有效數據項，稱為滿堆棧；堆棧指針指向下一個待壓入數據的空位置，稱為空堆棧。

四種類型的堆棧方式：

• 滿遞增：堆棧向上增長，堆棧指針指向內含有效數據項的最高地址。指令如LDMFA、STMFA等；
• 空遞增：堆棧向上增長，堆棧指針指向堆棧上的第一個空位置。指令如LDMEA、STMEA等；
• 滿遞減：堆棧向下增長，堆棧指針指向內含有效數據項的最低地址。指令如LDMFD、STMFD等；
• 空遞減：堆棧向下增長，堆棧指針向堆棧下的第一個空位置。指令如LDMED、STMED等。

8塊拷貝尋址

多寄存器傳送指令用于將一塊數據從存儲器的某一位置拷貝到另一位置。如：

STMIA R0!,{R1-R7};將R1～R7的數據保存到存儲器中。

;存儲指針在保存第一個值之后增加，

;增長方向為向上增長。

STMIB R0!,{R1-R7} ;將R1～R7的數據保存到存儲器中。

;存儲指針在保存第一個值之前增加，

;增長方向為向上增長。

注意：

1)IA：每次傳送后地址加4
2)IB：每次傳送前地址加4
3)DA：每次傳送后地址減4
4)DB：每次傳送前地址減4
5)FD：滿遞減堆棧
6)ED：空遞減堆棧
7)FA：滿遞增堆棧
8)EA：空遞增堆棧
R0!后綴“!”表示最后的地址回寫到R0中。

LDMIAR0!,{R2—R3}執行過程分析：
當把R0指向的地址0xFF00中的數據加載到R2后，地址加4，變為0xFF04；接著把0xFF04中的數據加載到R3，地址變為0xFF08。最后把該地址回寫到R0。

2.3 ARM指令集

n跳轉指令

n數據處理指令

n程序狀態寄存器處理指令

n加載/存儲指令

n協處理器指令

n異常產生指令

1跳轉指令

n在ARM程序中實現程序流程的跳轉有兩種方法

v使用專門的跳轉指令

v直接向程序計數器PC寫入跳轉地址值

nARM指令集中的跳轉指令包括以下4條指令

vB 跳轉指令

vBL 帶返回的跳轉指令

vBLX 帶返回和狀態切換的跳轉指令

vBX 帶狀態切換的跳轉指令

注意：一旦遇到一個B指令，ARM 處理器將立即跳轉到給定的目標地址執行。存儲在跳轉指令中的實際值是相對當前PC值的一個偏移量，由匯編器來計算。

BL 帶返回的跳轉指令

跳轉之前，會在寄存器R14中保存PC的當前內容，因此，可以通過將R14 的內容重新加載到PC中，來返回到跳轉指令之后的那個指令處執行。該指令是實現子程序調用的一個基本手段。

2數據處理指令

n數據處理指令可分為數據傳送指令、算術邏輯運算指令和比較指令等。

n數據傳送指令用于在寄存器和存儲器之間進行數據的雙向傳輸。

n算術邏輯運算指令完成常用的算術與邏輯的運算，該類指令不但將運算結果保存在目的寄存器中，同時更新CPSR中的相應條件標志位。

n比較指令不保存運算結果，只更新CPSR中相應的條件標志位。

MOV{條件}{S} 目的寄存器，源操作數

MVN{條件}{S} 目的寄存器，源操作數

與MOV指令不同之處是在傳送之前按位被取反了，即把一個被取反的值傳送到目的寄存器中。

CMP{條件} 操作數1，操作數2

CMP指令用于比較一個寄存器的內容和另一個寄存器的內容或立即數，同時更新CPSR中條件標志位的值。該指令進行一次減法運算，但不存儲結果，只更改條件標志位。

CMN{條件} 操作數1，操作數2

CMN指令用于把一個寄存器的內容和另一個寄存器的內容或立即數取反后進行比較，同時更新CPSR中條件標志位的值。該指令實際完成操作數1和操作數2相加，并根據結果更改條件標志位。

TST{條件} 操作數1，操作數2

TST指令用于把一個寄存器的內容和另一個寄存器的內容或立即數進行按位的與運算，并根據運算結果更新CPSR中條件標志位的值。操作數1是要測試的數據，而操作數2是一個位掩碼，該指令一般用來檢測是否設置了特定的位。

TEQ{條件} 操作數1，操作數2

用于把一個寄存器的內容和另一個寄存器的內容或立即數進行按位的異或運算，并根據運算結果更新CPSR中條件標志位的值。該指令通常用于比較操作數1和操作數2是否相等。

ADD{條件}{S} 目的寄存器，操作數1，操作數2

ADC{條件}{S} 目的寄存器，操作數1，操作數2

ADC指令用于把兩個操作數相加，再加上CPSR的C條件標志位的值，并將結果存放到目的寄存器中。

SUB{條件}{S} 目的寄存器，操作數1，操作數2

SBC{條件}{S} 目的寄存器，操作數1，操作數2

SBC指令用于把操作數1減去操作數2，再減去CPSR的C條件標志位的反碼，并將結果存放到目的寄存器中。