作者zzss2003 (brotherD)
看板ASM
標題[請益] arm:變數在非4倍數address上用ldr會fail
時間Thu Mar 14 16:27:18 2019
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雖然知道變數的起始點，但卻不會保存起來?
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.216.18
※ 文章網址: https://webptt.com/m.aspx?n=bbs/ASM/M.1552552040.A.48C.html
※ 編輯: zzss2003 (118.163.216.18), 03/14/2019 16:31:13
1F：推 chuegou: 我以為現在的arm都支援無對齊存取了 03/14 19:43
補充，我用的這顆cpu是cortex-a8，好像是2000年初的產品。
※ 編輯: zzss2003 (118.163.216.18), 03/15/2019 09:44:46
2F：推 suhorng: 我猜跟轉型有關, 可能有未定義行為, 用 union 試試看 03/21 11:11
3F：→ suhorng: TL;DR C 的標準說, 轉型的話, 寫程式的人應該要保證 03/21 11:17
4F：→ suhorng: 轉的結果能符合對齊要求, 不然程式行為就是未定義的 03/21 11:18
6F：→ suhorng: 可以參考這裡的 C 的 Rule 03. Expressions 的 EXP36 03/21 11:20
7F：→ suhorng: 我們可以稍微猜測理由 (1) 分析指標(aliasing)是困難的 03/21 11:22
8F：→ suhorng: (2) 有的硬體有這種對齊限制 結論: 把責任丟給寫程式的 03/21 11:23