GNU風(fēng)格 ARM匯編語(yǔ)法指南

1、GNU匯編語(yǔ)言語(yǔ)句格式

任何Linux匯編行都是如下結構：[:][}@comment

linstruction為指令

ldirective為偽操作

lpseudo-instruction為偽指令

l:為標號, GNU匯編中，任何以冒號結尾的標識符都被認為是一個(gè)標號，而不一定非要在一行的開(kāi)始。

lcomment為語(yǔ)句的注釋

下面定義一個(gè)"add"的函數，最終返回兩個(gè)參數的和：

.section .text, “x”

.global add @ give the symbol “add” external linkage

add:

ADD r0, r0, r1 @ add input arguments

MOV pc, lr @ return from subroutine

@ end of program

注意：

lARM指令，偽指令，偽操作，寄存器名可以全部為大寫(xiě)字母，也可全部為小寫(xiě)字母，但不可大小寫(xiě)混用。

l如果語(yǔ)句太長(cháng)，可以將一條語(yǔ)句分幾行來(lái)書(shū)寫(xiě)，在行末用“”表示換行（即下一行與本行為同一語(yǔ)句）。“”后不能有任何字符，包含空格和制表符（Tab)。

2、GNU匯編程序中的標號symbol（或label）

標號只能由a～z，A～Z，0～9，“.”，_等（由點(diǎn)、字母、數字、下劃線(xiàn)等組成，除局部標號外，不能以數字開(kāi)頭）字符組成。

Symbol的本質(zhì)：代表它所在的地址,因此也可以當作變量或者函數來(lái)使用。

l段內標號的地址值在匯編時(shí)確定；

l段外標號的地址值在連接時(shí)確定。

Symbol的分類(lèi)：3類(lèi)（依據標號的生成方式）。

<1>基于PC的標號?；赑C的標號是位于目標指令前的標號或者程序中數據定義偽操作前的標號。這種標號在匯編時(shí)將被處理成PC值加上（或減去）一個(gè)數字常量，常用于表示跳轉指令”b”等的目標地址，或者代碼段中所嵌入的少量數據。

<2>基于寄存器的標號?；诩拇嫫鞯臉颂柍Ｓ肕AP和FIELD來(lái)定義，也可以用EQU來(lái)定義。這種標號在匯編時(shí)將被處理成寄存器的值加上（或減去）一個(gè)數字常量，常用于訪(fǎng)問(wèn)數據段中的數據。

<3>絕對地址。絕對地址是一個(gè)32位數據。它可以尋址的范圍為[0，232-1]即可以直接尋址整個(gè)內存空間。

特別說(shuō)明：局部標號Symbol

局部標號主要在局部范圍內使用，而且局部標號可以重復出現。它由兩部組成：開(kāi)頭是一個(gè)0-99直接的數字，后面緊接一個(gè)通常表示該局部變量作用范圍的符號。局部變量的作用范圍通常為當前段，也可以用ROUT來(lái)定義局部變量的作用范圍。

局部變量定義的語(yǔ)法格式：N{routname}

lN：為0~99之間的數字。

lroutname：當前局部范圍的名稱(chēng)（為符號），通常為該變量作用范圍的名稱(chēng)（用ROUT偽操作定義的）。

局部變量引用的語(yǔ)法格式：%{F|B}{A|T}N{routname}

l%：表示引用操作

lN：為局部變量的數字號

lroutname：為當前作用范圍的名稱(chēng)（用ROUT偽操作定義的）

lF：指示編譯器只向前搜索

lB：指示編譯器只向后搜索

lA：指示編譯器搜索宏的所有嵌套層次

lT：指示編譯器搜索宏的當前層次

例：使用局部符號的例子，一段循環(huán)程序

1:

subs r0, r0, #1 @每次循環(huán)使r0=r0-1

bne 1F @跳轉到1標號去執行

注意：

l如果F和B都沒(méi)有指定，編譯器先向前搜索，再向后搜索

l如果A和T都沒(méi)有指定，編譯器搜索所有從當前層次到宏的最高層次，比當前層次低的層次不再搜索。

