[PATCH] D35851: [Dominators] Include infinite loops in PostDominatorTree

[Jakub Kuderski via Phabricator via llvm-commits]

kuhar updated this revision to Diff 108151.
kuhar added a comment.

Don't recalculate the whole tree when a deletion makes a CFG node reverse-unreachable.


https://reviews.llvm.org/D35851

Files:
  include/llvm/Support/GenericDomTree.h
  include/llvm/Support/GenericDomTreeConstruction.h
  lib/Transforms/Scalar/ADCE.cpp
  test/Analysis/PostDominators/pr24415.ll
  test/Analysis/PostDominators/pr6047_a.ll
  test/Analysis/PostDominators/pr6047_b.ll
  test/Analysis/PostDominators/pr6047_c.ll
  test/Analysis/PostDominators/pr6047_d.ll
  test/Analysis/RegionInfo/infinite_loop.ll
  test/Analysis/RegionInfo/infinite_loop_2.ll
  test/Analysis/RegionInfo/infinite_loop_3.ll
  test/Analysis/RegionInfo/infinite_loop_4.ll
  test/Analysis/RegionInfo/infinite_loop_5_a.ll
  test/Analysis/RegionInfo/infinite_loop_5_b.ll
  test/Transforms/StructurizeCFG/branch-on-argument.ll
  test/Transforms/StructurizeCFG/no-branch-to-entry.ll
  unittests/IR/DominatorTreeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D35851.108151.patch
Type: text/x-patch
Size: 36413 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170725/1f395732/attachment.bin>