ARM的LDR指令只能存取address在4的倍數上的變數(且取出來的寬度為32bit)。
如果此變數的address不在4的倍數上，則必須要依此變數的大小來決定要用LDRH或LDRB
比如，我要取一個24bit大小的變數，且此變數不在4的倍數的address上，那要用1個LDRH
與1個LDRB做組合，來取出此變數。
前提:
1. Compiler知道此變數的起始點在哪個address上
2. Compiler雖然不知道此變數的大小多長，但使用者可以透過data type告訴Compiler。
由於上述前提，我的假設是:
Compiler有辦法知道什麼時候該用LDR，什麼時候該用LDRH或LDRB來取出正確的變數值
實驗: https://imgur.com/a/q8jyBab
宣告一個array，並且把指標指到非4的倍數的address上(a[1])，然後再取32bit的長度，
arm進入exception。
分析: Compiler先把a[0]放在0x88000f1c的address上(前提1)，但卻用LDR來取出此變數。
問題:
1. 為什麼Compiler不用兩次的LDRH，而要用LDR? 還是只有TI的compiler才這樣?
2. 還是我的前提1不夠完整? Compiler雖然知道變數的起始點，但卻不會保存起來?

我以為現在的arm都支援無對齊存取了

我猜跟轉型有關, 可能有未定義行為, 用 union 試試看TL;DR C 的標準說, 轉型的話, 寫程式的人應該要保證轉的結果能符合對齊要求, 不然程式行為就是未定義的https://wiki.sei.cmu.edu/confluence/可以參考這裡的 C 的 Rule 03. Expressions 的 EXP36我們可以稍微猜測理由 (1) 分析指標(aliasing)是困難的(2) 有的硬體有這種對齊限制 結論: 把責任丟給寫程式的