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