llvm - LLVM indvars パス

Question

私は-indvarsLLVMでパスを使用しています。可能であれば、ループカウンターを0から開始させるということです。単純なループに使用しましたが、ループカウントを0から開始しません。なぜそうなのですか?

ループは

for(i=30;i<90;++i){
        a1[i]=i*2;
        a1[i]=a1[i]+1;;
}

Answer 1

掘り下げた後、-indvars他のほとんどのパスが正規ループを必要とせずに機能するようになったため、パスが誘導変数を正規化しないことがわかりました。

ただし、私のパスではループが正規の形式である必要があったため、古いインダクション変数がパスを簡素化し、ファイルに明示的に含まれていることがわかりました。

誰かが興味を持っているなら、ここに古いパスがあります。