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
|
|
|
*
|
2015-10-29 10:43:41 +11:00
|
|
|
* Copyright 2010-2015 Danny Robson <danny@nerdcruft.net>
|
2011-05-23 17:18:52 +10:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef __DEBUG_HPP
|
|
|
|
#define __DEBUG_HPP
|
|
|
|
|
2015-02-05 20:35:25 +11:00
|
|
|
//#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
|
|
|
|
2016-02-03 12:04:47 +11:00
|
|
|
|
2014-04-16 19:16:48 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2012-05-03 18:11:17 +10:00
|
|
|
#ifdef ENABLE_DEBUGGING
|
2015-01-28 15:01:17 +11:00
|
|
|
#define DEBUG_ONLY(X) do { \
|
|
|
|
X \
|
|
|
|
} while (0)
|
2012-05-03 18:11:17 +10:00
|
|
|
#else
|
|
|
|
#define DEBUG_ONLY(X)
|
|
|
|
#endif
|
2012-04-12 14:06:59 +10:00
|
|
|
|
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 { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
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 { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
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
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2016-02-03 12:04:47 +11:00
|
|
|
#define _CHECK_PANIC(FMT,...) do { \
|
|
|
|
panic ("%s:%s:%i:%s\n" FMT, \
|
|
|
|
PACKAGE, __FILE__, __LINE__, __FUNCTION__, \
|
|
|
|
__VA_ARGS__); \
|
|
|
|
} while(0)
|
2011-05-23 17:18:52 +10:00
|
|
|
|
|
|
|
|
2015-01-28 14:49:34 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2016-02-03 12:04:47 +11:00
|
|
|
#define CHECK(C) do { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
if (!(C)) \
|
2016-04-19 14:50:13 +10:00
|
|
|
panic (#C); \
|
2016-02-03 12:04:47 +11:00
|
|
|
); \
|
|
|
|
} while (0)
|
2011-05-23 17:18:52 +10:00
|
|
|
|
2016-06-24 15:30:41 +10:00
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
#define CHECK_SANITY(A) do { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto &__a = (A); \
|
|
|
|
if (!util::debug::valid (__a)) { \
|
|
|
|
_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 { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto __a = (A); \
|
|
|
|
const auto __b = (B); \
|
2016-02-03 12:04:47 +11:00
|
|
|
\
|
|
|
|
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 { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto __a = (A); \
|
|
|
|
const auto __b = (B); \
|
2016-02-03 12:04:47 +11:00
|
|
|
\
|
|
|
|
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 { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto __a = (A); \
|
|
|
|
const auto __b = (B); \
|
2016-02-03 12:04:47 +11:00
|
|
|
\
|
|
|
|
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 { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto __a = (A); \
|
|
|
|
const auto __b = (B); \
|
2016-02-03 12:04:47 +11:00
|
|
|
\
|
|
|
|
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 { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto __a = (A); \
|
|
|
|
const auto __b = (B); \
|
2016-02-03 12:04:47 +11:00
|
|
|
\
|
|
|
|
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
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2016-02-03 12:04:47 +11:00
|
|
|
#define CHECK_LIMIT(V,L,H) do { \
|
|
|
|
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", \
|
|
|
|
#H, __h, \
|
|
|
|
#L, __l, \
|
|
|
|
#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 { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto __a = (A); \
|
|
|
|
const auto __b = (B); \
|
2016-02-03 12:04:47 +11:00
|
|
|
\
|
|
|
|
if (util::almost_equal (__a, __b)) { \
|
|
|
|
_CHECK_PANIC ("expected inequality\n" \
|
2016-06-20 13:07:10 +10:00
|
|
|
"__a: %s is %!\n" \
|
|
|
|
"__b: %s is %!\n", \
|
2016-02-03 12:04:47 +11:00
|
|
|
#A, __a, \
|
|
|
|
#B, __b); \
|
|
|
|
}; \
|
2015-01-28 15:01:17 +11:00
|
|
|
); \
|
2011-05-23 17:18:52 +10:00
|
|
|
} while (0)
|
|
|
|
|
|
|
|
|
2015-02-13 18:02:09 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
#define CHECK_ZERO(A) do { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto __a = (A); \
|
2016-02-03 12:04:47 +11:00
|
|
|
\
|
|
|
|
if (!util::almost_zero (__a)) { \
|
|
|
|
_CHECK_PANIC ("expected zero\n" \
|
2016-06-20 13:07:10 +10:00
|
|
|
"__a: %s is %!\n" \
|
2016-02-03 12:04:47 +11:00
|
|
|
#A, __a); \
|
|
|
|
}; \
|
2015-02-13 18:02:09 +11:00
|
|
|
); \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
|
2015-02-05 20:35:11 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
#define CHECK_NEZ(A) do { \
|
|
|
|
DEBUG_ONLY( \
|
|
|
|
const auto __a = (A); \
|
2016-02-03 12:04:47 +11:00
|
|
|
if (util::exactly_zero (__a)) \
|
|
|
|
_CHECK_PANIC ("expected zero\n" \
|
|
|
|
"__a: %s is %!", \
|
|
|
|
#A, __a); \
|
2015-02-05 20:35:11 +11:00
|
|
|
); \
|
|
|
|
} 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), \
|
2016-02-12 12:57:23 +11:00
|
|
|
__c) == std::end (__e)) { \
|
2016-02-05 14:27:58 +11:00
|
|
|
_CHECK_PANIC("expect enum\n" \
|
2016-02-12 12:57:53 +11:00
|
|
|
"__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
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2016-02-03 12:04:47 +11:00
|
|
|
#define CHECK_THROWS(E,C) do { \
|
|
|
|
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
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2016-02-03 12:04:47 +11:00
|
|
|
#define CHECK_NOTHROW(C) do { \
|
|
|
|
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)
|
|
|
|
|
|
|
|
|
2014-04-16 19:16:48 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2015-10-29 10:43:41 +11:00
|
|
|
constexpr void panic [[noreturn]] (const char*);
|
2011-05-23 17:18:52 +10:00
|
|
|
|
2016-02-03 12:04:47 +11:00
|
|
|
template <typename ...Args>
|
|
|
|
constexpr void panic [[noreturn]] (const char *fmt, const Args&...);
|
|
|
|
|
2012-08-10 17:40:19 +10:00
|
|
|
|
2014-04-16 19:16:48 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2015-10-29 10:43:41 +11:00
|
|
|
constexpr void not_implemented [[noreturn]] (void);
|
|
|
|
constexpr void not_implemented [[noreturn]] (const char *msg);
|
2012-06-04 14:50:58 +10:00
|
|
|
|
2016-02-10 13:05:53 +11:00
|
|
|
constexpr void unimplemented [[noreturn]] (void) { not_implemented (); }
|
|
|
|
constexpr void unimplemented [[noreturn]] (const char *msg) { not_implemented (msg); }
|
|
|
|
|
2012-08-10 17:40:19 +10:00
|
|
|
|
2014-04-16 19:16:48 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2015-10-29 10:43:41 +11:00
|
|
|
constexpr void unreachable [[noreturn]] (void);
|
|
|
|
constexpr void unreachable [[noreturn]] (const char*);
|
|
|
|
|
2016-01-20 16:38:01 +11:00
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
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);
|
|
|
|
|
2016-02-15 17:21:01 +11:00
|
|
|
void await_debugger (void);
|
|
|
|
void prepare_debugger (void);
|
|
|
|
|
|
|
|
void force_console (void);
|
2012-05-01 12:14:25 +10:00
|
|
|
|
2014-04-16 19:16:48 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2012-05-01 12:14:25 +10:00
|
|
|
void enable_fpe (void);
|
|
|
|
void disable_fpe (void);
|
|
|
|
|
2012-08-10 17:40:19 +10:00
|
|
|
|
2014-04-16 19:16:48 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
2015-10-29 10:43:41 +11:00
|
|
|
namespace util { namespace debug {
|
2012-08-10 17:40:19 +10:00
|
|
|
void init (void);
|
2015-02-13 17:30:19 +11:00
|
|
|
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
bool valid (const T&);
|
|
|
|
|
|
|
|
|
2015-03-03 04:13:29 +11:00
|
|
|
template <
|
|
|
|
template<size_t, typename...> class T,
|
|
|
|
size_t S,
|
|
|
|
typename ...Args
|
|
|
|
>
|
2015-02-13 17:30:19 +11:00
|
|
|
struct validator {
|
2015-03-03 04:13:29 +11:00
|
|
|
static bool is_valid (const T<S,Args...>&);
|
2015-02-13 17:30:19 +11:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2015-03-03 04:13:29 +11:00
|
|
|
template <
|
|
|
|
template<size_t,typename...> class T,
|
|
|
|
size_t S,
|
|
|
|
typename ...Args
|
|
|
|
>
|
|
|
|
bool 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)
|
2015-04-30 17:31:19 +10:00
|
|
|
{
|
|
|
|
(void)t;
|
|
|
|
CHECK (valid (t));
|
|
|
|
}
|
2015-02-13 17:30:19 +11:00
|
|
|
|
|
|
|
|
2015-03-03 04:13:29 +11:00
|
|
|
template <
|
|
|
|
template<typename...> class T,
|
|
|
|
typename ...Args
|
|
|
|
>
|
2015-02-13 17:30:19 +11:00
|
|
|
void sanity (const T<Args...> &t)
|
2015-04-30 17:31:19 +10:00
|
|
|
{
|
|
|
|
(void)t;
|
|
|
|
CHECK (valid (t));
|
|
|
|
}
|
2015-10-29 10:43:41 +11:00
|
|
|
} }
|
2012-08-10 17:40:19 +10:00
|
|
|
|
2015-02-05 20:35:25 +11:00
|
|
|
|
2016-02-03 12:04:47 +11:00
|
|
|
#include "./debug.ipp"
|
|
|
|
|
2015-02-05 20:35:25 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
// 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.
|
2015-10-29 10:43:41 +11:00
|
|
|
#include "./maths.hpp"
|
|
|
|
|
2015-02-05 20:35:25 +11:00
|
|
|
|
2011-05-23 17:18:52 +10:00
|
|
|
#endif // __DEBUG_HPP
|