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)
 
#pragma once
 
#include "architecture.hpp"
#include "debugger.hpp"
#include "utils.hpp"
#include "required.hpp"
#include <exception>
 
namespace hi::inline v1 {
 
#define hi_assert(expression) \
    do { \
        if (not(expression)) { \
            hi_debug_abort(); \
        } \
    } while (false)
 
#define hi_assert_or_return(x, y) \
    if (!(x)) { \
        [[unlikely]] return y; \
    }
 
#if HI_BUILD_TYPE == HI_BT_DEBUG
#define hi_axiom(expression) hi_assert(expression)
 
#define hi_no_default() [[unlikely]] hi_debug_abort()
 
#else
#define hi_axiom(expression) hi_assume(expression)
 
#define hi_no_default() hi_unreachable()
#endif
 
#define hi_static_no_default() \
    []<bool Flag = false>() \
    { \
        static_assert(Flag); \
    } \
    ()
 
#define hi_not_implemented() [[unlikely]] hi_debug_abort();
 
#define hi_static_not_implemented() hi_static_no_default()
 
} // namespace hi::inline v1