Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 1 | //===-- ThreadSanitizer.cpp - race detector -------------------------------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // This file is a part of ThreadSanitizer, a race detector. |
| 10 | // |
| 11 | // The tool is under development, for the details about previous versions see |
| 12 | // http://code.google.com/p/data-race-test |
| 13 | // |
| 14 | // The instrumentation phase is quite simple: |
| 15 | // - Insert calls to run-time library before every memory access. |
| 16 | // - Optimizations may apply to avoid instrumenting some of the accesses. |
| 17 | // - Insert calls at function entry/exit. |
| 18 | // The rest is handled by the run-time library. |
| 19 | //===----------------------------------------------------------------------===// |
| 20 | |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 21 | #include "llvm/Transforms/Instrumentation/ThreadSanitizer.h" |
Florian Hahn | a1cc848 | 2018-06-12 11:16:56 +0000 | [diff] [blame] | 22 | #include "llvm/ADT/SmallPtrSet.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 23 | #include "llvm/ADT/SmallString.h" |
| 24 | #include "llvm/ADT/SmallVector.h" |
| 25 | #include "llvm/ADT/Statistic.h" |
| 26 | #include "llvm/ADT/StringExtras.h" |
Benjamin Kramer | 799003b | 2015-03-23 19:32:43 +0000 | [diff] [blame] | 27 | #include "llvm/Analysis/CaptureTracking.h" |
Marcin Koscielnicki | 3feda22 | 2016-06-18 10:10:37 +0000 | [diff] [blame] | 28 | #include "llvm/Analysis/TargetLibraryInfo.h" |
Benjamin Kramer | 799003b | 2015-03-23 19:32:43 +0000 | [diff] [blame] | 29 | #include "llvm/Analysis/ValueTracking.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 30 | #include "llvm/IR/DataLayout.h" |
| 31 | #include "llvm/IR/Function.h" |
| 32 | #include "llvm/IR/IRBuilder.h" |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 33 | #include "llvm/IR/IntrinsicInst.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 34 | #include "llvm/IR/Intrinsics.h" |
| 35 | #include "llvm/IR/LLVMContext.h" |
| 36 | #include "llvm/IR/Metadata.h" |
| 37 | #include "llvm/IR/Module.h" |
| 38 | #include "llvm/IR/Type.h" |
Reid Kleckner | 05da2fe | 2019-11-13 13:15:01 -0800 | [diff] [blame^] | 39 | #include "llvm/InitializePasses.h" |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 40 | #include "llvm/ProfileData/InstrProf.h" |
Kostya Serebryany | abad002 | 2012-03-14 23:33:24 +0000 | [diff] [blame] | 41 | #include "llvm/Support/CommandLine.h" |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 42 | #include "llvm/Support/Debug.h" |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 43 | #include "llvm/Support/MathExtras.h" |
Kostya Serebryany | 6f8a776 | 2012-03-26 17:35:03 +0000 | [diff] [blame] | 44 | #include "llvm/Support/raw_ostream.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 45 | #include "llvm/Transforms/Instrumentation.h" |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 46 | #include "llvm/Transforms/Utils/BasicBlockUtils.h" |
Kuba Brecka | ddfdba3 | 2016-11-14 21:41:13 +0000 | [diff] [blame] | 47 | #include "llvm/Transforms/Utils/EscapeEnumerator.h" |
Reid Kleckner | 05da2fe | 2019-11-13 13:15:01 -0800 | [diff] [blame^] | 48 | #include "llvm/Transforms/Utils/Local.h" |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 49 | #include "llvm/Transforms/Utils/ModuleUtils.h" |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 50 | |
| 51 | using namespace llvm; |
| 52 | |
Chandler Carruth | 964daaa | 2014-04-22 02:55:47 +0000 | [diff] [blame] | 53 | #define DEBUG_TYPE "tsan" |
| 54 | |
Kostya Serebryany | d23b18f | 2012-10-04 05:28:50 +0000 | [diff] [blame] | 55 | static cl::opt<bool> ClInstrumentMemoryAccesses( |
| 56 | "tsan-instrument-memory-accesses", cl::init(true), |
| 57 | cl::desc("Instrument memory accesses"), cl::Hidden); |
| 58 | static cl::opt<bool> ClInstrumentFuncEntryExit( |
| 59 | "tsan-instrument-func-entry-exit", cl::init(true), |
| 60 | cl::desc("Instrument function entry and exit"), cl::Hidden); |
Kuba Brecka | ddfdba3 | 2016-11-14 21:41:13 +0000 | [diff] [blame] | 61 | static cl::opt<bool> ClHandleCxxExceptions( |
| 62 | "tsan-handle-cxx-exceptions", cl::init(true), |
| 63 | cl::desc("Handle C++ exceptions (insert cleanup blocks for unwinding)"), |
| 64 | cl::Hidden); |
Kostya Serebryany | d23b18f | 2012-10-04 05:28:50 +0000 | [diff] [blame] | 65 | static cl::opt<bool> ClInstrumentAtomics( |
| 66 | "tsan-instrument-atomics", cl::init(true), |
| 67 | cl::desc("Instrument atomics"), cl::Hidden); |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 68 | static cl::opt<bool> ClInstrumentMemIntrinsics( |
| 69 | "tsan-instrument-memintrinsics", cl::init(true), |
| 70 | cl::desc("Instrument memintrinsics (memset/memcpy/memmove)"), cl::Hidden); |
Kostya Serebryany | abad002 | 2012-03-14 23:33:24 +0000 | [diff] [blame] | 71 | |
Kostya Serebryany | 5a4b7a2 | 2012-04-23 08:44:59 +0000 | [diff] [blame] | 72 | STATISTIC(NumInstrumentedReads, "Number of instrumented reads"); |
| 73 | STATISTIC(NumInstrumentedWrites, "Number of instrumented writes"); |
Alexey Samsonov | f54e3aa | 2012-08-30 13:47:13 +0000 | [diff] [blame] | 74 | STATISTIC(NumOmittedReadsBeforeWrite, |
Kostya Serebryany | 5a4b7a2 | 2012-04-23 08:44:59 +0000 | [diff] [blame] | 75 | "Number of reads ignored due to following writes"); |
| 76 | STATISTIC(NumAccessesWithBadSize, "Number of accesses with bad size"); |
| 77 | STATISTIC(NumInstrumentedVtableWrites, "Number of vtable ptr writes"); |
Dmitry Vyukov | 55e63ef | 2013-03-22 08:51:22 +0000 | [diff] [blame] | 78 | STATISTIC(NumInstrumentedVtableReads, "Number of vtable ptr reads"); |
Kostya Serebryany | 5a4b7a2 | 2012-04-23 08:44:59 +0000 | [diff] [blame] | 79 | STATISTIC(NumOmittedReadsFromConstantGlobals, |
| 80 | "Number of reads from constant globals"); |
| 81 | STATISTIC(NumOmittedReadsFromVtable, "Number of vtable reads"); |
Dmitry Vyukov | 2e8d82e | 2015-02-12 09:55:28 +0000 | [diff] [blame] | 82 | STATISTIC(NumOmittedNonCaptured, "Number of accesses ignored due to capturing"); |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 83 | |
Florian Hahn | 9697d2a | 2019-01-09 13:32:16 +0000 | [diff] [blame] | 84 | static const char *const kTsanModuleCtorName = "tsan.module_ctor"; |
Ismail Pazarbasi | 2d4ae9f | 2015-05-07 21:41:23 +0000 | [diff] [blame] | 85 | static const char *const kTsanInitName = "__tsan_init"; |
| 86 | |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 87 | namespace { |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 88 | |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 89 | /// ThreadSanitizer: instrument the code in module to find races. |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 90 | /// |
| 91 | /// Instantiating ThreadSanitizer inserts the tsan runtime library API function |
| 92 | /// declarations into the module if they don't exist already. Instantiating |
| 93 | /// ensures the __tsan_init function is in the list of global constructors for |
| 94 | /// the module. |
| 95 | struct ThreadSanitizer { |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 96 | bool sanitizeFunction(Function &F, const TargetLibraryInfo &TLI); |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 97 | |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 98 | private: |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 99 | void initialize(Module &M); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 100 | bool instrumentLoadOrStore(Instruction *I, const DataLayout &DL); |
| 101 | bool instrumentAtomic(Instruction *I, const DataLayout &DL); |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 102 | bool instrumentMemIntrinsic(Instruction *I); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 103 | void chooseInstructionsToInstrument(SmallVectorImpl<Instruction *> &Local, |
| 104 | SmallVectorImpl<Instruction *> &All, |
| 105 | const DataLayout &DL); |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 106 | bool addrPointsToConstantData(Value *Addr); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 107 | int getMemoryAccessFuncIndex(Value *Addr, const DataLayout &DL); |
Kuba Brecka | ddfdba3 | 2016-11-14 21:41:13 +0000 | [diff] [blame] | 108 | void InsertRuntimeIgnores(Function &F); |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 109 | |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 110 | Type *IntptrTy; |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 111 | FunctionCallee TsanFuncEntry; |
| 112 | FunctionCallee TsanFuncExit; |
| 113 | FunctionCallee TsanIgnoreBegin; |
| 114 | FunctionCallee TsanIgnoreEnd; |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 115 | // Accesses sizes are powers of two: 1, 2, 4, 8, 16. |
Kostya Serebryany | a8531ee | 2012-02-14 00:52:07 +0000 | [diff] [blame] | 116 | static const size_t kNumberOfAccessSizes = 5; |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 117 | FunctionCallee TsanRead[kNumberOfAccessSizes]; |
| 118 | FunctionCallee TsanWrite[kNumberOfAccessSizes]; |
| 119 | FunctionCallee TsanUnalignedRead[kNumberOfAccessSizes]; |
| 120 | FunctionCallee TsanUnalignedWrite[kNumberOfAccessSizes]; |
| 121 | FunctionCallee TsanAtomicLoad[kNumberOfAccessSizes]; |
| 122 | FunctionCallee TsanAtomicStore[kNumberOfAccessSizes]; |
| 123 | FunctionCallee TsanAtomicRMW[AtomicRMWInst::LAST_BINOP + 1] |
| 124 | [kNumberOfAccessSizes]; |
| 125 | FunctionCallee TsanAtomicCAS[kNumberOfAccessSizes]; |
| 126 | FunctionCallee TsanAtomicThreadFence; |
| 127 | FunctionCallee TsanAtomicSignalFence; |
| 128 | FunctionCallee TsanVptrUpdate; |
| 129 | FunctionCallee TsanVptrLoad; |
| 130 | FunctionCallee MemmoveFn, MemcpyFn, MemsetFn; |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 131 | }; |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 132 | |
| 133 | struct ThreadSanitizerLegacyPass : FunctionPass { |
| 134 | ThreadSanitizerLegacyPass() : FunctionPass(ID) {} |
| 135 | StringRef getPassName() const override; |
| 136 | void getAnalysisUsage(AnalysisUsage &AU) const override; |
| 137 | bool runOnFunction(Function &F) override; |
| 138 | bool doInitialization(Module &M) override; |
| 139 | static char ID; // Pass identification, replacement for typeid. |
| 140 | private: |
| 141 | Optional<ThreadSanitizer> TSan; |
| 142 | }; |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 143 | |
| 144 | void insertModuleCtor(Module &M) { |
| 145 | getOrCreateSanitizerCtorAndInitFunctions( |
| 146 | M, kTsanModuleCtorName, kTsanInitName, /*InitArgTypes=*/{}, |
| 147 | /*InitArgs=*/{}, |
| 148 | // This callback is invoked when the functions are created the first |
| 149 | // time. Hook them into the global ctors list in that case: |
| 150 | [&](Function *Ctor, FunctionCallee) { appendToGlobalCtors(M, Ctor, 0); }); |
| 151 | } |
| 152 | |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 153 | } // namespace |
| 154 | |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 155 | PreservedAnalyses ThreadSanitizerPass::run(Function &F, |
| 156 | FunctionAnalysisManager &FAM) { |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 157 | ThreadSanitizer TSan; |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 158 | if (TSan.sanitizeFunction(F, FAM.getResult<TargetLibraryAnalysis>(F))) |
| 159 | return PreservedAnalyses::none(); |
| 160 | return PreservedAnalyses::all(); |
| 161 | } |
| 162 | |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 163 | PreservedAnalyses ThreadSanitizerPass::run(Module &M, |
| 164 | ModuleAnalysisManager &MAM) { |
| 165 | insertModuleCtor(M); |
| 166 | return PreservedAnalyses::none(); |
| 167 | } |
| 168 | |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 169 | char ThreadSanitizerLegacyPass::ID = 0; |
| 170 | INITIALIZE_PASS_BEGIN(ThreadSanitizerLegacyPass, "tsan", |
| 171 | "ThreadSanitizer: detects data races.", false, false) |
Marcin Koscielnicki | 3feda22 | 2016-06-18 10:10:37 +0000 | [diff] [blame] | 172 | INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass) |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 173 | INITIALIZE_PASS_END(ThreadSanitizerLegacyPass, "tsan", |
| 174 | "ThreadSanitizer: detects data races.", false, false) |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 175 | |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 176 | StringRef ThreadSanitizerLegacyPass::getPassName() const { |
| 177 | return "ThreadSanitizerLegacyPass"; |
| 178 | } |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 179 | |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 180 | void ThreadSanitizerLegacyPass::getAnalysisUsage(AnalysisUsage &AU) const { |
Marcin Koscielnicki | 3feda22 | 2016-06-18 10:10:37 +0000 | [diff] [blame] | 181 | AU.addRequired<TargetLibraryInfoWrapperPass>(); |
| 182 | } |
| 183 | |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 184 | bool ThreadSanitizerLegacyPass::doInitialization(Module &M) { |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 185 | insertModuleCtor(M); |
| 186 | TSan.emplace(); |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 187 | return true; |
| 188 | } |
| 189 | |
| 190 | bool ThreadSanitizerLegacyPass::runOnFunction(Function &F) { |
Teresa Johnson | 9c27b59 | 2019-09-07 03:09:36 +0000 | [diff] [blame] | 191 | auto &TLI = getAnalysis<TargetLibraryInfoWrapperPass>().getTLI(F); |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 192 | TSan->sanitizeFunction(F, TLI); |
| 193 | return true; |
| 194 | } |
| 195 | |
| 196 | FunctionPass *llvm::createThreadSanitizerLegacyPassPass() { |
| 197 | return new ThreadSanitizerLegacyPass(); |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 198 | } |
| 199 | |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 200 | void ThreadSanitizer::initialize(Module &M) { |
| 201 | const DataLayout &DL = M.getDataLayout(); |
| 202 | IntptrTy = DL.getIntPtrType(M.getContext()); |
| 203 | |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 204 | IRBuilder<> IRB(M.getContext()); |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 205 | AttributeList Attr; |
| 206 | Attr = Attr.addAttribute(M.getContext(), AttributeList::FunctionIndex, |
| 207 | Attribute::NoUnwind); |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 208 | // Initialize the callbacks. |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 209 | TsanFuncEntry = M.getOrInsertFunction("__tsan_func_entry", Attr, |
| 210 | IRB.getVoidTy(), IRB.getInt8PtrTy()); |
| 211 | TsanFuncExit = |
| 212 | M.getOrInsertFunction("__tsan_func_exit", Attr, IRB.getVoidTy()); |
| 213 | TsanIgnoreBegin = M.getOrInsertFunction("__tsan_ignore_thread_begin", Attr, |
| 214 | IRB.getVoidTy()); |
| 215 | TsanIgnoreEnd = |
| 216 | M.getOrInsertFunction("__tsan_ignore_thread_end", Attr, IRB.getVoidTy()); |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 217 | IntegerType *OrdTy = IRB.getInt32Ty(); |
Kostya Serebryany | a8531ee | 2012-02-14 00:52:07 +0000 | [diff] [blame] | 218 | for (size_t i = 0; i < kNumberOfAccessSizes; ++i) { |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 219 | const unsigned ByteSize = 1U << i; |
| 220 | const unsigned BitSize = ByteSize * 8; |
| 221 | std::string ByteSizeStr = utostr(ByteSize); |
| 222 | std::string BitSizeStr = utostr(BitSize); |
| 223 | SmallString<32> ReadName("__tsan_read" + ByteSizeStr); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 224 | TsanRead[i] = M.getOrInsertFunction(ReadName, Attr, IRB.getVoidTy(), |
| 225 | IRB.getInt8PtrTy()); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 226 | |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 227 | SmallString<32> WriteName("__tsan_write" + ByteSizeStr); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 228 | TsanWrite[i] = M.getOrInsertFunction(WriteName, Attr, IRB.getVoidTy(), |
| 229 | IRB.getInt8PtrTy()); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 230 | |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 231 | SmallString<64> UnalignedReadName("__tsan_unaligned_read" + ByteSizeStr); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 232 | TsanUnalignedRead[i] = M.getOrInsertFunction( |
| 233 | UnalignedReadName, Attr, IRB.getVoidTy(), IRB.getInt8PtrTy()); |
Dmitry Vyukov | 91ffdec | 2015-01-27 20:19:17 +0000 | [diff] [blame] | 234 | |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 235 | SmallString<64> UnalignedWriteName("__tsan_unaligned_write" + ByteSizeStr); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 236 | TsanUnalignedWrite[i] = M.getOrInsertFunction( |
| 237 | UnalignedWriteName, Attr, IRB.getVoidTy(), IRB.getInt8PtrTy()); |
Dmitry Vyukov | 91ffdec | 2015-01-27 20:19:17 +0000 | [diff] [blame] | 238 | |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 239 | Type *Ty = Type::getIntNTy(M.getContext(), BitSize); |
| 240 | Type *PtrTy = Ty->getPointerTo(); |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 241 | SmallString<32> AtomicLoadName("__tsan_atomic" + BitSizeStr + "_load"); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 242 | TsanAtomicLoad[i] = |
| 243 | M.getOrInsertFunction(AtomicLoadName, Attr, Ty, PtrTy, OrdTy); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 244 | |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 245 | SmallString<32> AtomicStoreName("__tsan_atomic" + BitSizeStr + "_store"); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 246 | TsanAtomicStore[i] = M.getOrInsertFunction( |
| 247 | AtomicStoreName, Attr, IRB.getVoidTy(), PtrTy, Ty, OrdTy); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 248 | |
| 249 | for (int op = AtomicRMWInst::FIRST_BINOP; |
| 250 | op <= AtomicRMWInst::LAST_BINOP; ++op) { |
Craig Topper | f40110f | 2014-04-25 05:29:35 +0000 | [diff] [blame] | 251 | TsanAtomicRMW[op][i] = nullptr; |
| 252 | const char *NamePart = nullptr; |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 253 | if (op == AtomicRMWInst::Xchg) |
| 254 | NamePart = "_exchange"; |
| 255 | else if (op == AtomicRMWInst::Add) |
| 256 | NamePart = "_fetch_add"; |
| 257 | else if (op == AtomicRMWInst::Sub) |
| 258 | NamePart = "_fetch_sub"; |
| 259 | else if (op == AtomicRMWInst::And) |
| 260 | NamePart = "_fetch_and"; |
| 261 | else if (op == AtomicRMWInst::Or) |
| 262 | NamePart = "_fetch_or"; |
| 263 | else if (op == AtomicRMWInst::Xor) |
| 264 | NamePart = "_fetch_xor"; |
Dmitry Vyukov | a878e74 | 2012-11-27 08:09:25 +0000 | [diff] [blame] | 265 | else if (op == AtomicRMWInst::Nand) |
| 266 | NamePart = "_fetch_nand"; |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 267 | else |
| 268 | continue; |
| 269 | SmallString<32> RMWName("__tsan_atomic" + itostr(BitSize) + NamePart); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 270 | TsanAtomicRMW[op][i] = |
| 271 | M.getOrInsertFunction(RMWName, Attr, Ty, PtrTy, Ty, OrdTy); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 272 | } |
| 273 | |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 274 | SmallString<32> AtomicCASName("__tsan_atomic" + BitSizeStr + |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 275 | "_compare_exchange_val"); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 276 | TsanAtomicCAS[i] = M.getOrInsertFunction(AtomicCASName, Attr, Ty, PtrTy, Ty, |
| 277 | Ty, OrdTy, OrdTy); |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 278 | } |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 279 | TsanVptrUpdate = |
Kuba Brecka | ddfdba3 | 2016-11-14 21:41:13 +0000 | [diff] [blame] | 280 | M.getOrInsertFunction("__tsan_vptr_update", Attr, IRB.getVoidTy(), |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 281 | IRB.getInt8PtrTy(), IRB.getInt8PtrTy()); |
| 282 | TsanVptrLoad = M.getOrInsertFunction("__tsan_vptr_read", Attr, |
| 283 | IRB.getVoidTy(), IRB.getInt8PtrTy()); |
| 284 | TsanAtomicThreadFence = M.getOrInsertFunction("__tsan_atomic_thread_fence", |
| 285 | Attr, IRB.getVoidTy(), OrdTy); |
| 286 | TsanAtomicSignalFence = M.getOrInsertFunction("__tsan_atomic_signal_fence", |
| 287 | Attr, IRB.getVoidTy(), OrdTy); |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 288 | |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 289 | MemmoveFn = |
| 290 | M.getOrInsertFunction("memmove", Attr, IRB.getInt8PtrTy(), |
| 291 | IRB.getInt8PtrTy(), IRB.getInt8PtrTy(), IntptrTy); |
| 292 | MemcpyFn = |
| 293 | M.getOrInsertFunction("memcpy", Attr, IRB.getInt8PtrTy(), |
| 294 | IRB.getInt8PtrTy(), IRB.getInt8PtrTy(), IntptrTy); |
| 295 | MemsetFn = |
| 296 | M.getOrInsertFunction("memset", Attr, IRB.getInt8PtrTy(), |
| 297 | IRB.getInt8PtrTy(), IRB.getInt32Ty(), IntptrTy); |
Kostya Serebryany | 4b929da | 2012-11-29 09:54:21 +0000 | [diff] [blame] | 298 | } |
| 299 | |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 300 | static bool isVtableAccess(Instruction *I) { |
Duncan P. N. Exon Smith | de36e80 | 2014-11-11 21:30:22 +0000 | [diff] [blame] | 301 | if (MDNode *Tag = I->getMetadata(LLVMContext::MD_tbaa)) |
Manman Ren | d8c68b1 | 2013-09-06 22:47:05 +0000 | [diff] [blame] | 302 | return Tag->isTBAAVtableAccess(); |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 303 | return false; |
| 304 | } |
| 305 | |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 306 | // Do not instrument known races/"benign races" that come from compiler |
| 307 | // instrumentatin. The user has no way of suppressing them. |
Xinliang David Li | 9a71766 | 2017-04-14 03:03:24 +0000 | [diff] [blame] | 308 | static bool shouldInstrumentReadWriteFromAddress(const Module *M, Value *Addr) { |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 309 | // Peel off GEPs and BitCasts. |
| 310 | Addr = Addr->stripInBoundsOffsets(); |
| 311 | |
| 312 | if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Addr)) { |
| 313 | if (GV->hasSection()) { |
| 314 | StringRef SectionName = GV->getSection(); |
| 315 | // Check if the global is in the PGO counters section. |
Vedant Kumar | 1a6a2b6 | 2017-04-15 00:09:57 +0000 | [diff] [blame] | 316 | auto OF = Triple(M->getTargetTriple()).getObjectFormat(); |
| 317 | if (SectionName.endswith( |
| 318 | getInstrProfSectionName(IPSK_cnts, OF, /*AddSegmentInfo=*/false))) |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 319 | return false; |
| 320 | } |
Vedant Kumar | 0222adb | 2016-06-20 21:24:26 +0000 | [diff] [blame] | 321 | |
Vedant Kumar | 57faf2d | 2016-07-19 20:16:08 +0000 | [diff] [blame] | 322 | // Check if the global is private gcov data. |
| 323 | if (GV->getName().startswith("__llvm_gcov") || |
| 324 | GV->getName().startswith("__llvm_gcda")) |
Vedant Kumar | 0222adb | 2016-06-20 21:24:26 +0000 | [diff] [blame] | 325 | return false; |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 326 | } |
Anna Zaks | 644d9d3 | 2016-06-22 00:15:52 +0000 | [diff] [blame] | 327 | |
| 328 | // Do not instrument acesses from different address spaces; we cannot deal |
| 329 | // with them. |
| 330 | if (Addr) { |
| 331 | Type *PtrTy = cast<PointerType>(Addr->getType()->getScalarType()); |
| 332 | if (PtrTy->getPointerAddressSpace() != 0) |
| 333 | return false; |
| 334 | } |
| 335 | |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 336 | return true; |
| 337 | } |
| 338 | |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 339 | bool ThreadSanitizer::addrPointsToConstantData(Value *Addr) { |
| 340 | // If this is a GEP, just analyze its pointer operand. |
| 341 | if (GetElementPtrInst *GEP = dyn_cast<GetElementPtrInst>(Addr)) |
| 342 | Addr = GEP->getPointerOperand(); |
| 343 | |
| 344 | if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Addr)) { |
| 345 | if (GV->isConstant()) { |
| 346 | // Reads from constant globals can not race with any writes. |
Kostya Serebryany | 5a4b7a2 | 2012-04-23 08:44:59 +0000 | [diff] [blame] | 347 | NumOmittedReadsFromConstantGlobals++; |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 348 | return true; |
| 349 | } |
Alexey Samsonov | f54e3aa | 2012-08-30 13:47:13 +0000 | [diff] [blame] | 350 | } else if (LoadInst *L = dyn_cast<LoadInst>(Addr)) { |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 351 | if (isVtableAccess(L)) { |
| 352 | // Reads from a vtable pointer can not race with any writes. |
Kostya Serebryany | 5a4b7a2 | 2012-04-23 08:44:59 +0000 | [diff] [blame] | 353 | NumOmittedReadsFromVtable++; |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 354 | return true; |
| 355 | } |
| 356 | } |
| 357 | return false; |
| 358 | } |
| 359 | |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 360 | // Instrumenting some of the accesses may be proven redundant. |
| 361 | // Currently handled: |
| 362 | // - read-before-write (within same BB, no calls between) |
Dmitry Vyukov | 2e8d82e | 2015-02-12 09:55:28 +0000 | [diff] [blame] | 363 | // - not captured variables |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 364 | // |
| 365 | // We do not handle some of the patterns that should not survive |
| 366 | // after the classic compiler optimizations. |
| 367 | // E.g. two reads from the same temp should be eliminated by CSE, |
| 368 | // two writes should be eliminated by DSE, etc. |
| 369 | // |
| 370 | // 'Local' is a vector of insns within the same BB (no calls between). |
| 371 | // 'All' is a vector of insns that will be instrumented. |
Kostya Serebryany | ae7188d | 2012-05-02 13:12:19 +0000 | [diff] [blame] | 372 | void ThreadSanitizer::chooseInstructionsToInstrument( |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 373 | SmallVectorImpl<Instruction *> &Local, SmallVectorImpl<Instruction *> &All, |
| 374 | const DataLayout &DL) { |
Florian Hahn | a1cc848 | 2018-06-12 11:16:56 +0000 | [diff] [blame] | 375 | SmallPtrSet<Value*, 8> WriteTargets; |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 376 | // Iterate from the end. |
David Majnemer | d770877 | 2016-06-24 04:05:21 +0000 | [diff] [blame] | 377 | for (Instruction *I : reverse(Local)) { |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 378 | if (StoreInst *Store = dyn_cast<StoreInst>(I)) { |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 379 | Value *Addr = Store->getPointerOperand(); |
Xinliang David Li | 9a71766 | 2017-04-14 03:03:24 +0000 | [diff] [blame] | 380 | if (!shouldInstrumentReadWriteFromAddress(I->getModule(), Addr)) |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 381 | continue; |
| 382 | WriteTargets.insert(Addr); |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 383 | } else { |
| 384 | LoadInst *Load = cast<LoadInst>(I); |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 385 | Value *Addr = Load->getPointerOperand(); |
Xinliang David Li | 9a71766 | 2017-04-14 03:03:24 +0000 | [diff] [blame] | 386 | if (!shouldInstrumentReadWriteFromAddress(I->getModule(), Addr)) |
Anna Zaks | 1a470b6 | 2016-03-29 23:19:40 +0000 | [diff] [blame] | 387 | continue; |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 388 | if (WriteTargets.count(Addr)) { |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 389 | // We will write to this temp, so no reason to analyze the read. |
Kostya Serebryany | 5a4b7a2 | 2012-04-23 08:44:59 +0000 | [diff] [blame] | 390 | NumOmittedReadsBeforeWrite++; |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 391 | continue; |
| 392 | } |
Kostya Serebryany | 5ba61ac | 2012-04-10 22:29:17 +0000 | [diff] [blame] | 393 | if (addrPointsToConstantData(Addr)) { |
| 394 | // Addr points to some constant data -- it can not race with any writes. |
| 395 | continue; |
| 396 | } |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 397 | } |
Dmitry Vyukov | 2e8d82e | 2015-02-12 09:55:28 +0000 | [diff] [blame] | 398 | Value *Addr = isa<StoreInst>(*I) |
| 399 | ? cast<StoreInst>(I)->getPointerOperand() |
| 400 | : cast<LoadInst>(I)->getPointerOperand(); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 401 | if (isa<AllocaInst>(GetUnderlyingObject(Addr, DL)) && |
Dmitry Vyukov | 2e8d82e | 2015-02-12 09:55:28 +0000 | [diff] [blame] | 402 | !PointerMayBeCaptured(Addr, true, true)) { |
| 403 | // The variable is addressable but not captured, so it cannot be |
| 404 | // referenced from a different thread and participate in a data race |
| 405 | // (see llvm/Analysis/CaptureTracking.h for details). |
| 406 | NumOmittedNonCaptured++; |
| 407 | continue; |
| 408 | } |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 409 | All.push_back(I); |
| 410 | } |
| 411 | Local.clear(); |
| 412 | } |
| 413 | |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 414 | static bool isAtomic(Instruction *I) { |
Konstantin Zhuravlyov | bb80d3e | 2017-07-11 22:23:00 +0000 | [diff] [blame] | 415 | // TODO: Ask TTI whether synchronization scope is between threads. |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 416 | if (LoadInst *LI = dyn_cast<LoadInst>(I)) |
Konstantin Zhuravlyov | bb80d3e | 2017-07-11 22:23:00 +0000 | [diff] [blame] | 417 | return LI->isAtomic() && LI->getSyncScopeID() != SyncScope::SingleThread; |
Kostya Serebryany | ae7188d | 2012-05-02 13:12:19 +0000 | [diff] [blame] | 418 | if (StoreInst *SI = dyn_cast<StoreInst>(I)) |
Konstantin Zhuravlyov | bb80d3e | 2017-07-11 22:23:00 +0000 | [diff] [blame] | 419 | return SI->isAtomic() && SI->getSyncScopeID() != SyncScope::SingleThread; |
Kostya Serebryany | ae7188d | 2012-05-02 13:12:19 +0000 | [diff] [blame] | 420 | if (isa<AtomicRMWInst>(I)) |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 421 | return true; |
Kostya Serebryany | ae7188d | 2012-05-02 13:12:19 +0000 | [diff] [blame] | 422 | if (isa<AtomicCmpXchgInst>(I)) |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 423 | return true; |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 424 | if (isa<FenceInst>(I)) |
| 425 | return true; |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 426 | return false; |
| 427 | } |
| 428 | |
Kuba Brecka | ddfdba3 | 2016-11-14 21:41:13 +0000 | [diff] [blame] | 429 | void ThreadSanitizer::InsertRuntimeIgnores(Function &F) { |
Anna Zaks | 3c43737 | 2016-11-11 23:01:02 +0000 | [diff] [blame] | 430 | IRBuilder<> IRB(F.getEntryBlock().getFirstNonPHI()); |
| 431 | IRB.CreateCall(TsanIgnoreBegin); |
Kuba Brecka | ddfdba3 | 2016-11-14 21:41:13 +0000 | [diff] [blame] | 432 | EscapeEnumerator EE(F, "tsan_ignore_cleanup", ClHandleCxxExceptions); |
| 433 | while (IRBuilder<> *AtExit = EE.Next()) { |
| 434 | AtExit->CreateCall(TsanIgnoreEnd); |
Anna Zaks | 3c43737 | 2016-11-11 23:01:02 +0000 | [diff] [blame] | 435 | } |
| 436 | } |
| 437 | |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 438 | bool ThreadSanitizer::sanitizeFunction(Function &F, |
| 439 | const TargetLibraryInfo &TLI) { |
Florian Hahn | 9697d2a | 2019-01-09 13:32:16 +0000 | [diff] [blame] | 440 | // This is required to prevent instrumenting call to __tsan_init from within |
| 441 | // the module constructor. |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 442 | if (F.getName() == kTsanModuleCtorName) |
Florian Hahn | 9697d2a | 2019-01-09 13:32:16 +0000 | [diff] [blame] | 443 | return false; |
Vitaly Buka | b46dd6e | 2019-10-11 08:47:03 +0000 | [diff] [blame] | 444 | initialize(*F.getParent()); |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 445 | SmallVector<Instruction*, 8> AllLoadsAndStores; |
| 446 | SmallVector<Instruction*, 8> LocalLoadsAndStores; |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 447 | SmallVector<Instruction*, 8> AtomicAccesses; |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 448 | SmallVector<Instruction*, 8> MemIntrinCalls; |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 449 | bool Res = false; |
| 450 | bool HasCalls = false; |
Alexey Samsonov | 6d8bab8 | 2014-06-02 18:08:27 +0000 | [diff] [blame] | 451 | bool SanitizeFunction = F.hasFnAttribute(Attribute::SanitizeThread); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 452 | const DataLayout &DL = F.getParent()->getDataLayout(); |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 453 | |
| 454 | // Traverse all instructions, collect loads/stores/returns, check for calls. |
Alexey Samsonov | a02e664 | 2014-05-29 18:40:48 +0000 | [diff] [blame] | 455 | for (auto &BB : F) { |
| 456 | for (auto &Inst : BB) { |
| 457 | if (isAtomic(&Inst)) |
| 458 | AtomicAccesses.push_back(&Inst); |
| 459 | else if (isa<LoadInst>(Inst) || isa<StoreInst>(Inst)) |
| 460 | LocalLoadsAndStores.push_back(&Inst); |
Alexey Samsonov | a02e664 | 2014-05-29 18:40:48 +0000 | [diff] [blame] | 461 | else if (isa<CallInst>(Inst) || isa<InvokeInst>(Inst)) { |
Marcin Koscielnicki | 3feda22 | 2016-06-18 10:10:37 +0000 | [diff] [blame] | 462 | if (CallInst *CI = dyn_cast<CallInst>(&Inst)) |
Philip Pfaffe | 685c76d | 2019-01-16 09:28:01 +0000 | [diff] [blame] | 463 | maybeMarkSanitizerLibraryCallNoBuiltin(CI, &TLI); |
Alexey Samsonov | a02e664 | 2014-05-29 18:40:48 +0000 | [diff] [blame] | 464 | if (isa<MemIntrinsic>(Inst)) |
| 465 | MemIntrinCalls.push_back(&Inst); |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 466 | HasCalls = true; |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 467 | chooseInstructionsToInstrument(LocalLoadsAndStores, AllLoadsAndStores, |
| 468 | DL); |
Kostya Serebryany | bf2de80 | 2012-04-10 18:18:56 +0000 | [diff] [blame] | 469 | } |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 470 | } |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 471 | chooseInstructionsToInstrument(LocalLoadsAndStores, AllLoadsAndStores, DL); |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 472 | } |
| 473 | |
| 474 | // We have collected all loads and stores. |
| 475 | // FIXME: many of these accesses do not need to be checked for races |
| 476 | // (e.g. variables that do not escape, etc). |
| 477 | |
Alexey Samsonov | d3828b8 | 2014-05-31 00:11:37 +0000 | [diff] [blame] | 478 | // Instrument memory accesses only if we want to report bugs in the function. |
| 479 | if (ClInstrumentMemoryAccesses && SanitizeFunction) |
Alexey Samsonov | a02e664 | 2014-05-29 18:40:48 +0000 | [diff] [blame] | 480 | for (auto Inst : AllLoadsAndStores) { |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 481 | Res |= instrumentLoadOrStore(Inst, DL); |
Kostya Serebryany | d23b18f | 2012-10-04 05:28:50 +0000 | [diff] [blame] | 482 | } |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 483 | |
Alexey Samsonov | d3828b8 | 2014-05-31 00:11:37 +0000 | [diff] [blame] | 484 | // Instrument atomic memory accesses in any case (they can be used to |
| 485 | // implement synchronization). |
Kostya Serebryany | d23b18f | 2012-10-04 05:28:50 +0000 | [diff] [blame] | 486 | if (ClInstrumentAtomics) |
Alexey Samsonov | a02e664 | 2014-05-29 18:40:48 +0000 | [diff] [blame] | 487 | for (auto Inst : AtomicAccesses) { |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 488 | Res |= instrumentAtomic(Inst, DL); |
Kostya Serebryany | d23b18f | 2012-10-04 05:28:50 +0000 | [diff] [blame] | 489 | } |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 490 | |
Alexey Samsonov | d3828b8 | 2014-05-31 00:11:37 +0000 | [diff] [blame] | 491 | if (ClInstrumentMemIntrinsics && SanitizeFunction) |
Alexey Samsonov | a02e664 | 2014-05-29 18:40:48 +0000 | [diff] [blame] | 492 | for (auto Inst : MemIntrinCalls) { |
| 493 | Res |= instrumentMemIntrinsic(Inst); |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 494 | } |
| 495 | |
Anna Zaks | 3c43737 | 2016-11-11 23:01:02 +0000 | [diff] [blame] | 496 | if (F.hasFnAttribute("sanitize_thread_no_checking_at_run_time")) { |
| 497 | assert(!F.hasFnAttribute(Attribute::SanitizeThread)); |
| 498 | if (HasCalls) |
Kuba Brecka | ddfdba3 | 2016-11-14 21:41:13 +0000 | [diff] [blame] | 499 | InsertRuntimeIgnores(F); |
Anna Zaks | 3c43737 | 2016-11-11 23:01:02 +0000 | [diff] [blame] | 500 | } |
| 501 | |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 502 | // Instrument function entry/exit points if there were instrumented accesses. |
Kostya Serebryany | d23b18f | 2012-10-04 05:28:50 +0000 | [diff] [blame] | 503 | if ((Res || HasCalls) && ClInstrumentFuncEntryExit) { |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 504 | IRBuilder<> IRB(F.getEntryBlock().getFirstNonPHI()); |
| 505 | Value *ReturnAddress = IRB.CreateCall( |
| 506 | Intrinsic::getDeclaration(F.getParent(), Intrinsic::returnaddress), |
| 507 | IRB.getInt32(0)); |
| 508 | IRB.CreateCall(TsanFuncEntry, ReturnAddress); |
Kuba Brecka | ddfdba3 | 2016-11-14 21:41:13 +0000 | [diff] [blame] | 509 | |
| 510 | EscapeEnumerator EE(F, "tsan_cleanup", ClHandleCxxExceptions); |
| 511 | while (IRBuilder<> *AtExit = EE.Next()) { |
| 512 | AtExit->CreateCall(TsanFuncExit, {}); |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 513 | } |
Kostya Serebryany | 6f8a776 | 2012-03-26 17:35:03 +0000 | [diff] [blame] | 514 | Res = true; |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 515 | } |
| 516 | return Res; |
| 517 | } |
| 518 | |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 519 | bool ThreadSanitizer::instrumentLoadOrStore(Instruction *I, |
| 520 | const DataLayout &DL) { |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 521 | IRBuilder<> IRB(I); |
| 522 | bool IsWrite = isa<StoreInst>(*I); |
| 523 | Value *Addr = IsWrite |
| 524 | ? cast<StoreInst>(I)->getPointerOperand() |
| 525 | : cast<LoadInst>(I)->getPointerOperand(); |
Arnold Schwaighofer | 8eb1a48 | 2017-02-15 18:57:06 +0000 | [diff] [blame] | 526 | |
| 527 | // swifterror memory addresses are mem2reg promoted by instruction selection. |
| 528 | // As such they cannot have regular uses like an instrumentation function and |
| 529 | // it makes no sense to track them as memory. |
| 530 | if (Addr->isSwiftError()) |
| 531 | return false; |
| 532 | |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 533 | int Idx = getMemoryAccessFuncIndex(Addr, DL); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 534 | if (Idx < 0) |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 535 | return false; |
Kostya Serebryany | 6f8a776 | 2012-03-26 17:35:03 +0000 | [diff] [blame] | 536 | if (IsWrite && isVtableAccess(I)) { |
Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 537 | LLVM_DEBUG(dbgs() << " VPTR : " << *I << "\n"); |
Kostya Serebryany | 6f8a776 | 2012-03-26 17:35:03 +0000 | [diff] [blame] | 538 | Value *StoredValue = cast<StoreInst>(I)->getValueOperand(); |
Kostya Serebryany | 08b9cf5 | 2013-12-02 08:07:15 +0000 | [diff] [blame] | 539 | // StoredValue may be a vector type if we are storing several vptrs at once. |
| 540 | // In this case, just take the first element of the vector since this is |
| 541 | // enough to find vptr races. |
| 542 | if (isa<VectorType>(StoredValue->getType())) |
| 543 | StoredValue = IRB.CreateExtractElement( |
| 544 | StoredValue, ConstantInt::get(IRB.getInt32Ty(), 0)); |
Kostya Serebryany | 2460c3f | 2013-12-05 15:03:02 +0000 | [diff] [blame] | 545 | if (StoredValue->getType()->isIntegerTy()) |
| 546 | StoredValue = IRB.CreateIntToPtr(StoredValue, IRB.getInt8PtrTy()); |
Kostya Serebryany | e36ae68 | 2012-07-05 09:07:31 +0000 | [diff] [blame] | 547 | // Call TsanVptrUpdate. |
David Blaikie | ff6409d | 2015-05-18 22:13:54 +0000 | [diff] [blame] | 548 | IRB.CreateCall(TsanVptrUpdate, |
| 549 | {IRB.CreatePointerCast(Addr, IRB.getInt8PtrTy()), |
| 550 | IRB.CreatePointerCast(StoredValue, IRB.getInt8PtrTy())}); |
Kostya Serebryany | 5a4b7a2 | 2012-04-23 08:44:59 +0000 | [diff] [blame] | 551 | NumInstrumentedVtableWrites++; |
Kostya Serebryany | 6f8a776 | 2012-03-26 17:35:03 +0000 | [diff] [blame] | 552 | return true; |
| 553 | } |
Dmitry Vyukov | 55e63ef | 2013-03-22 08:51:22 +0000 | [diff] [blame] | 554 | if (!IsWrite && isVtableAccess(I)) { |
| 555 | IRB.CreateCall(TsanVptrLoad, |
| 556 | IRB.CreatePointerCast(Addr, IRB.getInt8PtrTy())); |
| 557 | NumInstrumentedVtableReads++; |
| 558 | return true; |
| 559 | } |
Dmitry Vyukov | 91ffdec | 2015-01-27 20:19:17 +0000 | [diff] [blame] | 560 | const unsigned Alignment = IsWrite |
| 561 | ? cast<StoreInst>(I)->getAlignment() |
| 562 | : cast<LoadInst>(I)->getAlignment(); |
| 563 | Type *OrigTy = cast<PointerType>(Addr->getType())->getElementType(); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 564 | const uint32_t TypeSize = DL.getTypeStoreSizeInBits(OrigTy); |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 565 | FunctionCallee OnAccessFunc = nullptr; |
Dmitry Vyukov | 91ffdec | 2015-01-27 20:19:17 +0000 | [diff] [blame] | 566 | if (Alignment == 0 || Alignment >= 8 || (Alignment % (TypeSize / 8)) == 0) |
| 567 | OnAccessFunc = IsWrite ? TsanWrite[Idx] : TsanRead[Idx]; |
| 568 | else |
| 569 | OnAccessFunc = IsWrite ? TsanUnalignedWrite[Idx] : TsanUnalignedRead[Idx]; |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 570 | IRB.CreateCall(OnAccessFunc, IRB.CreatePointerCast(Addr, IRB.getInt8PtrTy())); |
Kostya Serebryany | 5a4b7a2 | 2012-04-23 08:44:59 +0000 | [diff] [blame] | 571 | if (IsWrite) NumInstrumentedWrites++; |
| 572 | else NumInstrumentedReads++; |
Kostya Serebryany | e2a0e41 | 2012-02-13 22:50:51 +0000 | [diff] [blame] | 573 | return true; |
| 574 | } |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 575 | |
| 576 | static ConstantInt *createOrdering(IRBuilder<> *IRB, AtomicOrdering ord) { |
| 577 | uint32_t v = 0; |
| 578 | switch (ord) { |
JF Bastien | 800f87a | 2016-04-06 21:19:33 +0000 | [diff] [blame] | 579 | case AtomicOrdering::NotAtomic: |
| 580 | llvm_unreachable("unexpected atomic ordering!"); |
Justin Bogner | b03fd12 | 2016-08-17 05:10:15 +0000 | [diff] [blame] | 581 | case AtomicOrdering::Unordered: LLVM_FALLTHROUGH; |
JF Bastien | 800f87a | 2016-04-06 21:19:33 +0000 | [diff] [blame] | 582 | case AtomicOrdering::Monotonic: v = 0; break; |
| 583 | // Not specified yet: |
| 584 | // case AtomicOrdering::Consume: v = 1; break; |
| 585 | case AtomicOrdering::Acquire: v = 2; break; |
| 586 | case AtomicOrdering::Release: v = 3; break; |
| 587 | case AtomicOrdering::AcquireRelease: v = 4; break; |
| 588 | case AtomicOrdering::SequentiallyConsistent: v = 5; break; |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 589 | } |
Dmitry Vyukov | 0044e38 | 2012-11-09 14:12:16 +0000 | [diff] [blame] | 590 | return IRB->getInt32(v); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 591 | } |
| 592 | |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 593 | // If a memset intrinsic gets inlined by the code gen, we will miss races on it. |
| 594 | // So, we either need to ensure the intrinsic is not inlined, or instrument it. |
| 595 | // We do not instrument memset/memmove/memcpy intrinsics (too complicated), |
| 596 | // instead we simply replace them with regular function calls, which are then |
| 597 | // intercepted by the run-time. |
| 598 | // Since tsan is running after everyone else, the calls should not be |
| 599 | // replaced back with intrinsics. If that becomes wrong at some point, |
| 600 | // we will need to call e.g. __tsan_memset to avoid the intrinsics. |
| 601 | bool ThreadSanitizer::instrumentMemIntrinsic(Instruction *I) { |
| 602 | IRBuilder<> IRB(I); |
| 603 | if (MemSetInst *M = dyn_cast<MemSetInst>(I)) { |
David Blaikie | ff6409d | 2015-05-18 22:13:54 +0000 | [diff] [blame] | 604 | IRB.CreateCall( |
| 605 | MemsetFn, |
| 606 | {IRB.CreatePointerCast(M->getArgOperand(0), IRB.getInt8PtrTy()), |
| 607 | IRB.CreateIntCast(M->getArgOperand(1), IRB.getInt32Ty(), false), |
| 608 | IRB.CreateIntCast(M->getArgOperand(2), IntptrTy, false)}); |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 609 | I->eraseFromParent(); |
| 610 | } else if (MemTransferInst *M = dyn_cast<MemTransferInst>(I)) { |
David Blaikie | ff6409d | 2015-05-18 22:13:54 +0000 | [diff] [blame] | 611 | IRB.CreateCall( |
| 612 | isa<MemCpyInst>(M) ? MemcpyFn : MemmoveFn, |
| 613 | {IRB.CreatePointerCast(M->getArgOperand(0), IRB.getInt8PtrTy()), |
| 614 | IRB.CreatePointerCast(M->getArgOperand(1), IRB.getInt8PtrTy()), |
| 615 | IRB.CreateIntCast(M->getArgOperand(2), IntptrTy, false)}); |
Kostya Serebryany | 463aa81 | 2013-03-28 11:21:13 +0000 | [diff] [blame] | 616 | I->eraseFromParent(); |
| 617 | } |
| 618 | return false; |
| 619 | } |
| 620 | |
Dmitry Vyukov | 12b5cb9 | 2012-11-26 11:36:19 +0000 | [diff] [blame] | 621 | // Both llvm and ThreadSanitizer atomic operations are based on C++11/C1x |
Alp Toker | cb40291 | 2014-01-24 17:20:08 +0000 | [diff] [blame] | 622 | // standards. For background see C++11 standard. A slightly older, publicly |
Dmitry Vyukov | 12b5cb9 | 2012-11-26 11:36:19 +0000 | [diff] [blame] | 623 | // available draft of the standard (not entirely up-to-date, but close enough |
| 624 | // for casual browsing) is available here: |
Matt Beaumont-Gay | 000a395 | 2012-11-26 16:27:22 +0000 | [diff] [blame] | 625 | // http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf |
Dmitry Vyukov | 12b5cb9 | 2012-11-26 11:36:19 +0000 | [diff] [blame] | 626 | // The following page contains more background information: |
| 627 | // http://www.hpl.hp.com/personal/Hans_Boehm/c++mm/ |
| 628 | |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 629 | bool ThreadSanitizer::instrumentAtomic(Instruction *I, const DataLayout &DL) { |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 630 | IRBuilder<> IRB(I); |
| 631 | if (LoadInst *LI = dyn_cast<LoadInst>(I)) { |
| 632 | Value *Addr = LI->getPointerOperand(); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 633 | int Idx = getMemoryAccessFuncIndex(Addr, DL); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 634 | if (Idx < 0) |
| 635 | return false; |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 636 | const unsigned ByteSize = 1U << Idx; |
| 637 | const unsigned BitSize = ByteSize * 8; |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 638 | Type *Ty = Type::getIntNTy(IRB.getContext(), BitSize); |
Micah Villmow | 51e7246 | 2012-10-24 17:25:11 +0000 | [diff] [blame] | 639 | Type *PtrTy = Ty->getPointerTo(); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 640 | Value *Args[] = {IRB.CreatePointerCast(Addr, PtrTy), |
| 641 | createOrdering(&IRB, LI->getOrdering())}; |
Anna Zaks | c1efa64 | 2016-03-07 23:16:23 +0000 | [diff] [blame] | 642 | Type *OrigTy = cast<PointerType>(Addr->getType())->getElementType(); |
Kuba Brecka | 44e875ad | 2016-11-07 19:09:56 +0000 | [diff] [blame] | 643 | Value *C = IRB.CreateCall(TsanAtomicLoad[Idx], Args); |
| 644 | Value *Cast = IRB.CreateBitOrPointerCast(C, OrigTy); |
| 645 | I->replaceAllUsesWith(Cast); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 646 | } else if (StoreInst *SI = dyn_cast<StoreInst>(I)) { |
| 647 | Value *Addr = SI->getPointerOperand(); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 648 | int Idx = getMemoryAccessFuncIndex(Addr, DL); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 649 | if (Idx < 0) |
| 650 | return false; |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 651 | const unsigned ByteSize = 1U << Idx; |
| 652 | const unsigned BitSize = ByteSize * 8; |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 653 | Type *Ty = Type::getIntNTy(IRB.getContext(), BitSize); |
Micah Villmow | 51e7246 | 2012-10-24 17:25:11 +0000 | [diff] [blame] | 654 | Type *PtrTy = Ty->getPointerTo(); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 655 | Value *Args[] = {IRB.CreatePointerCast(Addr, PtrTy), |
Kuba Brecka | 44e875ad | 2016-11-07 19:09:56 +0000 | [diff] [blame] | 656 | IRB.CreateBitOrPointerCast(SI->getValueOperand(), Ty), |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 657 | createOrdering(&IRB, SI->getOrdering())}; |
Craig Topper | e1d1294 | 2014-08-27 05:25:25 +0000 | [diff] [blame] | 658 | CallInst *C = CallInst::Create(TsanAtomicStore[Idx], Args); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 659 | ReplaceInstWithInst(I, C); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 660 | } else if (AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(I)) { |
| 661 | Value *Addr = RMWI->getPointerOperand(); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 662 | int Idx = getMemoryAccessFuncIndex(Addr, DL); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 663 | if (Idx < 0) |
| 664 | return false; |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 665 | FunctionCallee F = TsanAtomicRMW[RMWI->getOperation()][Idx]; |
Craig Topper | f40110f | 2014-04-25 05:29:35 +0000 | [diff] [blame] | 666 | if (!F) |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 667 | return false; |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 668 | const unsigned ByteSize = 1U << Idx; |
| 669 | const unsigned BitSize = ByteSize * 8; |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 670 | Type *Ty = Type::getIntNTy(IRB.getContext(), BitSize); |
| 671 | Type *PtrTy = Ty->getPointerTo(); |
| 672 | Value *Args[] = {IRB.CreatePointerCast(Addr, PtrTy), |
| 673 | IRB.CreateIntCast(RMWI->getValOperand(), Ty, false), |
| 674 | createOrdering(&IRB, RMWI->getOrdering())}; |
Craig Topper | e1d1294 | 2014-08-27 05:25:25 +0000 | [diff] [blame] | 675 | CallInst *C = CallInst::Create(F, Args); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 676 | ReplaceInstWithInst(I, C); |
| 677 | } else if (AtomicCmpXchgInst *CASI = dyn_cast<AtomicCmpXchgInst>(I)) { |
| 678 | Value *Addr = CASI->getPointerOperand(); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 679 | int Idx = getMemoryAccessFuncIndex(Addr, DL); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 680 | if (Idx < 0) |
| 681 | return false; |
Yaron Keren | dfb655f | 2015-08-15 19:06:14 +0000 | [diff] [blame] | 682 | const unsigned ByteSize = 1U << Idx; |
| 683 | const unsigned BitSize = ByteSize * 8; |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 684 | Type *Ty = Type::getIntNTy(IRB.getContext(), BitSize); |
| 685 | Type *PtrTy = Ty->getPointerTo(); |
Anna Zaks | c1efa64 | 2016-03-07 23:16:23 +0000 | [diff] [blame] | 686 | Value *CmpOperand = |
Kuba Brecka | 44e875ad | 2016-11-07 19:09:56 +0000 | [diff] [blame] | 687 | IRB.CreateBitOrPointerCast(CASI->getCompareOperand(), Ty); |
Anna Zaks | c1efa64 | 2016-03-07 23:16:23 +0000 | [diff] [blame] | 688 | Value *NewOperand = |
Kuba Brecka | 44e875ad | 2016-11-07 19:09:56 +0000 | [diff] [blame] | 689 | IRB.CreateBitOrPointerCast(CASI->getNewValOperand(), Ty); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 690 | Value *Args[] = {IRB.CreatePointerCast(Addr, PtrTy), |
Anna Zaks | c1efa64 | 2016-03-07 23:16:23 +0000 | [diff] [blame] | 691 | CmpOperand, |
| 692 | NewOperand, |
Tim Northover | e94a518 | 2014-03-11 10:48:52 +0000 | [diff] [blame] | 693 | createOrdering(&IRB, CASI->getSuccessOrdering()), |
| 694 | createOrdering(&IRB, CASI->getFailureOrdering())}; |
Tim Northover | 420a216 | 2014-06-13 14:24:07 +0000 | [diff] [blame] | 695 | CallInst *C = IRB.CreateCall(TsanAtomicCAS[Idx], Args); |
Anna Zaks | c1efa64 | 2016-03-07 23:16:23 +0000 | [diff] [blame] | 696 | Value *Success = IRB.CreateICmpEQ(C, CmpOperand); |
| 697 | Value *OldVal = C; |
| 698 | Type *OrigOldValTy = CASI->getNewValOperand()->getType(); |
| 699 | if (Ty != OrigOldValTy) { |
| 700 | // The value is a pointer, so we need to cast the return value. |
| 701 | OldVal = IRB.CreateIntToPtr(C, OrigOldValTy); |
| 702 | } |
Tim Northover | 420a216 | 2014-06-13 14:24:07 +0000 | [diff] [blame] | 703 | |
Anna Zaks | c1efa64 | 2016-03-07 23:16:23 +0000 | [diff] [blame] | 704 | Value *Res = |
| 705 | IRB.CreateInsertValue(UndefValue::get(CASI->getType()), OldVal, 0); |
Tim Northover | 420a216 | 2014-06-13 14:24:07 +0000 | [diff] [blame] | 706 | Res = IRB.CreateInsertValue(Res, Success, 1); |
| 707 | |
| 708 | I->replaceAllUsesWith(Res); |
| 709 | I->eraseFromParent(); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 710 | } else if (FenceInst *FI = dyn_cast<FenceInst>(I)) { |
| 711 | Value *Args[] = {createOrdering(&IRB, FI->getOrdering())}; |
James Y Knight | 1368022 | 2019-02-01 02:28:03 +0000 | [diff] [blame] | 712 | FunctionCallee F = FI->getSyncScopeID() == SyncScope::SingleThread |
| 713 | ? TsanAtomicSignalFence |
| 714 | : TsanAtomicThreadFence; |
Craig Topper | e1d1294 | 2014-08-27 05:25:25 +0000 | [diff] [blame] | 715 | CallInst *C = CallInst::Create(F, Args); |
Dmitry Vyukov | 92b9e1d | 2012-11-09 12:55:36 +0000 | [diff] [blame] | 716 | ReplaceInstWithInst(I, C); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 717 | } |
| 718 | return true; |
| 719 | } |
| 720 | |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 721 | int ThreadSanitizer::getMemoryAccessFuncIndex(Value *Addr, |
| 722 | const DataLayout &DL) { |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 723 | Type *OrigPtrTy = Addr->getType(); |
| 724 | Type *OrigTy = cast<PointerType>(OrigPtrTy)->getElementType(); |
| 725 | assert(OrigTy->isSized()); |
Mehdi Amini | a28d91d | 2015-03-10 02:37:25 +0000 | [diff] [blame] | 726 | uint32_t TypeSize = DL.getTypeStoreSizeInBits(OrigTy); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 727 | if (TypeSize != 8 && TypeSize != 16 && |
| 728 | TypeSize != 32 && TypeSize != 64 && TypeSize != 128) { |
| 729 | NumAccessesWithBadSize++; |
| 730 | // Ignore all unusual sizes. |
| 731 | return -1; |
| 732 | } |
Michael J. Spencer | df1ecbd7 | 2013-05-24 22:23:49 +0000 | [diff] [blame] | 733 | size_t Idx = countTrailingZeros(TypeSize / 8); |
Kostya Serebryany | a125977 | 2012-04-27 07:31:53 +0000 | [diff] [blame] | 734 | assert(Idx < kNumberOfAccessSizes); |
| 735 | return Idx; |
| 736 | } |