0

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

4

2 に答える 2

0

(基本ブロックの後続ブロックを // で反復処理することにより) 独自にロールすることも、succ_iteratorをsucc_begin使用succ_endすることもできますLoopInfo。

于 2012-05-31T07:32:51.007 に答える