[PATCH] D36135: [RFC] Make infinite loops available in postdom tree, but do not connect them to thereverse reachable part of the CFG

[Tobias Grosser via Phabricator via llvm-commits]

grosser created this revision.
Herald added a subscriber: david2050.

This patch is not intended for submission, but to illustrate my comments in
https://reviews.llvm.org/D35851. Please use https://reviews.llvm.org/D35851 for the discussion.

The difference to https://reviews.llvm.org/D35851 is that we connect unreachable parts to the CFG, but
that we disconnect these very parts from the reachable part of the CFG. As
such, they do not affect the dominance relations in the reachable part of the
CFG, but are still modeled in the PDT.


https://reviews.llvm.org/D36135

Files:
  include/llvm/IR/Dominators.h
  include/llvm/Support/GenericDomTree.h
  include/llvm/Support/GenericDomTreeConstruction.h
  lib/Transforms/Scalar/ADCE.cpp
  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_4.ll
  test/Analysis/RegionInfo/infinite_loop_5_a.ll
  unittests/IR/DominatorTreeTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D36135.109076.patch
Type: text/x-patch
Size: 44804 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170801/204c90df/attachment.bin>