Alexey Samsonov | 5bbf829 | 2012-06-05 14:25:27 +0000 | [diff] [blame] | 1 | //===-- sanitizer_internal_defs.h -------------------------------*- C++ -*-===// |
Kostya Serebryany | 1b71207 | 2012-05-31 14:11:07 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file is shared between AddressSanitizer and ThreadSanitizer. |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 11 | // It contains macro used in run-time libraries code. |
Kostya Serebryany | 1b71207 | 2012-05-31 14:11:07 +0000 | [diff] [blame] | 12 | //===----------------------------------------------------------------------===// |
| 13 | #ifndef SANITIZER_DEFS_H |
| 14 | #define SANITIZER_DEFS_H |
| 15 | |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 16 | #include "sanitizer_interface_defs.h" |
| 17 | using namespace __sanitizer; // NOLINT |
Kostya Serebryany | 1b71207 | 2012-05-31 14:11:07 +0000 | [diff] [blame] | 18 | // ----------- ATTENTION ------------- |
| 19 | // This header should NOT include any other headers to avoid portability issues. |
| 20 | |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 21 | // Common defs. |
| 22 | #define INLINE static inline |
| 23 | #define INTERFACE_ATTRIBUTE SANITIZER_INTERFACE_ATTRIBUTE |
| 24 | #define WEAK SANITIZER_WEAK_ATTRIBUTE |
| 25 | |
| 26 | // Platform-specific defs. |
Kostya Serebryany | 1b71207 | 2012-05-31 14:11:07 +0000 | [diff] [blame] | 27 | #if defined(_WIN32) |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 28 | typedef unsigned long DWORD; // NOLINT |
| 29 | // FIXME(timurrrr): do we need this on Windows? |
| 30 | # define ALIAS(x) |
| 31 | # define ALIGNED(x) __declspec(align(x)) |
Alexey Samsonov | 8bafdd0 | 2012-06-06 13:37:02 +0000 | [diff] [blame] | 32 | # define FORMAT(f, a) |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 33 | # define NOINLINE __declspec(noinline) |
| 34 | # define NORETURN __declspec(noreturn) |
| 35 | # define THREADLOCAL __declspec(thread) |
| 36 | #else // _WIN32 |
| 37 | # define ALIAS(x) __attribute__((alias(x))) |
| 38 | # define ALIGNED(x) __attribute__((aligned(x))) |
Alexey Samsonov | 8bafdd0 | 2012-06-06 13:37:02 +0000 | [diff] [blame] | 39 | # define FORMAT(f, a) __attribute__((format(printf, f, a))) |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 40 | # define NOINLINE __attribute__((noinline)) |
| 41 | # define NORETURN __attribute__((noreturn)) |
| 42 | # define THREADLOCAL __thread |
| 43 | #endif // _WIN32 |
| 44 | |
| 45 | // We have no equivalent of these on Windows. |
| 46 | #ifndef _WIN32 |
| 47 | # define ALWAYS_INLINE __attribute__((always_inline)) |
| 48 | # define LIKELY(x) __builtin_expect(!!(x), 1) |
| 49 | # define UNLIKELY(x) __builtin_expect(!!(x), 0) |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 50 | # define USED __attribute__((used)) |
Kostya Serebryany | 1b71207 | 2012-05-31 14:11:07 +0000 | [diff] [blame] | 51 | #endif |
| 52 | |
Alexey Samsonov | ef2e2cf | 2012-06-05 13:50:57 +0000 | [diff] [blame] | 53 | // If __WORDSIZE was undefined by the platform, define it in terms of the |
| 54 | // compiler built-ins __LP64__ and _WIN64. |
| 55 | #ifndef __WORDSIZE |
| 56 | # if __LP64__ || defined(_WIN64) |
| 57 | # define __WORDSIZE 64 |
| 58 | # else |
| 59 | # define __WORDSIZE 32 |
| 60 | # endif |
| 61 | #endif // __WORDSIZE |
Kostya Serebryany | 1b71207 | 2012-05-31 14:11:07 +0000 | [diff] [blame] | 62 | |
Alexey Samsonov | e428779 | 2012-06-06 15:22:20 +0000 | [diff] [blame] | 63 | // NOTE: Functions below must be defined in each run-time. |
| 64 | namespace __sanitizer { |
| 65 | void NORETURN Die(); |
| 66 | void NORETURN CheckFailed(const char *file, int line, const char *cond, |
| 67 | u64 v1, u64 v2); |
| 68 | } // namespace __sanitizer |
| 69 | |
| 70 | // Check macro |
Alexey Samsonov | ee07290 | 2012-06-06 09:26:25 +0000 | [diff] [blame] | 71 | #define RAW_CHECK_MSG(expr, msg) do { \ |
| 72 | if (!(expr)) { \ |
| 73 | RawWrite(msg); \ |
| 74 | Die(); \ |
| 75 | } \ |
| 76 | } while (0) |
| 77 | |
| 78 | #define RAW_CHECK(expr) RAW_CHECK_MSG(expr, #expr) |
| 79 | |
Alexey Samsonov | e428779 | 2012-06-06 15:22:20 +0000 | [diff] [blame] | 80 | #define CHECK_IMPL(c1, op, c2) \ |
| 81 | do { \ |
| 82 | __sanitizer::u64 v1 = (u64)(c1); \ |
| 83 | __sanitizer::u64 v2 = (u64)(c2); \ |
| 84 | if (!(v1 op v2)) \ |
| 85 | __sanitizer::CheckFailed(__FILE__, __LINE__, \ |
| 86 | "(" #c1 ") " #op " (" #c2 ")", v1, v2); \ |
| 87 | } while (false) \ |
| 88 | /**/ |
| 89 | |
| 90 | #define CHECK(a) CHECK_IMPL((a), !=, 0) |
| 91 | #define CHECK_EQ(a, b) CHECK_IMPL((a), ==, (b)) |
| 92 | #define CHECK_NE(a, b) CHECK_IMPL((a), !=, (b)) |
| 93 | #define CHECK_LT(a, b) CHECK_IMPL((a), <, (b)) |
| 94 | #define CHECK_LE(a, b) CHECK_IMPL((a), <=, (b)) |
| 95 | #define CHECK_GT(a, b) CHECK_IMPL((a), >, (b)) |
| 96 | #define CHECK_GE(a, b) CHECK_IMPL((a), >=, (b)) |
| 97 | |
Alexey Samsonov | e95e29c | 2012-06-06 15:47:40 +0000 | [diff] [blame^] | 98 | #define UNIMPLEMENTED() CHECK("unimplemented" && 0) |
| 99 | |
Kostya Serebryany | 1b71207 | 2012-05-31 14:11:07 +0000 | [diff] [blame] | 100 | #endif // SANITIZER_DEFS_H |