ARM 在结语中拇指额外的 POP 和 BX

Question

我为嵌入式目标反汇编了一些 object 文件以检查代码大小，并注意到一个特别“不对称”的序言-尾声对。 它以对包括lr在内的 4 个寄存器的推送开始，以 3 个寄存器的弹出结束，然后是 1 个寄存器的弹出，然后是bx到弹出的寄存器。

push {r4, r5, r7, lr}
...
pop  {r4, r5, r7}
pop  {r0}
bx   r0

我最终意识到这是因为该指令没有经过r7的可编码寄存器，所以没有pop {r4, r5, r7, r8}也没有pop {r4, r5, r7, r0} ，因为寄存器列表必须有序，由于编码。 我想知道为什么它根本没有为这个 function 分配r6 ，但我猜这是因为我错过了一些 ABI 原因。

没有使用简单的pop {r4, r5, r7, pc}是否有 ABI 原因？