[PATCH] D11725: [DependenceAnalysis] Ensure All Recurrences are Affine

[Vaivaswatha Nagaraj via llvm-commits]

vaivaswatha added a comment.

> > What is the difference between DependenceAnalysis::tryDelinearize and ScalarEvolution::delinearize?

> 

> 

> As far as I know, there shouldn't be a difference here regarding the actual computation. In fact, before the most recent rewrite that split the computation into 3 phases, tryDelinearize called delinearize directly. Perhaps @sebpop can provide more insight. Otherwise, I will look into restoring that feature to avoid duplication.


It looks like calling ScalarEvolution::delinearize is not the same as what is happening here. findArrayDimensions() here is being called with the Terms from both Src and Dst. This is probably not the same as calling it separately (which is what would happen if ScalarEvolution::delinearize is called).


http://reviews.llvm.org/D11725