blob: dc692d2b75fa07d246763d5b91453d65e1884f9a [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
Ian Rogers6f3dbba2014-10-14 17:41:57 -070044// Declare a friend relationship in a class with a test. Used rather that FRIEND_TEST to avoid
45// globally importing gtest/gtest.h into the main ART header files.
46#define ART_FRIEND_TEST(test_set_name, individual_test)\
47friend class test_set_name##_##individual_test##_Test
48
Zheng Xuad4450e2015-04-17 18:48:56 +080049// Declare a friend relationship in a class with a typed test.
50#define ART_FRIEND_TYPED_TEST(test_set_name, individual_test)\
51template<typename T> ART_FRIEND_TEST(test_set_name, individual_test)
52
Ian Rogerscf7f1912014-10-22 22:06:39 -070053// DISALLOW_COPY_AND_ASSIGN disallows the copy and operator= functions. It goes in the private:
54// declarations in a class.
Ian Rogers3eaa8522014-11-04 13:20:30 -080055#if !defined(DISALLOW_COPY_AND_ASSIGN)
Carl Shapiro6c21dc12011-06-20 15:20:52 -070056#define DISALLOW_COPY_AND_ASSIGN(TypeName) \
Ian Rogerscf7f1912014-10-22 22:06:39 -070057 TypeName(const TypeName&) = delete; \
58 void operator=(const TypeName&) = delete
Ian Rogers3eaa8522014-11-04 13:20:30 -080059#endif
Carl Shapiro6c21dc12011-06-20 15:20:52 -070060
Ian Rogerscf7f1912014-10-22 22:06:39 -070061// A macro to disallow all the implicit constructors, namely the default constructor, copy
62// constructor and operator= functions.
Carl Shapiro6c21dc12011-06-20 15:20:52 -070063//
Ian Rogerscf7f1912014-10-22 22:06:39 -070064// This should be used in the private: declarations for a class that wants to prevent anyone from
65// instantiating it. This is especially useful for classes containing only static methods.
Carl Shapiro6c21dc12011-06-20 15:20:52 -070066#define DISALLOW_IMPLICIT_CONSTRUCTORS(TypeName) \
Ian Rogerscf7f1912014-10-22 22:06:39 -070067 TypeName() = delete; \
Carl Shapiro6c21dc12011-06-20 15:20:52 -070068 DISALLOW_COPY_AND_ASSIGN(TypeName)
69
Ian Rogerscf7f1912014-10-22 22:06:39 -070070// A macro to disallow new and delete operators for a class. It goes in the private: declarations.
Vladimir Marko76c92ac2015-09-17 15:39:16 +010071// NOTE: Providing placement new (and matching delete) for constructing container elements.
Ian Rogerscf7f1912014-10-22 22:06:39 -070072#define DISALLOW_ALLOCATION() \
73 public: \
Andreas Gampe65b798e2015-04-06 09:35:22 -070074 NO_RETURN ALWAYS_INLINE void operator delete(void*, size_t) { UNREACHABLE(); } \
Vladimir Marko76c92ac2015-09-17 15:39:16 +010075 ALWAYS_INLINE void* operator new(size_t, void* ptr) noexcept { return ptr; } \
76 ALWAYS_INLINE void operator delete(void*, void*) noexcept { } \
Ian Rogerscf7f1912014-10-22 22:06:39 -070077 private: \
78 void* operator new(size_t) = delete
79
Carl Shapiroa2e18e12011-06-21 18:57:55 -070080// The arraysize(arr) macro returns the # of elements in an array arr.
81// The expression is a compile-time constant, and therefore can be
82// used in defining new arrays, for example. If you use arraysize on
83// a pointer by mistake, you will get a compile-time error.
84//
85// One caveat is that arraysize() doesn't accept any array of an
86// anonymous type or a type defined inside a function. In these rare
Carl Shapirod2bdb572011-06-22 11:45:37 -070087// cases, you have to use the unsafe ARRAYSIZE_UNSAFE() macro below. This is
Carl Shapiroa2e18e12011-06-21 18:57:55 -070088// due to a limitation in C++'s template system. The limitation might
89// eventually be removed, but it hasn't happened yet.
90
91// This template function declaration is used in defining arraysize.
92// Note that the function doesn't need an implementation, as we only
93// use its type.
94template <typename T, size_t N>
95char (&ArraySizeHelper(T (&array)[N]))[N];
96
97#define arraysize(array) (sizeof(ArraySizeHelper(array)))
98
Carl Shapirod2bdb572011-06-22 11:45:37 -070099// ARRAYSIZE_UNSAFE performs essentially the same calculation as arraysize,
100// but can be used on anonymous types or types defined inside
101// functions. It's less safe than arraysize as it accepts some
102// (although not all) pointers. Therefore, you should use arraysize
103// whenever possible.
104//
105// The expression ARRAYSIZE_UNSAFE(a) is a compile-time constant of type
106// size_t.
107//
108// ARRAYSIZE_UNSAFE catches a few type errors. If you see a compiler error
109//
110// "warning: division by zero in ..."
111//
112// when using ARRAYSIZE_UNSAFE, you are (wrongfully) giving it a pointer.
113// You should only use ARRAYSIZE_UNSAFE on statically allocated arrays.
114//
115// The following comments are on the implementation details, and can
116// be ignored by the users.
117//
118// ARRAYSIZE_UNSAFE(arr) works by inspecting sizeof(arr) (the # of bytes in
119// the array) and sizeof(*(arr)) (the # of bytes in one array
120// element). If the former is divisible by the latter, perhaps arr is
121// indeed an array, in which case the division result is the # of
122// elements in the array. Otherwise, arr cannot possibly be an array,
123// and we generate a compiler error to prevent the code from
124// compiling.
125//
126// Since the size of bool is implementation-defined, we need to cast
127// !(sizeof(a) & sizeof(*(a))) to size_t in order to ensure the final
128// result has type size_t.
129//
130// This macro is not perfect as it wrongfully accepts certain
131// pointers, namely where the pointer size is divisible by the pointee
132// size. Since all our code has to go through a 32-bit compiler,
133// where a pointer is 4 bytes, this means all pointers to a type whose
134// size is 3 or greater than 4 will be (righteously) rejected.
135#define ARRAYSIZE_UNSAFE(a) \
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700136 ((sizeof(a) / sizeof(*(a))) / static_cast<size_t>(!(sizeof(a) % sizeof(*(a)))))
Carl Shapirod2bdb572011-06-22 11:45:37 -0700137
Elliott Hughesff17f1f2012-01-24 18:12:29 -0800138#define SIZEOF_MEMBER(t, f) sizeof((reinterpret_cast<t*>(4096))->f)
Carl Shapiro59e85cd2011-06-21 10:16:23 -0700139
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700140#define OFFSETOF_MEMBER(t, f) \
Ian Rogers8a01a3a2013-05-06 13:25:44 -0700141 (reinterpret_cast<const char*>(&reinterpret_cast<t*>(16)->f) - reinterpret_cast<const char*>(16)) // NOLINT
Carl Shapiro59e85cd2011-06-21 10:16:23 -0700142
Elliott Hughes93e74e82011-09-13 11:07:03 -0700143#define OFFSETOF_VOLATILE_MEMBER(t, f) \
Elliott Hughes398f64b2012-03-26 18:05:48 -0700144 (reinterpret_cast<volatile char*>(&reinterpret_cast<t*>(16)->f) - reinterpret_cast<volatile char*>(16)) // NOLINT
Elliott Hughes93e74e82011-09-13 11:07:03 -0700145
Brian Carlstromb1eba212013-07-17 18:07:19 -0700146#define PACKED(x) __attribute__ ((__aligned__(x), __packed__))
Elliott Hughes85d15452011-09-16 17:33:01 -0700147
Elliott Hughesff17f1f2012-01-24 18:12:29 -0800148#define LIKELY(x) __builtin_expect((x), true)
149#define UNLIKELY(x) __builtin_expect((x), false)
Ian Rogerscaab8c42011-10-12 12:11:18 -0700150
Dave Allison70202782013-10-22 17:52:19 -0700151// Stringify the argument.
152#define QUOTE(x) #x
153#define STRINGIFY(x) QUOTE(x)
154
Ian Rogerse8ae0dc2013-02-07 10:20:45 -0800155#ifndef NDEBUG
Ian Rogers1ffa32f2013-02-05 18:29:08 -0800156#define ALWAYS_INLINE
157#else
Ian Rogerse8ae0dc2013-02-07 10:20:45 -0800158#define ALWAYS_INLINE __attribute__ ((always_inline))
Ian Rogers1ffa32f2013-02-05 18:29:08 -0800159#endif
160
Bernhard Rosenkränzer46053622013-12-12 02:15:52 +0100161#ifdef __clang__
162/* clang doesn't like attributes on lambda functions */
163#define ALWAYS_INLINE_LAMBDA
164#else
165#define ALWAYS_INLINE_LAMBDA ALWAYS_INLINE
166#endif
167
Andreas Gampe86830382014-12-12 21:41:29 -0800168#define NO_INLINE __attribute__ ((noinline))
169
Anwar Ghuloum63937db2013-05-24 09:08:32 -0700170#if defined (__APPLE__)
Anwar Ghuloum1d9314c2013-05-24 10:44:48 -0700171#define HOT_ATTR
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700172#define COLD_ATTR
Anwar Ghuloum63937db2013-05-24 09:08:32 -0700173#else
Anwar Ghuloum1d9314c2013-05-24 10:44:48 -0700174#define HOT_ATTR __attribute__ ((hot))
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700175#define COLD_ATTR __attribute__ ((cold))
Anwar Ghuloum63937db2013-05-24 09:08:32 -0700176#endif
177
Ian Rogers96faf5b2013-08-09 22:05:32 -0700178#define PURE __attribute__ ((__pure__))
Mathieu Chartier4c13a3f2014-07-14 14:57:16 -0700179#define WARN_UNUSED __attribute__((warn_unused_result))
Ian Rogers96faf5b2013-08-09 22:05:32 -0700180
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700181// A deprecated function to call to create a false use of the parameter, for example:
182// int foo(int x) { UNUSED(x); return 10; }
183// to avoid compiler warnings. Going forward we prefer ATTRIBUTE_UNUSED.
184template<typename... T> void UNUSED(const T&...) {}
185
186// An attribute to place on a parameter to a function, for example:
187// int foo(int x ATTRIBUTE_UNUSED) { return 10; }
188// to avoid compiler warnings.
189#define ATTRIBUTE_UNUSED __attribute__((__unused__))
190
191// Define that a position within code is unreachable, for example:
192// int foo () { LOG(FATAL) << "Don't call me"; UNREACHABLE(); }
193// without the UNREACHABLE a return statement would be necessary.
Ian Rogers07140832014-09-30 15:43:59 -0700194#define UNREACHABLE __builtin_unreachable
Elliott Hughesc151f902012-06-21 20:33:21 -0700195
Andreas Gampe794ad762015-02-23 08:12:24 -0800196// Add the C++11 noreturn attribute.
197#define NO_RETURN [[ noreturn ]] // NOLINT[whitespace/braces] [5]
198
Ian Rogersfc787ec2014-10-09 21:56:44 -0700199// The FALLTHROUGH_INTENDED macro can be used to annotate implicit fall-through
200// between switch labels:
201// switch (x) {
202// case 40:
203// case 41:
204// if (truth_is_out_there) {
205// ++x;
206// FALLTHROUGH_INTENDED; // Use instead of/along with annotations in
207// // comments.
208// } else {
209// return x;
210// }
211// case 42:
212// ...
213//
214// As shown in the example above, the FALLTHROUGH_INTENDED macro should be
215// followed by a semicolon. It is designed to mimic control-flow statements
216// like 'break;', so it can be placed in most places where 'break;' can, but
217// only if there are no statements on the execution path between it and the
218// next switch label.
219//
220// When compiled with clang in C++11 mode, the FALLTHROUGH_INTENDED macro is
221// expanded to [[clang::fallthrough]] attribute, which is analysed when
222// performing switch labels fall-through diagnostic ('-Wimplicit-fallthrough').
223// See clang documentation on language extensions for details:
224// http://clang.llvm.org/docs/LanguageExtensions.html#clang__fallthrough
225//
226// When used with unsupported compilers, the FALLTHROUGH_INTENDED macro has no
227// effect on diagnostics.
228//
229// In either case this macro has no effect on runtime behavior and performance
230// of code.
231#if defined(__clang__) && __cplusplus >= 201103L && defined(__has_warning)
232#if __has_feature(cxx_attributes) && __has_warning("-Wimplicit-fallthrough")
233#define FALLTHROUGH_INTENDED [[clang::fallthrough]] // NOLINT
234#endif
235#endif
236
237#ifndef FALLTHROUGH_INTENDED
238#define FALLTHROUGH_INTENDED do { } while (0)
239#endif
240
Ian Rogers719d1a32014-03-06 12:13:39 -0800241// Annotalysis thread-safety analysis support.
242#if defined(__SUPPORT_TS_ANNOTATION__) || defined(__clang__)
243#define THREAD_ANNOTATION_ATTRIBUTE__(x) __attribute__((x))
Elliott Hughesf8349362012-06-18 15:00:06 -0700244#else
Ian Rogers719d1a32014-03-06 12:13:39 -0800245#define THREAD_ANNOTATION_ATTRIBUTE__(x) // no-op
246#endif
Elliott Hughesf8349362012-06-18 15:00:06 -0700247
Ian Rogers719d1a32014-03-06 12:13:39 -0800248#define ACQUIRED_AFTER(...) THREAD_ANNOTATION_ATTRIBUTE__(acquired_after(__VA_ARGS__))
249#define ACQUIRED_BEFORE(...) THREAD_ANNOTATION_ATTRIBUTE__(acquired_before(__VA_ARGS__))
Ian Rogers719d1a32014-03-06 12:13:39 -0800250#define GUARDED_BY(x) THREAD_ANNOTATION_ATTRIBUTE__(guarded_by(x))
251#define GUARDED_VAR THREAD_ANNOTATION_ATTRIBUTE__(guarded)
Ian Rogers719d1a32014-03-06 12:13:39 -0800252#define LOCK_RETURNED(x) THREAD_ANNOTATION_ATTRIBUTE__(lock_returned(x))
Ian Rogers719d1a32014-03-06 12:13:39 -0800253#define NO_THREAD_SAFETY_ANALYSIS THREAD_ANNOTATION_ATTRIBUTE__(no_thread_safety_analysis)
Elliott Hughesf8349362012-06-18 15:00:06 -0700254#define PT_GUARDED_BY(x)
Ian Rogers719d1a32014-03-06 12:13:39 -0800255// THREAD_ANNOTATION_ATTRIBUTE__(point_to_guarded_by(x))
256#define PT_GUARDED_VAR THREAD_ANNOTATION_ATTRIBUTE__(point_to_guarded)
257#define SCOPED_LOCKABLE THREAD_ANNOTATION_ATTRIBUTE__(scoped_lockable)
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__))
Mathieu Chartier90443472015-07-16 20:32:27 -0700265#define REQUIRES(...) THREAD_ANNOTATION_ATTRIBUTE__(requires_capability(__VA_ARGS__))
266#define SHARED_REQUIRES(...) THREAD_ANNOTATION_ATTRIBUTE__(requires_shared_capability(__VA_ARGS__))
267#define CAPABILITY(...) THREAD_ANNOTATION_ATTRIBUTE__(capability(__VA_ARGS__))
268#define SHARED_CAPABILITY(...) THREAD_ANNOTATION_ATTRIBUTE__(shared_capability(__VA_ARGS__))
269#define ASSERT_CAPABILITY(...) THREAD_ANNOTATION_ATTRIBUTE__(assert_capability(__VA_ARGS__))
270#define ASSERT_SHARED_CAPABILITY(...) THREAD_ANNOTATION_ATTRIBUTE__(assert_shared_capability(__VA_ARGS__))
271#define RETURN_CAPABILITY(...) THREAD_ANNOTATION_ATTRIBUTE__(lock_returned(__VA_ARGS__))
272#define TRY_ACQUIRE(...) THREAD_ANNOTATION_ATTRIBUTE__(try_acquire_capability(__VA_ARGS__))
273#define TRY_ACQUIRE_SHARED(...) THREAD_ANNOTATION_ATTRIBUTE__(try_acquire_shared_capability(__VA_ARGS__))
274#define ACQUIRE(...) THREAD_ANNOTATION_ATTRIBUTE__(acquire_capability(__VA_ARGS__))
275#define ACQUIRE_SHARED(...) THREAD_ANNOTATION_ATTRIBUTE__(acquire_shared_capability(__VA_ARGS__))
276#define RELEASE(...) THREAD_ANNOTATION_ATTRIBUTE__(release_capability(__VA_ARGS__))
277#define RELEASE_SHARED(...) THREAD_ANNOTATION_ATTRIBUTE__(release_shared_capability(__VA_ARGS__))
278#define SCOPED_CAPABILITY THREAD_ANNOTATION_ATTRIBUTE__(scoped_lockable)
Ian Rogers719d1a32014-03-06 12:13:39 -0800279#else
280#define EXCLUSIVE_LOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(exclusive_lock(__VA_ARGS__))
281#define EXCLUSIVE_TRYLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(exclusive_trylock(__VA_ARGS__))
282#define SHARED_LOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(shared_lock(__VA_ARGS__))
283#define SHARED_TRYLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(shared_trylock(__VA_ARGS__))
284#define UNLOCK_FUNCTION(...) THREAD_ANNOTATION_ATTRIBUTE__(unlock(__VA_ARGS__))
Mathieu Chartier90443472015-07-16 20:32:27 -0700285#define REQUIRES(...)
286#define SHARED_REQUIRES(...)
287#define CAPABILITY(...)
288#define SHARED_CAPABILITY(...)
289#define ASSERT_CAPABILITY(...)
290#define ASSERT_SHARED_CAPABILITY(...)
291#define RETURN_CAPABILITY(...)
292#define TRY_ACQUIRE(...)
293#define TRY_ACQUIRE_SHARED(...)
294#define ACQUIRE(...)
295#define ACQUIRE_SHARED(...)
296#define RELEASE(...)
297#define RELEASE_SHARED(...)
298#define SCOPED_CAPABILITY
Ian Rogers719d1a32014-03-06 12:13:39 -0800299#endif
Elliott Hughesf8349362012-06-18 15:00:06 -0700300
Mathieu Chartier90443472015-07-16 20:32:27 -0700301#define LOCKABLE CAPABILITY("mutex")
302#define SHARED_LOCKABLE SHARED_CAPABILITY("mutex")
303
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700304#endif // ART_RUNTIME_BASE_MACROS_H_