|
|
7547d34598
|
[midend-IVE]参考libdivide库，实现了魔数的正确求解，如果后续出错直接用API或者不要除法强度削弱了
|
2025-08-14 05:12:54 +08:00 |
|
|
|
06a368db39
|
[midend]修复创建新归纳变量的错误逻辑，避免生成悬空phi节点的现象
|
2025-08-13 20:00:43 +08:00 |
|
|
|
48865fa805
|
[midend-IVE]增加无用归纳变量消除遍
|
2025-08-13 17:42:34 +08:00 |
|
|
|
8b5123460b
|
[midend-Loop-InductionVarStrengthReduction]支持了对部分除法运算取模运算的归纳变量的强度削弱策略。（mulh+魔数，负数2的幂次除法符号修正，2的幂次取模运算and优化）。增加了了Printer对移位指令的打印支持
|
2025-08-13 17:41:41 +08:00 |
|
|
|
cd27f5fda9
|
[midend]增加部分逻辑位移指令
|
2025-08-13 15:28:37 +08:00 |
|
|
|
60cb8d6e49
|
[midend]重命名Sra指令的kind标识
|
2025-08-13 14:55:46 +08:00 |
|
|
|
ea944f6ba0
|
[midend-Loop-InductionVarStrengthReduction]增加循环规约变量强度削弱优化
|
2025-08-13 01:13:01 +08:00 |
|
|
|
0c8a156485
|
[midend-LoopCharacteristics]强化归纳变量的识别
|
2025-08-12 22:33:16 +08:00 |
|
|
|
debda205cc
|
[testdata]将官方提供的RV错误样例输入替换成了ARM中正确的输入
|
2025-08-12 16:24:24 +08:00 |
|
|
|
baef82677b
|
[midend-LICM]将能够外提的循环不变量进行Kanh拓扑排序保证外提后的计算顺序正确。
|
2025-08-12 16:18:00 +08:00 |
|
|
|
f634273852
|
[midend-LICM]优化了特征分析中对循环不变量的识别，实现了LICM遍，格式化副作用分析代码
|
2025-08-12 15:53:57 +08:00 |
|
|
|
70f6a25ebc
|
[midend-LoopAnalysis]修复循环规范遍bug，修正部分打印格式，
|
2025-08-12 12:34:07 +08:00 |
|
|
|
8cb807c8b9
|
[midend-LoopAnalysis]修复phi指令缺失的getIncomingValues方法调用
|
2025-08-11 21:20:38 +08:00 |
|
|
|
1fab6a43f9
|
Merge branch 'midend' into midend-LoopAnalysis
|
2025-08-11 21:20:34 +08:00 |
|
|
|
1e3791a801
|
[midend-LoopNormalization]消除不必要的循环特征分析结果使用。优化phi指令处理逻辑
|
2025-08-11 20:51:55 +08:00 |
|
|
|
a1cca3c95a
|
[midend-llvmirprint]修改i1类型不存在引入的临时寄存器保存比较结果重命名的逻辑，减少冲突的可能性
|
2025-08-11 19:10:11 +08:00 |
|
|
|
1361156b0d
|
[midend-CFGOpt]修复上一次提交的漏洞
|
2025-08-11 18:46:07 +08:00 |
|
|
|
46179e3866
|
[midend-CFGOpt]修复部分指令删除逻辑错误
|
2025-08-11 18:40:58 +08:00 |
|
|
|
038552f58b
|
[midend-SCCP]修复了函数参数没有正确初始化为Bottom的问题，现在f/64样例可以-O1通过
|
2025-08-11 16:47:03 +08:00 |
|
|
|
4d0e2d73ea
|
[midend-LATG]将调试信息改为DEBUG生效
|
2025-08-10 17:32:45 +08:00 |
|
|
|
ad19a6715f
|
[midend]删除了错误的sra指令生成逻辑
|
2025-08-10 16:57:40 +08:00 |
|
|
|
d1ba140657
|
[midend-llvnirprint]修改浮点为字面值打印，修复assign的类型推断
|
2025-08-10 16:12:09 +08:00 |
|
|
|
2c5e4cead1
|
[midend-llvmirprint]修复部分打印逻辑，修复生成IR时的基本块错误的前后驱关系链接
|
2025-08-10 15:19:24 +08:00 |
|
|
|
6b92020bc4
|
[midend-llvmirprint]修复全局数组打印格式问题
|
2025-08-09 22:41:32 +08:00 |
|
|
|
c867bda9b4
|
[midend]解决部分变量重命名问题
|
2025-08-09 22:30:09 +08:00 |
|
|
|
6b9ad0566d
|
[midend-llvmirprint]修复进度（162/199），修复若干打印问题，修复若干ir生成逻辑问题
|
2025-08-09 21:28:44 +08:00 |
|
|
|
6a7355ed28
|
[midend-Loop]初步构建循环规范遍
|
2025-08-09 17:53:41 +08:00 |
|
|
|
be9ac89584
|
[midend-LoopAnalysis]将前置分析结果指针保存到循环特征分析类中消除冗余的分析指针传递
|
2025-08-09 16:42:31 +08:00 |
|
|
|
ac3358d7e3
|
[midend-LoopAnalysis]移除基本循环特征分析中的向量化并行化内容，增加循环向量化并行化特征分析遍，TODO：构建循环优化遍验证分析遍正确性
|
2025-08-09 13:53:00 +08:00 |
|
|
|
bd23f6154d
|
[midend-SideEffect]将副作用分析遍重构为Module级别，更新其他优化遍用法，注册到PassMananger中，修改CMakeLists。
|
2025-08-08 16:25:41 +08:00 |
|
|
|
126c38a1d9
|
[midend-CallGraph]增加调用图分析遍
|
2025-08-08 16:24:13 +08:00 |
|
|
|
c4c91412d1
|
[midend]修改一点逻辑和注释，删除无用文件
|
2025-08-08 15:31:35 +08:00 |
|
|
|
f17e44f8d4
|
[midend-Alias]针对sysy语言设计了保守和激进的别名优化策略，设计了通过接口设置选项，后续需要验证。保留了一些激进策略接口置空待后续增加。
|
2025-08-08 15:08:49 +08:00 |
|
|
|
a406e44df3
|
[midend-Alias]应用别名分析结果，sccp现在能简单传播数组元素了
|
2025-08-08 02:12:32 +08:00 |
|
|
|
b1a46b7d58
|
[midend-LoopAnalysis]为项目添加别名分析遍，副作用分析遍，循环分析遍，循环特征分析遍
|
2025-08-08 00:56:50 +08:00 |
|
|
|
bd02f5f1eb
|
[midend-LoopAnalysis]为phi指令添加新的方法供外部遍历（目前不是顺序遍历）
|
2025-08-08 00:55:01 +08:00 |
|
|
|
c507b98199
|
[midend-llvmprint]更新脚本，支持-eir执行IR测试
|
2025-08-07 23:45:26 +08:00 |
|
|
|
ba21bb3203
|
[midend]修复内存泄漏和Heap-buffer-overflow问题(getexternalfunction中及其隐秘的错误)，修复全局常量标量访问的错误
|
2025-08-07 02:53:36 +08:00 |
|
|
|
8aa5ba692f
|
[midend]初步修复内存泄漏问题(仍然剩余11处)
|
2025-08-07 01:34:00 +08:00 |
|
|
|
d732800149
|
[midend-llvmprint]更新脚本，禁用内存泄漏检查
|
2025-08-07 00:36:43 +08:00 |
|
|
|
f083e38615
|
[midend-Loop]循环分析构建，增加很多统计方法和循环信息方法
|
2025-08-06 22:29:39 +08:00 |
|
|
|
37f2a01783
|
[midend-llvmirprint]修复了gep指令对不含维度信息的数组指针的处理逻辑，修复若干打印bug，在-s ir/ird -o <llvmir.ll file>的参数下最终会打印ir到file中，优化过程中的打印逻辑待更改。
|
2025-08-06 15:28:54 +08:00 |
|
|
|
5d343f42a5
|
[midend-llvmirprint]检查并修复了初始值的打印逻辑
|
2025-08-06 02:02:05 +08:00 |
|
|
|
a4406e0112
|
[midend]增加了指令重命名逻辑。
|
2025-08-06 01:31:23 +08:00 |
|
|
|
08fcda939b
|
[midend-llvmirprint]实现了大部分函数的print方法，TODO：需要完善func和module的print方法以及重命名的逻辑
|
2025-08-06 01:02:11 +08:00 |
|
|
|
5f63554ca3
|
[midend]修正合并基本块链会将entry块纳入考虑范围的问题。上次commit同时修改了alloca创建的逻辑保证了alloca的声明全部在entry块中
|
2025-08-04 18:56:57 +08:00 |
|
|
|
4db3cc3fb5
|
Merge branch 'midend' into backend
|
2025-08-04 16:48:30 +08:00 |
|
|
|
17f1bed310
|
Merge branch 'backend-lag' into backend
|
2025-08-04 16:43:43 +08:00 |
|
|
|
b848ffca5a
|
[midend]在生成IR时引进了简单的CSE（二元一元loadgep的cse）
|
2025-08-04 16:38:12 +08:00 |
|
|
|
603506d142
|
Merge branch 'backend' of gitee.com:lixuanwang/mysysy into backend
|
2025-08-04 16:34:22 +08:00 |
|
