[PATCH] D71053: [LV] Take overhead of run-time checks into account during vectorization.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur added a comment.

In D71053#1878424 <https://reviews.llvm.org/D71053#1878424>, @fhahn wrote:

> IIUC, the basic idea is to enable vectorisation , if the cost of `runtime checks + vector cost < scalar cost`?  I think this might be too relaxed, as the cost of the RT checks have to be paid, even if they fail and we execute the scalar loop. And I guess the larger the number of checks, the larger the probability of one failing.


I think the general assumption is that these runtime checks will never fail in typical programs and only have to be added to not miscompile edge cases (array aliasing, unsigned overflow, MIN_INT).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71053