diff options
| author | Jakub Kuderski <kubakuderski@gmail.com> | 2017-07-13 18:55:52 +0000 |
|---|---|---|
| committer | Jakub Kuderski <kubakuderski@gmail.com> | 2017-07-13 18:55:52 +0000 |
| commit | 3064fae5a6d062e71c5b45dc9e8f241811f9c209 (patch) | |
| tree | 4e76d2f38edbc1fb22ae0edfe968d2485c61bc04 /llvm/docs/CommandGuide | |
| parent | 89b2d7c938998f392eda9107356f7ddfa06430eb (diff) | |
| download | bcm5719-llvm-3064fae5a6d062e71c5b45dc9e8f241811f9c209.tar.gz bcm5719-llvm-3064fae5a6d062e71c5b45dc9e8f241811f9c209.zip | |
[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
llvm-svn: 307936
Diffstat (limited to 'llvm/docs/CommandGuide')
0 files changed, 0 insertions, 0 deletions
