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) 有的硬件有这种对齐限制 结论: 把责任丢给写程式的