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

[midend-LoopAnalysis]修复phi指令缺失的getIncomingValues方法调用

Browse Source
This commit is contained in:
rain2133
2025-08-11 21:20:38 +08:00
parent 1fab6a43f9
commit 8cb807c8b9
2 changed files with 10 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/include/midend/IR.h
View File

@ -962,7 +962,13 @@ class PhiInst : public Instruction {
Value* getValfromBlk(BasicBlock* block);
BasicBlock* getBlkfromVal(Value* value);
auto getIncomingValues() const {
std::vector<std::pair<BasicBlock*, Value*>> result;
for (const auto& [block, value] : blk2val) {
result.emplace_back(block, value);
}
return result;
}
void addIncoming(Value *value, BasicBlock *block) {
assert(value && block && "PhiInst: value and block cannot be null");
addOperand(value);

6
src/midend/Pass/Optimize/LoopNormalization.cpp
View File

@ -394,7 +394,7 @@ void LoopNormalizationPass::updatePhiNodesForPreheader(BasicBlock* header, Basic
// 收集来自外部前驱的值 - 需要保持原始的映射关系
std::map<BasicBlock*, Value*> externalValues;
for (BasicBlock* oldPred : oldPreds) {
Value* value = phi->getvalfromBlk(oldPred);
Value* value = phi->getValfromBlk(oldPred);
if (value) {
externalValues[oldPred] = value;
}
@ -416,7 +416,7 @@ void LoopNormalizationPass::updatePhiNodesForPreheader(BasicBlock* header, Basic
// 移除所有外部前驱的条目
for (BasicBlock* oldPred : oldPreds) {
phi->removeIncoming(oldPred);
phi->removeIncomingBlock(oldPred);
}
// 添加来自新前置块的条目
@ -428,7 +428,7 @@ void LoopNormalizationPass::updatePhiNodesForPreheader(BasicBlock* header, Basic
// 移除旧的外部前驱条目
for (BasicBlock* oldPred : oldPreds) {
phi->removeIncoming(oldPred);
phi->removeIncomingBlock(oldPred);
}
// 添加来自新前置块的条目