Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 1 | //===-- SanitizerCoverage.cpp - coverage instrumentation for sanitizers ---===// |
| 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 | // |
Kostya Serebryany | 53b34c8 | 2017-05-31 18:27:33 +0000 | [diff] [blame] | 10 | // Coverage instrumentation done on LLVM IR level, works with Sanitizers. |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/ArrayRef.h" |
| 15 | #include "llvm/ADT/SmallVector.h" |
David Majnemer | 70497c6 | 2015-12-02 23:06:39 +0000 | [diff] [blame] | 16 | #include "llvm/Analysis/EHPersonalities.h" |
George Karpenkov | 018472c | 2017-05-24 00:29:12 +0000 | [diff] [blame] | 17 | #include "llvm/Analysis/PostDominators.h" |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 18 | #include "llvm/IR/CFG.h" |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 19 | #include "llvm/IR/CallSite.h" |
| 20 | #include "llvm/IR/DataLayout.h" |
Alexey Samsonov | 201733b | 2015-06-12 01:48:47 +0000 | [diff] [blame] | 21 | #include "llvm/IR/DebugInfo.h" |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 22 | #include "llvm/IR/Dominators.h" |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 23 | #include "llvm/IR/Function.h" |
| 24 | #include "llvm/IR/IRBuilder.h" |
Kostya Serebryany | 7376294 | 2014-12-16 21:24:15 +0000 | [diff] [blame] | 25 | #include "llvm/IR/InlineAsm.h" |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 26 | #include "llvm/IR/LLVMContext.h" |
| 27 | #include "llvm/IR/MDBuilder.h" |
| 28 | #include "llvm/IR/Module.h" |
| 29 | #include "llvm/IR/Type.h" |
| 30 | #include "llvm/Support/CommandLine.h" |
| 31 | #include "llvm/Support/Debug.h" |
| 32 | #include "llvm/Support/raw_ostream.h" |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 33 | #include "llvm/Transforms/Instrumentation.h" |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 34 | #include "llvm/Transforms/Scalar.h" |
| 35 | #include "llvm/Transforms/Utils/BasicBlockUtils.h" |
| 36 | #include "llvm/Transforms/Utils/ModuleUtils.h" |
| 37 | |
| 38 | using namespace llvm; |
| 39 | |
| 40 | #define DEBUG_TYPE "sancov" |
| 41 | |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 42 | static const char *const SanCovTracePCIndirName = |
| 43 | "__sanitizer_cov_trace_pc_indir"; |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 44 | static const char *const SanCovTracePCName = "__sanitizer_cov_trace_pc"; |
Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 45 | static const char *const SanCovTraceCmp1 = "__sanitizer_cov_trace_cmp1"; |
| 46 | static const char *const SanCovTraceCmp2 = "__sanitizer_cov_trace_cmp2"; |
| 47 | static const char *const SanCovTraceCmp4 = "__sanitizer_cov_trace_cmp4"; |
| 48 | static const char *const SanCovTraceCmp8 = "__sanitizer_cov_trace_cmp8"; |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 49 | static const char *const SanCovTraceDiv4 = "__sanitizer_cov_trace_div4"; |
| 50 | static const char *const SanCovTraceDiv8 = "__sanitizer_cov_trace_div8"; |
| 51 | static const char *const SanCovTraceGep = "__sanitizer_cov_trace_gep"; |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 52 | static const char *const SanCovTraceSwitchName = "__sanitizer_cov_trace_switch"; |
| 53 | static const char *const SanCovModuleCtorName = "sancov.module_ctor"; |
| 54 | static const uint64_t SanCtorAndDtorPriority = 2; |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 55 | |
Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 56 | static const char *const SanCovTracePCGuardName = |
| 57 | "__sanitizer_cov_trace_pc_guard"; |
| 58 | static const char *const SanCovTracePCGuardInitName = |
| 59 | "__sanitizer_cov_trace_pc_guard_init"; |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 60 | static const char *const SanCov8bitCountersInitName = |
| 61 | "__sanitizer_cov_8bit_counters_init"; |
Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 62 | |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 63 | static const char *const SanCovGuardsSectionName = "sancov_guards"; |
George Karpenkov | 406c113 | 2017-06-14 23:40:25 +0000 | [diff] [blame] | 64 | static const char *const SanCovCountersSectionName = "sancov_cntrs"; |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 65 | |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 66 | static cl::opt<int> ClCoverageLevel( |
| 67 | "sanitizer-coverage-level", |
| 68 | cl::desc("Sanitizer Coverage. 0: none, 1: entry block, 2: all blocks, " |
Kostya Serebryany | c5d3d49 | 2017-04-19 22:42:11 +0000 | [diff] [blame] | 69 | "3: all blocks and critical edges"), |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 70 | cl::Hidden, cl::init(0)); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 71 | |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 72 | static cl::opt<bool> ClTracePC("sanitizer-coverage-trace-pc", |
| 73 | cl::desc("Experimental pc tracing"), cl::Hidden, |
| 74 | cl::init(false)); |
Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 75 | |
Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 76 | static cl::opt<bool> ClTracePCGuard("sanitizer-coverage-trace-pc-guard", |
| 77 | cl::desc("pc tracing with a guard"), |
| 78 | cl::Hidden, cl::init(false)); |
| 79 | |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 80 | static cl::opt<bool> ClInline8bitCounters("sanitizer-coverage-inline-8bit-counters", |
| 81 | cl::desc("increments 8-bit counter for every edge"), |
| 82 | cl::Hidden, cl::init(false)); |
| 83 | |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 84 | static cl::opt<bool> |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 85 | ClCMPTracing("sanitizer-coverage-trace-compares", |
| 86 | cl::desc("Tracing of CMP and similar instructions"), |
| 87 | cl::Hidden, cl::init(false)); |
| 88 | |
| 89 | static cl::opt<bool> ClDIVTracing("sanitizer-coverage-trace-divs", |
| 90 | cl::desc("Tracing of DIV instructions"), |
| 91 | cl::Hidden, cl::init(false)); |
| 92 | |
| 93 | static cl::opt<bool> ClGEPTracing("sanitizer-coverage-trace-geps", |
| 94 | cl::desc("Tracing of GEP instructions"), |
| 95 | cl::Hidden, cl::init(false)); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 96 | |
Mike Aizatsky | 70ea453 | 2016-04-06 23:24:37 +0000 | [diff] [blame] | 97 | static cl::opt<bool> |
| 98 | ClPruneBlocks("sanitizer-coverage-prune-blocks", |
| 99 | cl::desc("Reduce the number of instrumented blocks"), |
| 100 | cl::Hidden, cl::init(true)); |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 101 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 102 | namespace { |
| 103 | |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 104 | SanitizerCoverageOptions getOptions(int LegacyCoverageLevel) { |
| 105 | SanitizerCoverageOptions Res; |
| 106 | switch (LegacyCoverageLevel) { |
| 107 | case 0: |
| 108 | Res.CoverageType = SanitizerCoverageOptions::SCK_None; |
| 109 | break; |
| 110 | case 1: |
| 111 | Res.CoverageType = SanitizerCoverageOptions::SCK_Function; |
| 112 | break; |
| 113 | case 2: |
| 114 | Res.CoverageType = SanitizerCoverageOptions::SCK_BB; |
| 115 | break; |
| 116 | case 3: |
| 117 | Res.CoverageType = SanitizerCoverageOptions::SCK_Edge; |
| 118 | break; |
| 119 | case 4: |
| 120 | Res.CoverageType = SanitizerCoverageOptions::SCK_Edge; |
| 121 | Res.IndirectCalls = true; |
| 122 | break; |
| 123 | } |
| 124 | return Res; |
| 125 | } |
| 126 | |
| 127 | SanitizerCoverageOptions OverrideFromCL(SanitizerCoverageOptions Options) { |
| 128 | // Sets CoverageType and IndirectCalls. |
| 129 | SanitizerCoverageOptions CLOpts = getOptions(ClCoverageLevel); |
| 130 | Options.CoverageType = std::max(Options.CoverageType, CLOpts.CoverageType); |
| 131 | Options.IndirectCalls |= CLOpts.IndirectCalls; |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 132 | Options.TraceCmp |= ClCMPTracing; |
| 133 | Options.TraceDiv |= ClDIVTracing; |
| 134 | Options.TraceGep |= ClGEPTracing; |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 135 | Options.TracePC |= ClTracePC; |
Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 136 | Options.TracePCGuard |= ClTracePCGuard; |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 137 | Options.Inline8bitCounters |= ClInline8bitCounters; |
| 138 | if (!Options.TracePCGuard && !Options.TracePC && !Options.Inline8bitCounters) |
Kostya Serebryany | 53b34c8 | 2017-05-31 18:27:33 +0000 | [diff] [blame] | 139 | Options.TracePCGuard = true; // TracePCGuard is default. |
Kostya Serebryany | 424bfed | 2017-05-05 23:14:40 +0000 | [diff] [blame] | 140 | Options.NoPrune |= !ClPruneBlocks; |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 141 | return Options; |
| 142 | } |
| 143 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 144 | class SanitizerCoverageModule : public ModulePass { |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 145 | public: |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 146 | SanitizerCoverageModule( |
| 147 | const SanitizerCoverageOptions &Options = SanitizerCoverageOptions()) |
Chandler Carruth | e2b7021 | 2016-03-18 22:35:58 +0000 | [diff] [blame] | 148 | : ModulePass(ID), Options(OverrideFromCL(Options)) { |
| 149 | initializeSanitizerCoverageModulePass(*PassRegistry::getPassRegistry()); |
| 150 | } |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 151 | bool runOnModule(Module &M) override; |
| 152 | bool runOnFunction(Function &F); |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 153 | static char ID; // Pass identification, replacement for typeid |
Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 154 | StringRef getPassName() const override { return "SanitizerCoverageModule"; } |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 155 | |
Chandler Carruth | 3006115 | 2016-03-18 22:43:42 +0000 | [diff] [blame] | 156 | void getAnalysisUsage(AnalysisUsage &AU) const override { |
| 157 | AU.addRequired<DominatorTreeWrapperPass>(); |
George Karpenkov | 018472c | 2017-05-24 00:29:12 +0000 | [diff] [blame] | 158 | AU.addRequired<PostDominatorTreeWrapperPass>(); |
Chandler Carruth | 3006115 | 2016-03-18 22:43:42 +0000 | [diff] [blame] | 159 | } |
| 160 | |
| 161 | private: |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 162 | void InjectCoverageForIndirectCalls(Function &F, |
| 163 | ArrayRef<Instruction *> IndirCalls); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 164 | void InjectTraceForCmp(Function &F, ArrayRef<Instruction *> CmpTraceTargets); |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 165 | void InjectTraceForDiv(Function &F, |
| 166 | ArrayRef<BinaryOperator *> DivTraceTargets); |
| 167 | void InjectTraceForGep(Function &F, |
| 168 | ArrayRef<GetElementPtrInst *> GepTraceTargets); |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 169 | void InjectTraceForSwitch(Function &F, |
| 170 | ArrayRef<Instruction *> SwitchTraceTargets); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 171 | bool InjectCoverage(Function &F, ArrayRef<BasicBlock *> AllBlocks); |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 172 | GlobalVariable *CreateFunctionLocalArrayInSection(size_t NumElements, |
| 173 | Function &F, Type *Ty, |
| 174 | const char *Section); |
| 175 | void CreateFunctionLocalArrays(size_t NumGuards, Function &F); |
Kostya Serebryany | 53b34c8 | 2017-05-31 18:27:33 +0000 | [diff] [blame] | 176 | void InjectCoverageAtBlock(Function &F, BasicBlock &BB, size_t Idx); |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 177 | void CreateInitCallForSection(Module &M, const char *InitFunctionName, |
| 178 | Type *Ty, const std::string &Section); |
| 179 | |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 180 | void SetNoSanitizeMetadata(Instruction *I) { |
| 181 | I->setMetadata(I->getModule()->getMDKindID("nosanitize"), |
| 182 | MDNode::get(*C, None)); |
| 183 | } |
| 184 | |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 185 | std::string getSectionName(const std::string &Section) const; |
| 186 | std::string getSectionStart(const std::string &Section) const; |
| 187 | std::string getSectionEnd(const std::string &Section) const; |
Kostya Serebryany | c5d3d49 | 2017-04-19 22:42:11 +0000 | [diff] [blame] | 188 | Function *SanCovTracePCIndir; |
Kostya Serebryany | be87d48 | 2017-04-19 21:48:09 +0000 | [diff] [blame] | 189 | Function *SanCovTracePC, *SanCovTracePCGuard; |
Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 190 | Function *SanCovTraceCmpFunction[4]; |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 191 | Function *SanCovTraceDivFunction[2]; |
| 192 | Function *SanCovTraceGepFunction; |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 193 | Function *SanCovTraceSwitchFunction; |
Kostya Serebryany | 7376294 | 2014-12-16 21:24:15 +0000 | [diff] [blame] | 194 | InlineAsm *EmptyAsm; |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 195 | Type *IntptrTy, *IntptrPtrTy, *Int64Ty, *Int64PtrTy, *Int32Ty, *Int32PtrTy, |
| 196 | *Int8Ty, *Int8PtrTy; |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 197 | Module *CurModule; |
Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 198 | Triple TargetTriple; |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 199 | LLVMContext *C; |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 200 | const DataLayout *DL; |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 201 | |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 202 | GlobalVariable *FunctionGuardArray; // for trace-pc-guard. |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 203 | GlobalVariable *Function8bitCounterArray; // for inline-8bit-counters. |
Kostya Serebryany | 9fdeb37 | 2014-12-23 22:32:17 +0000 | [diff] [blame] | 204 | |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 205 | SanitizerCoverageOptions Options; |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 206 | }; |
| 207 | |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 208 | } // namespace |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 209 | |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 210 | void SanitizerCoverageModule::CreateInitCallForSection( |
| 211 | Module &M, const char *InitFunctionName, Type *Ty, |
| 212 | const std::string &Section) { |
| 213 | IRBuilder<> IRB(M.getContext()); |
| 214 | Function *CtorFunc; |
| 215 | GlobalVariable *SecStart = |
| 216 | new GlobalVariable(M, Ty, false, GlobalVariable::ExternalLinkage, nullptr, |
| 217 | getSectionStart(Section)); |
| 218 | SecStart->setVisibility(GlobalValue::HiddenVisibility); |
| 219 | GlobalVariable *SecEnd = |
| 220 | new GlobalVariable(M, Ty, false, GlobalVariable::ExternalLinkage, |
| 221 | nullptr, getSectionEnd(Section)); |
| 222 | SecEnd->setVisibility(GlobalValue::HiddenVisibility); |
| 223 | |
| 224 | std::tie(CtorFunc, std::ignore) = createSanitizerCtorAndInitFunctions( |
| 225 | M, SanCovModuleCtorName, InitFunctionName, {Ty, Ty}, |
| 226 | {IRB.CreatePointerCast(SecStart, Ty), IRB.CreatePointerCast(SecEnd, Ty)}); |
| 227 | |
| 228 | if (TargetTriple.supportsCOMDAT()) { |
| 229 | // Use comdat to dedup CtorFunc. |
| 230 | CtorFunc->setComdat(M.getOrInsertComdat(SanCovModuleCtorName)); |
| 231 | appendToGlobalCtors(M, CtorFunc, SanCtorAndDtorPriority, CtorFunc); |
| 232 | } else { |
| 233 | appendToGlobalCtors(M, CtorFunc, SanCtorAndDtorPriority); |
| 234 | } |
| 235 | } |
| 236 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 237 | bool SanitizerCoverageModule::runOnModule(Module &M) { |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 238 | if (Options.CoverageType == SanitizerCoverageOptions::SCK_None) |
| 239 | return false; |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 240 | C = &(M.getContext()); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 241 | DL = &M.getDataLayout(); |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 242 | CurModule = &M; |
Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 243 | TargetTriple = Triple(M.getTargetTriple()); |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 244 | FunctionGuardArray = nullptr; |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 245 | Function8bitCounterArray = nullptr; |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 246 | IntptrTy = Type::getIntNTy(*C, DL->getPointerSizeInBits()); |
Kostya Serebryany | 8e781a8 | 2016-09-18 04:52:23 +0000 | [diff] [blame] | 247 | IntptrPtrTy = PointerType::getUnqual(IntptrTy); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 248 | Type *VoidTy = Type::getVoidTy(*C); |
Kostya Serebryany | 4cadd4a | 2014-11-24 18:49:53 +0000 | [diff] [blame] | 249 | IRBuilder<> IRB(*C); |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 250 | Int64PtrTy = PointerType::getUnqual(IRB.getInt64Ty()); |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 251 | Int32PtrTy = PointerType::getUnqual(IRB.getInt32Ty()); |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 252 | Int8PtrTy = PointerType::getUnqual(IRB.getInt8Ty()); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 253 | Int64Ty = IRB.getInt64Ty(); |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 254 | Int32Ty = IRB.getInt32Ty(); |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 255 | Int8Ty = IRB.getInt8Ty(); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 256 | |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 257 | SanCovTracePCIndir = checkSanitizerInterfaceFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 258 | M.getOrInsertFunction(SanCovTracePCIndirName, VoidTy, IntptrTy)); |
Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 259 | SanCovTraceCmpFunction[0] = |
Ismail Pazarbasi | 198d6d5 | 2015-04-06 21:09:08 +0000 | [diff] [blame] | 260 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 261 | SanCovTraceCmp1, VoidTy, IRB.getInt8Ty(), IRB.getInt8Ty())); |
Mehdi Amini | db11fdf | 2017-04-06 20:23:57 +0000 | [diff] [blame] | 262 | SanCovTraceCmpFunction[1] = checkSanitizerInterfaceFunction( |
| 263 | M.getOrInsertFunction(SanCovTraceCmp2, VoidTy, IRB.getInt16Ty(), |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 264 | IRB.getInt16Ty())); |
Mehdi Amini | db11fdf | 2017-04-06 20:23:57 +0000 | [diff] [blame] | 265 | SanCovTraceCmpFunction[2] = checkSanitizerInterfaceFunction( |
| 266 | M.getOrInsertFunction(SanCovTraceCmp4, VoidTy, IRB.getInt32Ty(), |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 267 | IRB.getInt32Ty())); |
Mehdi Amini | db11fdf | 2017-04-06 20:23:57 +0000 | [diff] [blame] | 268 | SanCovTraceCmpFunction[3] = |
Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 269 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 270 | SanCovTraceCmp8, VoidTy, Int64Ty, Int64Ty)); |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 271 | |
Mehdi Amini | db11fdf | 2017-04-06 20:23:57 +0000 | [diff] [blame] | 272 | SanCovTraceDivFunction[0] = |
| 273 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 274 | SanCovTraceDiv4, VoidTy, IRB.getInt32Ty())); |
Mehdi Amini | db11fdf | 2017-04-06 20:23:57 +0000 | [diff] [blame] | 275 | SanCovTraceDivFunction[1] = |
| 276 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 277 | SanCovTraceDiv8, VoidTy, Int64Ty)); |
Mehdi Amini | db11fdf | 2017-04-06 20:23:57 +0000 | [diff] [blame] | 278 | SanCovTraceGepFunction = |
| 279 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 280 | SanCovTraceGep, VoidTy, IntptrTy)); |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 281 | SanCovTraceSwitchFunction = |
| 282 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 283 | SanCovTraceSwitchName, VoidTy, Int64Ty, Int64PtrTy)); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 284 | |
Kostya Serebryany | 7376294 | 2014-12-16 21:24:15 +0000 | [diff] [blame] | 285 | // We insert an empty inline asm after cov callbacks to avoid callback merge. |
| 286 | EmptyAsm = InlineAsm::get(FunctionType::get(IRB.getVoidTy(), false), |
| 287 | StringRef(""), StringRef(""), |
| 288 | /*hasSideEffects=*/true); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 289 | |
Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 290 | SanCovTracePC = checkSanitizerInterfaceFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 291 | M.getOrInsertFunction(SanCovTracePCName, VoidTy)); |
Mehdi Amini | db11fdf | 2017-04-06 20:23:57 +0000 | [diff] [blame] | 292 | SanCovTracePCGuard = checkSanitizerInterfaceFunction(M.getOrInsertFunction( |
Serge Guelton | 59a2d7b | 2017-04-11 15:01:18 +0000 | [diff] [blame] | 293 | SanCovTracePCGuardName, VoidTy, Int32PtrTy)); |
Kostya Serebryany | cb45b12 | 2014-11-19 00:22:58 +0000 | [diff] [blame] | 294 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 295 | for (auto &F : M) |
| 296 | runOnFunction(F); |
| 297 | |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 298 | if (FunctionGuardArray) |
| 299 | CreateInitCallForSection(M, SanCovTracePCGuardInitName, Int32PtrTy, |
| 300 | SanCovGuardsSectionName); |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 301 | if (Function8bitCounterArray) |
| 302 | CreateInitCallForSection(M, SanCov8bitCountersInitName, Int8PtrTy, |
| 303 | SanCovCountersSectionName); |
Justin Bogner | 41e632b | 2017-02-01 02:38:39 +0000 | [diff] [blame] | 304 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 305 | return true; |
| 306 | } |
| 307 | |
Mike Aizatsky | 9987f43 | 2016-03-23 23:15:03 +0000 | [diff] [blame] | 308 | // True if block has successors and it dominates all of them. |
| 309 | static bool isFullDominator(const BasicBlock *BB, const DominatorTree *DT) { |
| 310 | if (succ_begin(BB) == succ_end(BB)) |
| 311 | return false; |
| 312 | |
| 313 | for (const BasicBlock *SUCC : make_range(succ_begin(BB), succ_end(BB))) { |
| 314 | if (!DT->dominates(BB, SUCC)) |
| 315 | return false; |
| 316 | } |
| 317 | |
| 318 | return true; |
| 319 | } |
| 320 | |
George Karpenkov | 018472c | 2017-05-24 00:29:12 +0000 | [diff] [blame] | 321 | // True if block has predecessors and it postdominates all of them. |
| 322 | static bool isFullPostDominator(const BasicBlock *BB, |
| 323 | const PostDominatorTree *PDT) { |
| 324 | if (pred_begin(BB) == pred_end(BB)) |
| 325 | return false; |
| 326 | |
| 327 | for (const BasicBlock *PRED : make_range(pred_begin(BB), pred_end(BB))) { |
| 328 | if (!PDT->dominates(BB, PRED)) |
| 329 | return false; |
| 330 | } |
| 331 | |
| 332 | return true; |
| 333 | } |
| 334 | |
Kostya Serebryany | 424bfed | 2017-05-05 23:14:40 +0000 | [diff] [blame] | 335 | static bool shouldInstrumentBlock(const Function &F, const BasicBlock *BB, |
| 336 | const DominatorTree *DT, |
George Karpenkov | 018472c | 2017-05-24 00:29:12 +0000 | [diff] [blame] | 337 | const PostDominatorTree *PDT, |
Kostya Serebryany | 424bfed | 2017-05-05 23:14:40 +0000 | [diff] [blame] | 338 | const SanitizerCoverageOptions &Options) { |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 339 | // Don't insert coverage for unreachable blocks: we will never call |
| 340 | // __sanitizer_cov() for them, so counting them in |
| 341 | // NumberOfInstrumentedBlocks() might complicate calculation of code coverage |
| 342 | // percentage. Also, unreachable instructions frequently have no debug |
| 343 | // locations. |
| 344 | if (isa<UnreachableInst>(BB->getTerminator())) |
| 345 | return false; |
| 346 | |
Reid Kleckner | 392f062 | 2017-03-23 23:30:41 +0000 | [diff] [blame] | 347 | // Don't insert coverage into blocks without a valid insertion point |
| 348 | // (catchswitch blocks). |
| 349 | if (BB->getFirstInsertionPt() == BB->end()) |
| 350 | return false; |
| 351 | |
Kostya Serebryany | 424bfed | 2017-05-05 23:14:40 +0000 | [diff] [blame] | 352 | if (Options.NoPrune || &F.getEntryBlock() == BB) |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 353 | return true; |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 354 | |
George Karpenkov | a1c5327 | 2017-05-25 01:41:46 +0000 | [diff] [blame] | 355 | // Do not instrument full dominators, or full post-dominators with multiple |
| 356 | // predecessors. |
| 357 | return !isFullDominator(BB, DT) |
| 358 | && !(isFullPostDominator(BB, PDT) && !BB->getSinglePredecessor()); |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 359 | } |
| 360 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 361 | bool SanitizerCoverageModule::runOnFunction(Function &F) { |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 362 | if (F.empty()) |
| 363 | return false; |
Kostya Serebryany | fea4fb4 | 2014-12-17 21:50:04 +0000 | [diff] [blame] | 364 | if (F.getName().find(".module_ctor") != std::string::npos) |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 365 | return false; // Should not instrument sanitizer init functions. |
Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 366 | if (F.getName().startswith("__sanitizer_")) |
| 367 | return false; // Don't instrument __sanitizer_* callbacks. |
Reid Kleckner | ec80354 | 2016-11-11 19:18:45 +0000 | [diff] [blame] | 368 | // Don't instrument MSVC CRT configuration helpers. They may run before normal |
| 369 | // initialization. |
| 370 | if (F.getName() == "__local_stdio_printf_options" || |
| 371 | F.getName() == "__local_stdio_scanf_options") |
| 372 | return false; |
Reid Kleckner | df52337 | 2015-09-03 20:18:29 +0000 | [diff] [blame] | 373 | // Don't instrument functions using SEH for now. Splitting basic blocks like |
| 374 | // we do for coverage breaks WinEHPrepare. |
| 375 | // FIXME: Remove this when SEH no longer uses landingpad pattern matching. |
| 376 | if (F.hasPersonalityFn() && |
| 377 | isAsynchronousEHPersonality(classifyEHPersonality(F.getPersonalityFn()))) |
| 378 | return false; |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 379 | if (Options.CoverageType >= SanitizerCoverageOptions::SCK_Edge) |
Chandler Carruth | 37df2cf | 2015-01-19 12:09:11 +0000 | [diff] [blame] | 380 | SplitAllCriticalEdges(F); |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 381 | SmallVector<Instruction *, 8> IndirCalls; |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 382 | SmallVector<BasicBlock *, 16> BlocksToInstrument; |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 383 | SmallVector<Instruction *, 8> CmpTraceTargets; |
| 384 | SmallVector<Instruction *, 8> SwitchTraceTargets; |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 385 | SmallVector<BinaryOperator *, 8> DivTraceTargets; |
| 386 | SmallVector<GetElementPtrInst *, 8> GepTraceTargets; |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 387 | |
Mike Aizatsky | 602f792 | 2016-03-21 23:08:16 +0000 | [diff] [blame] | 388 | const DominatorTree *DT = |
| 389 | &getAnalysis<DominatorTreeWrapperPass>(F).getDomTree(); |
George Karpenkov | 018472c | 2017-05-24 00:29:12 +0000 | [diff] [blame] | 390 | const PostDominatorTree *PDT = |
| 391 | &getAnalysis<PostDominatorTreeWrapperPass>(F).getPostDomTree(); |
Mike Aizatsky | 602f792 | 2016-03-21 23:08:16 +0000 | [diff] [blame] | 392 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 393 | for (auto &BB : F) { |
George Karpenkov | 018472c | 2017-05-24 00:29:12 +0000 | [diff] [blame] | 394 | if (shouldInstrumentBlock(F, &BB, DT, PDT, Options)) |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 395 | BlocksToInstrument.push_back(&BB); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 396 | for (auto &Inst : BB) { |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 397 | if (Options.IndirectCalls) { |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 398 | CallSite CS(&Inst); |
| 399 | if (CS && !CS.getCalledFunction()) |
| 400 | IndirCalls.push_back(&Inst); |
| 401 | } |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 402 | if (Options.TraceCmp) { |
| 403 | if (isa<ICmpInst>(&Inst)) |
| 404 | CmpTraceTargets.push_back(&Inst); |
| 405 | if (isa<SwitchInst>(&Inst)) |
| 406 | SwitchTraceTargets.push_back(&Inst); |
| 407 | } |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 408 | if (Options.TraceDiv) |
| 409 | if (BinaryOperator *BO = dyn_cast<BinaryOperator>(&Inst)) |
| 410 | if (BO->getOpcode() == Instruction::SDiv || |
| 411 | BO->getOpcode() == Instruction::UDiv) |
| 412 | DivTraceTargets.push_back(BO); |
| 413 | if (Options.TraceGep) |
| 414 | if (GetElementPtrInst *GEP = dyn_cast<GetElementPtrInst>(&Inst)) |
| 415 | GepTraceTargets.push_back(GEP); |
| 416 | } |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 417 | } |
Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 418 | |
| 419 | InjectCoverage(F, BlocksToInstrument); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 420 | InjectCoverageForIndirectCalls(F, IndirCalls); |
| 421 | InjectTraceForCmp(F, CmpTraceTargets); |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 422 | InjectTraceForSwitch(F, SwitchTraceTargets); |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 423 | InjectTraceForDiv(F, DivTraceTargets); |
| 424 | InjectTraceForGep(F, GepTraceTargets); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 425 | return true; |
| 426 | } |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 427 | |
| 428 | GlobalVariable *SanitizerCoverageModule::CreateFunctionLocalArrayInSection( |
| 429 | size_t NumElements, Function &F, Type *Ty, const char *Section) { |
| 430 | ArrayType *ArrayTy = ArrayType::get(Ty, NumElements); |
| 431 | auto Array = new GlobalVariable( |
| 432 | *CurModule, ArrayTy, false, GlobalVariable::PrivateLinkage, |
| 433 | Constant::getNullValue(ArrayTy), "__sancov_gen_"); |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 434 | if (auto Comdat = F.getComdat()) |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 435 | Array->setComdat(Comdat); |
| 436 | Array->setSection(getSectionName(Section)); |
| 437 | return Array; |
| 438 | } |
| 439 | void SanitizerCoverageModule::CreateFunctionLocalArrays(size_t NumGuards, |
| 440 | Function &F) { |
| 441 | if (Options.TracePCGuard) |
| 442 | FunctionGuardArray = CreateFunctionLocalArrayInSection( |
| 443 | NumGuards, F, Int32Ty, SanCovGuardsSectionName); |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 444 | if (Options.Inline8bitCounters) |
| 445 | Function8bitCounterArray = CreateFunctionLocalArrayInSection( |
| 446 | NumGuards, F, Int8Ty, SanCovCountersSectionName); |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 447 | } |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 448 | |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 449 | bool SanitizerCoverageModule::InjectCoverage(Function &F, |
| 450 | ArrayRef<BasicBlock *> AllBlocks) { |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 451 | if (AllBlocks.empty()) return false; |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 452 | switch (Options.CoverageType) { |
| 453 | case SanitizerCoverageOptions::SCK_None: |
| 454 | return false; |
| 455 | case SanitizerCoverageOptions::SCK_Function: |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 456 | CreateFunctionLocalArrays(1, F); |
Kostya Serebryany | 53b34c8 | 2017-05-31 18:27:33 +0000 | [diff] [blame] | 457 | InjectCoverageAtBlock(F, F.getEntryBlock(), 0); |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 458 | return true; |
| 459 | default: { |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 460 | CreateFunctionLocalArrays(AllBlocks.size(), F); |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 461 | for (size_t i = 0, N = AllBlocks.size(); i < N; i++) |
Kostya Serebryany | 53b34c8 | 2017-05-31 18:27:33 +0000 | [diff] [blame] | 462 | InjectCoverageAtBlock(F, *AllBlocks[i], i); |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 463 | return true; |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 464 | } |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 465 | } |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 466 | } |
| 467 | |
| 468 | // On every indirect call we call a run-time function |
| 469 | // __sanitizer_cov_indir_call* with two parameters: |
| 470 | // - callee address, |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 471 | // - global cache array that contains CacheSize pointers (zero-initialized). |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 472 | // The cache is used to speed up recording the caller-callee pairs. |
| 473 | // The address of the caller is passed implicitly via caller PC. |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 474 | // CacheSize is encoded in the name of the run-time function. |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 475 | void SanitizerCoverageModule::InjectCoverageForIndirectCalls( |
| 476 | Function &F, ArrayRef<Instruction *> IndirCalls) { |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 477 | if (IndirCalls.empty()) |
| 478 | return; |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 479 | assert(Options.TracePC || Options.TracePCGuard || Options.Inline8bitCounters); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 480 | for (auto I : IndirCalls) { |
| 481 | IRBuilder<> IRB(I); |
| 482 | CallSite CS(I); |
| 483 | Value *Callee = CS.getCalledValue(); |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 484 | if (isa<InlineAsm>(Callee)) |
| 485 | continue; |
Kostya Serebryany | c5d3d49 | 2017-04-19 22:42:11 +0000 | [diff] [blame] | 486 | IRB.CreateCall(SanCovTracePCIndir, IRB.CreatePointerCast(Callee, IntptrTy)); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 487 | } |
| 488 | } |
| 489 | |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 490 | // For every switch statement we insert a call: |
| 491 | // __sanitizer_cov_trace_switch(CondValue, |
| 492 | // {NumCases, ValueSizeInBits, Case0Value, Case1Value, Case2Value, ... }) |
| 493 | |
| 494 | void SanitizerCoverageModule::InjectTraceForSwitch( |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 495 | Function &, ArrayRef<Instruction *> SwitchTraceTargets) { |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 496 | for (auto I : SwitchTraceTargets) { |
| 497 | if (SwitchInst *SI = dyn_cast<SwitchInst>(I)) { |
| 498 | IRBuilder<> IRB(I); |
| 499 | SmallVector<Constant *, 16> Initializers; |
| 500 | Value *Cond = SI->getCondition(); |
Kostya Serebryany | 2569118 | 2015-08-11 00:24:39 +0000 | [diff] [blame] | 501 | if (Cond->getType()->getScalarSizeInBits() > |
| 502 | Int64Ty->getScalarSizeInBits()) |
| 503 | continue; |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 504 | Initializers.push_back(ConstantInt::get(Int64Ty, SI->getNumCases())); |
| 505 | Initializers.push_back( |
| 506 | ConstantInt::get(Int64Ty, Cond->getType()->getScalarSizeInBits())); |
| 507 | if (Cond->getType()->getScalarSizeInBits() < |
| 508 | Int64Ty->getScalarSizeInBits()) |
| 509 | Cond = IRB.CreateIntCast(Cond, Int64Ty, false); |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 510 | for (auto It : SI->cases()) { |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 511 | Constant *C = It.getCaseValue(); |
| 512 | if (C->getType()->getScalarSizeInBits() < |
| 513 | Int64Ty->getScalarSizeInBits()) |
| 514 | C = ConstantExpr::getCast(CastInst::ZExt, It.getCaseValue(), Int64Ty); |
| 515 | Initializers.push_back(C); |
| 516 | } |
Kostya Serebryany | f24e52c | 2016-12-27 21:20:06 +0000 | [diff] [blame] | 517 | std::sort(Initializers.begin() + 2, Initializers.end(), |
| 518 | [](const Constant *A, const Constant *B) { |
| 519 | return cast<ConstantInt>(A)->getLimitedValue() < |
| 520 | cast<ConstantInt>(B)->getLimitedValue(); |
| 521 | }); |
Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 522 | ArrayType *ArrayOfInt64Ty = ArrayType::get(Int64Ty, Initializers.size()); |
| 523 | GlobalVariable *GV = new GlobalVariable( |
| 524 | *CurModule, ArrayOfInt64Ty, false, GlobalVariable::InternalLinkage, |
| 525 | ConstantArray::get(ArrayOfInt64Ty, Initializers), |
| 526 | "__sancov_gen_cov_switch_values"); |
| 527 | IRB.CreateCall(SanCovTraceSwitchFunction, |
| 528 | {Cond, IRB.CreatePointerCast(GV, Int64PtrTy)}); |
| 529 | } |
| 530 | } |
| 531 | } |
| 532 | |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 533 | void SanitizerCoverageModule::InjectTraceForDiv( |
| 534 | Function &, ArrayRef<BinaryOperator *> DivTraceTargets) { |
| 535 | for (auto BO : DivTraceTargets) { |
| 536 | IRBuilder<> IRB(BO); |
| 537 | Value *A1 = BO->getOperand(1); |
| 538 | if (isa<ConstantInt>(A1)) continue; |
| 539 | if (!A1->getType()->isIntegerTy()) |
| 540 | continue; |
| 541 | uint64_t TypeSize = DL->getTypeStoreSizeInBits(A1->getType()); |
| 542 | int CallbackIdx = TypeSize == 32 ? 0 : |
| 543 | TypeSize == 64 ? 1 : -1; |
| 544 | if (CallbackIdx < 0) continue; |
| 545 | auto Ty = Type::getIntNTy(*C, TypeSize); |
| 546 | IRB.CreateCall(SanCovTraceDivFunction[CallbackIdx], |
| 547 | {IRB.CreateIntCast(A1, Ty, true)}); |
| 548 | } |
| 549 | } |
| 550 | |
| 551 | void SanitizerCoverageModule::InjectTraceForGep( |
| 552 | Function &, ArrayRef<GetElementPtrInst *> GepTraceTargets) { |
| 553 | for (auto GEP : GepTraceTargets) { |
| 554 | IRBuilder<> IRB(GEP); |
| 555 | for (auto I = GEP->idx_begin(); I != GEP->idx_end(); ++I) |
Kostya Serebryany | 45c1447 | 2016-09-27 01:55:08 +0000 | [diff] [blame] | 556 | if (!isa<ConstantInt>(*I) && (*I)->getType()->isIntegerTy()) |
Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 557 | IRB.CreateCall(SanCovTraceGepFunction, |
| 558 | {IRB.CreateIntCast(*I, IntptrTy, true)}); |
| 559 | } |
| 560 | } |
| 561 | |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 562 | void SanitizerCoverageModule::InjectTraceForCmp( |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 563 | Function &, ArrayRef<Instruction *> CmpTraceTargets) { |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 564 | for (auto I : CmpTraceTargets) { |
| 565 | if (ICmpInst *ICMP = dyn_cast<ICmpInst>(I)) { |
| 566 | IRBuilder<> IRB(ICMP); |
| 567 | Value *A0 = ICMP->getOperand(0); |
| 568 | Value *A1 = ICMP->getOperand(1); |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 569 | if (!A0->getType()->isIntegerTy()) |
| 570 | continue; |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 571 | uint64_t TypeSize = DL->getTypeStoreSizeInBits(A0->getType()); |
Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 572 | int CallbackIdx = TypeSize == 8 ? 0 : |
| 573 | TypeSize == 16 ? 1 : |
| 574 | TypeSize == 32 ? 2 : |
| 575 | TypeSize == 64 ? 3 : -1; |
| 576 | if (CallbackIdx < 0) continue; |
Alexey Samsonov | 0a648a4 | 2015-05-06 21:35:25 +0000 | [diff] [blame] | 577 | // __sanitizer_cov_trace_cmp((type_size << 32) | predicate, A0, A1); |
Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 578 | auto Ty = Type::getIntNTy(*C, TypeSize); |
David Blaikie | ff6409d | 2015-05-18 22:13:54 +0000 | [diff] [blame] | 579 | IRB.CreateCall( |
Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 580 | SanCovTraceCmpFunction[CallbackIdx], |
| 581 | {IRB.CreateIntCast(A0, Ty, true), IRB.CreateIntCast(A1, Ty, true)}); |
Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 582 | } |
| 583 | } |
| 584 | } |
| 585 | |
Kostya Serebryany | 77cc729 | 2015-02-04 01:21:45 +0000 | [diff] [blame] | 586 | void SanitizerCoverageModule::InjectCoverageAtBlock(Function &F, BasicBlock &BB, |
Kostya Serebryany | 53b34c8 | 2017-05-31 18:27:33 +0000 | [diff] [blame] | 587 | size_t Idx) { |
Justin Bogner | 7ae63aa | 2015-08-14 17:03:45 +0000 | [diff] [blame] | 588 | BasicBlock::iterator IP = BB.getFirstInsertionPt(); |
Kostya Serebryany | d421db0 | 2015-01-03 00:54:43 +0000 | [diff] [blame] | 589 | bool IsEntryBB = &BB == &F.getEntryBlock(); |
Alexey Samsonov | 201733b | 2015-06-12 01:48:47 +0000 | [diff] [blame] | 590 | DebugLoc EntryLoc; |
| 591 | if (IsEntryBB) { |
Pete Cooper | adebb93 | 2016-03-11 02:14:16 +0000 | [diff] [blame] | 592 | if (auto SP = F.getSubprogram()) |
Alexey Samsonov | 201733b | 2015-06-12 01:48:47 +0000 | [diff] [blame] | 593 | EntryLoc = DebugLoc::get(SP->getScopeLine(), 0, SP); |
Reid Kleckner | a57d015 | 2015-08-14 16:45:42 +0000 | [diff] [blame] | 594 | // Keep static allocas and llvm.localescape calls in the entry block. Even |
| 595 | // if we aren't splitting the block, it's nice for allocas to be before |
| 596 | // calls. |
| 597 | IP = PrepareToSplitEntryBlock(BB, IP); |
Alexey Samsonov | 201733b | 2015-06-12 01:48:47 +0000 | [diff] [blame] | 598 | } else { |
| 599 | EntryLoc = IP->getDebugLoc(); |
| 600 | } |
| 601 | |
Duncan P. N. Exon Smith | e82c286 | 2015-10-13 17:39:10 +0000 | [diff] [blame] | 602 | IRBuilder<> IRB(&*IP); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 603 | IRB.SetCurrentDebugLocation(EntryLoc); |
Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 604 | if (Options.TracePC) { |
Kostya Serebryany | dd5c7f9 | 2016-07-14 17:59:01 +0000 | [diff] [blame] | 605 | IRB.CreateCall(SanCovTracePC); // gets the PC using GET_CALLER_PC. |
| 606 | IRB.CreateCall(EmptyAsm, {}); // Avoids callback merge. |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 607 | } |
| 608 | if (Options.TracePCGuard) { |
Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 609 | auto GuardPtr = IRB.CreateIntToPtr( |
| 610 | IRB.CreateAdd(IRB.CreatePointerCast(FunctionGuardArray, IntptrTy), |
| 611 | ConstantInt::get(IntptrTy, Idx * 4)), |
| 612 | Int32PtrTy); |
Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 613 | IRB.CreateCall(SanCovTracePCGuard, GuardPtr); |
| 614 | IRB.CreateCall(EmptyAsm, {}); // Avoids callback merge. |
Kostya Serebryany | 77cc729 | 2015-02-04 01:21:45 +0000 | [diff] [blame] | 615 | } |
Kostya Serebryany | 2c2fb88 | 2017-06-08 22:58:19 +0000 | [diff] [blame] | 616 | if (Options.Inline8bitCounters) { |
| 617 | auto CounterPtr = IRB.CreateGEP( |
| 618 | Function8bitCounterArray, |
| 619 | {ConstantInt::get(IntptrTy, 0), ConstantInt::get(IntptrTy, Idx)}); |
| 620 | auto Load = IRB.CreateLoad(CounterPtr); |
| 621 | auto Inc = IRB.CreateAdd(Load, ConstantInt::get(Int8Ty, 1)); |
| 622 | auto Store = IRB.CreateStore(Inc, CounterPtr); |
| 623 | SetNoSanitizeMetadata(Load); |
| 624 | SetNoSanitizeMetadata(Store); |
| 625 | } |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 626 | } |
| 627 | |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 628 | std::string |
| 629 | SanitizerCoverageModule::getSectionName(const std::string &Section) const { |
Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 630 | if (TargetTriple.getObjectFormat() == Triple::COFF) |
| 631 | return ".SCOV$M"; |
| 632 | if (TargetTriple.isOSBinFormatMachO()) |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 633 | return "__DATA,__" + Section; |
| 634 | return "__" + Section; |
Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 635 | } |
| 636 | |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 637 | std::string |
| 638 | SanitizerCoverageModule::getSectionStart(const std::string &Section) const { |
Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 639 | if (TargetTriple.isOSBinFormatMachO()) |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 640 | return "\1section$start$__DATA$__" + Section; |
| 641 | return "__start___" + Section; |
Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 642 | } |
| 643 | |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 644 | std::string |
| 645 | SanitizerCoverageModule::getSectionEnd(const std::string &Section) const { |
Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 646 | if (TargetTriple.isOSBinFormatMachO()) |
Kostya Serebryany | aed6ba7 | 2017-06-02 23:13:44 +0000 | [diff] [blame] | 647 | return "\1section$end$__DATA$__" + Section; |
| 648 | return "__stop___" + Section; |
Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 649 | } |
| 650 | |
| 651 | |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 652 | char SanitizerCoverageModule::ID = 0; |
Mike Aizatsky | 9056284 | 2016-02-27 05:50:40 +0000 | [diff] [blame] | 653 | INITIALIZE_PASS_BEGIN(SanitizerCoverageModule, "sancov", |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 654 | "SanitizerCoverage: TODO." |
| 655 | "ModulePass", |
| 656 | false, false) |
Mike Aizatsky | 9056284 | 2016-02-27 05:50:40 +0000 | [diff] [blame] | 657 | INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass) |
George Karpenkov | 018472c | 2017-05-24 00:29:12 +0000 | [diff] [blame] | 658 | INITIALIZE_PASS_DEPENDENCY(PostDominatorTreeWrapperPass) |
Mike Aizatsky | 9056284 | 2016-02-27 05:50:40 +0000 | [diff] [blame] | 659 | INITIALIZE_PASS_END(SanitizerCoverageModule, "sancov", |
Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 660 | "SanitizerCoverage: TODO." |
| 661 | "ModulePass", |
| 662 | false, false) |
Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 663 | ModulePass *llvm::createSanitizerCoverageModulePass( |
| 664 | const SanitizerCoverageOptions &Options) { |
| 665 | return new SanitizerCoverageModule(Options); |
Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 666 | } |