作者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/cn.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