mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-23 04:28:30 +00:00
Add assert to check dominance dfs numbers.
Compare the dominance information calculated using a dominance tree walk to the information calculated based on DFS numbers, if XDEBUG is enabled. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92969 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
365ccd3a91
commit
fde781b8d6
@ -390,6 +390,13 @@ public:
|
||||
if (A == 0 || B == 0)
|
||||
return false;
|
||||
|
||||
// Compare the result of the tree walk and the dfs numbers, if expensive
|
||||
// checks are enabled.
|
||||
#ifdef XDEBUG
|
||||
assert(!DFSInfoValid
|
||||
|| (dominatedBySlowTreeWalk(A, B) == B->DominatedBy(A)));
|
||||
#endif
|
||||
|
||||
if (DFSInfoValid)
|
||||
return B->DominatedBy(A);
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user