Open utterances-bot opened 1 year ago
roife 的魔法科见闻
https://roife.github.io/posts/mem2reg-pass/
感觉计算支配边界是最难的。
当然有迭代的简单求法,不过高效求法的算法(Lengauer-Tarjan)还是很难的 QAQ
@wei-huan 我看 LLVM 似乎是用迭代的算法,后续博客会考虑更新 Lengauer-Tarjan 算法。
刚刚看了一下 braun13 那篇论文,似乎更加简单
LLVM 如何构造 SSA:Mem2Reg 算法的实现 - roife 的博客 | Roife Blog
roife 的魔法科见闻
https://roife.github.io/posts/mem2reg-pass/