LLVM  16.0.0git
ThreadSanitizer.h
Go to the documentation of this file.
1 //===- Transforms/Instrumentation/ThreadSanitizer.h - TSan Pass -----------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file defines the thread sanitizer pass.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef LLVM_TRANSFORMS_INSTRUMENTATION_THREADSANITIZER_H
14 #define LLVM_TRANSFORMS_INSTRUMENTATION_THREADSANITIZER_H
15 
16 #include "llvm/IR/PassManager.h"
17 
18 namespace llvm {
19 class Function;
20 class Module;
21 
22 /// A function pass for tsan instrumentation.
23 ///
24 /// Instruments functions to detect race conditions reads. This function pass
25 /// inserts calls to runtime library functions. If the functions aren't declared
26 /// yet, the pass inserts the declarations. Otherwise the existing globals are
27 struct ThreadSanitizerPass : public PassInfoMixin<ThreadSanitizerPass> {
29  static bool isRequired() { return true; }
30 };
31 
32 /// A module pass for tsan instrumentation.
33 ///
34 /// Create ctor and init functions.
36  : public PassInfoMixin<ModuleThreadSanitizerPass> {
38  static bool isRequired() { return true; }
39 };
40 
41 } // namespace llvm
42 #endif /* LLVM_TRANSFORMS_INSTRUMENTATION_THREADSANITIZER_H */
llvm::PreservedAnalyses
A set of analyses that are preserved following a run of a transformation pass.
Definition: PassManager.h:152
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
M
We currently emits eax Perhaps this is what we really should generate is Is imull three or four cycles eax eax The current instruction priority is based on pattern complexity The former is more complex because it folds a load so the latter will not be emitted Perhaps we should use AddedComplexity to give LEA32r a higher priority We should always try to match LEA first since the LEA matching code does some estimate to determine whether the match is profitable if we care more about code then imull is better It s two bytes shorter than movl leal On a Pentium M
Definition: README.txt:252
llvm::PassInfoMixin
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:371
llvm::Function
Definition: Function.h:60
llvm::ThreadSanitizerPass
A function pass for tsan instrumentation.
Definition: ThreadSanitizer.h:27
FAM
FunctionAnalysisManager FAM
Definition: PassBuilderBindings.cpp:59
F
#define F(x, y, z)
Definition: MD5.cpp:55
llvm::ThreadSanitizerPass::isRequired
static bool isRequired()
Definition: ThreadSanitizer.h:29
llvm::ModuleThreadSanitizerPass::run
PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
Definition: ThreadSanitizer.cpp:194
llvm::ThreadSanitizerPass::run
PreservedAnalyses run(Function &F, FunctionAnalysisManager &FAM)
Definition: ThreadSanitizer.cpp:186
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
Module
Machine Check Debug Module
Definition: MachineCheckDebugify.cpp:122
PassManager.h
llvm::ModuleThreadSanitizerPass
A module pass for tsan instrumentation.
Definition: ThreadSanitizer.h:35
llvm::ModuleThreadSanitizerPass::isRequired
static bool isRequired()
Definition: ThreadSanitizer.h:38
llvm::AnalysisManager
A container for analyses that lazily runs them and caches their results.
Definition: InstructionSimplify.h:42
llvm::codeview::PublicSymFlags::Function
@ Function