含static变量与0.5运算的C函数转汇编代码技术求助

先直接拆解你的核心需求：把给定的C函数转成MIPS汇编，搞定static变量w_old的存储，同时正确实现0.5*w_old的运算逻辑，顺便修正你之前浮点测试代码的bug。

一、先理清原C函数的实际运算逻辑 #

先把你的C代码摆出来，方便对照：

int my_func(int in) { 
    static int w_old = 0; 
    int w = in + 0.5*w_old; 
    int out = w - w_old; 
    w_old = w; 
    return out; 
}

这里要注意：0.5*w_old是浮点运算后强制转成int，对于整数w_old来说，其实等价于将w_old除以2后向零取整。如果w_old是非负整数，用逻辑右移1位就能高效实现；如果涉及负整数，需要用除法指令保证向零取整的行为和C代码一致。

二、static变量w_old的汇编处理 #

static变量属于全局存储，初始化后会放在.data段，不会像局部变量那样存在栈上。所以我们直接在数据段定义它，初始值设为0，之后用lw读取、sw写入即可：

.data
w_old: .word 0   # static int w_old = 0; 全局存储，初始值0

三、正确实现0.5*w_old的两种方式 #

方式1：整数右移（高效，适合非负w_old） #

对于非负整数，逻辑右移1位完全等价于(int)(0.5*w_old)，因为右移1位就是除以2取整：

lw $t0, w_old   # 把w_old加载到寄存器t0
srl $t1, $t0, 1 # t1 = w_old >> 1，即0.5*w_old转int的结果

如果w_old可能为负，要实现和C一致的向零取整，就得用MIPS的除法指令：

lw $t0, w_old
li $t1, 2
div $t0, $t1    # 执行除法，lo寄存器存储t0/t1的结果（向零取整）
mflo $t1        # 把结果从lo寄存器读到t1，等价于(int)(0.5*w_old)

方式2：浮点运算（严格匹配C代码的类型转换） #

你之前的测试代码输出垃圾值，是因为MIPS打印双精度浮点数的系统调用要求把值放到$f12寄存器，你把结果放到$f4却没赋值给$f12，所以打印的是随机值。修正后的浮点运算实现：

.text 
# 测试0.5的浮点运算
li $t1,1 
li $t2,2 
mtc1 $t1, $f12    # 把整数1转成浮点放到f12
mtc1 $t2, $f14    # 把整数2转成浮点放到f14
div.d $f12,$f12,$f14 # 计算1/2=0.5，结果存回f12
li $v0, 3 
syscall # 现在会正确打印0.5
.data 

如果要在函数里用浮点实现0.5*w_old，步骤是：int转浮点 → 乘0.5 → 浮点转int，代码如下：

lw $t0, w_old
mtc1 $t0, $f0       # 把int类型的w_old转成浮点寄存器f0
cvt.s.w $f0, $f0    # 明确转换为单精度浮点
li $t1, 1
mtc1 $t1, $f2
li $t2, 2
mtc1 $t2, $f4
div.s $f6, $f2, $f4 # f6 = 0.5（单精度）
mul.s $f8, $f0, $f6 # f8 = 0.5*w_old
cvt.w.s $f8, $f8    # 把浮点结果转成int
mfc1 $t1, $f8       # 把转换后的int读到t1寄存器

四、完整的MIPS汇编实现（非负w_old场景） #

用逻辑右移实现高效运算，完整代码和原C函数行为完全一致：

.text
.globl my_func
my_func:
    # 函数入口：参数in存在$a0寄存器
    lw $t0, w_old    # 读取static变量w_old到t0
    
    # 计算w = in + 0.5*w_old
    srl $t1, $t0, 1   # t1 = (int)(0.5*w_old)
    add $t2, $a0, $t1 # t2 = w
    
    # 计算out = w - w_old，返回值存在$v0
    sub $v0, $t2, $t0
    
    # 更新static变量w_old的值
    sw $t2, w_old
    
    # 返回主函数
    jr $ra

.data
w_old: .word 0   # static int w_old = 0;

五、测试验证 #

比如连续调用两次my_func(5)：

• 第一次调用：w_old初始为0 → w=5+0=5 → out=5-0=5 → w_old更新为5
• 第二次调用：w_old=5 → 0.5*5转int为2 → w=5+2=7 → out=7-5=2 → w_old更新为7
  完全和原C函数的运行结果一致。

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