[PATCH] D97676: [DSE] Extending isOverwrite to support offsetted fully overlapping stores

[Matteo Favaro via Phabricator via llvm-commits]

fvrmatteo updated this revision to Diff 327784.
fvrmatteo added a comment.

The new diff just adds some additional tests, one showing that the DSE vector test proposed by @dfukalov is properly handled and two showing that non-fully overlapping stores are kept untouched. The unneeded short-circuit condition is also removed.

@fhahn Do you think it's worth to add other specific tests not involving plain integers, vectors and arrays? Do the non-overlapping tests show what you expected?


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

https://reviews.llvm.org/D97676

Files:
  llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp
  llvm/test/Transforms/DeadStoreElimination/MSSA/offsetted-overlapping-stores.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D97676.327784.patch
Type: text/x-patch
Size: 7894 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210303/12689960/attachment.bin>