Debug.h 4.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126
  1. //===- llvm/Support/Debug.h - Easy way to add debug output ------*- C++ -*-===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. //
  9. // This file implements a handy way of adding debugging information to your
  10. // code, without it being enabled all of the time, and without having to add
  11. // command line options to enable it.
  12. //
  13. // In particular, just wrap your code with the LLVM_DEBUG() macro, and it will
  14. // be enabled automatically if you specify '-debug' on the command-line.
  15. // LLVM_DEBUG() requires the DEBUG_TYPE macro to be defined. Set it to "foo"
  16. // specify that your debug code belongs to class "foo". Be careful that you only
  17. // do this after including Debug.h and not around any #include of headers.
  18. // Headers should define and undef the macro acround the code that needs to use
  19. // the LLVM_DEBUG() macro. Then, on the command line, you can specify
  20. // '-debug-only=foo' to enable JUST the debug information for the foo class.
  21. //
  22. // When compiling without assertions, the -debug-* options and all code in
  23. // LLVM_DEBUG() statements disappears, so it does not affect the runtime of the
  24. // code.
  25. //
  26. //===----------------------------------------------------------------------===//
  27. #ifndef LLVM_SUPPORT_DEBUG_H
  28. #define LLVM_SUPPORT_DEBUG_H
  29. namespace llvm {
  30. class raw_ostream;
  31. #ifndef NDEBUG
  32. /// isCurrentDebugType - Return true if the specified string is the debug type
  33. /// specified on the command line, or if none was specified on the command line
  34. /// with the -debug-only=X option.
  35. ///
  36. bool isCurrentDebugType(const char *Type);
  37. /// setCurrentDebugType - Set the current debug type, as if the -debug-only=X
  38. /// option were specified. Note that DebugFlag also needs to be set to true for
  39. /// debug output to be produced.
  40. ///
  41. void setCurrentDebugType(const char *Type);
  42. /// setCurrentDebugTypes - Set the current debug type, as if the
  43. /// -debug-only=X,Y,Z option were specified. Note that DebugFlag
  44. /// also needs to be set to true for debug output to be produced.
  45. ///
  46. void setCurrentDebugTypes(const char **Types, unsigned Count);
  47. /// DEBUG_WITH_TYPE macro - This macro should be used by passes to emit debug
  48. /// information. In the '-debug' option is specified on the commandline, and if
  49. /// this is a debug build, then the code specified as the option to the macro
  50. /// will be executed. Otherwise it will not be. Example:
  51. ///
  52. /// DEBUG_WITH_TYPE("bitset", dbgs() << "Bitset contains: " << Bitset << "\n");
  53. ///
  54. /// This will emit the debug information if -debug is present, and -debug-only
  55. /// is not specified, or is specified as "bitset".
  56. #define DEBUG_WITH_TYPE(TYPE, X) \
  57. do { if (::llvm::DebugFlag && ::llvm::isCurrentDebugType(TYPE)) { X; } \
  58. } while (false)
  59. #else
  60. #define isCurrentDebugType(X) (false)
  61. #define setCurrentDebugType(X)
  62. #define setCurrentDebugTypes(X, N)
  63. #define DEBUG_WITH_TYPE(TYPE, X) do { } while (false)
  64. #endif
  65. /// This boolean is set to true if the '-debug' command line option
  66. /// is specified. This should probably not be referenced directly, instead, use
  67. /// the DEBUG macro below.
  68. ///
  69. extern bool DebugFlag;
  70. /// \name Verification flags.
  71. ///
  72. /// These flags turns on/off that are expensive and are turned off by default,
  73. /// unless macro EXPENSIVE_CHECKS is defined. The flags allow selectively
  74. /// turning the checks on without need to recompile.
  75. /// \{
  76. /// Enables verification of dominator trees.
  77. ///
  78. extern bool VerifyDomInfo;
  79. /// Enables verification of loop info.
  80. ///
  81. extern bool VerifyLoopInfo;
  82. /// Enables verification of MemorySSA.
  83. ///
  84. extern bool VerifyMemorySSA;
  85. ///\}
  86. /// EnableDebugBuffering - This defaults to false. If true, the debug
  87. /// stream will install signal handlers to dump any buffered debug
  88. /// output. It allows clients to selectively allow the debug stream
  89. /// to install signal handlers if they are certain there will be no
  90. /// conflict.
  91. ///
  92. extern bool EnableDebugBuffering;
  93. /// dbgs() - This returns a reference to a raw_ostream for debugging
  94. /// messages. If debugging is disabled it returns errs(). Use it
  95. /// like: dbgs() << "foo" << "bar";
  96. raw_ostream &dbgs();
  97. // DEBUG macro - This macro should be used by passes to emit debug information.
  98. // In the '-debug' option is specified on the commandline, and if this is a
  99. // debug build, then the code specified as the option to the macro will be
  100. // executed. Otherwise it will not be. Example:
  101. //
  102. // LLVM_DEBUG(dbgs() << "Bitset contains: " << Bitset << "\n");
  103. //
  104. #define LLVM_DEBUG(X) DEBUG_WITH_TYPE(DEBUG_TYPE, X)
  105. } // end namespace llvm
  106. #endif // LLVM_SUPPORT_DEBUG_H