LLVM Pass：IR内のすべてのブランチを削除するとエラーが発生する

Question

LLVMパスを使用してIRコードの分岐命令を削除します。

以下のコードは、私の関数パス（Github）です：

virtual bool runOnFunction(Function &F) { 
    for (auto &B : F) { 
     for (auto &I : B) { 
      auto op_name = I.getOpcodeName(); 
      if(strcmp(op_name, "br")==0) { 
       I.eraseFromParent(); 
      } 
     } 
    } 
    return true; 
} 

機能パスが正常にコンパイルされていますが、私はtest.cの上でそれを使用する場合、それはPastebin

Answer 1

の変更のようなエラーが発生します終了式が再評価されないため、コンテナはループベースの範囲で反復処理しても機能しません。さらに、コンテナによっては、イテレータを削除する要素に無効にすることができます。この場合、forループベースの範囲を使用することはできませんので

{ 
    auto && __range = range_expression ; 
    for (auto __begin = begin_expr, __end = end_expr; 
     // __end not reevaluated! 
     __begin != __end; ++__begin) { 

     range_declaration = *__begin; 
     loop_statement 

    } 
} 

eraseFromParentは、基本ブロックからの命令を削除します：

cppreferenceは、このようなC++ 17になるまでループに基づいて、範囲を説明しています。しかし、LLVM開発者は次の要素にイテレータを返し、ループを続けることができます。

virtual bool runOnFunction(Function &F) { 
    for (auto &B : F) { 
     auto It = B.begin() 
     // we modify B, so we must reevaluate end() 
     while(It != B.end()) { 
      auto &I = *It; 
      auto op_name = I.getOpcodeName(); 
      if(strcmp(op_name, "br")==0) { 
       // we continue with the next element 
       It = I.eraseFromParent(); 
      } else { 
       ++It; 
      } 
     } 
    } 
    return true; 
}