[PATCH] D93042: [noalias.decl] Look through llvm.experimental.noalias.scope.decl

[Jeroen Dobbelaere via Phabricator via llvm-commits]

jeroen.dobbelaere updated this revision to Diff 316993.
jeroen.dobbelaere edited the summary of this revision.
jeroen.dobbelaere added a comment.

The guidance for these changes are mostly based on '::assume'. For some changes, I did not find a corresponding (breaking) assume test, so I did not add one for ::experimental_noalias_scope_decl.
For the others I did add testcases.
The change in BasicAliasAnalysis seemed not to be needed to get the testcase working, so I removed the BasicAliasAnalysis changes, but kept the testcase.
For the Vectorization. I currently focused on still allowing vectorization and reducing the amount of intrinsics duplication. It is likely that some finetuning will be needed in future to tackle correctness, but, with this patch, the situation should not be worse that what it is today.


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

https://reviews.llvm.org/D93042

Files:
  llvm/include/llvm/Analysis/TargetTransformInfoImpl.h
  llvm/include/llvm/Analysis/VectorUtils.h
  llvm/lib/Analysis/AliasSetTracker.cpp
  llvm/lib/Analysis/MemorySSA.cpp
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/lib/Analysis/VectorUtils.cpp
  llvm/lib/CodeGen/Analysis.cpp
  llvm/lib/Transforms/Scalar/EarlyCSE.cpp
  llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp
  llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
  llvm/test/Analysis/AliasSet/intrinsics.ll
  llvm/test/Analysis/BasicAA/noalias-scope-decl.ll
  llvm/test/Analysis/CostModel/X86/free-intrinsics.ll
  llvm/test/Analysis/CostModel/free-intrinsics-datalayout.ll
  llvm/test/Analysis/CostModel/free-intrinsics-no_info.ll
  llvm/test/Analysis/MemorySSA/noalias-scope-decl.ll
  llvm/test/Transforms/EarlyCSE/noalias_scope_decl.ll
  llvm/test/Transforms/LoopVectorize/noalias-scope-decl.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D93042.316993.patch
Type: text/x-patch
Size: 27265 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210115/58073c54/attachment.bin>