[PATCH] D25706: [ScopInfo] Generate runtime alias check for non-affine memory references.

[Johannes Doerfert via llvm-commits]

jdoerfert added a comment.

While I agree with the commit message, I am not aware of any real benefit this will provide us given that we only leverage the constant range ScalarEvolution range analysis. If we would use a better one, e.g., along the lines of https://reviews.llvm.org/D20230, I think this patch does make sense.

This opinion was basically written down in the code:

  // Check if we have non-affine accesses left, if so bail out as we cannot
  // generate a good access range yet.




Repository:
  rL LLVM

https://reviews.llvm.org/D25706