1//===- llvm/Support/Valgrind.h - Communication with Valgrind -----*- C++ -*-===// 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// Methods for communicating with a valgrind instance this program is running 11// under. These are all no-ops unless LLVM was configured on a system with the 12// valgrind headers installed and valgrind is controlling this process. 13// 14//===----------------------------------------------------------------------===// 15 16#ifndef LLVM_SUPPORT_VALGRIND_H 17#define LLVM_SUPPORT_VALGRIND_H 18 19#include "llvm/Config/llvm-config.h" 20#include "llvm/Support/Compiler.h" 21#include <stddef.h> 22 23#if LLVM_ENABLE_THREADS != 0 && !defined(NDEBUG) 24// tsan (Thread Sanitizer) is a valgrind-based tool that detects these exact 25// functions by name. 26extern "C" { 27void AnnotateHappensAfter(const char *file, int line, const volatile void *cv); 28void AnnotateHappensBefore(const char *file, int line, const volatile void *cv); 29void AnnotateIgnoreWritesBegin(const char *file, int line); 30void AnnotateIgnoreWritesEnd(const char *file, int line); 31} 32#endif 33 34namespace llvm { 35namespace sys { 36 // True if Valgrind is controlling this process. 37 bool RunningOnValgrind(); 38 39 // Discard valgrind's translation of code in the range [Addr .. Addr + Len). 40 // Otherwise valgrind may continue to execute the old version of the code. 41 void ValgrindDiscardTranslations(const void *Addr, size_t Len); 42 43#if LLVM_ENABLE_THREADS != 0 && !defined(NDEBUG) 44 // Thread Sanitizer is a valgrind tool that finds races in code. 45 // See http://code.google.com/p/data-race-test/wiki/DynamicAnnotations . 46 47 // This marker is used to define a happens-before arc. The race detector will 48 // infer an arc from the begin to the end when they share the same pointer 49 // argument. 50 #define TsanHappensBefore(cv) \ 51 AnnotateHappensBefore(__FILE__, __LINE__, cv) 52 53 // This marker defines the destination of a happens-before arc. 54 #define TsanHappensAfter(cv) \ 55 AnnotateHappensAfter(__FILE__, __LINE__, cv) 56 57 // Ignore any races on writes between here and the next TsanIgnoreWritesEnd. 58 #define TsanIgnoreWritesBegin() \ 59 AnnotateIgnoreWritesBegin(__FILE__, __LINE__) 60 61 // Resume checking for racy writes. 62 #define TsanIgnoreWritesEnd() \ 63 AnnotateIgnoreWritesEnd(__FILE__, __LINE__) 64#else 65 #define TsanHappensBefore(cv) 66 #define TsanHappensAfter(cv) 67 #define TsanIgnoreWritesBegin() 68 #define TsanIgnoreWritesEnd() 69#endif 70} 71} 72 73#endif 74