l如果指定了routname，編譯器向前搜索最近的ROUT偽操作，若routname與該ROUT偽操作定義的名稱(chēng)不匹配，編譯器報告錯誤，匯編失敗。

3、GNU匯編程序中的分段

<1>.section偽操作

.section {,””}

Starts a new code or data section. Sections in GNU are called .text, a code section, .data, an initialized data section, and .bss, an uninitialized data section.

These sections have default flags, and the linker understands the default names(similar directive to the armasm directive AREA).The following are allowable.section flagsfor ELF format files:

Meaning

a allowable section

w writable section

x executable section

中文解釋?zhuān)?/p>

用戶(hù)可以通過(guò).section偽操作來(lái)自定義一個(gè)段,格式如下：

.section section_name [, "flags"[, %type[,flag_specific_arguments]]]

每一個(gè)段以段名為開(kāi)始, 以下一個(gè)段名或者文件結尾為結束。這些段都有缺省的標志（flags），連接器可以識別這些標志。(與arm asm中的AREA相同)。下面是ELF格式允許的段標志flags：

<標志> 含義

a 允許段

w 可寫(xiě)段

x 執行段

例：定義一個(gè)“段”

.section .mysection @自定義數據段，段名為 “.mysection”

.align 2

strtemp:

.ascii "Temp string n" @對這一句的理解，我覺(jué)得應該是：將"Temp string n"這個(gè)字符串存儲在以標號strtemp:

@為起始地址的一段內存空間里

<2>匯編系統預定義的段名

l.text @代碼段

l.data @初始化數據段.data Read-write initialized long data.

l.bss @未初始化數據段

l.sdata @ .sdata Read-write initialized short data.

l.sbss @

注意：源程序中.bss段應該在.text段之前。

4、GNU匯編語(yǔ)言定義入口點(diǎn)

匯編程序的缺省入口是_start標號，用戶(hù)也可以在連接腳本文件中用ENTRY標志指明其它入口點(diǎn)。

例：定義入口點(diǎn)

.section .data

< initialized data here>

.section .bss

< uninitialized data here>

.section .text

.globl _start

_start:

5、GNU匯編程序中的宏定義

格式如下：

.macro 宏名參數名列表 @偽指令.macro定義一個(gè)宏

宏體

.endm @.endm表示宏結束

如果宏使用參數,那么在宏體中使用該參數時(shí)添加前綴“”。宏定義時(shí)的參數還可以使用默認值?？梢允褂?exitm偽指令來(lái)退出宏。

例：宏定義

.macro SHIFTLEFT a, b

.if b < 0

MOV a, a, ASR #-b

.exitm

.endif

MOV a, a, LSL #b

.endm

6、GNU匯編程序中的常數

<1>十進(jìn)制數以非0數字開(kāi)頭,如:123和9876；

<2>二進(jìn)制數以0b開(kāi)頭,其中字母也可以為大寫(xiě)；

<3>八進(jìn)制數以0開(kāi)始,如:0456,0123；

<4>十六進(jìn)制數以0x開(kāi)頭,如:0xabcd,0X123f；

<5>字符串常量需要用引號括起來(lái),中間也可以使用轉義字符,如: “You are welcome!n”；

<6>當前地址以“.”表示,在GNU匯編程序中可以使用這個(gè)符號代表當前指令的地址；

<7>表達式：在匯編程序中的表達式可以使用常數或者數值, “-”表示取負數, “~”表示取補,“<>”表示不相等,其他的符號如:+、-、*、 /、%、<、<<、>、>>、|、&、^、!、==、>=、<=、&&、|| 跟C語(yǔ)言中的用法相似。

7、GNU ARM匯編的常用偽操作

在前面已經(jīng)提到過(guò)了一些為操作，還有下面一些為操作：

l數據定義偽操作： .byte，.short，.long，.quad，.float，.string/.asciz/.ascii，重復定義偽操作.rept，賦值語(yǔ)句.equ/.set ；

l函數的定義；

l對齊方式偽操作 .align；

