[PATCH] D60833: [MemorySSA] Teach LoopSimplify to preserve MemorySSA.

[Alina Sbirlea via Phabricator via llvm-commits]

asbirlea created this revision.
Herald added subscribers: jsji, zzheng, kbarton, Prazek, javed.absar, jlebar, nemanjai.
Herald added a project: LLVM.

[DO NOT MERGE, DISCUSSION PENDING]

Add MemorySSA as a dependency for LoopSimplify and preserve it.
Update tests.

If AAResults is not required in LoopSimplify.cpp:766, the following test fails:
bin/opt -early-cse-memssa -loop-rotate -licm -loop-rotate -S test/CodeGen/PowerPC/no-dup-of-bdnz.ll -o -
Assertion failure:
lib/IR/LegacyPassManager.cpp:621: void llvm::PMTopLevelManager::setLastUser(ArrayRef<llvm::Pass *>, llvm::Pass *): Assertion `AnalysisPass && "Expected analysis pass to exist."' failed.


Repository:
  rL LLVM

https://reviews.llvm.org/D60833

Files:
  include/llvm/Analysis/MemorySSAUpdater.h
  include/llvm/Transforms/Utils/Local.h
  include/llvm/Transforms/Utils/LoopSimplify.h
  include/llvm/Transforms/Utils/LoopUtils.h
  lib/Analysis/MemorySSAUpdater.cpp
  lib/Target/PowerPC/PPCCTRLoops.cpp
  lib/Target/PowerPC/PPCLoopPreIncPrep.cpp
  lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
  lib/Transforms/Scalar/LoopInterchange.cpp
  lib/Transforms/Scalar/LoopUnrollPass.cpp
  lib/Transforms/Utils/LCSSA.cpp
  lib/Transforms/Utils/Local.cpp
  lib/Transforms/Utils/LoopSimplify.cpp
  lib/Transforms/Utils/LoopUnroll.cpp
  lib/Transforms/Utils/LoopUnrollPeel.cpp
  lib/Transforms/Vectorize/LoopVectorize.cpp
  test/CodeGen/AArch64/O3-pipeline.ll
  test/CodeGen/X86/O3-pipeline.ll
  test/Other/loop-pm-invalidation.ll
  test/Other/new-pass-manager.ll
  test/Other/opt-O2-pipeline.ll
  test/Other/opt-O3-pipeline.ll
  test/Other/opt-Os-pipeline.ll
  test/Transforms/LoopRotate/pr35210.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D60833.195599.patch
Type: text/x-patch
Size: 42155 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190417/4a0d4087/attachment-0001.bin>