gh0s7/mysysy
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[midend]修复创建新归纳变量的错误逻辑，避免生成悬空phi节点的现象

Browse Source
This commit is contained in:
rain2133
2025-08-13 20:00:43 +08:00
parent 48865fa805
commit 06a368db39
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/midend/Pass/Optimize/LoopStrengthReduction.cpp
View File

@ -614,12 +614,9 @@ bool StrengthReductionContext::createNewInductionVariable(StrengthReductionCandi
return false; return false;
} }
// 1. 在循环头创建新的 phi 指令
builder->setPosition(header, header->begin());
candidate->newPhi = builder->createPhiInst(originalPhi->getType());
candidate->newPhi->setName(originalPhi->getName() + "_sr");
// 2. 找到原始归纳变量的初始值和步长 // 1. 找到原始归纳变量的初始值和步长
Value* initialValue = nullptr; Value* initialValue = nullptr;
Value* stepValue = nullptr; Value* stepValue = nullptr;
BasicBlock* latchBlock = nullptr; BasicBlock* latchBlock = nullptr;
@ -651,6 +648,11 @@ bool StrengthReductionContext::createNewInductionVariable(StrengthReductionCandi
return false; return false;
} }
// 2. 在循环头创建新的 phi 指令
builder->setPosition(header, header->begin());
candidate->newPhi = builder->createPhiInst(originalPhi->getType());
candidate->newPhi->setName(originalPhi->getName() + "_sr");
// 3. 计算新归纳变量的初始值和步长 // 3. 计算新归纳变量的初始值和步长
// 新IV的初始值 = 原IV初始值 * multiplier // 新IV的初始值 = 原IV初始值 * multiplier
Value* newInitialValue; Value* newInitialValue;