[PATCH] D146138: [LoopIdiomRecognize] Precommit tests for store/loads that don't alias same memory location

[Elena Lepilkina via Phabricator via llvm-commits]

eklepilkina created this revision.
Herald added subscribers: jeroen.dobbelaere, hiraditya.
Herald added a project: All.
eklepilkina requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

[LoopIdiomRecognize] Optimize cases when loop contains extra stores and loads

The replacement with `memset` can be done only if there is no another instruction that aliases with optimized stores.
There are some cases when more precise memory access can be calculated for store and load instruction that allows to check aliasing of memory access more accurate and make optimizations in such cases.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D146138

Files:
  llvm/include/llvm/Analysis/AliasAnalysis.h
  llvm/lib/Analysis/AliasAnalysis.cpp
  llvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp
  llvm/test/Transforms/LoopIdiom/memset-location-alias.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D146138.505482.patch
Type: text/x-patch
Size: 23281 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230315/35441dbf/attachment.bin>