相对跳转指令与绝对跳转指令的特殊用法.pdfVIP

更多内容请访问/ifreecoding 接上一篇“从ARM汇编指令机器码解释一些问题” 当程序的编译地址与运行地址不一致时，使用相对跳转指令和绝对跳转指令就需要注 意了，本文档将讲述其中原因。 另有一种B 指令是BX，它的用法是 BX Rm 其中Rm是通用寄存器，例如BX R0，它的作用是跳转到R0 中所存储的地址，它的指 令格式如下 可以看到它最后的4位所存储的就是Rm寄存器的编号，共有2^4=16种，对应R0~R15。 R 寄存器可以存放32bits 的数据，可以表示全空间地址范围，因此BX指令是一种绝对跳转 指令，并且可以跳转到32位机的全部地址空间。 BL 是相对跳转指令，BX 是绝对跳转指令，它们虽然都是跳转指令，实现跳转功能， 除了可跳转的距离不一样之外，在某些场合还是有限制的。比如linux内核程序编译的基址 是0xC0000000，内核程序认为它们都是在0xC0000000 以上空间运行的，而内核在进入页 机制之前都是运行在以0为基址的内存空间，编译空间与运行空间不一致这样不 会有问题么？答案当然是不会有问题，否则linux 怎么会跑起来，这其中就涉及到程序运行 的相对寻址和绝对寻址的问题了。 我们知道程序分为顺序执行和跳转执行，顺序执行就是一条指令执行完再去执行它下面 的一条指令，而跳转又分为相对跳转和绝对跳转，正如上述的 BL 和BX。顺序执行和相对 跳转执行都是在当前指令的基础上加上相对的偏移量找到下条指令的，而绝对跳转则是需要 找到实实在在的地址。 我们先来看一个例子，然后再说明上述情况是怎么实现的。 比如说我坐火车从沈阳到大连，我在2号车厢，餐车在7号车厢， � 如果火车停在沈阳站还没开的时候，我要去餐车，我只要走过5节车厢就可以到了。 � 如果火车已经到达大连了，那么我还是只要经过5节车厢就可以到餐车了。 � 如果火车已经到达大连了，但你告诉我说火车还停在沈阳，那么我还是只需要经过 5 节车厢就可以到餐车了。 上面这3种情况都是使用了相对地址，无需知道火车所处的绝对地址。 其中第3种情况就可以解释编译地址与运行地址不一致的问题。 � 火车已经到达大连——代码实际运行在0地址。 � 你告诉我说火车还停在沈阳，我就认为火车停在沈阳——代码被编译到0xC0000000， 代码认为它们运行在0xC0000000。 � 从我所在位置经过5节车厢到达餐车——从当前指令位置经过相对偏移量找到下条指 令。 只要将被编译到0xC0000000 地址的代码放到0地址开始执行，如果它们只 使用顺序执行或者相对跳转执行方式就可以正常运行，但如果使用了绝对寻址，那么程序就 跑飞了。 我们参照下面这段伪代码来说明这个情况。 指令编号 指令功能 指令1： 顺序执行 指令2： 顺序执行 指令3： 相对跳转到指令5 指令4： 顺序执行 指令5： 顺序执行 指令6： 绝对跳转到指令8 指令7： 顺序执行 指令8： 顺序执行 在编译、链接的时候，这段程序被告知放在0xC0000000 地址空间，编译结果为（每条 指令以4字节计算）： 指令地址 指令编号 指令功能 下条指令地址 0 指令1： 顺序执行 当前地址+4 0 指令2： 顺序执行 当前地址+4 0 指令3： 相对跳转到指令5 当前地址+8 0x0000000C 指令4： 顺序执行 当前地址+4 0 指令5： 顺序执行 当前地址+4 0 指令6： 绝对跳转到指令8 0xC000001C 0 指令7： 顺序执行