The Stack Pointer on the SPC700 is 16-bit, but the upper byte is fixed by the hardware to be 0x01.
On the 65c816, the only two instructions that modify the stack pointer directly are TCS and TXS.