l源文件結束偽操作.end；

l.include偽操作；

lif偽操作；

l.global/ .globl 偽操作；

l.type偽操作；

l列表控制語(yǔ)句；

別于GNUAS匯編的通用偽操作,下面是ARM特有的偽操作：

.reg ，.unreq ，.code ，.thumb ，.thumb_func ，.thumb_set， .ltorg ，.pool

<1>數據定義偽操作

l.byte:單字節定義，如：.byte 1,2,0b01,0x34,072,s ；

l.short:定義雙字節數據，如:.short 0x1234,60000 ；

l.long:定義4字節數據，如:.long 0x12345678,23876565

l.quad:定義8字節，如:.quad 0x1234567890abcd

l.float：定義浮點(diǎn)數，如：.float0f-314159265358979323846264338327

95028841971.693993751E-40 @- pi

l.string/.asciz/.ascii：定義多個(gè)字符串，如:

.string "abcd", "efgh", "hello!"

.asciz "qwer", "sun", "world!"

.ascii "welcome"

注意：ascii偽操作定義的字符串需要自行添加結尾字符。

l.rept:重復定義偽操作, 格式如下：

.rept 重復次數

數據定義

.endr @結束重復定義

例：

.rept 3

.byte 0x23

.endr

l.equ/.set: 賦值語(yǔ)句, 格式如下：

.equ(.set) 變量名，表達式

例：

.equ abc, 3 @讓abc=3

<2>函數的定義偽操作

l函數的定義,格式如下：

函數名:

函數體

返回語(yǔ)句

一般的,函數如果需要在其他文件中調用,需要用到.global偽操作將函數聲明為全局函數。為了不至于在其他程序在調用某個(gè)C函數時(shí)發(fā)生混亂,對寄存器的使用我們需要遵循APCS準則。函數編譯器將處理函數代碼為一段.global的匯編碼。

l函數的編寫(xiě)應當遵循如下規則：

a.a1-a4寄存器（參數、結果或暫存寄存器，r0到r3 的同義字）以及浮點(diǎn)寄存器f0-f3(如果存在浮點(diǎn)協(xié)處理器)在函數中是不必保存的；

b.如果函數返回一個(gè)不大于一個(gè)字大小的值，則在函數結束時(shí)應該把這個(gè)值送到 r0 中；

c.如果函數返回一個(gè)浮點(diǎn)數，則在函數結束時(shí)把它放入浮點(diǎn)寄存器f0中；

d.如果函數的過(guò)程改動(dòng)了sp（堆棧指針，r13）、fp（框架指針，r11）、sl（堆棧限制，r10）、lr（連接寄存器，r14）、v1-v8（變量寄存器，r4 到 r11）和 f4-f7,那么函數結束時(shí)這些寄存器應當被恢復為包含在進(jìn)入函數時(shí)它所持有的值。

<3>.align .end .include .incbin偽操作

l.align:用來(lái)指定數據的對齊方式,格式如下:

.align [absexpr1, absexpr2]

以某種對齊方式,在未使用的存儲區域填充值.第一個(gè)值表示對齊方式,4, 8,16或32.第二個(gè)表達式值表示填充的值。

l.end:表明源文件的結束。

l.include:可以將指定的文件在使用.include 的地方展開(kāi),一般是頭文件,例如:

.include “myarmasm.h”

l.incbin偽操作可以將原封不動(dòng)的一個(gè)二進(jìn)制文件編譯到當前文件中,使用方法如下:

.incbin "file"[,skip[,count]]

skip表明是從文件開(kāi)始跳過(guò)skip個(gè)字節開(kāi)始讀取文件,count是讀取的字數.

<4>..if偽操作

根據一個(gè)表達式的值來(lái)決定是否要編譯下面的代碼, 用.endif偽操作來(lái)表示條件判斷的結束,中間可以使用.else來(lái)決定.if的條件不滿(mǎn)足的情況下應該編譯哪一部分代碼。

.if有多個(gè)變種:

.ifdef symbol @判斷symbol是否定義

