zjx
|
f15ad90289
|
优化核心指令选择逻辑
|
2 weeks ago |
 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
|
693f54adf7
|
fix: 消除 Br 和 CondBr 未处理的编译警告
在 LowerInstruction 的 switch 中添加 Br 和 CondBr case。
这两个指令在 LowerModule 中已经处理，不会传递到 LowerInstruction，
但为了消除编译器的 -Wswitch 警告，添加这两个 case 并直接返回。
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
|
9184ba9c9d
|
Merge branch 'Shrink' into master (keep Shrink sema files)
|
1 month ago |
|
Shrink
|
c33d36e040
|
Shrink: Compile pass with IRGen fixed
实现合并
|
1 month ago |
|
Shrink
|
97d5ec1d48
|
Shrink:IR-change-1
|
1 month ago |
|
Shrink
|
f16c29db26
|
feat<src/antlr4/SysY.g4>:complement the rules
|
1 month ago |
|
zjx
|
d6926a7b75
|
路径修改
|
1 month ago |
|
Shrink
|
04a29b2bf9
|
Shrink: Compile pass with IRGen fixed
|
1 month ago |
|
Shrink
|
477720eb5e
|
Shrink:IR-change-1
|
1 month ago |
 mirror
|
8414298089
|
Sema模块
|
2 months ago |
|
mirror
|
7405f1327d
|
测试提交
|
2 months ago |
|
Shrink
|
192b8004ed
|
feat<src/antlr4/SysY.g4>:complement the rules
|
2 months ago |
|
zjx
|
702ed9c1fd
|
feat(antlr4)：语法树构建的相关代码修改
|
2 months ago |
 jing
|
dfa71bc0d7
|
refactor(irgen): 规范采用visitor生成
|
2 months ago |
|
jing
|
7d4d60c546
|
refactor(ir): ir改为更标准的实现
|
2 months ago |
|
jing
|
1b283856b3
|
refactor(ir): 改一下sema相关的适配
|
2 months ago |
|
jing
|
f19d23c656
|
refactor(irgen): 完善irgen代码和文档，提升扩展兼容性
|
2 months ago |
|
jing
|
a091d9108a
|
refactor(frontend): 添加对只编译前端的支持
|
2 months ago |
|
jing
|
10ea8aad14
|
chore(dev): 调整test用例结构
|
2 months ago |
 Lane0218
|
484a143911
|
docs(doc): swap lab4 and lab5 order
|
2 months ago |
|
jing
|
f746c2a75b
|
Merge branch 'master' of https://gitee.com/NUDT-compiler/nudt-compiler-cpp
|
2 months ago |
|
jing
|
1a5e05ea00
|
test(test): 添加测试用例
|
2 months ago |
|
Lane0218
|
cc58f8202f
|
chore(dev): 调整帮助信息
|
2 months ago |
|
jing
|
e72944a36b
|
docs(doc): 调整lab5, lab6部分表述
|
2 months ago |
|
Lane0218
|
4c2996027e
|
style(doc): 统一 Lexer Parser 相关表述
|
2 months ago |
|
Lane0218
|
020e2d772d
|
style(build): 统一 target 依赖声明写法
|
2 months ago |
|
Lane0218
|
b1155d8fa9
|
refactor(dev): 统一 IR/MIR 接口命名风格
|
2 months ago |
|
Lane0218
|
f26551a896
|
style(dev): 清理失真文件头注释
|
2 months ago |
|
Lane0218
|
a7779038ca
|
fix(dev): 统一 IR/MIR 异常前缀
|
2 months ago |
|
jing
|
d0a4c7d6d2
|
refactor(dev): 移动头文件位置
|
2 months ago |
|
jing
|
7f1b0aaead
|
Merge branch 'master' of https://gitee.com/NUDT-compiler/nudt-compiler-cpp
|
2 months ago |
|
jing
|
2737ebd9fc
|
style(sema): 规范符号表代码位置
|
2 months ago |
|
jing
|
0e5a75eaf3
|
fix(ir): 修改了一下context的管理
|
2 months ago |
|
jing
|
fab6983d40
|
style(ir): 纠正代码位置
|
2 months ago |
|
Lane0218
|
e9d7b4a058
|
refactor(dev): unify user-facing diagnostics
|
2 months ago |
|
Lane0218
|
9070775187
|
refactor(dev): unify compiler error logging
|
2 months ago |
|
jing
|
a44a409d16
|
fix(irgen): 规范irgen实现
|
2 months ago |
|
jing
|
11f192cd10
|
fix(ir): 规范ir实现
|
2 months ago |
|
jing
|
8f448df4bc
|
fix(ir): 规范ir实现
|
2 months ago |
|
jing
|
c72ffa6e39
|
fix(frontend): 规范一下前端实现
|
2 months ago |
|
jing
|
d2b54a9849
|
fix(frontend): 改语法树输出
|
2 months ago |
|
jing
|
a16120dbdf
|
docs(doc): 文档添加mem2reg内容
|
2 months ago |
|
jing
|
0d3e4795ee
|
docs(doc): lab5, lab6文档
|
2 months ago |
|
jing
|
e01995a33d
|
fix(frontend): 修复部分实现
|
2 months ago |
|
jing
|
03bd6d88e3
|
fix(ast): 删掉ast结构
|
2 months ago |
