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

Johannes Doerfert via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 18 01:30:31 PDT 2016

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.



More information about the llvm-commits mailing list