在基本塊中查找數組訪問

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