 Shrink
|
346a9c4099
|
fix: 修复浮点比较对 NaN 的错误处理（IEEE 754 合规）
问题描述：
ARM64 的浮点比较指令 fcmp 后，使用标准条件码（如 b.lt）对 NaN
操作数会产生错误结果。例如 NaN < -1e-6 错误地返回 true，导致
my_sqrt(NaN) 陷入死循环，vector_mul3.sy 测试无法退出。
根本原因：
- fcmp NaN, x 设置标志位 NZCV = 0011 (N=0, Z=0, C=1, V=1)
- b.lt 条件为 N!=V，对 NaN 为 0!=1 = true ✗ 错误
- IEEE 754 要求 NaN 与任何数比较（除!=）都应返回 false
修复方案：
1. 添加 FBcond 指令（浮点条件分支）
2. 新增 FloatCondSuffix() 函数返回 IEEE 754 兼容的条件码：
- Lt: lt → mi (N==1，对 NaN 返回 false ✓)
- Le: le → ls (!(C==1 && Z==0)，对 NaN 返回 false ✓)
- Gt/Ge/Eq/Ne: 保持不变（已正确处理 NaN）
3. 在浮点比较后使用 FBcond 而不是 Bcond
4. FCmpRR (cset) 也使用 FloatCondSuffix
测试结果：
✓ NaN < -1e-6 正确返回 false（之前错误返回 true）
✓ vector_mul3.sy 正常退出（之前死循环）
✓ my_sqrt(NaN) 不再陷入无限循环
符合标准：
此修复使编译器生成的浮点比较代码完全符合 IEEE 754 标准。
Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
|
2 weeks ago |
|
Shrink
|
3078c4cc5a
|
fix: 修复大偏移量栈访问时的寄存器冲突问题
问题描述：
在访问本地数组时，如果数组基址偏移量超过 4095，PrintAddrFromX29
会使用 X10 作为临时寄存器来加载偏移量。但 Lowering.cpp 中已经
使用 X10 存储数组索引偏移量，导致寄存器冲突，数组访问地址错误。
修复方案：
1. 添加 PhysReg::W11 和 PhysReg::X11 到寄存器枚举
2. PrintAddrFromX29 和 PrintStackAccess 改用 X11 作为临时寄存器
3. 在 PhysRegName 中添加对 W11 和 X11 的支持
测试结果：
- 浮点数组操作正确
- 矩阵乘法测试通过
- 功能测试 95_float.sy 和 22_matrix_multiply.sy 完全通过
Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
|
2 weeks ago |
|
Shrink
|
4413cfc4f5
|
阶段性保存
|
2 weeks ago |
|
Shrink
|
1fbdbb2ea1
|
feat: 实现完整数组支持 + 初步浮点支持 (18/21测试通过)
主要改动:
## 数组功能 (完整实现)
- 实现GEP指令支持全局数组、局部数组、指针参数的元素访问
- 支持2D数组的线性化和正确的地址计算
- 修复指针参数传递（区分数组地址传递和指针值加载）
- 添加LoadIndirect/StoreIndirect/LoadStackAddr等MIR指令
- 支持array[i][j]多维数组访问
## 浮点类型系统 (框架完成)
- IR类型系统: 添加Float32和PtrFloat32类型
- ConstantFloat: 实现浮点常量及Context管理
- IRGen: 支持float变量声明、浮点字面量、函数参数/返回值
- MIR寄存器: 添加S0-S10浮点寄存器
- MIR指令: 添加FAddRR/FSubRR/FMulRR/FDivRR/FCmpRR等浮点opcodes
- IRBuilder: CreateAllocaF32/CreateAllocaF32Array支持
## 测试结果
- 功能测试: 10/11 通过 (90.9%)
✓ 数组、函数、矩阵运算、图算法等全部通过
✗ 95_float (需完整浮点实现)
- 性能测试: 8/10 编译成功 (80%)
✓ 01_mm2 (矩阵乘法，输出验证正确)
✗ large_loop_array_2, vector_mul3 (需浮点支持)
- 总计: 18/21 (85.7%)
## 待完成
- Lowering.cpp中float的load/store/算术操作处理
- AsmPrinter.cpp中浮点汇编指令生成
- float与int的类型转换
关键修复:
- 修复GEP结果存储机制（使用8字节指针槽）
- 修复函数调用时数组参数传递（LoadStackAddr vs LoadStack）
- 修复15_graph_coloring的segfault问题
Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
|
2 weeks ago |
|
Shrink
|
6faa67fb65
|
通过了test_case下的测试，修改测试脚本由于不同平台换行符的差异导致测试失败的问题
|
1 month ago |
|
Shrink
|
04a29b2bf9
|
Shrink: Compile pass with IRGen fixed
|
1 month ago |
|
Shrink
|
477720eb5e
|
Shrink:IR-change-1
|
1 month ago |
 jing
|
dfa71bc0d7
|
refactor(irgen): 规范采用visitor生成
|
2 months ago |
|
jing
|
7d4d60c546
|
refactor(ir): ir改为更标准的实现
|
2 months ago |
|
jing
|
f19d23c656
|
refactor(irgen): 完善irgen代码和文档，提升扩展兼容性
|
2 months ago |
 Lane0218
|
b1155d8fa9
|
refactor(dev): 统一 IR/MIR 接口命名风格
|
2 months ago |
|
jing
|
d0a4c7d6d2
|
refactor(dev): 移动头文件位置
|
2 months ago |
|
Lane0218
|
b939fc40ee
|
feat(mir): 增加 Lab3 AArch64 MVP 后端与 --emit-asm 支持
|
2 months ago |
