浅析跳转指令B和 ldr pc =label的不同

今天看了一个小程序，学习了下ARM 在裸机下的开发。学习了写东西，整理下作为笔记,程序名为link.s。

 

.text

.global _start

.start:

                     b   step1

step1:             

                     ldr pc, =step2

step2:

                     b step2

这个小程序使用了两种跳转方法，b 跳转指令，直接向pc 寄存器赋值。

下面进行编译，链接，反汇编，看看两者的区别：

1.arm-linux-gcc -c -o link.o  link.s

2.arm-linux-ld -Ttext 0x00000000 link.o -o link_elf_0x00000000

3.arm-linux-ld -Ttetx 0x30000000 link.o -o link_elf_0x30000000

4.arm-linux-objdump -D link_elf_0x00000000 >link_0x00000000.dis

5.arm-linux-objdump -D link_elf_0x30000000 >link_0x30000000.dis

其中4，5 两条语句用来反汇编，查看代码。

  link_0x00000000.dis文件如下：

link_elf_0x00000000:     file format elf32-littlearm

Disassembly of section .text:

00000000 <_start>:
   0: eaffffff  b 4 <step1>

00000004 <step1>:
   4: e59ff000  ldr pc, [pc, #0] ; c <step2+0x4>

00000008 <step2>:
   8: eafffffe  b 8 <step2>
   c: 00000008  andeq r0, r0, r8

link_0x30000000.dis文件如下：

link_elf_0x30000000:     file format elf32-littlearm

Disassembly of section .text:

30000000 <_start>:
30000000: eaffffff  b 30000004 <step1>

30000004 <step1>:
30000004: e59ff000  ldr pc, [pc, #0] ; 3000000c <step2+0x4>

30000008 <step2>:
30000008: eafffffe  b 30000008 <step2>
3000000c: 30000008  andcc r0, r0, r8
从link_0x00000000.dis和link_0x30000000.dis可以看出，当执行了b step1 后都跳到了step1后去执行，无论text的起始执行地址在哪，可见b跳转和PC 的位置无关，但是执行了ldr pc =step2 后，根据链接条件的不同，pc的值也会不同，link_0x00000000.dis中pc=0x000000008，link_0x30000000.dis中pc=0x30000008，这一点很重要，在bootloader中常用些与位置无关的命令，如b，bl，mov，指令将代码从flash中复制到sdram中，然后再跳到运行地址。