Пропускный модуль модуля LLVM

Question

Я хотел бы написать пропуск на бэкэнд, который проходит через все MachineBasicBlock в порядке графа и проверяет, выполнено ли для каждого 3 последовательного MachineBasicBlock некоторое свойство.

любая идея, как написать этот пропуск?

Answer 1

This blog post объясняет, как ходить по базовым блокам в разных графических заказах (фокусируется на топологических, но также дает указатели и для других). То же самое можно применить к MachineBasicBlock, используя по существу те же механизмы.