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> { |
28 | PreservedAnalyses run(Function &F, FunctionAnalysisManager &FAM); |
29 | static bool isRequired() { return true; } |
30 | }; |
31 | |
32 | /// A module pass for tsan instrumentation. |
33 | /// |
34 | /// Create ctor and init functions. |
35 | struct ModuleThreadSanitizerPass |
36 | : public PassInfoMixin<ModuleThreadSanitizerPass> { |
37 | PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM); |
38 | static bool isRequired() { return true; } |
39 | }; |
40 | |
41 | } // namespace llvm |
42 | #endif /* LLVM_TRANSFORMS_INSTRUMENTATION_THREADSANITIZER_H */ |
43 | |