В LLVM, как вы проверяете, является ли блок блоком слияния

Question

Я пишу LLVM Pass. Мой проход должен знать, какой блок представляет собой блок слияния, т. Е. Блок, который содержит более 1 предшественника. Как я могу проверить это в своем коде?

Answer 1

Вы можете перебрать все предшественники, как это:

#include "llvm/Support/CFG.h" 
BasicBlock *BB = ...; 

for (pred_iterator PI = pred_begin(BB), E = pred_end(BB); PI != E; ++PI) { 
    BasicBlock *Pred = *PI; 
    // ... 
} 

вы можете проверить, если BB более чем один предшественник, используя это:

BasicBlock *BB = ...; 

if (BB->getSinglePredecessor() != null) /// one predecessor 
{ ... } 
else /// more than one predecessor 
{ ... }