如何高效设计MIPS汇编程序：结构设计与寄存器使用最佳实践

1. 先搭全局骨架，再填具体指令 #

别上来就写指令，先在草稿纸上把程序结构按固定顺序列死，写的时候直接往骨架里填内容：

• 先列.data段所有内容：所有要用到的提示字符串、输出模板、全局数组、缓冲区的标签名、占用字节数提前算好，比如输入提示input_prompt: .asciiz "请输入数组长度："，数组arr: .space 400这种，不要写代码的时候临时加标签、算空间，很容易把地址搞乱。
• 再列.text段固定结构：开头先写.globl main，然后放main:标签，之后按功能把子函数标签全部列出来，比如read_arr:、calc_sum:、print_res:、exit_prog:，每个标签之间留好空位，全程不会写着写着找不到程序入口，也不会出现函数代码插在主流程中间的问题。
• 每个子函数提前写好一句话说明：入参存在哪、返回值存在哪、会用到哪些寄存器，不要等写完再补。

2. 提前做寄存器分配表，全程不换用途 #

考试直接在草稿纸画个寄存器用途表，严格遵循MIPS标准调用约定，别自己瞎定规则：

核心约定记死，错了必出bug：

• $v0-$v1：只存函数返回值、系统调用号
• $a0-$a3：只存函数调用的前4个入参
• $s0-$s7：存跨函数调用需要保留的全局/局部变量，属于被调用者保存寄存器——只要你在某个子函数里用了，进函数第一时间必须压栈，返回前恢复
• $t0-$t9：存单次计算用的临时值，属于调用者保存寄存器——子函数可以随便改，如果你调用别的子函数前需要保留t寄存器的值，自己提前压栈

• 表上给每个寄存器绑定固定用途，比如$s0存数组基址、$s1存数组长度、$s2存外层循环计数器，$t0-$t3给循环内临时计算用，全程不换用途，要拿值直接去对应寄存器取，根本不会出现“我刚才那个数存在哪了”的混乱。
• 专门留1个临时寄存器（比如$t9）专门做即时数加载、地址偏移计算，永远不存长期值，避免占用已经分配好用途的寄存器。

3. 栈操作套固定模板，别临时算偏移 #

所有栈帧操作直接用固定模板，不要边写边凑偏移量，90%的MIPS汇编bug都是栈操作错了：

• 进函数先算栈帧总大小：数清楚你这个函数要存几个s寄存器、几个$ra、几个局部变量，总字节数凑成4的倍数，直接套开栈模板：

addi $sp, $sp, -N  # N是提前算好的栈帧总字节数
sw $ra, 0($sp)     # 返回地址永远存在栈帧最顶部
sw $s0, 4($sp)     # 按顺序存你要用到的s寄存器
sw $s1, 8($sp)
# 后面的位置留给局部变量，提前在草稿纸上标好每个变量的偏移，比如临时求和值在12($sp)

• 出函数严格按反顺序恢复：先恢复所有s寄存器，再恢复$ra，最后把$sp加回N，再跳回返回地址。永远不要在函数执行过程中随便改$sp的值，栈帧大小提前算死，不会出现返回地址被覆盖、栈指针错位的问题。

4. 逻辑拆成原子块，提前画跳转流向 #

已经能写出高级语言层面的算法时，不要直接逐行转汇编，先把逻辑拆成汇编能直接实现的原子块：

• 所有循环提前拆成固定结构：初始化计数器→判断循环条件（不满足直接跳循环结束标签）→执行循环体→计数器自增→跳回条件判断，每个循环提前起好固定标签，比如外层循环loop_outer、内层循环loop_inner、循环出口loop_end，不要写的时候临时想标签名。
• 所有分支跳转提前画流向：if-else结构先写条件判断，满足条件跳哪个标签、不满足走哪个分支、两个分支最后汇合到哪个标签，别边写边跳，很容易跳错位置出死循环。
• 写完一个子函数就做简单验证，比如写完读数组的函数，临时加几行输出代码确认数组读对了，再写下一个模块，别全写完再调试，出了问题根本定位不到位置。

考试场景实用避坑技巧 #

• 常用系统调用号直接记死：打印整数是1、打印字符串是4、读整数是5、程序退出是10，写系统调用永远先把功能号放$v0，参数放$a0，别乱塞别的寄存器。
• 别玩花活，写最直白的逻辑就行，不用想着用延迟槽优化，跳转后面填nop都可以，逻辑正确比什么都强，省那一条指令反而容易把流程搞乱。
• 每写几行就加短注释，说明这几行实现什么功能，别等全写完再补，写注释的过程就是帮你顺逻辑的过程，写的时候发现不对马上就能改。

内容的提问来源于stack exchange，提问作者Frank