assert.hpp

// Copyright Take Vos 2020-2021.
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt)
 
#ifndef ASSERT_HPP
#define ASSERT_HPP
 
#pragma once
 
#include "architecture.hpp"
#include "debugger.hpp"
#include "utils.hpp"
#include <exception>
 
namespace tt {
 
#define tt_assert(expression, ...) \
    do { \
        if (!(expression)) { \
            if constexpr (__VA_OPT__(!) true) { \
                [[unlikely]] tt_debugger_abort(#expression); \
            } else { \
                [[unlikely]] tt_debugger_abort(__VA_ARGS__); \
            } \
        } \
    } while (false)
 
#if TT_BUILD_TYPE == TT_BT_DEBUG
#define tt_axiom(expression, ...) tt_assert(expression __VA_OPT__(,) __VA_ARGS__)
 
#define tt_no_default() [[unlikely]] tt_debugger_abort("tt_no_default()")
 
#else
 
#define tt_axiom(expression, ...) tt_assume(expression)
 
#define tt_no_default() tt_unreachable()
#endif
 
#define tt_static_no_default() []<bool Flag = false>(){ static_assert(Flag); }()
 
#define tt_not_implemented() [[unlikely]] tt_debugger_abort("tt_not_implemented()")
 
#define tt_static_not_implemented() tt_static_no_default()
 
} // namespace tt
 
#endif