[Dominators] Add the DomTreeUpdater class
authorJakub Kuderski <kubakuderski@gmail.com>
Mon, 2 Jul 2018 15:37:41 +0000 (15:37 +0000)
committerJakub Kuderski <kubakuderski@gmail.com>
Mon, 2 Jul 2018 15:37:41 +0000 (15:37 +0000)
commite813a9b380d8a631f0e7835baa628e6da5c415ce
tree1d8d8410deb18509b36e42bee4a98f382492e608
parent2bc8e079f2202ce6f223d034ed2dde141f7eec60
[Dominators] Add the DomTreeUpdater class

Summary:
This patch is the first in a series of patches related to the [[ http://lists.llvm.org/pipermail/llvm-dev/2018-June/123883.html | RFC - A new dominator tree updater for LLVM ]].

This patch introduces the DomTreeUpdater class, which provides a cleaner API to perform updates on available dominator trees (none, only DomTree, only PostDomTree, both) using different update strategies (eagerly or lazily) to simplify the updating process.

—Prior to the patch—

   - Directly calling update functions of DominatorTree updates the data structure eagerly while DeferredDominance does updates lazily.
   - DeferredDominance class cannot be used when a PostDominatorTree also needs to be updated.
   - Functions receiving DT/DDT need to branch a lot which is currently necessary.
   - Functions using both DomTree and PostDomTree need to call the update function separately on both trees.
   - People need to construct an additional DeferredDominance class to use functions only receiving DDT.

—After the patch—

Patch by Chijun Sima <simachijun@gmail.com>.

Reviewers: kuhar, brzycki, dmgreen, grosser, davide

Reviewed By: kuhar, brzycki

Subscribers: vsk, mgorny, llvm-commits

Author: NutshellySima

Differential Revision: https://reviews.llvm.org/D48383

llvm-svn: 336114
llvm/include/llvm/IR/DomTreeUpdater.h [new file with mode: 0644]
llvm/include/llvm/module.modulemap
llvm/lib/IR/CMakeLists.txt
llvm/lib/IR/DomTreeUpdater.cpp [new file with mode: 0644]
llvm/unittests/IR/CMakeLists.txt
llvm/unittests/IR/DomTreeUpdaterTest.cpp [new file with mode: 0644]