基本ブロック内の配列アクセスを見つける

Question

基本ブロックに配列アクセスがあるかどうかを確認するにはどうすればよいですか？

たとえば、次の例で[a]を検索したいとします。

例：

  for(i=0;i<n;i++) 
        a[i]=a[i+1]+i; 

Answer 1

アレイのアクセスがgetelementptr指示によってモデル化されています。 だからあなたのようなもので基本ブロックを反復処理することができます：

for (BasicBlock::iterator i = blk->begin(), e = blk->end(); i != e; ++i) { 
    if(isa<GetElementPtrInst>(i)) { 
    // process it here 
    } 
}