github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-01 04:07:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

Internals: Support VL_UNREACHABLE in C++23/MSVC. No functional change intended.

Browse Source
This commit is contained in:
Wilson Snyder 2024-10-31 21:29:13 -04:00
parent aac0186871
commit 9689a4f58a
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
include/verilatedos.h
View File

@ -67,11 +67,21 @@
# endif # endif
# define VL_LIKELY(x) __builtin_expect(!!(x), 1) // Prefer over C++20 [[likely]] # define VL_LIKELY(x) __builtin_expect(!!(x), 1) // Prefer over C++20 [[likely]]
# define VL_UNLIKELY(x) __builtin_expect(!!(x), 0) // Prefer over C++20 [[unlikely]] # define VL_UNLIKELY(x) __builtin_expect(!!(x), 0) // Prefer over C++20 [[unlikely]]
# define VL_UNREACHABLE __builtin_unreachable() // C++23 std::unreachable()
# define VL_PREFETCH_RD(p) __builtin_prefetch((p), 0) # define VL_PREFETCH_RD(p) __builtin_prefetch((p), 0)
# define VL_PREFETCH_RW(p) __builtin_prefetch((p), 1) # define VL_PREFETCH_RW(p) __builtin_prefetch((p), 1)
#endif #endif
#ifdef __cpp_lib_unreachable
/// Statement that may never be reached (for coverage etc)
# define VL_UNREACHABLE std::unreachable() // C++23
#elif defined(__GNUC__)
# define VL_UNREACHABLE __builtin_unreachable()
#elif defined(_MSC_VER) // MSVC
# define VL_UNREACHABLE __assume(false)
#else
# define VL_UNREACHABLE
#endif
// Function acquires a capability/lock (-fthread-safety) // Function acquires a capability/lock (-fthread-safety)
#define VL_ACQUIRE(...) \ #define VL_ACQUIRE(...) \
VL_CLANG_ATTR(annotate("ACQUIRE")) \ VL_CLANG_ATTR(annotate("ACQUIRE")) \
@ -179,9 +189,6 @@
#endif #endif
/// Boolean expression never hit by users (branch coverage disabled) /// Boolean expression never hit by users (branch coverage disabled)
# define VL_UNCOVERABLE(x) VL_UNLIKELY(x) # define VL_UNCOVERABLE(x) VL_UNLIKELY(x)
#ifndef VL_UNREACHABLE
# define VL_UNREACHABLE ///< Statement that may never be reached (for coverage etc)
#endif
#ifndef VL_PREFETCH_RD #ifndef VL_PREFETCH_RD
# define VL_PREFETCH_RD(p) ///< Prefetch pointer argument with read intent # define VL_PREFETCH_RD(p) ///< Prefetch pointer argument with read intent
#endif #endif