2022-04-28 12:24:11 -04:00
|
|
|
// SPDX-FileCopyrightText: 2013 Dolphin Emulator Project
|
|
|
|
// SPDX-FileCopyrightText: 2014 Citra Emulator Project
|
|
|
|
// SPDX-License-Identifier: GPL-2.0-or-later
|
2015-01-20 20:16:47 -05:00
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2015-05-12 01:52:31 -04:00
|
|
|
#include "common/logging/log.h"
|
2015-01-20 20:16:47 -05:00
|
|
|
|
2021-04-02 02:43:26 -04:00
|
|
|
// Sometimes we want to try to continue even after hitting an assert.
|
|
|
|
// However touching this file yields a global recompilation as this header is included almost
|
|
|
|
// everywhere. So let's just move the handling of the failed assert to a single cpp file.
|
2022-06-07 17:02:29 -04:00
|
|
|
|
2022-06-12 18:11:02 -04:00
|
|
|
void assert_fail_impl();
|
2022-06-07 18:05:32 -04:00
|
|
|
[[noreturn]] void unreachable_impl();
|
2015-02-17 23:06:48 -05:00
|
|
|
|
2022-06-12 18:11:02 -04:00
|
|
|
#ifdef _MSC_VER
|
|
|
|
#define YUZU_NO_INLINE __declspec(noinline)
|
|
|
|
#else
|
|
|
|
#define YUZU_NO_INLINE __attribute__((noinline))
|
|
|
|
#endif
|
|
|
|
|
2016-09-17 20:38:01 -04:00
|
|
|
#define ASSERT(_a_) \
|
2022-06-12 18:11:02 -04:00
|
|
|
([&]() YUZU_NO_INLINE { \
|
|
|
|
if (!(_a_)) [[unlikely]] { \
|
|
|
|
LOG_CRITICAL(Debug, "Assertion Failed!"); \
|
|
|
|
assert_fail_impl(); \
|
2016-09-17 20:38:01 -04:00
|
|
|
} \
|
2022-06-12 18:11:02 -04:00
|
|
|
}())
|
2016-09-17 20:38:01 -04:00
|
|
|
|
|
|
|
#define ASSERT_MSG(_a_, ...) \
|
2022-06-12 18:11:02 -04:00
|
|
|
([&]() YUZU_NO_INLINE { \
|
|
|
|
if (!(_a_)) [[unlikely]] { \
|
|
|
|
LOG_CRITICAL(Debug, "Assertion Failed!\n" __VA_ARGS__); \
|
|
|
|
assert_fail_impl(); \
|
2016-09-17 20:38:01 -04:00
|
|
|
} \
|
2022-06-12 18:11:02 -04:00
|
|
|
}())
|
2015-01-20 20:16:47 -05:00
|
|
|
|
2022-06-07 17:02:29 -04:00
|
|
|
#define UNREACHABLE() \
|
|
|
|
do { \
|
2022-06-07 18:05:32 -04:00
|
|
|
LOG_CRITICAL(Debug, "Unreachable code!"); \
|
2022-06-07 17:02:29 -04:00
|
|
|
unreachable_impl(); \
|
|
|
|
} while (0)
|
|
|
|
|
2019-10-05 10:54:07 -04:00
|
|
|
#define UNREACHABLE_MSG(...) \
|
2022-06-07 17:02:29 -04:00
|
|
|
do { \
|
2022-06-07 18:05:32 -04:00
|
|
|
LOG_CRITICAL(Debug, "Unreachable code!\n" __VA_ARGS__); \
|
2022-06-07 17:02:29 -04:00
|
|
|
unreachable_impl(); \
|
|
|
|
} while (0)
|
2015-01-20 20:16:47 -05:00
|
|
|
|
|
|
|
#ifdef _DEBUG
|
|
|
|
#define DEBUG_ASSERT(_a_) ASSERT(_a_)
|
|
|
|
#define DEBUG_ASSERT_MSG(_a_, ...) ASSERT_MSG(_a_, __VA_ARGS__)
|
|
|
|
#else // not debug
|
2021-08-05 13:46:22 -04:00
|
|
|
#define DEBUG_ASSERT(_a_) \
|
|
|
|
do { \
|
|
|
|
} while (0)
|
|
|
|
#define DEBUG_ASSERT_MSG(_a_, _desc_, ...) \
|
|
|
|
do { \
|
|
|
|
} while (0)
|
2015-01-20 20:16:47 -05:00
|
|
|
#endif
|
|
|
|
|
2018-11-20 17:58:57 -05:00
|
|
|
#define UNIMPLEMENTED() ASSERT_MSG(false, "Unimplemented code!")
|
2018-01-07 17:43:41 -05:00
|
|
|
#define UNIMPLEMENTED_MSG(...) ASSERT_MSG(false, __VA_ARGS__)
|
common/assert: Add UNIMPLEMENTED_IF and UNIMPLEMENTED_IF_MSG for conditional assertions
Currently, there's no way to specify if an assertion should
conditionally occur due to unimplemented behavior. This is useful when
something is only partially implemented (e.g. due to ongoing RE work).
In particular, this would be useful within the graphics code.
The rationale behind this is it allows a dev to disable unimplemented
feature assertions (which can occur in an unrelated work area), while
still enabling regular assertions, which act as behavior guards for
conditions or states which must not occur. Previously, the only way a
dev could temporarily disable asserts, was to disable the regular
assertion macros, which has the downside of also disabling, well, the
regular assertions which hold more sanitizing value, as opposed to
unimplemented feature assertions.
2018-11-20 18:03:00 -05:00
|
|
|
|
|
|
|
#define UNIMPLEMENTED_IF(cond) ASSERT_MSG(!(cond), "Unimplemented code!")
|
|
|
|
#define UNIMPLEMENTED_IF_MSG(cond, ...) ASSERT_MSG(!(cond), __VA_ARGS__)
|
2019-03-27 14:59:00 -04:00
|
|
|
|
|
|
|
// If the assert is ignored, execute _b_
|
|
|
|
#define ASSERT_OR_EXECUTE(_a_, _b_) \
|
|
|
|
do { \
|
|
|
|
ASSERT(_a_); \
|
2022-12-17 20:16:52 -05:00
|
|
|
if (!(_a_)) [[unlikely]] { \
|
2019-03-27 14:59:00 -04:00
|
|
|
_b_ \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
// If the assert is ignored, execute _b_
|
|
|
|
#define ASSERT_OR_EXECUTE_MSG(_a_, _b_, ...) \
|
|
|
|
do { \
|
|
|
|
ASSERT_MSG(_a_, __VA_ARGS__); \
|
2022-12-17 20:16:52 -05:00
|
|
|
if (!(_a_)) [[unlikely]] { \
|
2019-03-27 14:59:00 -04:00
|
|
|
_b_ \
|
|
|
|
} \
|
|
|
|
} while (0)
|