diff options
author | Duncan Sands <baldrick@free.fr> | 2009-05-22 08:52:53 +0000 |
---|---|---|
committer | Duncan Sands <baldrick@free.fr> | 2009-05-22 08:52:53 +0000 |
commit | d6752d1666fc040c368caba23372c116c1ed75c1 (patch) | |
tree | d4ea9609b6d223ff815716c035b392211759f505 /lib/VMCore/PassManager.cpp | |
parent | 0d56b06f86d6e1707aec9c7e1fd13f6e5301c209 (diff) |
Always verify dominfo if expensive checking is enabled.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72253 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/PassManager.cpp')
-rw-r--r-- | lib/VMCore/PassManager.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/VMCore/PassManager.cpp b/lib/VMCore/PassManager.cpp index 2e9fa53d0a..47999152c1 100644 --- a/lib/VMCore/PassManager.cpp +++ b/lib/VMCore/PassManager.cpp @@ -43,7 +43,12 @@ enum PassDebugLevel { None, Arguments, Structure, Executions, Details }; +// Always verify dominfo if expensive checking is enabled. +#ifdef XDEBUG +bool VerifyDomInfo = true; +#else bool VerifyDomInfo = false; +#endif static cl::opt<bool,true> VerifyDomInfoX("verify-dom-info", cl::location(VerifyDomInfo), cl::desc("Verify dominator info (time consuming)")); |