ARM下的對齊處理

3.13 type qulifiers

有部分摘自ARM編譯器文檔對齊部分

對齊的使用:
1.__align(num)
這個(gè)用于修改最高級別對象的字節邊界。在匯編中使用LDRD或者STRD時(shí)
就要用到此命令__align(8)進(jìn)行修飾限制。來(lái)保證數據對象是相應對齊。
這個(gè)修飾對象的命令最大是8個(gè)字節限制,可以讓2字節的對象進(jìn)行4字節
對齊,但是不能讓4字節的對象2字節對齊。
__align是存儲類(lèi)修改,他只修飾最高級類(lèi)型對象不能用于結構或者函數對象。

2.__packed
__packed是進(jìn)行一字節對齊
1.不能對packed的對象進(jìn)行對齊
2.所有對象的讀寫(xiě)訪(fǎng)問(wèn)都進(jìn)行非對齊訪(fǎng)問(wèn)
3.float及包含float的結構聯(lián)合及未用__packed的對象將不能字節對齊
4.__packed對局部整形變量無(wú)影響
5.強制由unpacked對象向packed對象轉化是未定義,整形指針可以合法定
義為packed。
__packed int* p; //__packed int 則沒(méi)有意義
6.對齊或非對齊讀寫(xiě)訪(fǎng)問(wèn)帶來(lái)問(wèn)題
__packed struct STRUCT_TEST
{
char a;
int b;
char c;
} ; //定義如下結構此時(shí)b的起始地址一定是不對齊的
//在棧中訪(fǎng)問(wèn)b可能有問(wèn)題,因為棧上數據肯定是對齊訪(fǎng)問(wèn)[from CL]
//將下面變量定義成全局靜態(tài)不在棧上
static char* p;
static struct STRUCT_TEST a;
void Main()
{
__packed int* q;//此時(shí)定義成__packed來(lái)修飾當前q指向為非對齊的數據地址下面的訪(fǎng)問(wèn)則可以

p = (char*)&a;
q = (int*)(p+1);

*q = 0x87654321;
/*
得到賦值的匯編指令很清楚
ldr r5,0x20001590 ; = #0x12345678
[0xe1a00005] mov r0,r5
[0xeb0000b0] bl __rt_uwrite4//在此處調用一個(gè)寫(xiě)4byte的操作函數

[0xe5c10000] strb r0,[r1,#0]//函數進(jìn)行4次strb操作然后返回保證了數據正確的訪(fǎng)問(wèn)
[0xe1a02420] mov r2,r0,lsr #8
[0xe5c12001] strb r2,[r1,#1]
[0xe1a02820] mov r2,r0,lsr #16
[0xe5c12002] strb r2,[r1,#2]
[0xe1a02c20] mov r2,r0,lsr #24
[0xe5c12003] strb r2,[r1,#3]
[0xe1a0f00e] mov pc,r14
*/

/*
如果q沒(méi)有加__packed修飾則匯編出來(lái)指令是這樣直接會(huì )導致奇地址處訪(fǎng)問(wèn)失敗
[0xe59f2018] ldr r2,0x20001594 ; = #0x87654321
[0xe5812000] str r2,[r1,#0]
*/

//這樣可以很清楚的看到非對齊訪(fǎng)問(wèn)是如何產(chǎn)生錯誤的
//以及如何消除非對齊訪(fǎng)問(wèn)帶來(lái)問(wèn)題
//也可以看到非對齊訪(fǎng)問(wèn)和對齊訪(fǎng)問(wèn)的指令差異導致效率問(wèn)題
}