LLVM backend module pass

Question

I would like to write a pass at the backend that goes over all the MachineBasicBlock in graph order and check if for each 3 consecutive MachineBasicBlock some property is achieved.

any Idea how to write this pass?

Answer 1

This blog post explains how to walk basic blocks in various graph orders (focusing on topological, but providing pointers for others as well). The same can be applied to MachineBasicBlock, using essentially the same mechanisms.