[midend-Loop-IVE]修复循环的死IV消除逻辑

2025-08-15 01:19:45 +08:00
parent a3435e7c26
commit fa33bf5134
2 changed files with 54 additions and 15 deletions
--- a/Pass_ID_List.md
+++ b/Pass_ID_List.md
@@ -396,9 +396,25 @@ check_initial_overflow()
 智能回退：使用已验证的标准值保证正确性
 保持通用性：对于没有预设值的除数仍然可以工作

+## 死归纳变量消除
+
+整体架构和工作流程
+当前的归纳变量消除优化分为三个清晰的阶段：
+
+识别阶段：找出所有潜在的死归纳变量
+安全性分析阶段：验证每个变量消除的安全性
+消除执行阶段：实际删除安全的死归纳变量
+
+
+逃逸点检测 (已修复的关键安全机制)
+数组索引检测：GEP指令被正确识别为逃逸点
+循环退出条件：用于比较和条件分支的归纳变量不会被消除
+控制流指令：condBr、br、return等被特殊处理为逃逸点
+内存操作：store/load指令经过别名分析检查
+
 # 后续优化可能涉及的改动

-## 1）将所有的alloca集中到entryblock中
+## 1）将所有的alloca集中到entryblock中（已实现）

 好处：优化友好性，方便mem2reg提升
 目前没有实现这个机制，如果想要实现首先解决同一函数不同域的同名变量命名区分