LLVM  13.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 #include "llvm/Pass.h"
18 
19 namespace llvm {
20 // Insert ThreadSanitizer (race detection) instrumentation
22 
23 /// A function pass for tsan instrumentation.
24 ///
25 /// Instruments functions to detect race conditions reads. This function pass
26 /// inserts calls to runtime library functions. If the functions aren't declared
27 /// yet, the pass inserts the declarations. Otherwise the existing globals are
28 struct ThreadSanitizerPass : public PassInfoMixin<ThreadSanitizerPass> {
31  static bool isRequired() { return true; }
32 };
33 
34 } // namespace llvm
35 #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:155
llvm::createThreadSanitizerLegacyPassPass
FunctionPass * createThreadSanitizerLegacyPassPass()
Definition: ThreadSanitizer.cpp:241
llvm
Definition: AllocatorList.h:23
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:374
llvm::Function
Definition: Function.h:61
Pass.h
llvm::ThreadSanitizerPass
A function pass for tsan instrumentation.
Definition: ThreadSanitizer.h:28
FAM
FunctionAnalysisManager FAM
Definition: PassBuilderBindings.cpp:59
F
#define F(x, y, z)
Definition: MD5.cpp:56
llvm::ThreadSanitizerPass::isRequired
static bool isRequired()
Definition: ThreadSanitizer.h:31
llvm::ThreadSanitizerPass::run
PreservedAnalyses run(Function &F, FunctionAnalysisManager &FAM)
Definition: ThreadSanitizer.cpp:200
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:67
PassManager.h
llvm::AnalysisManager
A container for analyses that lazily runs them and caches their results.
Definition: InstructionSimplify.h:44