libcruft-util/debug.hpp

480 lines
19 KiB
C++
Raw Normal View History

2011-05-23 17:18:52 +10:00
/*
2015-04-13 18:05:28 +10:00
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
2011-05-23 17:18:52 +10:00
*
2015-04-13 18:05:28 +10:00
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
2011-05-23 17:18:52 +10:00
*
2017-08-02 16:17:24 +10:00
* Copyright 2010-2017 Danny Robson <danny@nerdcruft.net>
2011-05-23 17:18:52 +10:00
*/
#ifndef __DEBUG_HPP
#define __DEBUG_HPP
//#include "maths.hpp" // XXX: See notes at the end of file for maths.hpp inclusion
2016-02-05 14:27:58 +11:00
#include <algorithm>
2015-08-10 15:41:34 +10:00
#include <stdexcept>
#include <string>
2011-05-23 17:18:52 +10:00
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
// it is fractionally easier to define a constexpr variable which can be used
// in constexpr-if to enable/disable some codepaths rather than deal with
// macros in some scenarios. eg, templates are complicated enough without
// (more) macros.
#if !defined(NDEBUG)
constexpr bool debug_enabled = true;
#else
constexpr bool debug_enabled = false;
#endif
2014-04-16 19:16:48 +10:00
///----------------------------------------------------------------------------
/// enable some code only if assertions et al are enabled
#define DEBUG_ONLY(X) do { if constexpr (debug_enabled) { X } } while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
#define EXIT_XSUCCESS 0
#define EXIT_XSKIP 77
#define EXIT_XHARD_ERROR 99
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define TRACE { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
2015-01-28 15:01:17 +11:00
std::cerr << __FILE__ << ":" << __func__ << ":" << __LINE__ << std::endl; \
); \
2011-07-16 14:47:10 +10:00
}
2015-01-28 15:01:17 +11:00
#define WARN(C) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
2015-01-28 15:01:17 +11:00
if (C) { \
std::cerr << __FILE__ << ":" << __func__ << ":" << __LINE__ << ", " << #C << std::endl; \
} \
); \
2011-11-04 16:50:41 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
#define _CHECK_PANIC(FMT,...) do { \
panic ("%s:%s:%i:%s\n" FMT, \
PACKAGE, __FILE__, __LINE__, __func__, \
__VA_ARGS__); \
} while(0)
2011-05-23 17:18:52 +10:00
///////////////////////////////////////////////////////////////////////////////
#define CHECK(C) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
if (!(C)) \
panic (#C); \
); \
} while (0)
2011-05-23 17:18:52 +10:00
2016-06-24 15:30:41 +10:00
///////////////////////////////////////////////////////////////////////////////
#define CHECK_SANITY(A) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
2016-06-24 15:30:41 +10:00
const auto &__a = (A); \
if (!::util::debug::is_valid (__a)) { \
2016-06-24 15:30:41 +10:00
_CHECK_PANIC("failed sanity test for %s, %!\n", #A, __a); \
} \
); \
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_EQ(A,B) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
const auto &__a = (A); \
const auto &__b = (B); \
\
if (!::util::almost_equal (__a, __b)) { \
_CHECK_PANIC("expected equality\n" \
"__a: %s is %!\n" \
"__b: %s is %!\n", \
#A, __a, \
#B, __b); \
} \
2015-01-28 15:01:17 +11:00
); \
2011-05-23 17:18:52 +10:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_LT(A,B) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
const auto &__a = (A); \
const auto &__b = (B); \
\
if (__a >= __b) { \
_CHECK_PANIC("expected less than\n" \
"__a: %s is %!\n" \
"__b: %s is %!\n", \
#A, __a, \
#B, __b); \
}; \
2015-01-28 15:01:17 +11:00
); \
2012-11-09 15:11:18 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_LE(A,B) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
const auto &__a = (A); \
const auto &__b = (B); \
\
if (__a > __b) { \
_CHECK_PANIC("expected less than or equal\n" \
"__a: %s is %!\n" \
"__b: %s is %!\n", \
#A, __a, \
#B, __b); \
} \
2015-01-28 15:01:17 +11:00
); \
2014-02-12 17:05:37 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_GT(A,B) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
const auto &__a = (A); \
const auto &__b = (B); \
\
if (__a <= __b) { \
_CHECK_PANIC ("expected greater than\n" \
"__a: %s is %!\n" \
"__b: %s is %!\n", \
#A, __a, \
#B, __b); \
} \
2015-01-28 15:01:17 +11:00
); \
2012-11-09 15:11:18 +11:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_GE(A,B) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
const auto &__a = (A); \
const auto &__b = (B); \
\
if (__a < __b) { \
_CHECK_PANIC ("expected greater or equal\n" \
"__a: %s is %!\n" \
"__b: %s is %!\n", \
#A, __a, \
#B, __b); \
}; \
2015-01-28 15:01:17 +11:00
); \
2014-02-12 17:05:37 +11:00
} while (0)
2015-05-29 15:51:25 +10:00
///////////////////////////////////////////////////////////////////////////////
#define CHECK_LIMIT(V,L,H) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
const auto &__v = (V); \
const auto &__l = (L); \
const auto &__h = (H); \
\
if (__v < __l || __v > __h) { \
_CHECK_PANIC ("expected limit\n" \
"__l: %s is %!\n" \
"__h: %s is %!\n" \
"__v: %s is %!\n", \
#L, __l, \
#H, __h, \
#V, __v); \
}; \
); \
2015-05-29 15:51:25 +10:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2015-01-28 15:01:17 +11:00
#define CHECK_NEQ(A,B) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY( \
const auto &__a = (A); \
const auto &__b = (B); \
\
if (::util::almost_equal (__a, __b)) { \
_CHECK_PANIC ("expected inequality\n" \
"__a: %s is %!\n" \
"__b: %s is %!\n", \
#A, __a, \
#B, __b); \
}; \
2015-01-28 15:01:17 +11:00
); \
2011-05-23 17:18:52 +10:00
} while (0)
///////////////////////////////////////////////////////////////////////////////
#define CHECK_ZERO(A) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
const auto &__a = (A); \
\
if (!::util::almost_zero (__a)) { \
_CHECK_PANIC ("expected zero\n" \
"__a: %s is %!\n" \
#A, __a); \
}; \
); \
} while (0)
2015-02-05 20:35:11 +11:00
///////////////////////////////////////////////////////////////////////////////
#define CHECK_NEZ(A) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
const auto &__a = (A); \
\
if (::util::exactly_zero (__a)) \
2017-08-02 16:17:24 +10:00
_CHECK_PANIC ("expected non-zero\n" \
"__a: %s is %!", \
#A, __a); \
2015-02-05 20:35:11 +11:00
); \
} while (0)
2016-08-03 18:12:05 +10:00
///////////////////////////////////////////////////////////////////////////////
#define CHECK_MOD(V,M) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
2016-08-03 18:12:05 +10:00
const auto &__check_mod_v = (V); \
const auto &__check_mod_m = (M); \
\
if (!::util::exactly_zero (__check_mod_v % __check_mod_m)) \
2016-08-03 18:12:05 +10:00
_CHECK_PANIC ("expected zero modulus\n" \
"__v: %s is %!\n" \
"__m: %s is %!", \
#V, __check_mod_v, \
#M, __check_mod_m); \
); \
} while (0)
2016-02-05 14:27:58 +11:00
///////////////////////////////////////////////////////////////////////////////
#if defined(ENABLE_DEBUGGING)
#define CHECK_ENUM(C, ...) do { \
const auto &__c = (C); \
const auto &__e = { __VA_ARGS__ }; \
\
if (std::find (std::cbegin (__e), \
std::cend (__e), \
__c) == std::end (__e)) { \
2016-02-05 14:27:58 +11:00
_CHECK_PANIC("expect enum\n" \
"__c: %s is %!", \
2016-02-05 14:27:58 +11:00
#C, __c); \
} \
} while (0)
#else
#define CHECK_ENUM(C,...)
#endif
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
#define CHECK_THROWS(E,C) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
bool caught = false; \
\
try \
{ C; } \
catch (E) \
{ caught = true; } \
\
if (!caught) \
_CHECK_PANIC ("expected exception: %s", #E); \
); \
2011-05-23 17:18:52 +10:00
} while (0)
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
#define CHECK_NOTHROW(C) do { \
2016-12-21 20:22:11 +11:00
DEBUG_ONLY ( \
try { \
C; \
} catch (const std::exception &e) { \
_CHECK_PANIC ("unexpected exception: %s", \
e.what ()); \
} catch (...) { \
_CHECK_PANIC ("unexpected exception: %s", \
"unknown"); \
} \
); \
2012-06-20 16:47:48 +10:00
} while (0)
///////////////////////////////////////////////////////////////////////////////
/// make the compiler think a particular variable may now be aliased somewhere.
///
/// useful for preventing optimisations eliding a variable.
///
/// stolen from Chandler Carruth's 2015 talk: "Tuning C++".
namespace util::debug {
template <class T>
inline T*
escape (T *t)
{
asm volatile ("": : "g"(t): "memory");
return t;
}
template <class T>
inline const T*
escape (const T *t)
{
asm volatile ("": : "g"(t): "memory");
return t;
}
template <class T>
inline const T&
escape (const T &t)
{
return *escape (&t);
}
template <class T>
inline T&
escape (T &t)
{
return *escape (&t);
}
template <typename T, typename ...Args>
inline void
escape (T t, Args ...args)
{
escape (t);
escape (args...);
}
}
///////////////////////////////////////////////////////////////////////////////
/// force the compiler to conceptually dirty the global memory space.
///
/// stolen from Chandler Carruth's 2015 talk: "Tuning C++".
namespace util::debug {
inline void
clobber (void)
{
asm volatile ("": : : "memory");
}
}
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
constexpr void panic [[noreturn]] (const char*);
2011-05-23 17:18:52 +10:00
template <typename ...Args, size_t N>
constexpr
void panic [[noreturn]] (const char (&fmt)[N], const Args&...);
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
constexpr void not_implemented [[noreturn]] (void);
constexpr void not_implemented [[noreturn]] (const char *msg);
constexpr void unimplemented [[noreturn]] (void) { not_implemented (); }
constexpr void unimplemented [[noreturn]] (const char *msg) { not_implemented (msg); }
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
constexpr void unreachable [[noreturn]] (void);
constexpr void unreachable [[noreturn]] (const char*);
///////////////////////////////////////////////////////////////////////////////
void warn (void);
void warn (const std::string&);
void warn (const char *);
2011-05-23 17:18:52 +10:00
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2011-05-23 17:18:52 +10:00
void breakpoint (void);
void await_debugger (void);
void prepare_debugger (void);
void force_console (void);
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
void enable_fpe (void);
void disable_fpe (void);
2014-04-16 19:16:48 +10:00
///////////////////////////////////////////////////////////////////////////////
2017-01-05 15:06:49 +11:00
namespace util::debug {
void init (void);
2015-02-13 17:30:19 +11:00
template <typename T>
struct validator {
static bool is_valid (const T&);
};
template <typename T>
bool is_valid (const T &t)
{ return validator<T>::is_valid (t); }
2015-02-13 17:30:19 +11:00
template <
template<size_t, typename...> class T,
size_t S,
typename ...Args
>
struct validator<T<S,Args...>> {
static bool is_valid (const T<S,Args...>&);
2015-02-13 17:30:19 +11:00
};
template <
template<size_t,typename...> class T,
size_t S,
typename ...Args
>
bool is_valid (const T<S,Args...> &v)
{ return validator<T<S,Args...>>::is_valid (v); }
2015-02-13 17:30:19 +11:00
template <typename T>
void sanity (const T &t)
{
(void)t;
CHECK (is_valid (t));
}
2015-02-13 17:30:19 +11:00
template <
template<typename...> class T,
typename ...Args
>
2015-02-13 17:30:19 +11:00
void sanity (const T<Args...> &t)
{
(void)t;
CHECK (is_valid (t));
}
2017-01-05 15:06:49 +11:00
}
#include "./debug.ipp"
///////////////////////////////////////////////////////////////////////////////
// XXX: maths needs to be included so that CHECK_EQ/NEQ can call almost_equal,
// but maths.hpp might be using CHECK_ macros so we must include maths.hpp
// after we define the CHECK_ macros so the preprocessor can resolve them.
#include "./maths.hpp"
2011-05-23 17:18:52 +10:00
#endif // __DEBUG_HPP