Current Path : /usr/src/contrib/llvm/include/llvm/Support/ |
FreeBSD hs32.drive.ne.jp 9.1-RELEASE FreeBSD 9.1-RELEASE #1: Wed Jan 14 12:18:08 JST 2015 root@hs32.drive.ne.jp:/sys/amd64/compile/hs32 amd64 |
Current File : //usr/src/contrib/llvm/include/llvm/Support/Valgrind.h |
//===- llvm/Support/Valgrind.h - Communication with Valgrind -----*- C++ -*-===// // // The LLVM Compiler Infrastructure // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // // Methods for communicating with a valgrind instance this program is running // under. These are all no-ops unless LLVM was configured on a system with the // valgrind headers installed and valgrind is controlling this process. // //===----------------------------------------------------------------------===// #ifndef LLVM_SYSTEM_VALGRIND_H #define LLVM_SYSTEM_VALGRIND_H #include "llvm/Support/Compiler.h" #include "llvm/Config/llvm-config.h" #include <stddef.h> #if LLVM_ENABLE_THREADS != 0 && !defined(NDEBUG) // tsan (Thread Sanitizer) is a valgrind-based tool that detects these exact // functions by name. extern "C" { LLVM_ATTRIBUTE_WEAK void AnnotateHappensAfter(const char *file, int line, const volatile void *cv); LLVM_ATTRIBUTE_WEAK void AnnotateHappensBefore(const char *file, int line, const volatile void *cv); LLVM_ATTRIBUTE_WEAK void AnnotateIgnoreWritesBegin(const char *file, int line); LLVM_ATTRIBUTE_WEAK void AnnotateIgnoreWritesEnd(const char *file, int line); } #endif namespace llvm { namespace sys { // True if Valgrind is controlling this process. bool RunningOnValgrind(); // Discard valgrind's translation of code in the range [Addr .. Addr + Len). // Otherwise valgrind may continue to execute the old version of the code. void ValgrindDiscardTranslations(const void *Addr, size_t Len); #if LLVM_ENABLE_THREADS != 0 && !defined(NDEBUG) // Thread Sanitizer is a valgrind tool that finds races in code. // See http://code.google.com/p/data-race-test/wiki/DynamicAnnotations . // This marker is used to define a happens-before arc. The race detector will // infer an arc from the begin to the end when they share the same pointer // argument. #define TsanHappensBefore(cv) \ AnnotateHappensBefore(__FILE__, __LINE__, cv) // This marker defines the destination of a happens-before arc. #define TsanHappensAfter(cv) \ AnnotateHappensAfter(__FILE__, __LINE__, cv) // Ignore any races on writes between here and the next TsanIgnoreWritesEnd. #define TsanIgnoreWritesBegin() \ AnnotateIgnoreWritesBegin(__FILE__, __LINE__) // Resume checking for racy writes. #define TsanIgnoreWritesEnd() \ AnnotateIgnoreWritesEnd(__FILE__, __LINE__) #else #define TsanHappensBefore(cv) #define TsanHappensAfter(cv) #define TsanIgnoreWritesBegin() #define TsanIgnoreWritesEnd() #endif } } #endif