說到文字池，首先第一個問題：什么是文字池？文字池又叫l(wèi)iteral pool，它的本質(zhì)就是ARM匯編語言代碼節(jié)中的一塊用來存放常量數(shù)據(jù)而非可執(zhí)行代碼的內(nèi)存塊。

那為什么要使用文字池呢？當(dāng)想要在一條指令中使用一個 4字節(jié)長度的常量數(shù)據(jù)（這個數(shù)據(jù)可能是內(nèi)存地址，可能是數(shù)字常量）的時候，由于ARM指令集是定長的（ARM指令4字節(jié)或Thumb指令2字節(jié)），就無法把這個4字節(jié)的常量數(shù)據(jù)編碼在一條編譯后的指令中。此時，ARM編譯器（編譯C源程序）/匯編器（編譯匯編程序） 就會在代碼節(jié)中分配一塊內(nèi)存，并把這個4字節(jié)的數(shù)據(jù)常量保存起來，之后，再使用一條指令把這個4 字節(jié)的數(shù)字常量加載到寄存器中參與運算。 在寫C程序中，文字池的分配是由編譯器在編譯時自行分配安排的，但是，在寫匯編程序時，開發(fā)者可以自己進(jìn)行文字池的分配，當(dāng)然如果沒有自己分配匯編器也會代勞。不管何種情況，這不影響我們來了解學(xué)習(xí)一下文字池的知識。

LDR Rd，=const 偽指令可在單個指令中構(gòu)造任何 32 位數(shù)字常數(shù)。使用此偽指令可生成超出MOV和MVN指令范圍的常數(shù)。LDR 偽指令可為特定的常數(shù)生成最高效的單個指令：如果可以用單個MOV或MVN 指令構(gòu)造該常數(shù)，則匯編器會生成適當(dāng)?shù)闹噶睢Ｈ绻荒苡脝蝹€MOV或MVN 指令構(gòu)造該常數(shù)，則匯編器會執(zhí)行下列操作：將該值放入文字池中，生成一個使用程序相對地址的 LDR 指令，用于從文字池中讀取該常數(shù)。說的通俗一點，如果LDR Rd， =const能夠被轉(zhuǎn)換成MOV 或者M(jìn)VN指令，則匯編器將轉(zhuǎn)換成它成為相應(yīng)的指令，如果不能被轉(zhuǎn)換，則匯編器會將value存放在文字池中，并且產(chǎn)生一個LDR指令操作。

匯編器默認(rèn)把文字池放在每一個代碼節(jié)的末尾處。代碼節(jié)的末尾的確定或者是由匯編源文件尾部的指示符END確定，或者由相鄰代碼節(jié)的起始行AREA確定。在大的代碼節(jié)中（通俗理解為這個節(jié)中的代碼量比較大），默認(rèn)文字池在最后，可能與代碼節(jié)中一條或多條LDR偽指令的距離很遠(yuǎn)，可能超出LDR偽指令操作數(shù)的尋址范圍。

當(dāng)偽指令是32位時，在ARM或Thumb代碼中，必須小于4K字節(jié)，文字池常量數(shù)據(jù)的位置可以是在偽指令的前面，也可以是在偽指令的后面。當(dāng)偽指令是16位Thumb指令時，必須小于1K字節(jié)，且文字池必須位于偽指令的后面。

LDR Rd， =const 偽指令需要一個文字池來存放立即數(shù)常量時，匯編器會檢查已經(jīng)存在的文字池中是否有相同的常量并且檢查文字池是否在偽指令允許尋址的范圍內(nèi)。如果條件滿足，匯編器引用這個滿足條件的常量，否則匯編器會嘗試把該常量值放到文字池未用的空間中。如果空間地址超出偽指令的尋址范圍，匯編器會產(chǎn)生一條錯誤信息。這種情況下，程序員必須得自己用指示符LTORG在代碼中設(shè)置增加一個文字池。指示符LTORG放在導(dǎo)致錯誤的偽指令后面，并且位于偽指令LDR的有效尋址范圍內(nèi)（一般節(jié)的代碼量不是特別大的情況下，可以放于中間位置）。而且要保證設(shè)置的這個文字池，處理器執(zhí)行代碼的時候不會執(zhí)行到這個地址。它們應(yīng)放在無條件跳轉(zhuǎn)指令的后面，或者放在子例程末尾處的返回指令的后面。

應(yīng)用舉例如下：

Fun1

LDR R0， =0X12345678

ADD R1， R1， R0

BX LR ;子程序返回

LTORG ;聲明文字池，存儲0x12345678

POOL SPACE 20

好了，關(guān)于文字池，本片文章就講到這里了，大家有不明白的地方可以留言提問哦，謝謝大家。

責(zé)任編輯：haq