通過一定的方法來編寫C程序，可以幫助C編譯器生成執行速度更快的ARM代碼。下面就是一些與性能相關的關鍵點：

1.對局部變量、函數參數和返回值要使用signed和unsigned int類型。這樣可以避免類型轉換，而且可高效地使用ARM的32位數據操作指令。

2.最高效的循環體形式是減計數到零（counts down to zero）的do-while循環。

3.展開重要的循環來減少循環的開銷。

4.不要依賴編譯器來優化掉重復的存儲器訪問。指針別名會阻止編譯器的這種優化。

5.盡可能把函數參數的個數限制在4個以內。如果函數參數都存放在寄存器內，那么函數調用就會快得多。

6.按元素尺寸從小到大排列的方法來安排結構體，特別是在thumb模式下編譯。

7.不要使用位域，可以用掩碼和邏輯操作來替代。

8.避免除法，可以用倒數的乘法來替代。

9.避免邊界不對齊的數據。如果數據有可能邊界不對齊，那么就要使用char *指針類型來訪問。

10.在C編譯器中使用內嵌匯編可以利用到C編譯器本來不支持的指令或優化。

一、 數據類型使用上的優化

1.局部變量

一個char類型的數據比int類型的數據占用更小的寄存器空間或者更小的ARM堆棧空間。這兩種設想對于ARM來說，都是錯誤的。所有的ARM寄存器都是32位的，所有的堆棧入口至少是32位的。當我們執行i++，要利用當i=255后，i++=0這個條件時，可以把它定義為char類型。

2.函數參數

盡管寬和窄的函數調用規則各有其優點，但char或short類型的函數參數和返回值都會產生額外的開銷，導致性能的下降，并增加了代碼尺寸。所以，即使是傳輸一個8位的數據，函數參數和返回值使用int類型也會更有效。

總結：

1）對于存放在寄存器中的局部變量，除了8位或16位的算術模運算外，盡量不要使用char和short類型，而要使用有符號或無符號int類型。除法運算時使用無符號數執行速度更快。

2）對于存放在主存儲器中的數組和全局變量，在滿足數據大小的前提下，應盡可能使用小尺寸的數據類型，這樣可以節省存儲空間。ARMv4體系結構可以有效地裝載和存儲所有寬度的數據，并可以使用遞增數組指針來有效地訪問數組。對于short類型數組，要避免使用數組基地址的偏移量，因為LDRH指令不支持偏移尋址。

3）通過讀取數組或全局變量并賦給不同類型的局部變量時，或者把局部變量寫入不同類型的數組或者全局變量時，要進行顯式數據類型轉換。這種轉換使編譯器可以明確、快速地處理，把存儲器中數據寬度比較窄的數據類型擴展，并賦給寄存器中較寬的類型。

4）由于隱式或者顯式的數據類型轉換通常會有額外的指令周期開銷，所以在表達式中應盡量避免使用。Load和store指令一般不會產生額外的轉換開銷，因為load和store指令是自動完成數據類型轉換的。

5）對于函數參數和返回值應盡量避免使用char和short類型。即使參數范圍比較小，也應該使用int類型，以防止編譯器做不必要的類型轉換。

二、C循環結構

在ARM上，一個循環其實只要2條指令就足夠了：

一條減法指令，進行循環減法計數，同時設置結果的條件標志；

一條條件分支指令。

這里的關鍵是，循環的終止條件應為減計數到零，而不是計數增加到某個特定的限制值。由于減計數結構已存儲在條件標志里，與零比較的指令就可以省略了。由于不用i作為數組的下標索引，采用減計數就沒有任何問題了。

總而言之，無論對于有符號的循環計數值，都應使用i！=0作為循環的結束條件。對有符號數i，這比使用條件i》0少了一條指令。

總結：

1） 使用減計數到零的循環結構，這樣編譯器就不需要分配一個寄存器來保存循環終止值，而且與0比較的指令也可以省略。

2） 使用無符號的循環計數值，循環繼續的條件為i！=0而不是i》0，這樣可以保證循環開銷只有兩條指令。

3） 如果事先知道循環體至少會執行一次，那么使用do-while循環要比for循環要好，這樣可以使編譯器省去檢查循環計數值是否為零的步驟。

4） 展開重要的循環體可降低循環開銷，但不要過度展開，如果循環的開銷對整個程序來說占的比例很小，那么循環展開反而會增加代碼量并降低cache的性能。

5） 盡量使數組的大小是4或8的倍數，這樣可以容易的以2，4，8次等多種選擇展開循環，而不需要擔心剩余數組元素的問題。

三、寄存器分配

高效的寄存器分配：應該盡量限制函數內部循環所用局部變量的數目，最多不超過12個，這樣，編譯器就可以把這些變量都分配給ARM寄存器。

四、函數調用

4寄存器規則：帶有4個或者更少參數的函數，要比多于4個參數的函數執行效率高得多。對帶有少于4個參數的函數來說，編譯器可以用寄存器傳遞所有的參數；而對于多于4個參數的函數，函數調用者和被調用者必須通過訪問堆棧來傳遞一些參數。

