blob: febea61b8d46279850156e9c3ade358d23aceebb [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
2 * Copyright (C) 2010 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
Carl Shapiro6c21dc12011-06-20 15:20:52 -070016
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_BASE_MACROS_H_
18#define ART_RUNTIME_BASE_MACROS_H_
Carl Shapiro6c21dc12011-06-20 15:20:52 -070019
Carl Shapiro12eb78e2011-06-24 14:51:06 -070020#include <stddef.h> // for size_t
Mark Salyzyn47a4cc72014-05-22 16:27:06 -070021#include <unistd.h> // for TEMP_FAILURE_RETRY
22
23// bionic and glibc both have TEMP_FAILURE_RETRY, but eg Mac OS' libc doesn't.
24#ifndef TEMP_FAILURE_RETRY
25#define TEMP_FAILURE_RETRY(exp) ({ \
26 decltype(exp) _rc; \
27 do { \
28 _rc = (exp); \
29 } while (_rc == -1 && errno == EINTR); \
30 _rc; })
31#endif
Carl Shapiro12eb78e2011-06-24 14:51:06 -070032
Brian Carlstrom7a00a3c2012-01-25 18:38:03 -080033#define GCC_VERSION (__GNUC__ * 10000 + __GNUC_MINOR__ * 100 + __GNUC_PATCHLEVEL__)
Shih-wei Liao24782c62012-01-08 12:46:11 -080034
Ian Rogers6fac4472014-02-25 17:01:10 -080035// C++11 final and override keywords that were introduced in GCC version 4.7.
Ian Rogers9758f792014-03-13 09:02:55 -070036#if defined(__clang__) || GCC_VERSION >= 40700
Ian Rogers6fac4472014-02-25 17:01:10 -080037#define OVERRIDE override
38#define FINAL final
39#else
40#define OVERRIDE
41#define FINAL
42#endif
43
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070044// The COMPILE_ASSERT macro can be used to verify that a compile time
45// expression is true. For example, you could use it to verify the
46// size of a static array:
47//
48// COMPILE_ASSERT(ARRAYSIZE(content_type_names) == CONTENT_NUM_TYPES,
49// content_type_names_incorrect_size);
50//
51// or to make sure a struct is smaller than a certain size:
52//
53// COMPILE_ASSERT(sizeof(foo) < 128, foo_too_large);
54//
55// The second argument to the macro is the name of the variable. If
56// the expression is false, most compilers will issue a warning/error
57// containing the name of the variable.
58
59template <bool>
60struct CompileAssert {
61};
62
63#define COMPILE_ASSERT(expr, msg) \
Elliott Hughes398f64b2012-03-26 18:05:48 -070064 typedef CompileAssert<(bool(expr))> msg[bool(expr) ? 1 : -1] // NOLINT
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070065
Ian Rogers6f3dbba2014-10-14 17:41:57 -070066// Declare a friend relationship in a class with a test. Used rather that FRIEND_TEST to avoid
67// globally importing gtest/gtest.h into the main ART header files.
68#define ART_FRIEND_TEST(test_set_name, individual_test)\
69friend class test_set_name##_##individual_test##_Test
70
Ian Rogerscf7f1912014-10-22 22:06:39 -070071// DISALLOW_COPY_AND_ASSIGN disallows the copy and operator= functions. It goes in the private:
72// declarations in a class.
Carl Shapiro6c21dc12011-06-20 15:20:52 -070073#define DISALLOW_COPY_AND_ASSIGN(TypeName) \
Ian Rogerscf7f1912014-10-22 22:06:39 -070074 TypeName(const TypeName&) = delete; \
75 void operator=(const TypeName&) = delete
Carl Shapiro6c21dc12011-06-20 15:20:52 -070076
Ian Rogerscf7f1912014-10-22 22:06:39 -070077// A macro to disallow all the implicit constructors, namely the default constructor, copy
78// constructor and operator= functions.
Carl Shapiro6c21dc12011-06-20 15:20:52 -070079//
Ian Rogerscf7f1912014-10-22 22:06:39 -070080// This should be used in the private: declarations for a class that wants to prevent anyone from
81// instantiating it. This is especially useful for classes containing only static methods.
Carl Shapiro6c21dc12011-06-20 15:20:52 -070082#define DISALLOW_IMPLICIT_CONSTRUCTORS(TypeName) \
Ian Rogerscf7f1912014-10-22 22:06:39 -070083 TypeName() = delete; \
Carl Shapiro6c21dc12011-06-20 15:20:52 -070084 DISALLOW_COPY_AND_ASSIGN(TypeName)
85
Ian Rogerscf7f1912014-10-22 22:06:39 -070086// A macro to disallow new and delete operators for a class. It goes in the private: declarations.
87#define DISALLOW_ALLOCATION() \
88 public: \
89 ALWAYS_INLINE void operator delete(void*, size_t) { UNREACHABLE(); } \
90 private: \
91 void* operator new(size_t) = delete
92
Carl Shapiroa2e18e12011-06-21 18:57:55 -070093// The arraysize(arr) macro returns the # of elements in an array arr.
94// The expression is a compile-time constant, and therefore can be
95// used in defining new arrays, for example. If you use arraysize on
96// a pointer by mistake, you will get a compile-time error.
97//
98// One caveat is that arraysize() doesn't accept any array of an
99// anonymous type or a type defined inside a function. In these rare
Carl Shapirod2bdb572011-06-22 11:45:37 -0700100// cases, you have to use the unsafe ARRAYSIZE_UNSAFE() macro below. This is
Carl Shapiroa2e18e12011-06-21 18:57:55 -0700101// due to a limitation in C++'s template system. The limitation might
102// eventually be removed, but it hasn't happened yet.
103
104// This template function declaration is used in defining arraysize.
105// Note that the function doesn't need an implementation, as we only
106// use its type.
107template <typename T, size_t N>
108char (&ArraySizeHelper(T (&array)[N]))[N];
109
110#define arraysize(array) (sizeof(ArraySizeHelper(array)))
111
Carl Shapirod2bdb572011-06-22 11:45:37 -0700112// ARRAYSIZE_UNSAFE performs essentially the same calculation as arraysize,
113// but can be used on anonymous types or types defined inside
114// functions. It's less safe than arraysize as it accepts some
115// (although not all) pointers. Therefore, you should use arraysize
116// whenever possible.
117//
118// The expression ARRAYSIZE_UNSAFE(a) is a compile-time constant of type
119// size_t.
120//
121// ARRAYSIZE_UNSAFE catches a few type errors. If you see a compiler error
122//
123// "warning: division by zero in ..."
124//
125// when using ARRAYSIZE_UNSAFE, you are (wrongfully) giving it a pointer.
126// You should only use ARRAYSIZE_UNSAFE on statically allocated arrays.
127//
128// The following comments are on the implementation details, and can
129// be ignored by the users.
130//
131// ARRAYSIZE_UNSAFE(arr) works by inspecting sizeof(arr) (the # of bytes in
132// the array) and sizeof(*(arr)) (the # of bytes in one array
133// element). If the former is divisible by the latter, perhaps arr is
134// indeed an array, in which case the division result is the # of
135// elements in the array. Otherwise, arr cannot possibly be an array,
136// and we generate a compiler error to prevent the code from
137// compiling.
138//
139// Since the size of bool is implementation-defined, we need to cast
140// !(sizeof(a) & sizeof(*(a))) to size_t in order to ensure the final
141// result has type size_t.
142//
143// This macro is not perfect as it wrongfully accepts certain
144// pointers, namely where the pointer size is divisible by the pointee
145// size. Since all our code has to go through a 32-bit compiler,
146// where a pointer is 4 bytes, this means all pointers to a type whose
147// size is 3 or greater than 4 will be (righteously) rejected.
148#define ARRAYSIZE_UNSAFE(a) \
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700149 ((sizeof(a) / sizeof(*(a))) / static_cast<size_t>(!(sizeof(a) % sizeof(*(a)))))
Carl Shapirod2bdb572011-06-22 11:45:37 -0700150
Elliott Hughesff17f1f2012-01-24 18:12:29 -0800151#define SIZEOF_MEMBER(t, f) sizeof((reinterpret_cast<t*>(4096))->f)
Carl Shapiro59e85cd2011-06-21 10:16:23 -0700152
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700153#define OFFSETOF_MEMBER(t, f) \
Ian Rogers8a01a3a2013-05-06 13:25:44 -0700154 (reinterpret_cast<const char*>(&reinterpret_cast<t*>(16)->f) - reinterpret_cast<const char*>(16)) // NOLINT
Carl Shapiro59e85cd2011-06-21 10:16:23 -0700155
Elliott Hughes93e74e82011-09-13 11:07:03 -0700156#define OFFSETOF_VOLATILE_MEMBER(t, f) \
Elliott Hughes398f64b2012-03-26 18:05:48 -0700157 (reinterpret_cast<volatile char*>(&reinterpret_cast<t*>(16)->f) - reinterpret_cast<volatile char*>(16)) // NOLINT
Elliott Hughes93e74e82011-09-13 11:07:03 -0700158
Brian Carlstromb1eba212013-07-17 18:07:19 -0700159#define PACKED(x) __attribute__ ((__aligned__(x), __packed__))
Elliott Hughes85d15452011-09-16 17:33:01 -0700160
Elliott Hughesff17f1f2012-01-24 18:12:29 -0800161#define LIKELY(x) __builtin_expect((x), true)
162#define UNLIKELY(x) __builtin_expect((x), false)
Ian Rogerscaab8c42011-10-12 12:11:18 -0700163
Dave Allison70202782013-10-22 17:52:19 -0700164// Stringify the argument.
165#define QUOTE(x) #x
166#define STRINGIFY(x) QUOTE(x)
167
Ian Rogerse8ae0dc2013-02-07 10:20:45 -0800168#ifndef NDEBUG
Ian Rogers1ffa32f2013-02-05 18:29:08 -0800169#define ALWAYS_INLINE
170#else
Ian Rogerse8ae0dc2013-02-07 10:20:45 -0800171#define ALWAYS_INLINE __attribute__ ((always_inline))
Ian Rogers1ffa32f2013-02-05 18:29:08 -0800172#endif
173
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100174#ifdef __clang__
175/* clang doesn't like attributes on lambda functions */
176#define ALWAYS_INLINE_LAMBDA
177#else
178#define ALWAYS_INLINE_LAMBDA ALWAYS_INLINE
179#endif
180
Anwar Ghuloum63937db2013-05-24 09:08:32 -0700181#if defined (__APPLE__)
Anwar Ghuloum1d9314c2013-05-24 10:44:48 -0700182#define HOT_ATTR
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700183#define COLD_ATTR
Anwar Ghuloum63937db2013-05-24 09:08:32 -0700184#else
Anwar Ghuloum1d9314c2013-05-24 10:44:48 -0700185#define HOT_ATTR __attribute__ ((hot))
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700186#define COLD_ATTR __attribute__ ((cold))
Anwar Ghuloum63937db2013-05-24 09:08:32 -0700187#endif
188
Ian Rogers96faf5b2013-08-09 22:05:32 -0700189#define PURE __attribute__ ((__pure__))
Mathieu Chartier4c13a3f2014-07-14 14:57:16 -0700190#define WARN_UNUSED __attribute__((warn_unused_result))
Ian Rogers96faf5b2013-08-09 22:05:32 -0700191
Elliott Hughesc151f902012-06-21 20:33:21 -0700192template<typename T> void UNUSED(const T&) {}
Ian Rogers07140832014-09-30 15:43:59 -0700193#define UNREACHABLE __builtin_unreachable
Elliott Hughesc151f902012-06-21 20:33:21 -0700194
Ian Rogersfc787ec2014-10-09 21:56:44 -0700195// The FALLTHROUGH_INTENDED macro can be used to annotate implicit fall-through
196// between switch labels:
197// switch (x) {
198// case 40:
199// case 41:
200// if (truth_is_out_there) {
201// ++x;
202// FALLTHROUGH_INTENDED; // Use instead of/along with annotations in
203// // comments.
204// } else {
205// return x;
206// }
207// case 42:
208// ...
209//
210// As shown in the example above, the FALLTHROUGH_INTENDED macro should be
211// followed by a semicolon. It is designed to mimic control-flow statements
212// like 'break;', so it can be placed in most places where 'break;' can, but
213// only if there are no statements on the execution path between it and the
214// next switch label.
215//
216// When compiled with clang in C++11 mode, the FALLTHROUGH_INTENDED macro is
217// expanded to [[clang::fallthrough]] attribute, which is analysed when
218// performing switch labels fall-through diagnostic ('-Wimplicit-fallthrough').
219// See clang documentation on language extensions for details:
220// http://clang.llvm.org/docs/LanguageExtensions.html#clang__fallthrough
221//
222// When used with unsupported compilers, the FALLTHROUGH_INTENDED macro has no
223// effect on diagnostics.
224//
225// In either case this macro has no effect on runtime behavior and performance
226// of code.
227#if defined(__clang__) && __cplusplus >= 201103L && defined(__has_warning)
228#if __has_feature(cxx_attributes) && __has_warning("-Wimplicit-fallthrough")
229#define FALLTHROUGH_INTENDED [[clang::fallthrough]] // NOLINT
230#endif
231#endif
232
233#ifndef FALLTHROUGH_INTENDED
234#define FALLTHROUGH_INTENDED do { } while (0)
235#endif
236
Ian Rogers719d1a32014-03-06 12:13:39 -0800237// Annotalysis thread-safety analysis support.
238#if defined(__SUPPORT_TS_ANNOTATION__) || defined(__clang__)
239#define THREAD_ANNOTATION_ATTRIBUTE__(x) __attribute__((x))
Elliott Hughesf8349362012-06-18 15:00:06 -0700240#else
Ian Rogers719d1a32014-03-06 12:13:39 -0800241#define THREAD_ANNOTATION_ATTRIBUTE__(x) // no-op
242#endif
Elliott Hughesf8349362012-06-18 15:00:06 -0700243
Ian Rogers719d1a32014-03-06 12:13:39 -0800244#define ACQUIRED_AFTER(...) THREAD_ANNOTATION_ATTRIBUTE__(acquired_after(__VA_ARGS__))
245#define ACQUIRED_BEFORE(...) THREAD_ANNOTATION_ATTRIBUTE__(acquired_before(__VA_ARGS__))
246#define EXCLUSIVE_LOCKS_REQUIRED(...) THREAD_ANNOTATION_ATTRIBUTE__(exclusive_locks_required(__VA_ARGS__))
247#define GUARDED_BY(x) THREAD_ANNOTATION_ATTRIBUTE__(guarded_by(x))
248#define GUARDED_VAR THREAD_ANNOTATION_ATTRIBUTE__(guarded)
249#define LOCKABLE THREAD_ANNOTATION_ATTRIBUTE__(lockable)
250#define LOCK_RETURNED(x) THREAD_ANNOTATION_ATTRIBUTE__(lock_returned(x))
251#define LOCKS_EXCLUDED(...) THREAD_ANNOTATION_ATTRIBUTE__(locks_excluded(__VA_ARGS__))
252#define NO_THREAD_SAFETY_ANALYSIS THREAD_ANNOTATION_ATTRIBUTE__(no_thread_safety_analysis)
Elliott Hughesf8349362012-06-18 15:00:06 -0700253#define PT_GUARDED_BY(x)
Ian Rogers719d1a32014-03-06 12:13:39 -0800254// THREAD_ANNOTATION_ATTRIBUTE__(point_to_guarded_by(x))
255#define PT_GUARDED_VAR THREAD_ANNOTATION_ATTRIBUTE__(point_to_guarded)
256#define SCOPED_LOCKABLE THREAD_ANNOTATION_ATTRIBUTE__(scoped_lockable)
257#define SHARED_LOCKS_REQUIRED(...) THREAD_ANNOTATION_ATTRIBUTE__(shared_locks_required(__VA_ARGS__))
Elliott Hughesf8349362012-06-18 15:00:06 -0700258
Ian Rogers719d1a32014-03-06 12:13:39 -0800259#if defined(__clang__)
260#define EXCLUSIVE_LOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(exclusive_lock_function(__VA_ARGS__))
261#define EXCLUSIVE_TRYLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(exclusive_trylock_function(__VA_ARGS__))
262#define SHARED_LOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(shared_lock_function(__VA_ARGS__))
263#define SHARED_TRYLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(shared_trylock_function(__VA_ARGS__))
264#define UNLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(unlock_function(__VA_ARGS__))
265#else
266#define EXCLUSIVE_LOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(exclusive_lock(__VA_ARGS__))
267#define EXCLUSIVE_TRYLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(exclusive_trylock(__VA_ARGS__))
268#define SHARED_LOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(shared_lock(__VA_ARGS__))
269#define SHARED_TRYLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(shared_trylock(__VA_ARGS__))
270#define UNLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(unlock(__VA_ARGS__))
271#endif
Elliott Hughesf8349362012-06-18 15:00:06 -0700272
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700273#endif // ART_RUNTIME_BASE_MACROS_H_