diff options
author | 卜部昌平 <shyouhei@ruby-lang.org> | 2020-04-08 13:28:13 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-08 13:28:13 +0900 |
commit | 9e6e39c3512f7a962c44dc3729c98a0f8be90341 (patch) | |
tree | 901a22676d54d78240e450b64a8cd06eb1703910 /include/ruby/3/assume.h | |
parent | 5ac4bf2cd87e1eb5779ca5ae7f96a1a22e8436d9 (diff) | |
download | ruby-9e6e39c3512f7a962c44dc3729c98a0f8be90341.tar.gz |
Merge pull request #2991 from shyouhei/ruby.h
Split ruby.h
Diffstat (limited to 'include/ruby/3/assume.h')
-rw-r--r-- | include/ruby/3/assume.h | 80 |
1 files changed, 80 insertions, 0 deletions
diff --git a/include/ruby/3/assume.h b/include/ruby/3/assume.h new file mode 100644 index 0000000000..926c17f36d --- /dev/null +++ b/include/ruby/3/assume.h @@ -0,0 +1,80 @@ +/** \noop-*-C++-*-vi:ft=cpp + * @file + * @author Ruby developers <ruby-core@ruby-lang.org> + * @copyright This file is a part of the programming language Ruby. + * Permission is hereby granted, to either redistribute and/or + * modify this file, provided that the conditions mentioned in the + * file COPYING are met. Consult the file for details. + * @warning Symbols prefixed with either `RUBY3` or `ruby3` are + * implementation details. Don't take them as canon. They could + * rapidly appear then vanish. The name (path) of this header file + * is also an implementation detail. Do not expect it to persist + * at the place it is now. Developers are free to move it anywhere + * anytime at will. + * @note To ruby-core: remember that this header can be possibly + * recursively included from extension libraries written in C++. + * Do not expect for instance `__VA_ARGS__` is always available. + * We assume C99 for ruby itself but we don't assume languages of + * extension libraries. They could be written in C++98. + * @brief Defines #RUBY3_ASSUME / #RUBY3_UNREACHABLE. + * + * These macros must be defined at once because: + * + * - #RUBY3_ASSUME could fallback to #RUBY3_UNREACHABLE. + * - #RUBY3_UNREACHABLE could fallback to #RUBY3_ASSUME. + */ +#ifndef RUBY3_ASSUME_H +#define RUBY3_ASSUME_H +#include "ruby/3/config.h" +#include "ruby/3/cast.h" +#include "ruby/3/compiler_since.h" +#include "ruby/3/has/builtin.h" + +/** @cond INTERNAL_MACRO */ +#if RUBY3_COMPILER_SINCE(MSVC, 13, 10, 0) +# define RUBY3_HAVE___ASSUME + +#elif RUBY3_COMPILER_SINCE(Intel, 13, 0, 0) +# define RUBY3_HAVE___ASSUME +#endif +/** @endcond */ + +/** Wraps (or simulates) `__builtin_unreachable`. */ +#if RUBY3_HAS_BUILTIN(__builtin_unreachable) +# define RUBY3_UNREACHABLE_RETURN(_) __builtin_unreachable() + +#elif defined(RUBY3_HAVE___ASSUME) +# define RUBY3_UNREACHABLE_RETURN(_) return (__assume(0), (_)) + +#else +# define RUBY3_UNREACHABLE_RETURN(_) return (_) +#endif + +/** Wraps (or simulates) `__builtin_unreachable`. */ +#if RUBY3_HAS_BUILTIN(__builtin_unreachable) +# define RUBY3_UNREACHABLE __builtin_unreachable + +#elif defined(RUBY3_HAVE___ASSUME) +# define RUBY3_UNREACHABLE() __assume(0) +#endif + +/** Wraps (or simulates) `__asume`. */ +#if defined(RUBY3_HAVE___ASSUME) +# define RUBY3_ASSUME __assume + +#elif RUBY3_HAS_BUILTIN(__builtin_assume) +# define RUBY3_ASSUME __builtin_assume + +#elif ! defined(RUBY3_UNREACHABLE) +# define RUBY3_ASSUME(_) RUBY3_CAST((void)(_)) + +#else +# define RUBY3_ASSUME(_) \ + (RB_LIKELY(!!(_)) ? RUBY3_CAST((void)0) : RUBY3_UNREACHABLE()) +#endif + +#if ! defined(RUBY3_UNREACHABLE) +# define RUBY3_UNREACHABLE() RUBY3_ASSUME(0) +#endif + +#endif /* RUBY3_ASSUME_H */ |