blob: 6ed70523c574f190c39bf82af4355b1049c83ae4 [file] [log] [blame]
Alexey Samsonov5bbf8292012-06-05 14:25:27 +00001//===-- sanitizer_internal_defs.h -------------------------------*- C++ -*-===//
Kostya Serebryany1b712072012-05-31 14:11:07 +00002//
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 Samsonovef2e2cf2012-06-05 13:50:57 +000011// It contains macro used in run-time libraries code.
Kostya Serebryany1b712072012-05-31 14:11:07 +000012//===----------------------------------------------------------------------===//
13#ifndef SANITIZER_DEFS_H
14#define SANITIZER_DEFS_H
15
Alexey Samsonovef2e2cf2012-06-05 13:50:57 +000016#include "sanitizer_interface_defs.h"
17using namespace __sanitizer; // NOLINT
Kostya Serebryany1b712072012-05-31 14:11:07 +000018// ----------- ATTENTION -------------
19// This header should NOT include any other headers to avoid portability issues.
20
Alexey Samsonovef2e2cf2012-06-05 13:50:57 +000021// 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 Serebryany1b712072012-05-31 14:11:07 +000027#if defined(_WIN32)
Alexey Samsonovef2e2cf2012-06-05 13:50:57 +000028typedef 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 Samsonov8bafdd02012-06-06 13:37:02 +000032# define FORMAT(f, a)
Alexey Samsonovef2e2cf2012-06-05 13:50:57 +000033# 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 Samsonov8bafdd02012-06-06 13:37:02 +000039# define FORMAT(f, a) __attribute__((format(printf, f, a)))
Alexey Samsonovef2e2cf2012-06-05 13:50:57 +000040# 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 Samsonovef2e2cf2012-06-05 13:50:57 +000050# define USED __attribute__((used))
Kostya Serebryany1b712072012-05-31 14:11:07 +000051#endif
52
Alexey Samsonovef2e2cf2012-06-05 13:50:57 +000053// 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 Serebryany1b712072012-05-31 14:11:07 +000062
Alexey Samsonove4287792012-06-06 15:22:20 +000063// NOTE: Functions below must be defined in each run-time.
64namespace __sanitizer {
65void NORETURN Die();
66void NORETURN CheckFailed(const char *file, int line, const char *cond,
67 u64 v1, u64 v2);
68} // namespace __sanitizer
69
70// Check macro
Alexey Samsonovee072902012-06-06 09:26:25 +000071#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 Samsonove4287792012-06-06 15:22:20 +000080#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 Samsonove95e29c2012-06-06 15:47:40 +000098#define UNIMPLEMENTED() CHECK("unimplemented" && 0)
99
Kostya Serebryany1b712072012-05-31 14:11:07 +0000100#endif // SANITIZER_DEFS_H