LLVM IRから 'if'ステートメントから条件を抽出できますか？

Question

コール命令（LLVMのCallInstクラスを使用）に関する情報を抽出する方法があります。 'if'命令のメタデータも抽出できる方法はありますか？変数名、演算子、またはリテラルのように？

Answer 1

このような操作は、LLVM Passを記述することによって実行できます。基本的には、処理中に命令を代行できるrunOnFunction()を実装する必要があります。次のパスは、分岐命令から比較述語を読み込みます。

namespace { 
    struct PredicateNamePass: public FunctionPass { 
    static char ID; // Pass identification, replacement for typeid 
    PredicateNamePass() : FunctionPass(ID) {} 
    bool runOnFunction(Function &F) override { 
     for (Instruction& I : inst_range(F)) { 
     if (I.isTerminator()) { 
      if (strcmp(I.getOperand(0)->getName().str().c_str(), "cmp") == 0) 
       if (CmpInst *cp = dyn_cast<CmpInst>(I.getPrevNode())) 
        errs() << cp->getPredicate() << '\n'; 
     } 
     } 
     return false; 
    } 
    }; 
} 

プログラム例：

int main(int argc, char* argv[]) { 
    int a = 10; 
    if(argc == 3) 
     a = 11; 
    else 
     a++; 
    return 0; 
} 

コマンド：

> opt -load ../build.llvm/lib/LLVMPredicateNamePass.so \ 
    -PredicateNamePass <example.bc> /dev/null 

出力：

> 32