diff options
| author | Jakub Kuderski <kubakuderski@gmail.com> | 2017-06-30 21:51:43 +0000 |
|---|---|---|
| committer | Jakub Kuderski <kubakuderski@gmail.com> | 2017-06-30 21:51:43 +0000 |
| commit | 3214633ebf9d6d40acb721876d76970d209e680a (patch) | |
| tree | 6e57835ace4569de3d91dde36a048129edbbd3db /llvm/lib/Analysis/IteratedDominanceFrontier.cpp | |
| parent | b88303a2c9988f91a1532e2a213713a26c3dcc6a (diff) | |
| download | bcm5719-llvm-3214633ebf9d6d40acb721876d76970d209e680a.tar.gz bcm5719-llvm-3214633ebf9d6d40acb721876d76970d209e680a.zip | |
[Dominators] Add NearestCommonDominator verification
Summary:
This patch adds another verification function for checking correctness of findNearestCommonDominator.
For every edge from U to V in the input graph, `NCD(U, V) == IDom(V) or V` -- the new function checks this condition.
Reviewers: dberlin, sanjoy, chandlerc
Reviewed By: dberlin
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D34575
llvm-svn: 306893
Diffstat (limited to 'llvm/lib/Analysis/IteratedDominanceFrontier.cpp')
0 files changed, 0 insertions, 0 deletions
