diff options
| author | Jakub Kuderski <kubakuderski@gmail.com> | 2017-10-14 03:00:56 +0000 |
|---|---|---|
| committer | Jakub Kuderski <kubakuderski@gmail.com> | 2017-10-14 03:00:56 +0000 |
| commit | 369e85a9002a368a9a37fec09761724868246296 (patch) | |
| tree | d2cd9e818d7bbcf508169035c191fc6e33a93d70 /llvm/test/Assembler | |
| parent | 1963f51f14093fa036d1c6a06c4f10fc0a5e82c1 (diff) | |
| download | bcm5719-llvm-369e85a9002a368a9a37fec09761724868246296.tar.gz bcm5719-llvm-369e85a9002a368a9a37fec09761724868246296.zip | |
[Dominators] Remove the NCA check
Summary:
This patch removes the `verifyNCD` check.
The reason for this is that the other checks are sufficient to prove or disprove correctness of any DominatorTree, and that `verifyNCD` doesn't provide (in my option) better error messages then the other ones.
Additionally, this should give a (small) improvement to the total verification time, as the check is O(n), and checking the sibling property takes O(n^3).
Reviewers: dberlin, grosser, davide, brzycki
Reviewed By: brzycki
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D38802
llvm-svn: 315790
Diffstat (limited to 'llvm/test/Assembler')
0 files changed, 0 insertions, 0 deletions
