方舟编译器_6

2021SC@SDUSC
本文将就支配和支配边界的算法进行一个简要的分析。
直接支配节点的算法：

void Dominance::ComputeDominance() {
doms.at(commonEntryBB.GetBBId().idx) = &commonEntryBB;
bool changed = false;
do {
changed = false;
for (size_t i = 1; i < reversePostOrder.size(); i++) {
BB *bb = reversePostOrder[i];
BB *pre = nullptr;
if (CommonEntryBBIsPred(*bb) || bb->GetPred().empty()) {
pre = &commonEntryBB;
} else {
pre = bb->GetPred(0);
}
size_t j = 1;
while ((doms[pre->GetBBId().idx] == nullptr || pre == bb) && j < bb->GetPred().size()) {
pre = bb->GetPred(j);
j++;
}
BB *newIDom = pre;
for (; j < bb->GetPred().size(); j++) {
pre = bb->GetPred(j);
if (doms[pre->GetBBId().idx] != nullptr && pre != bb) {
newIDom = Intersect(*pre, *newIDom);
}
}
if (doms[bb->GetBBId().idx] != newIDom) {
doms[bb->GetBBId().idx] = newIDom;
changed = true;
}
}
} while (changed);
}

支配边界的算法

支配边界的计算的具体实现是：

void Dominance::ComputeDomFrontiers() {
for (const BB *bb : bbVec) {
if (bb == nullptr || bb == &commonExitBB) {
continue;
}
if (bb->GetPred().size() < kBBVectorInitialSize) {
continue;
}
for (BB *pre : bb->GetPred()) {
BB *runner = pre;
while (runner != doms[bb->GetBBId().idx] && runner != &commonEntryBB) {
domFrontier[runner->GetBBId().idx].insert(bb->GetBBId());
runner = doms[runner->GetBBId().idx];
}
}
}
}

用文字描述其计算过程如下。

遍历所有节点：

如果一个X节点的pre节点的数量少于2，那么跳入下一次循环。

如果大于2，则逐个遍历节点X的pre节点：

这个pre节点不是当前节点的直接支配节点，那么这个pre节点的支配边界里就要加入X节点；然后将pre节点作为当前节点，继续向前看其pre节点是否是它的直接支配节点，一直递归到前驱节点等于当前借点，或者是到达入口节点。