在基本块中查找数组访问

Question

如何检查基本块中是否有数组访问？

例如，我想在以下示例中找到[i]。

例如：

  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 
    } 
}