[PATCH] D12765: [LV] Allow vectorization of loops with induction post-inc expressions

[hfinkel@anl.gov via llvm-commits]

hfinkel added a subscriber: hfinkel.
hfinkel added a comment.

> The idea is that when an expression only differs by a constant from an existing one, we can say that it also exists (to be precise, there is a cheap way to expand it). However, I think it might be incorrect in some corner cases, so I'd like to check it with SCEV experts first. But anyway, even if it's not correct in this particular form, I think it should be possible to make it correct if we add some sanity checks, and I believe that's the way to go.


I agree that this is a good thing to do. Can you post the patch for this? I'd like to get Sanjoy to look at this.

That having been said, do you have a theoretical argument that IndVarSimplify can always fix this?


Repository:
  rL LLVM

http://reviews.llvm.org/D12765