Add assert to check dominance dfs numbers.
authorTobias Grosser <grosser@fim.uni-passau.de>
Thu, 7 Jan 2010 23:50:41 +0000 (23:50 +0000)
committerTobias Grosser <grosser@fim.uni-passau.de>
Thu, 7 Jan 2010 23:50:41 +0000 (23:50 +0000)
commitfde781b8d6020c78bb2f3a59845dba251e84808d
tree4441c03e78a425e2e1e23d0c9730d5b606d15f8f
parent365ccd3a919b017f79140028dac15ef0c70641dd
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
include/llvm/Analysis/Dominators.h