一、背景

在调试程序过程中，遇到一个问题，程序入栈出栈后，总是跑飞，用gdb调试，发现入栈操作后，查看入栈后的数据在出栈时不对应。

二、分析内容

1、

STMFD   SP!,    {R0-R12, R1}

以前理解是，先入栈R1，然后在依次递减入栈R12--->R0, 理论上 一共入栈14个数据

反编译后，发现竟然少了一个，入栈13个数据

反编译的汇编如下：

23e062fc: e92d1fffpush {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, sl, fp, ip}

2、

如果把上面改成两部操作

STMFD   SP!,    {R1} 

STMFD   SP!,    {R0-R12}

反编译后：

23e062fc: e92d0002 push {r1}
23e06300: e92d1fff push {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, sl, fp, ip}

这样，在出栈时就没有问题

3、

如果这样入栈

STMFD   SP!,    {LR,R0-R12}

反编译后：

23e062fc: e92d5fff push {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, sl, fp, ip, lr}

三、总结

通过这个现象发现 {。。。。。}里面的寄存器，应该是按照从小到大的顺序排列，如果有重复的寄存器，将会直接忽略掉。

所以在批量load或store时，应注意避免，或者分几步load或者store。

STM LDM汇编批量加载指令的错误用法