OSDN Git Service

(root) / android-x86 / external-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47999fe) | patch
[Dominators] Improve reachability verification
authorJakub Kuderski <kubakuderski@gmail.com>
Thu, 13 Jul 2017 18:55:52 +0000 (18:55 +0000)
committerJakub Kuderski <kubakuderski@gmail.com>
Thu, 13 Jul 2017 18:55:52 +0000 (18:55 +0000)
commit1745e246f8210b7d823be3d78599479f88a97634
treebd2365ed973ff3d2650a902e57a454092e94855etree | snapshot
parent47999fef49d1fe2d29d5ee9dbac83e6e3de2ce14commit | diff
[Dominators] Improve reachability verification

Summary:
This patch improves verification by making `verifyReachablility` look for CFG not found in the DomTree.
It also makes the verification work with postdominators by handling virtual root.

Reviewers: dberlin, davide, grosser, sanjoy

Reviewed By: dberlin

Subscribers: llvm-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@307936 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Support/GenericDomTree.h diff | blob | history
include/llvm/Support/GenericDomTreeConstruction.h diff | blob | history
external/llvm
About OSDN
Find Software
Develop Software
Help