ThreadSanitizer.cpp File Reference

#include "llvm/Transforms/Instrumentation/ThreadSanitizer.h"
#include "InstrumentationOptions.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Analysis/CaptureTracking.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Intrinsics.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/Type.h"
#include "llvm/ProfileData/InstrProf.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/Utils/EscapeEnumerator.h"
#include "llvm/Transforms/Utils/Instrumentation.h"
#include "llvm/Transforms/Utils/Local.h"
#include "llvm/Transforms/Utils/ModuleUtils.h"

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "tsan"

Functions
	STATISTIC (NumInstrumentedReads, "Number of instrumented reads")
	STATISTIC (NumInstrumentedWrites, "Number of instrumented writes")
	STATISTIC (NumOmittedReadsBeforeWrite, "Number of reads ignored due to following writes")
	STATISTIC (NumAccessesWithBadSize, "Number of accesses with bad size")
	STATISTIC (NumInstrumentedVtableWrites, "Number of vtable ptr writes")
	STATISTIC (NumInstrumentedVtableReads, "Number of vtable ptr reads")
	STATISTIC (NumOmittedReadsFromConstantGlobals, "Number of reads from constant globals")
	STATISTIC (NumOmittedReadsFromVtable, "Number of vtable reads")
	STATISTIC (NumOmittedNonCaptured, "Number of accesses ignored due to capturing")
static bool	isVtableAccess (Instruction *I)
static bool	shouldInstrumentReadWriteFromAddress (const Module *M, Value *Addr)
static bool	isTsanAtomic (const Instruction *I)
static ConstantInt *	createOrdering (IRBuilder<> *IRB, AtomicOrdering ord)

Variables
const char	kTsanModuleCtorName [] = "tsan.module_ctor"
const char	kTsanInitName [] = "__tsan_init"

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "tsan"

Definition at line 51 of file ThreadSanitizer.cpp.

Function Documentation

createOrdering()

ConstantInt * createOrdering ( IRBuilder<> * IRB, AtomicOrdering ord )

static

Definition at line 637 of file ThreadSanitizer.cpp.

References llvm::Acquire, llvm::AcquireRelease, llvm::IRBuilderBase::getInt32(), llvm_unreachable, llvm::Monotonic, llvm::NotAtomic, llvm::Release, llvm::SequentiallyConsistent, and llvm::Unordered.

isTsanAtomic()

bool isTsanAtomic ( const Instruction * I )

static

Definition at line 445 of file ThreadSanitizer.cpp.

References llvm::getAtomicSyncScopeID(), I, llvm::isa(), and llvm::SyncScope::SingleThread.

isVtableAccess()

bool isVtableAccess ( Instruction * I )

static

Definition at line 318 of file ThreadSanitizer.cpp.

References I.

shouldInstrumentReadWriteFromAddress()

bool shouldInstrumentReadWriteFromAddress ( const Module * M, Value * Addr )

static

Definition at line 326 of file ThreadSanitizer.cpp.

References llvm::cast(), llvm::dyn_cast(), llvm::getInstrProfSectionName(), llvm::Type::getPointerAddressSpace(), llvm::Type::getScalarType(), llvm::Value::getType(), and llvm::Value::stripInBoundsOffsets().

STATISTIC() [1/9]

STATISTIC	(	NumAccessesWithBadSize	,
		"Number of accesses with bad size"	)

STATISTIC() [2/9]

STATISTIC	(	NumInstrumentedReads	,
		"Number of instrumented reads"	)

STATISTIC() [3/9]

STATISTIC	(	NumInstrumentedVtableReads	,
		"Number of vtable ptr reads"	)

STATISTIC() [4/9]

STATISTIC	(	NumInstrumentedVtableWrites	,
		"Number of vtable ptr writes"	)

STATISTIC() [5/9]

STATISTIC	(	NumInstrumentedWrites	,
		"Number of instrumented writes"	)

STATISTIC() [6/9]

STATISTIC	(	NumOmittedNonCaptured	,
		"Number of accesses ignored due to capturing"	)

STATISTIC() [7/9]

STATISTIC	(	NumOmittedReadsBeforeWrite	,
		"Number of reads ignored due to following writes"	)

STATISTIC() [8/9]

STATISTIC	(	NumOmittedReadsFromConstantGlobals	,
		"Number of reads from constant globals"	)

STATISTIC() [9/9]

STATISTIC	(	NumOmittedReadsFromVtable	,
		"Number of vtable reads"	)

Variable Documentation

kTsanInitName

const char kTsanInitName[] = "__tsan_init"

Definition at line 66 of file ThreadSanitizer.cpp.

kTsanModuleCtorName

const char kTsanModuleCtorName[] = "tsan.module_ctor"

Definition at line 65 of file ThreadSanitizer.cpp.