GNU ARM汇编--(十二)arm汇编指令的B真的那么简单吗？

说句题外话,在输入“指令”二字的时候,就想起了google搜索时,提示“令”不能搜索,要我换词汇.如果不能说脏话,我真就无语了.

在前面对具体芯片的各个基本模块做完了学习后,在上一篇小结中自以为已经具备了自己写个bootloader的条件,但其实错了,我还有很多基本的知识不了解.比如编译链接gnu的linker script等等.也有很多地方只懂表面,没有做深入的理解.

在《GNU ARM汇编--(二)汇编编译链接与运行》中,仿照网上的例子做了makefile和linker script,在那篇blog的末尾我写道“根据google,做了上面的总结,对GNU ARM汇编有了认识,并且对系统调用软中断,中断处理,uboot异常向量表等等有了探究的欲望,也对elf格式和编译链接有了兴趣,根据自己的方向和精力,后续对这些内容做一个或深或浅的学习.”

当时看到了《linker and loader》,只是保存了,当时并没有细看,作为一个程序员,其实很多时候我们并不懂程序的细节.就像台湾有个黑客关于“hello world”的分析,当初看了他的"hello world"系列ppt,就发现原来简单的hello world里面有这么多不为人知的细节.

这些天翻看了《linker and loader》的前面几节,也翻了《程序员的自我修养--链接装载和库》,通读了gnu.org的ld相关文档linker script.自己还对gnu的这个文档的大部分做了翻译,在自己的笔记本上写了好多页,一根笔芯也用了大半,而且让我有了久违写字写到手酸的感觉.觉得收获不少.推荐去看看,值得的.

废话了这么多,这篇blog我倒不想写linker script或者ELF的一些细节.我想深究一下arm汇编指令中的B指令.

很多网上的帖子都讨论过arm汇编指令的B和LDR,这里我按照我的思路来:

首先翻一下《ARM ArchitectureReference Manual》这份绝对权威的手册:

看完上面的英文,再结合下面的实际例子做个呼应:

代码如下:

[html]view plaincopy

1. _start:breset
2. ......
4. reset:
5. ......

反汇编如下:

[cpp]view plaincopy

1. 10000000<_start>:
2. 10000000:ea00000eb10000040
3. ......
4. 10000040:

对照汇编和反汇编的结果,一切正常.下面我们来看看ea00000e是如何表达b10000040 的？

31 28 27 26 25 24 23 0
cond 1 0 1 L signed_immed_24

ea00000e转换为二进制后:

31 28 27 26 25 24 23 0
1110 1 0 1 0 0x00000e

cond是1110,即是条件执行的ALL,L为0表示指令是B,不是BL.signed_immed_24值为0x00000e.

signed表示有符号数.所以0x00000e就是+15,按照上图的规则:

0x10000000+14<2+8 = 0x10000040

这里的0x10000000等地址都是VMA(虚拟内存地址),而B跳转的地址是和PC相关的,所以这部分代码是与位置无关的.

注意上面等式中的+8与流水线有关.

B和BL的跳转范围是+-32MB,24bit的有符号数,也就是-2^23--2^23,即-8MB--8MB,因为有那个<2,所以就是+-32MB了.

可以再看一个例子:

代码如下：

[cpp]view plaincopy

1. ledloop:
4. ldrr1,=0x1c0
5. strr1,[r2]
6. bldelay
9. ldrr1,=0x1a0
10. strr1,[r2]
11. bldelay
14. ldrr1,=0x160
15. strr1,[r2]
16. bldelay
19. ldrr1,=0x0e0
20. strr1,[r2]
21. bldelay
23. bledloop

反汇编结果如下:

[cpp]view plaincopy

1. 100002f0:
2. 100002f0:e3a01d07movr1,#448;0x1c0
3. 100002f4:e5821000strr1,[r2]
4. 100002f8:ebffffadbl100001b4
5. 100002fc:e3a01e1amovr1,#416;0x1a0
6. 10000300:e5821000strr1,[r2]
7. 10000304:ebffffaabl100001b4
8. 10000308:e3a01e16movr1,#352;0x160
9. 1000030c:e5821000strr1,[r2]
10. 10000310:ebffffa7bl100001b4
11. 10000314:e3a010e0movr1,#224;0xe0
12. 10000318:e5821000strr1,[r2]
13. 1000031c:ebffffa4bl100001b4
14. 10000320:eafffff2b100002f0

同样的:0x10000320+8+(-14)<2 = 0x1000002f0

结合官方文档和两个实例,才能真正明白B指令的一些细节.而不是一些中文书上所说的正确的但是表面的内容.

这么深入的分析指令B并不太麻烦,但是arm汇编有很多指令,不可能一一去分析.这里分析指令B,只是因为跳转指令在bootloader中很重要.而这里给出了一个方法,如果对LDR这种指令不清楚的话,可以用同样的方法来分析.