[PATCH] D79817: LoadStoreVectorizer: Match nested adds to prove vectorization is safe

[Volkan Keles via Phabricator via llvm-commits]

volkan created this revision.
volkan added reviewers: rtereshin, arsenm, jlebar.
Herald added subscribers: hiraditya, wdng.
Herald added a project: LLVM.

If both OpA and OpB is an add with NSW/NUW and with the same LHS operand,
we can guarantee that the transformation is safe if we can prove that OpA
won't overflow when IdxDiff added to the RHS of OpA.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D79817

Files:
  llvm/lib/Transforms/Vectorize/LoadStoreVectorizer.cpp
  llvm/test/Transforms/LoadStoreVectorizer/X86/vectorize-i8-nested-add.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D79817.263542.patch
Type: text/x-patch
Size: 7850 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200512/d86b6e1d/attachment.bin>