mirror of
https://github.com/SerenityOS/serenity
synced 2024-09-20 08:22:19 +00:00
9b1157924b
This optimization has already been done in LibC's `assert.h`, which Userland `VERIFY()` calls resolve to. We now use it in the kernel, but with the nicer C++ *unlikely* attribute instead of `__builtin_expect`. This tells the compiler to arrange the generated machine code so that the error-free branches execute faster (e.g. fewer jumps, better cache locality).
29 lines
940 B
C
29 lines
940 B
C
/*
|
|
* Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#define __STRINGIFY_HELPER(x) #x
|
|
#define __STRINGIFY(x) __STRINGIFY_HELPER(x)
|
|
|
|
[[noreturn]] void __assertion_failed(const char* msg, const char* file, unsigned line, const char* func);
|
|
#define VERIFY(expr) \
|
|
do { \
|
|
if (!static_cast<bool>(expr)) [[unlikely]] \
|
|
__assertion_failed(#expr, __FILE__, __LINE__, __PRETTY_FUNCTION__); \
|
|
} while (0)
|
|
|
|
#define VERIFY_NOT_REACHED() VERIFY(false)
|
|
|
|
extern "C" {
|
|
[[noreturn]] void _abort();
|
|
[[noreturn]] void abort();
|
|
}
|
|
|
|
#define VERIFY_INTERRUPTS_DISABLED() VERIFY(!(cpu_flags() & 0x200))
|
|
#define VERIFY_INTERRUPTS_ENABLED() VERIFY(cpu_flags() & 0x200)
|
|
#define TODO VERIFY_NOT_REACHED
|