[PATCH] D75981: [LV] Allow large RT checks, if they are a fraction of the scalar cost.

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 354555.
fhahn added a comment.

I finally had some time to rebase this change and fix the fallout.

In D75981#2662881 <https://reviews.llvm.org/D75981#2662881>, @ebrevnov wrote:

> I don't really understand why we need this separate heuristic for runtime checks. Why don't we simply add cost of runtime checks (possibly with some small scaling to be safe) to total cost of vector loop and just use existing cost model to decide?

That's a good point, but I think that would be better as separate change, because that's a more aggressive change than replacing existing limit. IIUC that's more in line with your D71053 <https://reviews.llvm.org/D71053>.

> Please add regression tests from https://reviews.llvm.org/D71053 to this change set as well.

I'm not sure that there's much benefit at the moment, because there will be no changes. The focus of those tests seems to be more about vectorizing small trip count loops with an epilogue and not the cost of memory runtime checks (there are no memory runtime checks for the test I think)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D75981/new/

https://reviews.llvm.org/D75981

Files:
  llvm/lib/Transforms/Vectorize/LoopVectorizationPlanner.h
  llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
  llvm/test/Transforms/LoopVectorize/AArch64/runtime-check-size-based-threshold.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D75981.354555.patch
Type: text/x-patch
Size: 14486 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210625/7228491a/attachment.bin>