[PATCH] D137707: Move "auto-init" instructions to the dominator of their users

[serge via Phabricator via llvm-commits]

serge-sans-paille updated this revision to Diff 503256.
serge-sans-paille added a comment.

Use Alias Analysis to filter-out non clobbering memory accesses, as suggested by @nikic . Also added a test case (`clobber.ll`) to ensure this works as expected.


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

https://reviews.llvm.org/D137707

Files:
  llvm/include/llvm/Transforms/Utils/MoveAutoInit.h
  llvm/lib/Passes/PassBuilder.cpp
  llvm/lib/Passes/PassBuilderPipelines.cpp
  llvm/lib/Passes/PassRegistry.def
  llvm/lib/Transforms/Utils/CMakeLists.txt
  llvm/lib/Transforms/Utils/MoveAutoInit.cpp
  llvm/test/Other/new-pm-defaults.ll
  llvm/test/Other/new-pm-lto-defaults.ll
  llvm/test/Other/new-pm-thinlto-defaults.ll
  llvm/test/Other/new-pm-thinlto-postlink-pgo-defaults.ll
  llvm/test/Other/new-pm-thinlto-postlink-samplepgo-defaults.ll
  llvm/test/Other/new-pm-thinlto-prelink-pgo-defaults.ll
  llvm/test/Other/new-pm-thinlto-prelink-samplepgo-defaults.ll
  llvm/test/Transforms/MoveAutoInit/branch.ll
  llvm/test/Transforms/MoveAutoInit/clobber.ll
  llvm/test/Transforms/MoveAutoInit/fence.ll
  llvm/test/Transforms/MoveAutoInit/loop.ll
  llvm/test/Transforms/MoveAutoInit/scalar.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D137707.503256.patch
Type: text/x-patch
Size: 29287 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230308/1ce95ccd/attachment-0001.bin>