]> granicus.if.org Git - llvm/commit
[Dominators] Remove the NCA check
authorJakub Kuderski <kubakuderski@gmail.com>
Sat, 14 Oct 2017 03:00:56 +0000 (03:00 +0000)
committerJakub Kuderski <kubakuderski@gmail.com>
Sat, 14 Oct 2017 03:00:56 +0000 (03:00 +0000)
commita1b8a235837c5a62ee2c33e987a9820bd7a01bb5
treeadc9367681cc213695c375269906aea08e72c032
parent5371945eb169bef20d5636934d4305aabfc3917a
[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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@315790 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Support/GenericDomTreeConstruction.h