ARM下的對齊處理

3.13 type qulifiers

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

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

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

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

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

[0xe5c10000] strb r0,[r1,#0]//函數進行4次strb操作然后返回保證了數據正確的訪問
[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沒有加__packed修飾則匯編出來指令是這樣直接會導致奇地址處訪問失敗
[0xe59f2018] ldr r2,0x20001594 ; = #0x87654321
[0xe5812000] str r2,[r1,#0]
*/

//這樣可以很清楚的看到非對齊訪問是如何產生錯誤的
//以及如何消除非對齊訪問帶來問題
//也可以看到非對齊訪問和對齊訪問的指令差異導致效率問題
}