在向下生成的堆栈中，如果入栈指令PUSHX的操作定义为：SP←(SP)+1，M(SP)←M(X)，则出栈指令POPX应定义为( )。

A.SP←(SP)-1，M(X)←M(SP)

B.SP←(SP)+1，M(X)←M(SP)

C.M(X)←M(SP)，SP←(SP)-1

D.M(X)←M(SP)，SP←(SP)+1