llvm - LLVM 后端模块传递

Question

我想在后端编写一个按图形顺序遍历所有 MachineBasicBlock 的通行证，并检查每 3 个连续的 MachineBasicBlock 是否实现了某些属性。

任何想法如何写这个通行证？

Answer 1

这篇博客文章解释了如何以各种图形顺序遍历基本块（专注于拓扑，但也为其他人提供指针）。MachineBasicBlock使用基本相同的机制，同样可以应用于。