nandgame中的Function(函数定义)传输传递、返回值-CSDN博客

本文链接：https://blog.csdn.net/weixin_43172531/article/details/137616428

本文详细介绍了宏定义在函数中的作用，如调整堆栈以分配空间给局部存储、处理参数和局部变量的进出以及返回值的存储和恢复。主要关注堆栈操作和内存地址的管理。

摘要由CSDN通过智能技术生成

参考：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