ARM 堆栈

堆栈严格来说应该叫做栈，栈(Stack)是限定仅在一端进行插入或删除操作的线性表。

因此，对栈来说，可以进行插入或删除操作的一端称为栈顶(top)，相应地，另一端称为栈底(bottom)。

不含元素的空表称为空栈。由于堆栈只允许在一端进行操作，因而按照后进先出（LIFO-Last In First Out）的原理运作。

      从栈顶的定义来看，栈顶的位置是可变的。空栈时，栈顶和栈底重合；满栈时，栈顶离栈底最远。ARM为堆栈提供了硬件支持，它使用一个专门的寄存器（堆栈指针）指向堆栈的栈顶。而且7种模式都有各自独立的堆栈指针，也就是有各自独立的堆栈空间。

存储器堆栈可分为两种：
                    向上生长：向高地址方向生长，称为递增堆栈
                    向下生长：向低地址方向生长，称为递减堆栈

栈指针指向最后压入的堆栈的有效数据项，称为满堆栈；

堆栈指针指向下一个要放入的空位置，称为空堆栈。

 

这样就有4中类型的堆栈表示递增和递减的满堆栈和空堆栈的各种组合。

满递增：堆栈通过增大存储器的地址向上增长，堆栈指针指向内含有效数据项的最高地址。指令如LDMFA，STMFA等。(Ascending 递增)
空递增：堆栈通过增大存储器的地址向上增长，堆栈指针指向堆栈上的第一个空位置。指令如LDMEA，STMEA等。

满递减：堆栈通过减小存储器的地址向下增长，堆栈指针指向内含有效数据项的最低地址。指令如LDMFD，STMFD等。(Descending 递减)

空递减：堆栈通过减小存储器的地址向下增长，堆栈指针指向堆栈下的第一个空位置。指令如LDMED，STMED等。

为什么说“向上生长”和“向下生长”呢？那是以为，一般画堆栈示意图都是把低地址画在下面，高地址画在上面。

     有一点需要注意的是，虽然ARM处理器核对于两种生长方式的堆栈均支持，但ADS的C语言编译器仅支持一种方式，即从上往下长，并且必须是满递减堆栈。所以STMFD等指令用的最多。

 

使用ARM汇编语言实现堆栈操作时，下面4条指令常被用到。

·  LDM：加载多寄存器指令；

·  STM：存储多寄存器指令；

·  PUSH：将多个寄存器的值存储到堆栈并更新堆栈指针；

·  POS：从堆栈中装载多个寄存器的值并更新堆栈指针。

堆 栈 类 型	Push	Pop
满递减	STMFD（STMDB，Decrement Before）	LDMFD (LDM , Icrement Ater)
满递增	STMFA (STMIB, Increment Before)	LDMFA (LDMDA , Decrement After)
空递减	STMED (STMDA, Decrement After)	LDMED (LDMIB, Increment Before)
空递增	STMEA (STM , increment after)	LDMEA (LDMDB, Decrement Before)

LDM和STM表示多寄存器寻址，即一次可以传送多个寄存器值。
LDM：一次装载多个，这里用来出栈。
STM：一次存储多个，这里用来入栈。

F/E表示指针指向的位置
F：full满堆栈，表示堆栈指针指向最后一个入栈的有效数据项。
E：empty空堆栈，表示堆栈指针指向下一个要放入的空地址。

A/D表示堆栈的生长方式
A：堆栈向高地址生长，即递增堆栈。
D：堆栈向低地址生长，即递减堆栈。
递增递减和硬件无关，这一般是由操作系统决定的。我们一般使用的是递减。LINUX是用递减堆栈。

所以
LDMFD SP!,{R1-R7,LR};将数据出栈，放入R1~R7，LR这8个寄存器，同时SP自动更新。这是一个满递减堆栈。
STMFD SP!,{R1-R7,LR};将R1~R7，LR入栈，SP更新。满递减堆栈。

借鉴 汇编语言程序设计：基于ARM体系结构(第3版).pdf

有一个重要的约定，编号低的寄存器在存储数据或加载数据时对应的是存储器的低地址。

示例：

push / pop 命令等同于 stmdb / ldmia ，因此，下面的 push 指令，将 lr 压栈，之后再将 r11 压栈，也就是 lr 在高地址， r11 在低地址。

S:0x8000215C : PUSH     {r11,lr}

Reference:

http://hi.baidu.com/trical/item/585a24087f9b1a036c9048f0

http://www.52rd.com/Blog/Archive_Thread.asp?SID=7626

https://www.eefocus.com/embedded/323184/p5