LLVM IR: Verzweigungsanweisung mit variablem BasicBlock Ziel?

Question

Unterstützt LLVM Verzweigungsbefehle mit einem variablen BasicBlock-Ziel?

Genauer gesagt, nehme ich an alle unbedingten br Anweisungen in Funktion umwandeln ruft eine Funktion f. Ist es dann möglich, das Ziellabel als Argument für f bereitzustellen und dieses Label dann in einer unbedingten Verzweigung innerhalb von f zu verwenden?

Oder ist die einzige Lösung eines switch in f, Karte alle BBs zu einzigartiger IDs zu machen, und dann f mit der ID an das Ziel BB entsprechenden nennen?

Answer 1

Was ich sehen kann, sind nicht-lokale indirekte Zweige zu Etiketten nicht möglich.

http://blog.llvm.org/2010/01/address-of-label-and-indirect-branches.html?m=1