from DUI0067D_ADS1_2_CompLib

3.13 type  qulifiers

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

對齊的使用:
1.__align(num)
   這個用於修改最高級別物件的位元組邊界。在彙編中使用LDRD或者STRD時
   就要用到此命令__align(8)進行修飾限制。來保證資料物件是相應對齊。
   這個修飾物件的命令最大是8個位元組限制,可以讓2位元組的物件進行4位元組
   對齊,但是不能讓4位元組的物件2位元組對齊。
   __align是儲存類修改,他只修飾最高階型別物件不能用於結構或者函式物件。
   
2.__packed 
  __packed是進行一位元組對齊
  1.不能對packed的物件進行對齊
  2.所有物件的讀寫訪問都進行非對齊訪問
  3.float及包含float的結構聯合及未用__packed的物件將不能位元組對齊
  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]
//將下面變數定義成全域性靜態不在棧上 
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]
*/

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