LuaJIT MIPS64浮点数转换问题分析与修复

问题背景

在LuaJIT的MIPS64架构支持中，存在一个关于浮点数到整数转换的潜在问题。当使用FFI(外部函数接口)将浮点数转换为64位整数时，特定情况下会出现错误的转换结果。

问题表现

测试用例展示了一个典型的错误场景：通过循环将0.25递增的浮点数序列转换为64位整数时，当值达到14.75时，转换结果应为14，但实际结果却出现了错误。

技术分析

问题根源在于LuaJIT的MIPS64后端汇编代码生成器(asm_conv)中的实现缺陷。具体表现为：

1. 在TRUNC(截断)操作过程中，错误地重用了源寄存器(left)，导致原始浮点数值被破坏
2. 类似的寄存器使用问题也存在于MIPS64r6架构的CMP(比较)操作中

修复方案

修复主要涉及以下几个方面：

1. 确保TRUNC操作使用临时寄存器(tmp)而非源寄存器(left)来存储中间结果
2. 修正MIPS64r6架构下CMP操作的寄存器使用方式
3. 统一了代码格式，修复了缩进不一致的问题

关键修复点包括：

• 将MFC1/DMFC1指令的目标寄存器从left改为tmp
• 确保TRUNC操作的目标寄存器为tmp而非left
• 调整MIPS64r6分支条件判断的寄存器使用

影响范围

该修复影响所有MIPS64架构的LuaJIT实现，包括：

• MIPS64r2架构
• MIPS64r6架构

技术意义

这个修复保证了浮点数到整数转换的准确性，特别是在处理较大浮点数时。对于依赖精确数值转换的应用程序(如科学计算、金融系统等)尤为重要。

验证情况

修复已在MIPS64r2测试环境中验证通过，解决了原始问题中14.75错误转换为14的问题。MIPS64r6架构的类似问题也通过相同原理得到修复。