c - 确定数组的步幅

Question

我正在尝试对 LLVM 中的数组执行 LoopDependenceAnalysis。为此，我编写了 LLVM LoopPass。我能够使用 GetElementPtr 检测数组。我无法确定循环中使用的数组的步幅。

例如，我有 ac 代码

int b[10];
for(int i = 0; i < 10; i++)
{
    b[i] = b[i+2];
}

现在在两个数组访问中，第一个数组访问 (b[i] ) 的步幅为 0，而第二个的步幅为 2。如何确定这些值？