In LLVM, wie überprüfen Sie, ob ein Block ein Merge-Block ist

Question

Ich schreibe einen LLVM-Pass. Mein Pass muss wissen, welcher Block ein Merge-Block ist, dh ein Block, der mehr als 1 Vorgänger hat. Wie kann ich dies in meinem Code testen?

Answer 1

Sie können alle Vorgänger wie diese iterieren:

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

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

können Sie überprüfen, ob ein BB mehr als einen Vorgänger dies mit:

BasicBlock *BB = ...; 

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