如果函數體積很小，只用到很少的寄存器，那么還有一些其他的方法來減少函數調用的開銷。可以把調用函數和被調用函數放在同一個C文件中，這樣編譯器就知道了被調用函數生成的代碼，并以此對調用函數進行一些優化。

總結：

1） 盡量限制函數的參數，不要超過4個，這樣函數調用的效率會更高。也可以將幾個相關的參數組織在一個結構體中，用傳遞結構體指針來代替多個參數。

2） 把比較小的被調用函數和調用函數放在同一個源文件中，并且要先定義，后調用，編譯器就可以優化函數調用或者內聯較小的函數。

3） 對性能影響較大的重要函數可使用關鍵字_inline進行內聯。

五、指針別名

定義：當2個指針指向同一個地址對象時，這2個指針被稱作該對象的別名（alias）。如果對其中一個指針進行寫入，就會影響從另一個指針的讀出。在一個函數中，編譯器通常不知道哪一個指針是別名，哪一個不是；或哪一個指針有別名，哪一個沒有。

避免指針別名：

1） 不要依賴編譯器來消除包含存儲器訪問的公共子表達式，而應建立一個新的局部變量來保存這個表達式的值，這樣可以保證只對這個表達式求一次值；

2） 避免使用局部變量的地址，否則對這個變量的訪問效率會比較低。

六、結構體安排

在ARM上使用結構體有2個問題需要考慮：結構體地址邊界對齊和結構體總的大小。

獲得高效結構體的原則：

1） 把所有8位大小的元素安排在結構體的前面；

2） 以此安排16位、32位和64位的元素；

3） 把所有數組和比較大的元素安排在結構體最后；

4） 對于一條指令，如果結構體太大而不能訪問所有的元素，那么把元素組織到一個子結構體中。編譯器可以維持單獨的子結構體的指針。

總結：

結構體元素要按照元素的大小來排列，以最小的元素放在開始，最大的元素安排在最后；避免使用很大的結構體，可以用層次化的小結構體來代替；為了提高可移植性，人工對API的結構體增加填充位，這樣，結構體的安排將不會依賴與編譯器；在API的結構體中要謹慎使用枚舉類型。一個枚舉類型的大小是編譯器相關的。

七、位域

注意事項：

1） 應避免使用位域，而使用#define或者enum來定義屏蔽位；

2） 使用整型邏輯運算AND、OR、“異或”操作和屏蔽對位域進行測試、取反和設置操作。這些操作編譯效率高，還可以同時對多個位域進行測試、取反和設置。

八、邊界不對齊數據和字節排列方式（大/小端）

邊界不對齊數據和字節排列方式這2個問題，可使內存訪問和移植問題復雜化。須考慮數組指針是否邊界對齊，ARM配置是大端（big-endian），還是小端（little-endian）的存儲器系統。

總結：

1） 盡量避免使用邊界不對齊的數據；

2） 使用類型char *可指向任意字節邊界的數據。通過讀字節來訪問數據，使用邏輯操作來組合數據，這樣代碼就不會依賴于邊界是否對齊或者ARM的字節排列方式的配置；

3） 為了快速訪問邊界不對齊的結構體，可以根據指針邊界和處理器的字節排序方式寫出不同的程序變體。

九、除法

ARM硬件上不支持除法指令，當代碼中出現除法運算時，ARM編譯器會調用C庫函數（有符號的除法調用_rt_sdiv，無符號的調用_rt_udiv），來實現除法操作。有許多不同類型的除法程序來適應不同的除數和被除數。

總結：

1） 盡可能避免使用除法。對環形緩沖區的處理可以不用除法。

2） 如果不能避免除法運算，那么盡可能考慮使用除法程序同時產生商n/d和余數n%d的好處。

3） 對于重復對同一除數d的除法，預先計算好s=（2k-1）/d。可用乘以s的2k位乘法來代替除以d的k位無符號整數除法。

4）使用2的整數次冪作除數。當2的整數次冪做除數時，編譯器會自動將除法運算轉換成移位運算。所以在編寫程序算法時，盡量使用2的整數次冪做除數。

5）求余運算。可以將一些典型的求余運算進行轉換，以避免在程序中使用除法運算。

如：

uint counter1（uint count）

{

return （++count%60）;

}

轉換成：

uint counter2（uint count）

{

if （++count 》=60）

count=0;

return （count）;

}

大多數ARM處理器硬件上并不支持浮點運算。這樣在一個對價格敏感的嵌入式應用系統中，可節省空間和降低功耗。除了硬件向量浮點累加器VFP和ARM7500FE上的浮點累加器FPA外，C編譯器必須在軟件上提供浮點支持。

十、內聯函數和內嵌匯編

高效地調用函數，使用內聯函數可以完全去除函數調用的開銷，另外許多編譯器允許在C源程序中使用內嵌匯編。使用包含匯編的內嵌函數，可以使編譯器支持通常不能有效使用的ARM指令和優化方法。

內聯函數和內嵌匯編最大的好處是，可以實現一些在C語言部分中通常難以完成的操作。使用內聯函數要比使用#define宏定義更好，因為后者不檢查函數參數和返回值的類型。