看板 ASM 關於我們 聯絡資訊
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://www.ptt.cc/bbs/ASM/M.1552552040.A.48C.html ※ 編輯: zzss2003 (118.163.216.18), 03/14/2019 16:31:13
chuegou: 我以為現在的arm都支援無對齊存取了 03/14 19:43
補充,我用的這顆cpu是cortex-a8,好像是2000年初的產品。 ※ 編輯: zzss2003 (118.163.216.18), 03/15/2019 09:44:46
suhorng: 我猜跟轉型有關, 可能有未定義行為, 用 union 試試看 03/21 11:11
suhorng: TL;DR C 的標準說, 轉型的話, 寫程式的人應該要保證 03/21 11:17
suhorng: 轉的結果能符合對齊要求, 不然程式行為就是未定義的 03/21 11:18
suhorng: https://wiki.sei.cmu.edu/confluence/ 03/21 11:20
suhorng: 可以參考這裡的 C 的 Rule 03. Expressions 的 EXP36 03/21 11:20
suhorng: 我們可以稍微猜測理由 (1) 分析指標(aliasing)是困難的 03/21 11:22
suhorng: (2) 有的硬體有這種對齊限制 結論: 把責任丟給寫程式的 03/21 11:23