[請益] arm:變數在非4倍數address上用ldr會fail

看板ASM (組合語言)作者 (brotherD)時間5年前 (2019/03/14 16:27), 5年前編輯推噓2(206)
留言8則, 2人參與, 5年前最新討論串1/1
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

03/14 19:43, 5年前 , 1F
我以為現在的arm都支援無對齊存取了
03/14 19:43, 1F
補充,我用的這顆cpu是cortex-a8,好像是2000年初的產品。 ※ 編輯: zzss2003 (118.163.216.18), 03/15/2019 09:44:46

03/21 11:11, 5年前 , 2F
我猜跟轉型有關, 可能有未定義行為, 用 union 試試看
03/21 11:11, 2F

03/21 11:17, 5年前 , 3F
TL;DR C 的標準說, 轉型的話, 寫程式的人應該要保證
03/21 11:17, 3F

03/21 11:18, 5年前 , 4F
轉的結果能符合對齊要求, 不然程式行為就是未定義的
03/21 11:18, 4F

03/21 11:20, 5年前 , 5F

03/21 11:20, 5年前 , 6F
可以參考這裡的 C 的 Rule 03. Expressions 的 EXP36
03/21 11:20, 6F

03/21 11:22, 5年前 , 7F
我們可以稍微猜測理由 (1) 分析指標(aliasing)是困難的
03/21 11:22, 7F

03/21 11:23, 5年前 , 8F
(2) 有的硬體有這種對齊限制 結論: 把責任丟給寫程式的
03/21 11:23, 8F
文章代碼(AID): #1SYX1eIC (ASM)
文章代碼(AID): #1SYX1eIC (ASM)