堆栈及其使用（举例篇）[作者：sossb]

疾风之狼

堆栈及其使用（举例篇）
  例如，在一个子程序中要用到寄存器A，X，Y和P。在进入子程序之后，首先要将这些寄存器的值存入堆栈保存起来，这称为保留现场。子程序的工作进行完准备返回主程序时，还要把原先保留起来的数据从堆栈中取出来，恢复各寄存器原先的状态，这称为恢复现场。保留现场与恢复现场时，对各寄存器进行操作的顺序是不能随意安排的，以免造成混乱。再有就是进栈与出栈的顺序恰好相反。
  子程序的起、止部分应当这样设计：
: x0 m4 K- g8 y: ^SUB PHP ；P必须首先进栈
  PHA ；A进栈应在X，Y进栈之前
  TXA
) C0 A% ~( z% {/ T  PHA ；X进栈要通过累加器A
  I7 z' i' }, c* m$ L& |  TYA
9 B$ B4 `0 i6 T' d* t9 L  PHA ；Y进栈也要通过累加器A
  ....；子程序的工作部分
  PLA
2 I, r- l# v% M# t2 e" q  TAY ；Y最后进栈故最先出栈，Y出栈经过A
  PLA
  TAX ；X出栈也经过A
. k% V# W" ]% J1 y  PLA ；A出栈
  PLP ；P最后出栈，否则其他指令会影响P的某些标志位
  RTS ；恢复现场后可以返回主程序
  6502在子程序执行完毕，遇到RTS指令时是怎样返回主程序的？我们知道，在这种非顺序执行的地方，必须给出跳转的目的地址，这个地址进入程序计数器PC后才能转向。那么这个跳转目的地址是如何得到的呢？原来，当执行JSR指令时，返回地址（也就是JSR指令码所在储存单元地址+2，或者说是JSR指令的第三字节的代码所在地址）自动从程序计数器PC压入堆栈。执行RTS指令时，要将返回地址从堆栈弹出送入程序计数器PC，PC值再自动加1，以指向下一条指令操作码的地址，因此必须记住这条规则：在执行RTS指令之前把在子程序中进栈的数据全部取出，但也不能从栈中取出过多的数据，否则会把返回地址丢掉。
  自顶向下的程序设计方法有一条非常重要的原则：子程序应该只有一个入口和一个出口，假如有多个出口，则容易出现的错误之一就是可能忘记将子程序中进栈的内容从堆栈中取出，造成返回地址混乱。解决的办法也很简单：不使用很多RTS指令，而在需要返回的分支处用JMP指令跳转到唯一的一个出口处。
% g$ D$ _1 g' a  h) o4 I  为了方便，把保留现场与恢复现场这两个工作分别设计成子程序，是经验不足的程序员可能出现而又难于侦错的错误之一。
  例：
/ Z' @  D* Q0 eSUB   JSR SAVE   ；
7 l/ w) P) G( v7 h+ ~    .......   ；
    JSR RESTORE ；
5 y: O0 [7 `1 z/ m' ^    RTS
% N' p: d6 f5 z5 x' LSAVE   PHP       ；
/ N) n0 Y. n0 M6 d    PHA
    TXA
' l$ @( L' r+ d7 T+ }    PHA
0 o, n% I/ E# D+ z% E3 p    TYA
. N: D' G; _* \( k2 t: _    PHA
9 q4 N; s9 M/ {' S' h    RTS
  u0 u0 l& ~# ^& B6 A/ nRESTORE PLA
3 U- r( E8 ^2 |    TAY
    PLA
6 o5 ^4 f) }. t2 T  q    TAX
    PLA
    PLP
) k7 Z: s: k' O0 C  @    RTS
  这样编写程序乍看起来是合理的，但实际执行的效果却与预想相差甚远：调用保留现场子程序的JSR指令指令把返回地址压入堆栈，然后转到SAVE子程序，将P、A、X、Y寄存器的值相继相继压入栈内，所以栈顶二数为Y、X的值。当SAVE子程序的返回指令RTS被执行时，6502从堆栈顶取出两个单元的内容作为返回地址送入PC计数器。而这两个单元中的内容根本不是返回地址，而是X、Y被保存起来的值，因此程序会返回到何处大概只有老天才能知道了。
  同样的，恢复现场子程序也不能使用，因为进入RESTORE子程序时堆栈顶部存放的是返回地址而不是X、Y寄存器的值。
  不过从这个错误，我们可以得到一点启发：堆栈可以作为中继站，使数据能够在PC计数器与其它寄存器之间交换。
                            -------by sossb