ループの不変条件を識別し、それらの不変条件を使用している命令をループ本体の上に引き上げるパスを llvm で作成しています。しかし、そのためには、あるノードから別のノードへのバック エッジがあるかどうかを知る必要があります。たとえば、ノード N からノード H へのバック エッジがあるかどうかを調べたいとします。ここで、ノード H はノード N を支配し、自然なループを識別するのに役立ちます。CFG のあるノードから別のノードへのエッジがあるかどうかを確認するにはどうすればよいですか? この情報を収集できる CFG というクラスが LLVM に見つかりませんでした。
1602 次