[PATCH] D67372: [LV] Support invariant addresses in speculation logic

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: hsaito, Ayal.
Herald added subscribers: rkruppe, bollu, mcrosier.
Herald added a project: LLVM.

Implement a TODO from rL371452 <https://reviews.llvm.org/rL371452>, and handle loop invariant addresses in predicated blocks.  If we can prove that the load is safe to speculate into the header, then we can avoid using a masked.load in favour of a normal load.

This is mostly about vectorization robustness.  In the common case, it's expected that LICM/LoadStorePromotion would have eliminated such loads entirely.


Repository:
  rL LLVM

https://reviews.llvm.org/D67372

Files:
  lib/Transforms/Vectorize/LoopVectorizationLegality.cpp
  test/Transforms/LoopVectorize/X86/load-deref-pred.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D67372.219435.patch
Type: text/x-patch
Size: 21950 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190909/b2e9a542/attachment.bin>