LLVM后端模块通过

Question

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

任何想法如何写这个传递？

Answer 1

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