[PATCH] D38785: [LV/LAA] Avoid specializing a loop for stride=1 when this predicate implies a single-iteration loop
Silviu Baranga via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Nov 2 03:07:02 PDT 2017
silviu.baranga added a comment.
I agree that this a strict improvement.
However it seems like stride versioning might be the bigger problem. Here it doesn't help us with the dependence analysis and it adds a run-time check with a very high probability of not being validated. Probably a cost analysis that takes into account the probability of execution of the versioned loop wouldn't find stride versioning profitable, even if it did pass the added condition. In addition it causes issues such as this one. Maybe we should only use it if it somehow helps with the dependence analysis, otherwise using scatter/gather might always better.
https://reviews.llvm.org/D38785
More information about the llvm-commits
mailing list