?

　　自行編寫了一個程序，定義一個char型數組如下：

　　char p[] = {0x10, 0x20, 0x30, 0x40, 0x50, 0x60, 0x70, 0x80};

　　分別用long型和short型指針去指向p+3的位置，這個地址在編譯后是0x10963，明顯是一個對long和short來說都不對齊的地址。

　　程序輸出結果如下，括號里為內容，前面是地址。

　　/mnt $ ./test

　　l 0x10963(0x30201040), s 0x10963(0x5040), lt 0x30201040, st 0x5040

　　使用arm-linux-objdump工具反匯編可執行文件發現，對于short指針的引用，編譯器做了特殊處理以保證其引用的正確性，而long指針沒有做。

　　unsigned long *l = (p + 3);

　　83e0: e59f3084 ldr r3, [pc, #132] ; 846c <.text+0x190>

　　83e4: e50b3010 str r3, [fp, #-16]

　　unsigned short *s = (p + 3);

　　83e8: e59f307c ldr r3, [pc, #124] ; 846c <.text+0x190>

　　83ec: e50b3014 str r3, [fp, #-20]

　　unsigned long lt = *l;

　　83f0: e51b3010 ldr r3, [fp, #-16] //變量l->r3

　　83f4: e5933000 ldr r3, [r3] //l內容->r3

　　83f8: e50b3018 str r3, [fp, #-24] //r3->lt

　　unsigned short st = *s;

　　83fc: e51b3014 ldr r3, [fp, #-20] //變量s->r3

　　8400: e5d32000 ldrb r2, [r3] //s內容(低位)->r2

　　8404: e5d33001 ldrb r3, [r3, #1] //s內容(高位)->r3

　　8408: e1823403 orr r3, r2, r3, lsl #8 //r3左移后與r2拼合成short值->r3

　　840c: e54b301a strb r3, [fp, #-26] //r3中的short值(低位)->變量st低位

　　8410: e1a03443 mov r3, r3, asr #8 //r3右移8位->r3

　　8414: e54b3019 strb r3, [fp, #-25] //r3中的short值(高位)->變量st高位

　　0x30201040是怎么來的?想了半天也不明白。

　　查閱ARM相關書籍發現，如果協處理器CP15:c1:c0中的1位和22位均為0，則ARM指令ldr的返回值是memory(addr & ~3, 4) ROR ((addr & 3) * 8)。前半句的含義是對4邊界向下取整，在本例中就是0x10960，再取其內容就是 0x40302010，后半句在本例中是循環右移24位。合起來看就是0x40302010 ROR 24 = 0x30201040，與本例正好吻合!