.ifc string1,string2 @字符串string1和string2是否相等,字符串可以用單引號括起來(lái)

.ifeq expression @判斷expression的值是否為0

.ifeqs string1,string2 @判斷string1和string2是否相等,字符串必須用雙引號括起來(lái)

.ifge expression @判斷expression的值是否大于等于0

.ifgt absolute expression @判斷expression的值是否大于0

.ifle expression @判斷expression的值是否小于等于0

.iflt absolute expression @判斷expression的值是否小于0

.ifnc string1,string2 @判斷string1和string2是否不相等, 其用法跟.ifc恰好相反。

.ifndef symbol, .ifnotdef symbol @判斷是否沒(méi)有定義symbol, 跟.ifdef恰好相反

.ifne expression @如果expression的值不是0, 那么編譯器將編譯下面的代碼

.ifnes string1,string2 @如果字符串string1和string2不相等, 那么編譯器將編譯下面的代碼.

<5>.global .type .title .list

l.global/ .globl ：用來(lái)定義一個(gè)全局的符號，格式如下:

.global symbol 或者 .globl symbol

l.type：用來(lái)指定一個(gè)符號的類(lèi)型是函數類(lèi)型或者是對象類(lèi)型, 對象類(lèi)型一般是數據, 格式如下:

.type 符號, 類(lèi)型描述

例：

.globl a

.data

.align 4

.type a, @object

.size a, 4

a:

.long 10

例：

.section .text

.type asmfunc, @function

.globl asmfunc

asmfunc:

mov pc, lr

<6>列表控制語(yǔ)句:

.title：用來(lái)指定匯編列表的標題,例如:

.title “my program”

.list：用來(lái)輸出列表文件.

<7>ARM特有的偽操作

l.reg: 用來(lái)給寄存器賦予別名,格式如下:

別名 .req 寄存器名

l.unreq: 用來(lái)取消一個(gè)寄存器的別名,格式如下:

.unreq 寄存器別名

注意被取消的別名必須事先定義過(guò),否則編譯器就會(huì )報錯,這個(gè)偽操作也可以用來(lái)取消系統預制的別名, 例如r0, 但如果沒(méi)有必要的話(huà)不推薦那樣做。

l.code偽操作用來(lái)選擇ARM或者Thumb指令集,格式如下:

.code 表達式

　　如果表達式的值為16則表明下面的指令為T(mén)humb指令,如果表達式的值為32則表明下面的指令為ARM指令.

l.thumb偽操作等同于.code 16, 表明使用Thumb指令, 類(lèi)似的.arm等同于.code 32

l.force_thumb偽操作用來(lái)強制目標處理器選擇thumb的指令集而不管處理器是否支持

l.thumb_func偽操作用來(lái)指明一個(gè)函數是thumb指令集的函數

l.thumb_set偽操作的作用類(lèi)似于.set, 可以用來(lái)給一個(gè)標志起一個(gè)別名, 比.set功能增加的一點(diǎn)是可以把一個(gè)標志標記為thumb函數的入口, 這點(diǎn)功能等同于.thumb_func

l.ltorg用于聲明一個(gè)數據緩沖池(literal pool)的開(kāi)始,它可以分配很大的空間。

l.pool的作用等同.ltorg

l.space {,}

分配number_of_bytes字節的數據空間，并填充其值為fill_byte，若未指定該值，缺省填充0。（與armasm中的SPACE功能相同）

l.word {,} …

插入一個(gè)32-bit的數據隊列。（與armasm中的DCD功能相同）?？梢允褂?word把標識符作為常量使用。

例：

Start:

valueOfStart:

.word Start

這樣程序的開(kāi)頭Start便被存入了內存變量valueOfStart中。

l.hword {,} …

插入一個(gè)16-bit的數據隊列。（與armasm中的DCW相同）

8、GNU ARM匯編特殊字符和語(yǔ)法

<1>代碼行中的注釋符號:‘@’

<2>整行注釋符號: ‘#’

<3>語(yǔ)句分離符號: ‘;’

<4>立即數前綴: ‘#’ 或 ‘$’