diff options
| author | Jakub Kuderski <kubakuderski@gmail.com> | 2017-06-29 17:45:51 +0000 |
|---|---|---|
| committer | Jakub Kuderski <kubakuderski@gmail.com> | 2017-06-29 17:45:51 +0000 |
| commit | f92233652ebedd95ff49bc487cbf99dca90ea428 (patch) | |
| tree | 3f13a507b8d279f8cf29989b7ee8c08628db082c /llvm/lib/Support/ThreadPool.cpp | |
| parent | ff3227e77d559a2e44debe959910fbcc9f7806d6 (diff) | |
| download | bcm5719-llvm-f92233652ebedd95ff49bc487cbf99dca90ea428.tar.gz bcm5719-llvm-f92233652ebedd95ff49bc487cbf99dca90ea428.zip | |
[Dominators] Add parent and sibling property verification (non-hacky)
Summary:
This patch adds an additional level of verification - it checks parent and sibling properties of a tree. By definition, every tree with these two properties is a dominator tree.
It is possible to run those check by running llvm with `-verify-dom-info=1`.
Bootstrapping clang and building the llvm test suite with this option enabled doesn't yield any errors.
Reviewers: dberlin, sanjoy, chandlerc
Reviewed By: dberlin
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D34482
llvm-svn: 306711
Diffstat (limited to 'llvm/lib/Support/ThreadPool.cpp')
0 files changed, 0 insertions, 0 deletions
