[PATCH] D109280: [WIP][DSE] Memory intrinsics like memset, memcpy, memmove are removed if they are overwritten by a store in a loop

[Daniil Seredkin via Phabricator via llvm-commits]

vdsered updated this revision to Diff 406195.
vdsered added a comment.

0) Rebased

1. If EnableOptimizationAcrossLoops is false, then DSE does not run twice
2. Added two more negative tests cases
3. Removed loop transformations from this pass
4. Skip killing store which is not guaranteed to execute


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

https://reviews.llvm.org/D109280

Files:
  llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
  llvm/test/Transforms/DeadStoreElimination/Loop/loop-variant-store-and-dom-memory-intrinsic.ll
  llvm/test/Transforms/DeadStoreElimination/Loop/loop-variant-store-and-post-dom-memory-intrinsic.ll
  llvm/test/Transforms/DeadStoreElimination/Loop/loop-variant-store-negative-tests.ll
  llvm/test/Transforms/DeadStoreElimination/Loop/loop-variant-stores.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D109280.406195.patch
Type: text/x-patch
Size: 68627 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220205/b0dad00d/attachment.bin>