[PATCH] D41302: [LoopSimplify] Preserve Post Dom Trees across Loop Simplify

[Dave Green via Phabricator via llvm-commits]

dmgreen updated this revision to Diff 131283.
dmgreen edited the summary of this revision.
dmgreen added subscribers: davide, dberlin, kuhar.
dmgreen added a comment.

I don't know what people will think of the interfaces for SplitBlockPredecessors and simplifyLoop. Let me know if theres a better way I should be doing that. I also removed the old splitBlock from Dominator trees, replacing it with a series of deferred updates. And I made DeferredDominator flush in it's deconstructor. And I may need to move DeferredDominance into Analysis to use PostDomTrees - I'll check this.


https://reviews.llvm.org/D41302

Files:
  include/llvm/Analysis/PostDominators.h
  include/llvm/CodeGen/MachineDominators.h
  include/llvm/IR/Dominators.h
  include/llvm/Support/GenericDomTree.h
  include/llvm/Transforms/Utils/BasicBlockUtils.h
  include/llvm/Transforms/Utils/LoopSimplify.h
  include/llvm/Transforms/Utils/LoopUtils.h
  lib/IR/Dominators.cpp
  lib/Transforms/Scalar/LoopStrengthReduce.cpp
  lib/Transforms/Utils/BasicBlockUtils.cpp
  lib/Transforms/Utils/BreakCriticalEdges.cpp
  lib/Transforms/Utils/LoopSimplify.cpp
  lib/Transforms/Utils/LoopUtils.cpp
  test/Transforms/LoopSimplify/2004-04-13-LoopSimplifyUpdateDomFrontier.ll
  test/Transforms/LoopSimplify/2010-07-15-IncorrectDomFrontierUpdate.ll
  test/Transforms/LoopSimplify/indirectbr.ll
  test/Transforms/LoopSimplify/merge-exits.ll
  test/Transforms/LoopSimplify/preserve-pdt.ll
  test/Transforms/LoopSimplify/unreachable-loop-pred.ll
  unittests/IR/DeferredDominanceTest.cpp
  unittests/Transforms/Scalar/LoopPassManagerTest.cpp
  unittests/Transforms/Utils/Local.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D41302.131283.patch
Type: text/x-patch
Size: 47402 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180124/3d3a0232/attachment.bin>