参考:https://zhuanlan.zhihu.com/p/613188641
函数函数宏定义了函数块的顶部。
它应该调整堆栈以为本地存储腾出空间。
本地存储的大小由占位符localsCount给出。名为占位符functionName的标签应该开始该块。
将LOCALS设置为当前SP。
通过将localsCount添加到当前SP值来
在堆栈上为本地数据腾出空间。
DEFINE LOCALS 2
DEFINE SP 0
functionName: //函数定义,标签
A = SP
D = *A //取到栈顶的地址
A = LOCALS //本地值的存储地址
*A = D //
A = localsCount //本地个数加到栈顶D中
D = D + A
A = SP //修改栈顶值
*A = D
Return
Return返回Return宏定义了函数块的结束。
它应该将返回值存储在内存地址RETVAL中,
并恢复堆栈。从堆栈中弹出顶部值到RETVAL内存槽中。
将SP设置为LOCALS的值
从堆栈中弹出返回地址并跳转到它。
DEFINE ARGS 1
DEFINE LOCALS 2
DEFINE RETVAL 6
DEFINE SP 0
DEFINE TEMP 3
POP_STATIC RETVAL //将返回值存储在内存地址RETVAL中
A = LOCALS
D = *A
A = SP
*A = D
POP_A
JMP
Push argument 压入参数(函数调用前)
Push argument将由ARGS +索引占位符给出的内存地址的当前内容推送到堆栈上。DEFINE ARGS 1
A = ARGS
D = *A
A = index
D = D + A
A = D
D = *A
PUSH_D
Pop argument 弹出参数(进入函数后)
Pop argument取出堆栈顶部的值,
并将其存储在由ARGS +索引占位符的值给出的内存地址处。DEFINE ARGS 1
DEFINE TEMP 3
A = ARGS
D = *A
A = index
D = D + A
A = TEMP
*A = D
POP_D
A = TEMP
A = *A
*A = D
Push local 将局部变量存入栈内
Push local取出由LOCALS +索引占位符给出的内存地址处的当前内容,并将其推送到堆栈上。DEFINE LOCALS 2
A = LOCALS
D = *A
A = index
D = D + A
A = D
D = *A
PUSH_D
Pop local 将栈内值弹出到本地
Pop local将堆栈顶部的值存储到由LOCALS +索引占位符给出的内存地址中。DEFINE LOCALS 2
DEFINE TEMP 3
A = LOCALS
D = *A
A = index
D = D + A
A = TEMP
*A = D
POP_D
A = TEMP
A = *A
*A = D