| 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 | // | 
|  | 10 | // Coverage instrumentation that works with AddressSanitizer | 
|  | 11 | // and potentially with other Sanitizers. | 
|  | 12 | // | 
| Kostya Serebryany | 9fdeb37 | 2014-12-23 22:32:17 +0000 | [diff] [blame] | 13 | // We create a Guard variable with the same linkage | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 14 | // as the function and inject this code into the entry block (SCK_Function) | 
|  | 15 | // or all blocks (SCK_BB): | 
| Kostya Serebryany | 9fdeb37 | 2014-12-23 22:32:17 +0000 | [diff] [blame] | 16 | // if (Guard < 0) { | 
| Kostya Serebryany | 4cadd4a | 2014-11-24 18:49:53 +0000 | [diff] [blame] | 17 | //    __sanitizer_cov(&Guard); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 18 | // } | 
|  | 19 | // The accesses to Guard are atomic. The rest of the logic is | 
|  | 20 | // in __sanitizer_cov (it's fine to call it more than once). | 
|  | 21 | // | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 22 | // With SCK_Edge we also split critical edges this effectively | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 23 | // instrumenting all edges. | 
|  | 24 | // | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 25 | // This coverage implementation provides very limited data: | 
|  | 26 | // it only tells if a given function (block) was ever executed. No counters. | 
|  | 27 | // But for many use cases this is what we need and the added slowdown small. | 
|  | 28 | // | 
|  | 29 | //===----------------------------------------------------------------------===// | 
|  | 30 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 31 | #include "llvm/ADT/ArrayRef.h" | 
|  | 32 | #include "llvm/ADT/SmallVector.h" | 
| David Majnemer | 70497c6 | 2015-12-02 23:06:39 +0000 | [diff] [blame] | 33 | #include "llvm/Analysis/EHPersonalities.h" | 
| Chandler Carruth | 3006115 | 2016-03-18 22:43:42 +0000 | [diff] [blame] | 34 | #include "llvm/Analysis/PostDominators.h" | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 35 | #include "llvm/IR/CFG.h" | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 36 | #include "llvm/IR/CallSite.h" | 
|  | 37 | #include "llvm/IR/DataLayout.h" | 
| Alexey Samsonov | 201733b | 2015-06-12 01:48:47 +0000 | [diff] [blame] | 38 | #include "llvm/IR/DebugInfo.h" | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 39 | #include "llvm/IR/Dominators.h" | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 40 | #include "llvm/IR/Function.h" | 
|  | 41 | #include "llvm/IR/IRBuilder.h" | 
| Kostya Serebryany | 7376294 | 2014-12-16 21:24:15 +0000 | [diff] [blame] | 42 | #include "llvm/IR/InlineAsm.h" | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 43 | #include "llvm/IR/LLVMContext.h" | 
|  | 44 | #include "llvm/IR/MDBuilder.h" | 
|  | 45 | #include "llvm/IR/Module.h" | 
|  | 46 | #include "llvm/IR/Type.h" | 
|  | 47 | #include "llvm/Support/CommandLine.h" | 
|  | 48 | #include "llvm/Support/Debug.h" | 
|  | 49 | #include "llvm/Support/raw_ostream.h" | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 50 | #include "llvm/Transforms/Instrumentation.h" | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 51 | #include "llvm/Transforms/Scalar.h" | 
|  | 52 | #include "llvm/Transforms/Utils/BasicBlockUtils.h" | 
|  | 53 | #include "llvm/Transforms/Utils/ModuleUtils.h" | 
|  | 54 |  | 
|  | 55 | using namespace llvm; | 
|  | 56 |  | 
|  | 57 | #define DEBUG_TYPE "sancov" | 
|  | 58 |  | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 59 | static const char *const SanCovModuleInitName = "__sanitizer_cov_module_init"; | 
|  | 60 | static const char *const SanCovName = "__sanitizer_cov"; | 
|  | 61 | static const char *const SanCovWithCheckName = "__sanitizer_cov_with_check"; | 
|  | 62 | static const char *const SanCovIndirCallName = "__sanitizer_cov_indir_call16"; | 
|  | 63 | static const char *const SanCovTracePCIndirName = | 
|  | 64 | "__sanitizer_cov_trace_pc_indir"; | 
|  | 65 | static const char *const SanCovTraceEnterName = | 
|  | 66 | "__sanitizer_cov_trace_func_enter"; | 
|  | 67 | static const char *const SanCovTraceBBName = | 
|  | 68 | "__sanitizer_cov_trace_basic_block"; | 
|  | 69 | static const char *const SanCovTracePCName = "__sanitizer_cov_trace_pc"; | 
| Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 70 | static const char *const SanCovTraceCmp1 = "__sanitizer_cov_trace_cmp1"; | 
|  | 71 | static const char *const SanCovTraceCmp2 = "__sanitizer_cov_trace_cmp2"; | 
|  | 72 | static const char *const SanCovTraceCmp4 = "__sanitizer_cov_trace_cmp4"; | 
|  | 73 | static const char *const SanCovTraceCmp8 = "__sanitizer_cov_trace_cmp8"; | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 74 | static const char *const SanCovTraceDiv4 = "__sanitizer_cov_trace_div4"; | 
|  | 75 | static const char *const SanCovTraceDiv8 = "__sanitizer_cov_trace_div8"; | 
|  | 76 | static const char *const SanCovTraceGep = "__sanitizer_cov_trace_gep"; | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 77 | static const char *const SanCovTraceSwitchName = "__sanitizer_cov_trace_switch"; | 
|  | 78 | static const char *const SanCovModuleCtorName = "sancov.module_ctor"; | 
|  | 79 | static const uint64_t SanCtorAndDtorPriority = 2; | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 80 |  | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 81 | static const char *const SanCovTracePCGuardName = | 
|  | 82 | "__sanitizer_cov_trace_pc_guard"; | 
|  | 83 | static const char *const SanCovTracePCGuardInitName = | 
|  | 84 | "__sanitizer_cov_trace_pc_guard_init"; | 
|  | 85 |  | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 86 | static cl::opt<int> ClCoverageLevel( | 
|  | 87 | "sanitizer-coverage-level", | 
|  | 88 | cl::desc("Sanitizer Coverage. 0: none, 1: entry block, 2: all blocks, " | 
|  | 89 | "3: all blocks and critical edges, " | 
|  | 90 | "4: above plus indirect calls"), | 
|  | 91 | cl::Hidden, cl::init(0)); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 92 |  | 
| Kostya Serebryany | 77cc729 | 2015-02-04 01:21:45 +0000 | [diff] [blame] | 93 | static cl::opt<unsigned> ClCoverageBlockThreshold( | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 94 | "sanitizer-coverage-block-threshold", | 
| Kostya Serebryany | 77cc729 | 2015-02-04 01:21:45 +0000 | [diff] [blame] | 95 | cl::desc("Use a callback with a guard check inside it if there are" | 
|  | 96 | " more than this number of blocks."), | 
| Kostya Serebryany | 4b2ff07 | 2017-01-24 00:57:31 +0000 | [diff] [blame] | 97 | cl::Hidden, cl::init(0)); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 98 |  | 
| Kostya Serebryany | cb45b12 | 2014-11-19 00:22:58 +0000 | [diff] [blame] | 99 | static cl::opt<bool> | 
|  | 100 | ClExperimentalTracing("sanitizer-coverage-experimental-tracing", | 
|  | 101 | cl::desc("Experimental basic-block tracing: insert " | 
|  | 102 | "callbacks at every basic block"), | 
|  | 103 | cl::Hidden, cl::init(false)); | 
|  | 104 |  | 
| Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 105 | static cl::opt<bool> ClExperimentalTracePC("sanitizer-coverage-trace-pc", | 
|  | 106 | cl::desc("Experimental pc tracing"), | 
|  | 107 | cl::Hidden, cl::init(false)); | 
|  | 108 |  | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 109 | static cl::opt<bool> ClTracePCGuard("sanitizer-coverage-trace-pc-guard", | 
|  | 110 | cl::desc("pc tracing with a guard"), | 
|  | 111 | cl::Hidden, cl::init(false)); | 
|  | 112 |  | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 113 | static cl::opt<bool> | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 114 | ClCMPTracing("sanitizer-coverage-trace-compares", | 
|  | 115 | cl::desc("Tracing of CMP and similar instructions"), | 
|  | 116 | cl::Hidden, cl::init(false)); | 
|  | 117 |  | 
|  | 118 | static cl::opt<bool> ClDIVTracing("sanitizer-coverage-trace-divs", | 
|  | 119 | cl::desc("Tracing of DIV instructions"), | 
|  | 120 | cl::Hidden, cl::init(false)); | 
|  | 121 |  | 
|  | 122 | static cl::opt<bool> ClGEPTracing("sanitizer-coverage-trace-geps", | 
|  | 123 | cl::desc("Tracing of GEP instructions"), | 
|  | 124 | cl::Hidden, cl::init(false)); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 125 |  | 
| Mike Aizatsky | 70ea453 | 2016-04-06 23:24:37 +0000 | [diff] [blame] | 126 | static cl::opt<bool> | 
|  | 127 | ClPruneBlocks("sanitizer-coverage-prune-blocks", | 
|  | 128 | cl::desc("Reduce the number of instrumented blocks"), | 
|  | 129 | cl::Hidden, cl::init(true)); | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 130 |  | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 131 | // Experimental 8-bit counters used as an additional search heuristic during | 
|  | 132 | // coverage-guided fuzzing. | 
|  | 133 | // The counters are not thread-friendly: | 
|  | 134 | //   - contention on these counters may cause significant slowdown; | 
|  | 135 | //   - the counter updates are racy and the results may be inaccurate. | 
|  | 136 | // They are also inaccurate due to 8-bit integer overflow. | 
|  | 137 | static cl::opt<bool> ClUse8bitCounters("sanitizer-coverage-8bit-counters", | 
|  | 138 | cl::desc("Experimental 8-bit counters"), | 
|  | 139 | cl::Hidden, cl::init(false)); | 
|  | 140 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 141 | namespace { | 
|  | 142 |  | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 143 | SanitizerCoverageOptions getOptions(int LegacyCoverageLevel) { | 
|  | 144 | SanitizerCoverageOptions Res; | 
|  | 145 | switch (LegacyCoverageLevel) { | 
|  | 146 | case 0: | 
|  | 147 | Res.CoverageType = SanitizerCoverageOptions::SCK_None; | 
|  | 148 | break; | 
|  | 149 | case 1: | 
|  | 150 | Res.CoverageType = SanitizerCoverageOptions::SCK_Function; | 
|  | 151 | break; | 
|  | 152 | case 2: | 
|  | 153 | Res.CoverageType = SanitizerCoverageOptions::SCK_BB; | 
|  | 154 | break; | 
|  | 155 | case 3: | 
|  | 156 | Res.CoverageType = SanitizerCoverageOptions::SCK_Edge; | 
|  | 157 | break; | 
|  | 158 | case 4: | 
|  | 159 | Res.CoverageType = SanitizerCoverageOptions::SCK_Edge; | 
|  | 160 | Res.IndirectCalls = true; | 
|  | 161 | break; | 
|  | 162 | } | 
|  | 163 | return Res; | 
|  | 164 | } | 
|  | 165 |  | 
|  | 166 | SanitizerCoverageOptions OverrideFromCL(SanitizerCoverageOptions Options) { | 
|  | 167 | // Sets CoverageType and IndirectCalls. | 
|  | 168 | SanitizerCoverageOptions CLOpts = getOptions(ClCoverageLevel); | 
|  | 169 | Options.CoverageType = std::max(Options.CoverageType, CLOpts.CoverageType); | 
|  | 170 | Options.IndirectCalls |= CLOpts.IndirectCalls; | 
|  | 171 | Options.TraceBB |= ClExperimentalTracing; | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 172 | Options.TraceCmp |= ClCMPTracing; | 
|  | 173 | Options.TraceDiv |= ClDIVTracing; | 
|  | 174 | Options.TraceGep |= ClGEPTracing; | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 175 | Options.Use8bitCounters |= ClUse8bitCounters; | 
| Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 176 | Options.TracePC |= ClExperimentalTracePC; | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 177 | Options.TracePCGuard |= ClTracePCGuard; | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 178 | return Options; | 
|  | 179 | } | 
|  | 180 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 181 | class SanitizerCoverageModule : public ModulePass { | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 182 | public: | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 183 | SanitizerCoverageModule( | 
|  | 184 | const SanitizerCoverageOptions &Options = SanitizerCoverageOptions()) | 
| Chandler Carruth | e2b7021 | 2016-03-18 22:35:58 +0000 | [diff] [blame] | 185 | : ModulePass(ID), Options(OverrideFromCL(Options)) { | 
|  | 186 | initializeSanitizerCoverageModulePass(*PassRegistry::getPassRegistry()); | 
|  | 187 | } | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 188 | bool runOnModule(Module &M) override; | 
|  | 189 | bool runOnFunction(Function &F); | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 190 | static char ID; // Pass identification, replacement for typeid | 
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 191 | StringRef getPassName() const override { return "SanitizerCoverageModule"; } | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 192 |  | 
| Chandler Carruth | 3006115 | 2016-03-18 22:43:42 +0000 | [diff] [blame] | 193 | void getAnalysisUsage(AnalysisUsage &AU) const override { | 
|  | 194 | AU.addRequired<DominatorTreeWrapperPass>(); | 
|  | 195 | AU.addRequired<PostDominatorTreeWrapperPass>(); | 
|  | 196 | } | 
|  | 197 |  | 
|  | 198 | private: | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 199 | void InjectCoverageForIndirectCalls(Function &F, | 
|  | 200 | ArrayRef<Instruction *> IndirCalls); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 201 | void InjectTraceForCmp(Function &F, ArrayRef<Instruction *> CmpTraceTargets); | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 202 | void InjectTraceForDiv(Function &F, | 
|  | 203 | ArrayRef<BinaryOperator *> DivTraceTargets); | 
|  | 204 | void InjectTraceForGep(Function &F, | 
|  | 205 | ArrayRef<GetElementPtrInst *> GepTraceTargets); | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 206 | void InjectTraceForSwitch(Function &F, | 
|  | 207 | ArrayRef<Instruction *> SwitchTraceTargets); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 208 | bool InjectCoverage(Function &F, ArrayRef<BasicBlock *> AllBlocks); | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 209 | void CreateFunctionGuardArray(size_t NumGuards, Function &F); | 
| Alexey Samsonov | 0a648a4 | 2015-05-06 21:35:25 +0000 | [diff] [blame] | 210 | void SetNoSanitizeMetadata(Instruction *I); | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 211 | void InjectCoverageAtBlock(Function &F, BasicBlock &BB, size_t Idx, | 
|  | 212 | bool UseCalls); | 
| Kostya Serebryany | 48a4023 | 2015-03-10 01:58:27 +0000 | [diff] [blame] | 213 | unsigned NumberOfInstrumentedBlocks() { | 
| Kostya Serebryany | a3c5347 | 2015-12-02 02:37:13 +0000 | [diff] [blame] | 214 | return SanCovFunction->getNumUses() + | 
|  | 215 | SanCovWithCheckFunction->getNumUses() + SanCovTraceBB->getNumUses() + | 
|  | 216 | SanCovTraceEnter->getNumUses(); | 
| Kostya Serebryany | 48a4023 | 2015-03-10 01:58:27 +0000 | [diff] [blame] | 217 | } | 
| Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 218 | StringRef getSanCovTracePCGuardSection() const; | 
|  | 219 | StringRef getSanCovTracePCGuardSectionStart() const; | 
|  | 220 | StringRef getSanCovTracePCGuardSectionEnd() const; | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 221 | Function *SanCovFunction; | 
| Kostya Serebryany | 77cc729 | 2015-02-04 01:21:45 +0000 | [diff] [blame] | 222 | Function *SanCovWithCheckFunction; | 
| Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 223 | Function *SanCovIndirCallFunction, *SanCovTracePCIndir; | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 224 | Function *SanCovTraceEnter, *SanCovTraceBB, *SanCovTracePC, *SanCovTracePCGuard; | 
| Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 225 | Function *SanCovTraceCmpFunction[4]; | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 226 | Function *SanCovTraceDivFunction[2]; | 
|  | 227 | Function *SanCovTraceGepFunction; | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 228 | Function *SanCovTraceSwitchFunction; | 
| Kostya Serebryany | 7376294 | 2014-12-16 21:24:15 +0000 | [diff] [blame] | 229 | InlineAsm *EmptyAsm; | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 230 | Type *IntptrTy, *IntptrPtrTy, *Int64Ty, *Int64PtrTy, *Int32Ty, *Int32PtrTy; | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 231 | Module *CurModule; | 
| Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 232 | Triple TargetTriple; | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 233 | LLVMContext *C; | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 234 | const DataLayout *DL; | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 235 |  | 
| Kostya Serebryany | aa185bf | 2014-12-30 19:29:28 +0000 | [diff] [blame] | 236 | GlobalVariable *GuardArray; | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 237 | GlobalVariable *FunctionGuardArray;  // for trace-pc-guard. | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 238 | GlobalVariable *EightBitCounterArray; | 
| Kostya Serebryany | 186d618 | 2016-09-27 01:08:33 +0000 | [diff] [blame] | 239 | bool HasSancovGuardsSection; | 
| Kostya Serebryany | 9fdeb37 | 2014-12-23 22:32:17 +0000 | [diff] [blame] | 240 |  | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 241 | SanitizerCoverageOptions Options; | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 242 | }; | 
|  | 243 |  | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 244 | } // namespace | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 245 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 246 | bool SanitizerCoverageModule::runOnModule(Module &M) { | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 247 | if (Options.CoverageType == SanitizerCoverageOptions::SCK_None) | 
|  | 248 | return false; | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 249 | C = &(M.getContext()); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 250 | DL = &M.getDataLayout(); | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 251 | CurModule = &M; | 
| Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 252 | TargetTriple = Triple(M.getTargetTriple()); | 
| Kostya Serebryany | 186d618 | 2016-09-27 01:08:33 +0000 | [diff] [blame] | 253 | HasSancovGuardsSection = false; | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 254 | IntptrTy = Type::getIntNTy(*C, DL->getPointerSizeInBits()); | 
| Kostya Serebryany | 8e781a8 | 2016-09-18 04:52:23 +0000 | [diff] [blame] | 255 | IntptrPtrTy = PointerType::getUnqual(IntptrTy); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 256 | Type *VoidTy = Type::getVoidTy(*C); | 
| Kostya Serebryany | 4cadd4a | 2014-11-24 18:49:53 +0000 | [diff] [blame] | 257 | IRBuilder<> IRB(*C); | 
| Kostya Serebryany | 8859946 | 2015-02-20 00:30:44 +0000 | [diff] [blame] | 258 | Type *Int8PtrTy = PointerType::getUnqual(IRB.getInt8Ty()); | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 259 | Int64PtrTy = PointerType::getUnqual(IRB.getInt64Ty()); | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 260 | Int32PtrTy = PointerType::getUnqual(IRB.getInt32Ty()); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 261 | Int64Ty = IRB.getInt64Ty(); | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 262 | Int32Ty = IRB.getInt32Ty(); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 263 |  | 
| Ismail Pazarbasi | 198d6d5 | 2015-04-06 21:09:08 +0000 | [diff] [blame] | 264 | SanCovFunction = checkSanitizerInterfaceFunction( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 265 | M.getOrInsertFunction(SanCovName, VoidTy, Int32PtrTy, nullptr)); | 
| Ismail Pazarbasi | 198d6d5 | 2015-04-06 21:09:08 +0000 | [diff] [blame] | 266 | SanCovWithCheckFunction = checkSanitizerInterfaceFunction( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 267 | M.getOrInsertFunction(SanCovWithCheckName, VoidTy, Int32PtrTy, nullptr)); | 
|  | 268 | SanCovTracePCIndir = checkSanitizerInterfaceFunction( | 
|  | 269 | M.getOrInsertFunction(SanCovTracePCIndirName, VoidTy, IntptrTy, nullptr)); | 
| Ismail Pazarbasi | 198d6d5 | 2015-04-06 21:09:08 +0000 | [diff] [blame] | 270 | SanCovIndirCallFunction = | 
|  | 271 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 272 | SanCovIndirCallName, VoidTy, IntptrTy, IntptrTy, nullptr)); | 
| Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 273 | SanCovTraceCmpFunction[0] = | 
| Ismail Pazarbasi | 198d6d5 | 2015-04-06 21:09:08 +0000 | [diff] [blame] | 274 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( | 
| Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 275 | SanCovTraceCmp1, VoidTy, IRB.getInt8Ty(), IRB.getInt8Ty(), nullptr)); | 
|  | 276 | SanCovTraceCmpFunction[1] = checkSanitizerInterfaceFunction( | 
|  | 277 | M.getOrInsertFunction(SanCovTraceCmp2, VoidTy, IRB.getInt16Ty(), | 
|  | 278 | IRB.getInt16Ty(), nullptr)); | 
|  | 279 | SanCovTraceCmpFunction[2] = checkSanitizerInterfaceFunction( | 
|  | 280 | M.getOrInsertFunction(SanCovTraceCmp4, VoidTy, IRB.getInt32Ty(), | 
|  | 281 | IRB.getInt32Ty(), nullptr)); | 
|  | 282 | SanCovTraceCmpFunction[3] = | 
|  | 283 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( | 
|  | 284 | SanCovTraceCmp8, VoidTy, Int64Ty, Int64Ty, nullptr)); | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 285 |  | 
|  | 286 | SanCovTraceDivFunction[0] = | 
|  | 287 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( | 
|  | 288 | SanCovTraceDiv4, VoidTy, IRB.getInt32Ty(), nullptr)); | 
|  | 289 | SanCovTraceDivFunction[1] = | 
|  | 290 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( | 
|  | 291 | SanCovTraceDiv8, VoidTy, Int64Ty, nullptr)); | 
|  | 292 | SanCovTraceGepFunction = | 
|  | 293 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( | 
|  | 294 | SanCovTraceGep, VoidTy, IntptrTy, nullptr)); | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 295 | SanCovTraceSwitchFunction = | 
|  | 296 | checkSanitizerInterfaceFunction(M.getOrInsertFunction( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 297 | SanCovTraceSwitchName, VoidTy, Int64Ty, Int64PtrTy, nullptr)); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 298 |  | 
| Kostya Serebryany | 7376294 | 2014-12-16 21:24:15 +0000 | [diff] [blame] | 299 | // We insert an empty inline asm after cov callbacks to avoid callback merge. | 
|  | 300 | EmptyAsm = InlineAsm::get(FunctionType::get(IRB.getVoidTy(), false), | 
|  | 301 | StringRef(""), StringRef(""), | 
|  | 302 | /*hasSideEffects=*/true); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 303 |  | 
| Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 304 | SanCovTracePC = checkSanitizerInterfaceFunction( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 305 | M.getOrInsertFunction(SanCovTracePCName, VoidTy, nullptr)); | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 306 | SanCovTracePCGuard = checkSanitizerInterfaceFunction(M.getOrInsertFunction( | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 307 | SanCovTracePCGuardName, VoidTy, Int32PtrTy, nullptr)); | 
| Kostya Serebryany | a3c5347 | 2015-12-02 02:37:13 +0000 | [diff] [blame] | 308 | SanCovTraceEnter = checkSanitizerInterfaceFunction( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 309 | M.getOrInsertFunction(SanCovTraceEnterName, VoidTy, Int32PtrTy, nullptr)); | 
| Kostya Serebryany | a3c5347 | 2015-12-02 02:37:13 +0000 | [diff] [blame] | 310 | SanCovTraceBB = checkSanitizerInterfaceFunction( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 311 | M.getOrInsertFunction(SanCovTraceBBName, VoidTy, Int32PtrTy, nullptr)); | 
| Kostya Serebryany | cb45b12 | 2014-11-19 00:22:58 +0000 | [diff] [blame] | 312 |  | 
| Kostya Serebryany | aa185bf | 2014-12-30 19:29:28 +0000 | [diff] [blame] | 313 | // At this point we create a dummy array of guards because we don't | 
|  | 314 | // know how many elements we will need. | 
|  | 315 | Type *Int32Ty = IRB.getInt32Ty(); | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 316 | Type *Int8Ty = IRB.getInt8Ty(); | 
|  | 317 |  | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 318 | if (!Options.TracePCGuard) | 
|  | 319 | GuardArray = | 
|  | 320 | new GlobalVariable(M, Int32Ty, false, GlobalValue::ExternalLinkage, | 
|  | 321 | nullptr, "__sancov_gen_cov_tmp"); | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 322 | if (Options.Use8bitCounters) | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 323 | EightBitCounterArray = | 
|  | 324 | new GlobalVariable(M, Int8Ty, false, GlobalVariable::ExternalLinkage, | 
|  | 325 | nullptr, "__sancov_gen_cov_tmp"); | 
| Kostya Serebryany | aa185bf | 2014-12-30 19:29:28 +0000 | [diff] [blame] | 326 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 327 | for (auto &F : M) | 
|  | 328 | runOnFunction(F); | 
|  | 329 |  | 
| Kostya Serebryany | 48a4023 | 2015-03-10 01:58:27 +0000 | [diff] [blame] | 330 | auto N = NumberOfInstrumentedBlocks(); | 
|  | 331 |  | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 332 | GlobalVariable *RealGuardArray = nullptr; | 
|  | 333 | if (!Options.TracePCGuard) { | 
|  | 334 | // Now we know how many elements we need. Create an array of guards | 
|  | 335 | // with one extra element at the beginning for the size. | 
|  | 336 | Type *Int32ArrayNTy = ArrayType::get(Int32Ty, N + 1); | 
|  | 337 | RealGuardArray = new GlobalVariable( | 
|  | 338 | M, Int32ArrayNTy, false, GlobalValue::PrivateLinkage, | 
|  | 339 | Constant::getNullValue(Int32ArrayNTy), "__sancov_gen_cov"); | 
| Kostya Serebryany | aa185bf | 2014-12-30 19:29:28 +0000 | [diff] [blame] | 340 |  | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 341 | // Replace the dummy array with the real one. | 
|  | 342 | GuardArray->replaceAllUsesWith( | 
|  | 343 | IRB.CreatePointerCast(RealGuardArray, Int32PtrTy)); | 
|  | 344 | GuardArray->eraseFromParent(); | 
|  | 345 | } | 
| Kostya Serebryany | aa185bf | 2014-12-30 19:29:28 +0000 | [diff] [blame] | 346 |  | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 347 | GlobalVariable *RealEightBitCounterArray; | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 348 | if (Options.Use8bitCounters) { | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 349 | // Make sure the array is 16-aligned. | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 350 | static const int CounterAlignment = 16; | 
|  | 351 | Type *Int8ArrayNTy = ArrayType::get(Int8Ty, alignTo(N, CounterAlignment)); | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 352 | RealEightBitCounterArray = new GlobalVariable( | 
|  | 353 | M, Int8ArrayNTy, false, GlobalValue::PrivateLinkage, | 
|  | 354 | Constant::getNullValue(Int8ArrayNTy), "__sancov_gen_cov_counter"); | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 355 | RealEightBitCounterArray->setAlignment(CounterAlignment); | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 356 | EightBitCounterArray->replaceAllUsesWith( | 
|  | 357 | IRB.CreatePointerCast(RealEightBitCounterArray, Int8PtrTy)); | 
|  | 358 | EightBitCounterArray->eraseFromParent(); | 
|  | 359 | } | 
|  | 360 |  | 
| Kostya Serebryany | 8859946 | 2015-02-20 00:30:44 +0000 | [diff] [blame] | 361 | // Create variable for module (compilation unit) name | 
|  | 362 | Constant *ModNameStrConst = | 
|  | 363 | ConstantDataArray::getString(M.getContext(), M.getName(), true); | 
| Reid Kleckner | 3a83e76 | 2016-11-16 16:50:43 +0000 | [diff] [blame] | 364 | GlobalVariable *ModuleName = new GlobalVariable( | 
|  | 365 | M, ModNameStrConst->getType(), true, GlobalValue::PrivateLinkage, | 
|  | 366 | ModNameStrConst, "__sancov_gen_modname"); | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 367 | if (Options.TracePCGuard) { | 
| Kostya Serebryany | 186d618 | 2016-09-27 01:08:33 +0000 | [diff] [blame] | 368 | if (HasSancovGuardsSection) { | 
|  | 369 | Function *CtorFunc; | 
| Justin Bogner | 41e632b | 2017-02-01 02:38:39 +0000 | [diff] [blame] | 370 | GlobalVariable *SecStart = new GlobalVariable( | 
|  | 371 | M, Int32PtrTy, false, GlobalVariable::ExternalLinkage, nullptr, | 
| Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 372 | getSanCovTracePCGuardSectionStart()); | 
| Justin Bogner | 41e632b | 2017-02-01 02:38:39 +0000 | [diff] [blame] | 373 | SecStart->setVisibility(GlobalValue::HiddenVisibility); | 
|  | 374 | GlobalVariable *SecEnd = new GlobalVariable( | 
|  | 375 | M, Int32PtrTy, false, GlobalVariable::ExternalLinkage, nullptr, | 
| Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 376 | getSanCovTracePCGuardSectionEnd()); | 
| Justin Bogner | 41e632b | 2017-02-01 02:38:39 +0000 | [diff] [blame] | 377 | SecEnd->setVisibility(GlobalValue::HiddenVisibility); | 
|  | 378 |  | 
| Kostya Serebryany | 186d618 | 2016-09-27 01:08:33 +0000 | [diff] [blame] | 379 | std::tie(CtorFunc, std::ignore) = createSanitizerCtorAndInitFunctions( | 
|  | 380 | M, SanCovModuleCtorName, SanCovTracePCGuardInitName, | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 381 | {Int32PtrTy, Int32PtrTy}, | 
| Justin Bogner | 41e632b | 2017-02-01 02:38:39 +0000 | [diff] [blame] | 382 | {IRB.CreatePointerCast(SecStart, Int32PtrTy), | 
|  | 383 | IRB.CreatePointerCast(SecEnd, Int32PtrTy)}); | 
| Kostya Serebryany | 186d618 | 2016-09-27 01:08:33 +0000 | [diff] [blame] | 384 |  | 
| Mike Aizatsky | 4705ae9 | 2017-02-08 23:12:46 +0000 | [diff] [blame] | 385 | if (TargetTriple.supportsCOMDAT()) { | 
|  | 386 | // Use comdat to dedup CtorFunc. | 
|  | 387 | CtorFunc->setComdat(M.getOrInsertComdat(SanCovModuleCtorName)); | 
|  | 388 | appendToGlobalCtors(M, CtorFunc, SanCtorAndDtorPriority, CtorFunc); | 
|  | 389 | } else { | 
|  | 390 | appendToGlobalCtors(M, CtorFunc, SanCtorAndDtorPriority); | 
|  | 391 | } | 
| Kostya Serebryany | 8ad4155 | 2016-09-17 05:03:05 +0000 | [diff] [blame] | 392 | } | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 393 | } else if (!Options.TracePC) { | 
| Kostya Serebryany | 3c767db | 2016-02-27 05:45:12 +0000 | [diff] [blame] | 394 | Function *CtorFunc; | 
|  | 395 | std::tie(CtorFunc, std::ignore) = createSanitizerCtorAndInitFunctions( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 396 | M, SanCovModuleCtorName, SanCovModuleInitName, | 
| Kostya Serebryany | 3c767db | 2016-02-27 05:45:12 +0000 | [diff] [blame] | 397 | {Int32PtrTy, IntptrTy, Int8PtrTy, Int8PtrTy}, | 
|  | 398 | {IRB.CreatePointerCast(RealGuardArray, Int32PtrTy), | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 399 | ConstantInt::get(IntptrTy, N), | 
|  | 400 | Options.Use8bitCounters | 
|  | 401 | ? IRB.CreatePointerCast(RealEightBitCounterArray, Int8PtrTy) | 
|  | 402 | : Constant::getNullValue(Int8PtrTy), | 
|  | 403 | IRB.CreatePointerCast(ModuleName, Int8PtrTy)}); | 
| Ismail Pazarbasi | d02ce13 | 2015-05-10 13:45:05 +0000 | [diff] [blame] | 404 |  | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 405 | appendToGlobalCtors(M, CtorFunc, SanCtorAndDtorPriority); | 
| Kostya Serebryany | 3c767db | 2016-02-27 05:45:12 +0000 | [diff] [blame] | 406 | } | 
| Ismail Pazarbasi | d02ce13 | 2015-05-10 13:45:05 +0000 | [diff] [blame] | 407 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 408 | return true; | 
|  | 409 | } | 
|  | 410 |  | 
| Mike Aizatsky | 9987f43 | 2016-03-23 23:15:03 +0000 | [diff] [blame] | 411 | // True if block has successors and it dominates all of them. | 
|  | 412 | static bool isFullDominator(const BasicBlock *BB, const DominatorTree *DT) { | 
|  | 413 | if (succ_begin(BB) == succ_end(BB)) | 
|  | 414 | return false; | 
|  | 415 |  | 
|  | 416 | for (const BasicBlock *SUCC : make_range(succ_begin(BB), succ_end(BB))) { | 
|  | 417 | if (!DT->dominates(BB, SUCC)) | 
|  | 418 | return false; | 
|  | 419 | } | 
|  | 420 |  | 
|  | 421 | return true; | 
|  | 422 | } | 
|  | 423 |  | 
|  | 424 | // True if block has predecessors and it postdominates all of them. | 
|  | 425 | static bool isFullPostDominator(const BasicBlock *BB, | 
|  | 426 | const PostDominatorTree *PDT) { | 
|  | 427 | if (pred_begin(BB) == pred_end(BB)) | 
|  | 428 | return false; | 
|  | 429 |  | 
|  | 430 | for (const BasicBlock *PRED : make_range(pred_begin(BB), pred_end(BB))) { | 
|  | 431 | if (!PDT->dominates(BB, PRED)) | 
|  | 432 | return false; | 
|  | 433 | } | 
|  | 434 |  | 
|  | 435 | return true; | 
|  | 436 | } | 
|  | 437 |  | 
| Mike Aizatsky | 01c0f8d | 2016-04-01 18:13:19 +0000 | [diff] [blame] | 438 | static bool shouldInstrumentBlock(const Function& F, const BasicBlock *BB, const DominatorTree *DT, | 
| Mike Aizatsky | 602f792 | 2016-03-21 23:08:16 +0000 | [diff] [blame] | 439 | const PostDominatorTree *PDT) { | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 440 | // Don't insert coverage for unreachable blocks: we will never call | 
|  | 441 | // __sanitizer_cov() for them, so counting them in | 
|  | 442 | // NumberOfInstrumentedBlocks() might complicate calculation of code coverage | 
|  | 443 | // percentage. Also, unreachable instructions frequently have no debug | 
|  | 444 | // locations. | 
|  | 445 | if (isa<UnreachableInst>(BB->getTerminator())) | 
|  | 446 | return false; | 
|  | 447 |  | 
| Mike Aizatsky | 01c0f8d | 2016-04-01 18:13:19 +0000 | [diff] [blame] | 448 | if (!ClPruneBlocks || &F.getEntryBlock() == BB) | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 449 | return true; | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 450 |  | 
| Mike Aizatsky | 9987f43 | 2016-03-23 23:15:03 +0000 | [diff] [blame] | 451 | return !(isFullDominator(BB, DT) || isFullPostDominator(BB, PDT)); | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 452 | } | 
|  | 453 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 454 | bool SanitizerCoverageModule::runOnFunction(Function &F) { | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 455 | if (F.empty()) | 
|  | 456 | return false; | 
| Kostya Serebryany | fea4fb4 | 2014-12-17 21:50:04 +0000 | [diff] [blame] | 457 | if (F.getName().find(".module_ctor") != std::string::npos) | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 458 | return false; // Should not instrument sanitizer init functions. | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 459 | if (F.getName().startswith("__sanitizer_")) | 
|  | 460 | return false;  // Don't instrument __sanitizer_* callbacks. | 
| Reid Kleckner | ec80354 | 2016-11-11 19:18:45 +0000 | [diff] [blame] | 461 | // Don't instrument MSVC CRT configuration helpers. They may run before normal | 
|  | 462 | // initialization. | 
|  | 463 | if (F.getName() == "__local_stdio_printf_options" || | 
|  | 464 | F.getName() == "__local_stdio_scanf_options") | 
|  | 465 | return false; | 
| Reid Kleckner | df52337 | 2015-09-03 20:18:29 +0000 | [diff] [blame] | 466 | // Don't instrument functions using SEH for now. Splitting basic blocks like | 
|  | 467 | // we do for coverage breaks WinEHPrepare. | 
|  | 468 | // FIXME: Remove this when SEH no longer uses landingpad pattern matching. | 
|  | 469 | if (F.hasPersonalityFn() && | 
|  | 470 | isAsynchronousEHPersonality(classifyEHPersonality(F.getPersonalityFn()))) | 
|  | 471 | return false; | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 472 | if (Options.CoverageType >= SanitizerCoverageOptions::SCK_Edge) | 
| Chandler Carruth | 37df2cf | 2015-01-19 12:09:11 +0000 | [diff] [blame] | 473 | SplitAllCriticalEdges(F); | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 474 | SmallVector<Instruction *, 8> IndirCalls; | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 475 | SmallVector<BasicBlock *, 16> BlocksToInstrument; | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 476 | SmallVector<Instruction *, 8> CmpTraceTargets; | 
|  | 477 | SmallVector<Instruction *, 8> SwitchTraceTargets; | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 478 | SmallVector<BinaryOperator *, 8> DivTraceTargets; | 
|  | 479 | SmallVector<GetElementPtrInst *, 8> GepTraceTargets; | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 480 |  | 
| Mike Aizatsky | 602f792 | 2016-03-21 23:08:16 +0000 | [diff] [blame] | 481 | const DominatorTree *DT = | 
|  | 482 | &getAnalysis<DominatorTreeWrapperPass>(F).getDomTree(); | 
|  | 483 | const PostDominatorTree *PDT = | 
|  | 484 | &getAnalysis<PostDominatorTreeWrapperPass>(F).getPostDomTree(); | 
|  | 485 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 486 | for (auto &BB : F) { | 
| Mike Aizatsky | 01c0f8d | 2016-04-01 18:13:19 +0000 | [diff] [blame] | 487 | if (shouldInstrumentBlock(F, &BB, DT, PDT)) | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 488 | BlocksToInstrument.push_back(&BB); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 489 | for (auto &Inst : BB) { | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 490 | if (Options.IndirectCalls) { | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 491 | CallSite CS(&Inst); | 
|  | 492 | if (CS && !CS.getCalledFunction()) | 
|  | 493 | IndirCalls.push_back(&Inst); | 
|  | 494 | } | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 495 | if (Options.TraceCmp) { | 
|  | 496 | if (isa<ICmpInst>(&Inst)) | 
|  | 497 | CmpTraceTargets.push_back(&Inst); | 
|  | 498 | if (isa<SwitchInst>(&Inst)) | 
|  | 499 | SwitchTraceTargets.push_back(&Inst); | 
|  | 500 | } | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 501 | if (Options.TraceDiv) | 
|  | 502 | if (BinaryOperator *BO = dyn_cast<BinaryOperator>(&Inst)) | 
|  | 503 | if (BO->getOpcode() == Instruction::SDiv || | 
|  | 504 | BO->getOpcode() == Instruction::UDiv) | 
|  | 505 | DivTraceTargets.push_back(BO); | 
|  | 506 | if (Options.TraceGep) | 
|  | 507 | if (GetElementPtrInst *GEP = dyn_cast<GetElementPtrInst>(&Inst)) | 
|  | 508 | GepTraceTargets.push_back(GEP); | 
|  | 509 | } | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 510 | } | 
| Mike Aizatsky | 5971f18 | 2016-02-26 01:17:22 +0000 | [diff] [blame] | 511 |  | 
|  | 512 | InjectCoverage(F, BlocksToInstrument); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 513 | InjectCoverageForIndirectCalls(F, IndirCalls); | 
|  | 514 | InjectTraceForCmp(F, CmpTraceTargets); | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 515 | InjectTraceForSwitch(F, SwitchTraceTargets); | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 516 | InjectTraceForDiv(F, DivTraceTargets); | 
|  | 517 | InjectTraceForGep(F, GepTraceTargets); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 518 | return true; | 
|  | 519 | } | 
| Kostya Serebryany | 4d25ad9 | 2016-10-11 19:36:50 +0000 | [diff] [blame] | 520 | void SanitizerCoverageModule::CreateFunctionGuardArray(size_t NumGuards, | 
|  | 521 | Function &F) { | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 522 | if (!Options.TracePCGuard) return; | 
|  | 523 | HasSancovGuardsSection = true; | 
|  | 524 | ArrayType *ArrayOfInt32Ty = ArrayType::get(Int32Ty, NumGuards); | 
|  | 525 | FunctionGuardArray = new GlobalVariable( | 
| Kostya Serebryany | 4d25ad9 | 2016-10-11 19:36:50 +0000 | [diff] [blame] | 526 | *CurModule, ArrayOfInt32Ty, false, GlobalVariable::PrivateLinkage, | 
| Kostya Serebryany | 9d6dc7b | 2016-11-15 21:12:50 +0000 | [diff] [blame] | 527 | Constant::getNullValue(ArrayOfInt32Ty), "__sancov_gen_"); | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 528 | if (auto Comdat = F.getComdat()) | 
|  | 529 | FunctionGuardArray->setComdat(Comdat); | 
| Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 530 | FunctionGuardArray->setSection(getSanCovTracePCGuardSection()); | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 531 | } | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 532 |  | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 533 | bool SanitizerCoverageModule::InjectCoverage(Function &F, | 
|  | 534 | ArrayRef<BasicBlock *> AllBlocks) { | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 535 | if (AllBlocks.empty()) return false; | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 536 | switch (Options.CoverageType) { | 
|  | 537 | case SanitizerCoverageOptions::SCK_None: | 
|  | 538 | return false; | 
|  | 539 | case SanitizerCoverageOptions::SCK_Function: | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 540 | CreateFunctionGuardArray(1, F); | 
|  | 541 | InjectCoverageAtBlock(F, F.getEntryBlock(), 0, false); | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 542 | return true; | 
|  | 543 | default: { | 
|  | 544 | bool UseCalls = ClCoverageBlockThreshold < AllBlocks.size(); | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 545 | CreateFunctionGuardArray(AllBlocks.size(), F); | 
|  | 546 | for (size_t i = 0, N = AllBlocks.size(); i < N; i++) | 
|  | 547 | InjectCoverageAtBlock(F, *AllBlocks[i], i, UseCalls); | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 548 | return true; | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 549 | } | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 550 | } | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 551 | } | 
|  | 552 |  | 
|  | 553 | // On every indirect call we call a run-time function | 
|  | 554 | // __sanitizer_cov_indir_call* with two parameters: | 
|  | 555 | //   - callee address, | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 556 | //   - global cache array that contains CacheSize pointers (zero-initialized). | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 557 | //     The cache is used to speed up recording the caller-callee pairs. | 
|  | 558 | // The address of the caller is passed implicitly via caller PC. | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 559 | // CacheSize is encoded in the name of the run-time function. | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 560 | void SanitizerCoverageModule::InjectCoverageForIndirectCalls( | 
|  | 561 | Function &F, ArrayRef<Instruction *> IndirCalls) { | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 562 | if (IndirCalls.empty()) | 
|  | 563 | return; | 
|  | 564 | const int CacheSize = 16; | 
|  | 565 | const int CacheAlignment = 64; // Align for better performance. | 
|  | 566 | Type *Ty = ArrayType::get(IntptrTy, CacheSize); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 567 | for (auto I : IndirCalls) { | 
|  | 568 | IRBuilder<> IRB(I); | 
|  | 569 | CallSite CS(I); | 
|  | 570 | Value *Callee = CS.getCalledValue(); | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 571 | if (isa<InlineAsm>(Callee)) | 
|  | 572 | continue; | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 573 | GlobalVariable *CalleeCache = new GlobalVariable( | 
|  | 574 | *F.getParent(), Ty, false, GlobalValue::PrivateLinkage, | 
|  | 575 | Constant::getNullValue(Ty), "__sancov_gen_callee_cache"); | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 576 | CalleeCache->setAlignment(CacheAlignment); | 
| Kostya Serebryany | 66a9c17 | 2016-09-15 22:11:08 +0000 | [diff] [blame] | 577 | if (Options.TracePC || Options.TracePCGuard) | 
| Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 578 | IRB.CreateCall(SanCovTracePCIndir, | 
|  | 579 | IRB.CreatePointerCast(Callee, IntptrTy)); | 
|  | 580 | else | 
|  | 581 | IRB.CreateCall(SanCovIndirCallFunction, | 
|  | 582 | {IRB.CreatePointerCast(Callee, IntptrTy), | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 583 | IRB.CreatePointerCast(CalleeCache, IntptrTy)}); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 584 | } | 
|  | 585 | } | 
|  | 586 |  | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 587 | // For every switch statement we insert a call: | 
|  | 588 | // __sanitizer_cov_trace_switch(CondValue, | 
|  | 589 | //      {NumCases, ValueSizeInBits, Case0Value, Case1Value, Case2Value, ... }) | 
|  | 590 |  | 
|  | 591 | void SanitizerCoverageModule::InjectTraceForSwitch( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 592 | Function &, ArrayRef<Instruction *> SwitchTraceTargets) { | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 593 | for (auto I : SwitchTraceTargets) { | 
|  | 594 | if (SwitchInst *SI = dyn_cast<SwitchInst>(I)) { | 
|  | 595 | IRBuilder<> IRB(I); | 
|  | 596 | SmallVector<Constant *, 16> Initializers; | 
|  | 597 | Value *Cond = SI->getCondition(); | 
| Kostya Serebryany | 2569118 | 2015-08-11 00:24:39 +0000 | [diff] [blame] | 598 | if (Cond->getType()->getScalarSizeInBits() > | 
|  | 599 | Int64Ty->getScalarSizeInBits()) | 
|  | 600 | continue; | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 601 | Initializers.push_back(ConstantInt::get(Int64Ty, SI->getNumCases())); | 
|  | 602 | Initializers.push_back( | 
|  | 603 | ConstantInt::get(Int64Ty, Cond->getType()->getScalarSizeInBits())); | 
|  | 604 | if (Cond->getType()->getScalarSizeInBits() < | 
|  | 605 | Int64Ty->getScalarSizeInBits()) | 
|  | 606 | Cond = IRB.CreateIntCast(Cond, Int64Ty, false); | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 607 | for (auto It : SI->cases()) { | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 608 | Constant *C = It.getCaseValue(); | 
|  | 609 | if (C->getType()->getScalarSizeInBits() < | 
|  | 610 | Int64Ty->getScalarSizeInBits()) | 
|  | 611 | C = ConstantExpr::getCast(CastInst::ZExt, It.getCaseValue(), Int64Ty); | 
|  | 612 | Initializers.push_back(C); | 
|  | 613 | } | 
| Kostya Serebryany | f24e52c | 2016-12-27 21:20:06 +0000 | [diff] [blame] | 614 | std::sort(Initializers.begin() + 2, Initializers.end(), | 
|  | 615 | [](const Constant *A, const Constant *B) { | 
|  | 616 | return cast<ConstantInt>(A)->getLimitedValue() < | 
|  | 617 | cast<ConstantInt>(B)->getLimitedValue(); | 
|  | 618 | }); | 
| Kostya Serebryany | fb7d8d9 | 2015-07-31 01:33:06 +0000 | [diff] [blame] | 619 | ArrayType *ArrayOfInt64Ty = ArrayType::get(Int64Ty, Initializers.size()); | 
|  | 620 | GlobalVariable *GV = new GlobalVariable( | 
|  | 621 | *CurModule, ArrayOfInt64Ty, false, GlobalVariable::InternalLinkage, | 
|  | 622 | ConstantArray::get(ArrayOfInt64Ty, Initializers), | 
|  | 623 | "__sancov_gen_cov_switch_values"); | 
|  | 624 | IRB.CreateCall(SanCovTraceSwitchFunction, | 
|  | 625 | {Cond, IRB.CreatePointerCast(GV, Int64PtrTy)}); | 
|  | 626 | } | 
|  | 627 | } | 
|  | 628 | } | 
|  | 629 |  | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 630 | void SanitizerCoverageModule::InjectTraceForDiv( | 
|  | 631 | Function &, ArrayRef<BinaryOperator *> DivTraceTargets) { | 
|  | 632 | for (auto BO : DivTraceTargets) { | 
|  | 633 | IRBuilder<> IRB(BO); | 
|  | 634 | Value *A1 = BO->getOperand(1); | 
|  | 635 | if (isa<ConstantInt>(A1)) continue; | 
|  | 636 | if (!A1->getType()->isIntegerTy()) | 
|  | 637 | continue; | 
|  | 638 | uint64_t TypeSize = DL->getTypeStoreSizeInBits(A1->getType()); | 
|  | 639 | int CallbackIdx = TypeSize == 32 ? 0 : | 
|  | 640 | TypeSize == 64 ? 1 : -1; | 
|  | 641 | if (CallbackIdx < 0) continue; | 
|  | 642 | auto Ty = Type::getIntNTy(*C, TypeSize); | 
|  | 643 | IRB.CreateCall(SanCovTraceDivFunction[CallbackIdx], | 
|  | 644 | {IRB.CreateIntCast(A1, Ty, true)}); | 
|  | 645 | } | 
|  | 646 | } | 
|  | 647 |  | 
|  | 648 | void SanitizerCoverageModule::InjectTraceForGep( | 
|  | 649 | Function &, ArrayRef<GetElementPtrInst *> GepTraceTargets) { | 
|  | 650 | for (auto GEP : GepTraceTargets) { | 
|  | 651 | IRBuilder<> IRB(GEP); | 
|  | 652 | for (auto I = GEP->idx_begin(); I != GEP->idx_end(); ++I) | 
| Kostya Serebryany | 45c1447 | 2016-09-27 01:55:08 +0000 | [diff] [blame] | 653 | if (!isa<ConstantInt>(*I) && (*I)->getType()->isIntegerTy()) | 
| Kostya Serebryany | 5ac427b | 2016-08-30 01:12:10 +0000 | [diff] [blame] | 654 | IRB.CreateCall(SanCovTraceGepFunction, | 
|  | 655 | {IRB.CreateIntCast(*I, IntptrTy, true)}); | 
|  | 656 | } | 
|  | 657 | } | 
|  | 658 |  | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 659 | void SanitizerCoverageModule::InjectTraceForCmp( | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 660 | Function &, ArrayRef<Instruction *> CmpTraceTargets) { | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 661 | for (auto I : CmpTraceTargets) { | 
|  | 662 | if (ICmpInst *ICMP = dyn_cast<ICmpInst>(I)) { | 
|  | 663 | IRBuilder<> IRB(ICMP); | 
|  | 664 | Value *A0 = ICMP->getOperand(0); | 
|  | 665 | Value *A1 = ICMP->getOperand(1); | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 666 | if (!A0->getType()->isIntegerTy()) | 
|  | 667 | continue; | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 668 | uint64_t TypeSize = DL->getTypeStoreSizeInBits(A0->getType()); | 
| Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 669 | int CallbackIdx = TypeSize == 8 ? 0 : | 
|  | 670 | TypeSize == 16 ? 1 : | 
|  | 671 | TypeSize == 32 ? 2 : | 
|  | 672 | TypeSize == 64 ? 3 : -1; | 
|  | 673 | if (CallbackIdx < 0) continue; | 
| Alexey Samsonov | 0a648a4 | 2015-05-06 21:35:25 +0000 | [diff] [blame] | 674 | // __sanitizer_cov_trace_cmp((type_size << 32) | predicate, A0, A1); | 
| Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 675 | auto Ty = Type::getIntNTy(*C, TypeSize); | 
| David Blaikie | ff6409d | 2015-05-18 22:13:54 +0000 | [diff] [blame] | 676 | IRB.CreateCall( | 
| Kostya Serebryany | 524c3f3 | 2016-08-18 01:25:28 +0000 | [diff] [blame] | 677 | SanCovTraceCmpFunction[CallbackIdx], | 
|  | 678 | {IRB.CreateIntCast(A0, Ty, true), IRB.CreateIntCast(A1, Ty, true)}); | 
| Kostya Serebryany | f4e35cc | 2015-03-21 01:29:36 +0000 | [diff] [blame] | 679 | } | 
|  | 680 | } | 
|  | 681 | } | 
|  | 682 |  | 
| Alexey Samsonov | 0a648a4 | 2015-05-06 21:35:25 +0000 | [diff] [blame] | 683 | void SanitizerCoverageModule::SetNoSanitizeMetadata(Instruction *I) { | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 684 | I->setMetadata(I->getModule()->getMDKindID("nosanitize"), | 
|  | 685 | MDNode::get(*C, None)); | 
| Kostya Serebryany | 83ce877 | 2015-03-05 01:20:05 +0000 | [diff] [blame] | 686 | } | 
|  | 687 |  | 
| Kostya Serebryany | 77cc729 | 2015-02-04 01:21:45 +0000 | [diff] [blame] | 688 | void SanitizerCoverageModule::InjectCoverageAtBlock(Function &F, BasicBlock &BB, | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 689 | size_t Idx, bool UseCalls) { | 
| Justin Bogner | 7ae63aa | 2015-08-14 17:03:45 +0000 | [diff] [blame] | 690 | BasicBlock::iterator IP = BB.getFirstInsertionPt(); | 
| Kostya Serebryany | d421db0 | 2015-01-03 00:54:43 +0000 | [diff] [blame] | 691 | bool IsEntryBB = &BB == &F.getEntryBlock(); | 
| Alexey Samsonov | 201733b | 2015-06-12 01:48:47 +0000 | [diff] [blame] | 692 | DebugLoc EntryLoc; | 
|  | 693 | if (IsEntryBB) { | 
| Pete Cooper | adebb93 | 2016-03-11 02:14:16 +0000 | [diff] [blame] | 694 | if (auto SP = F.getSubprogram()) | 
| Alexey Samsonov | 201733b | 2015-06-12 01:48:47 +0000 | [diff] [blame] | 695 | EntryLoc = DebugLoc::get(SP->getScopeLine(), 0, SP); | 
| Reid Kleckner | a57d015 | 2015-08-14 16:45:42 +0000 | [diff] [blame] | 696 | // Keep static allocas and llvm.localescape calls in the entry block.  Even | 
|  | 697 | // if we aren't splitting the block, it's nice for allocas to be before | 
|  | 698 | // calls. | 
|  | 699 | IP = PrepareToSplitEntryBlock(BB, IP); | 
| Alexey Samsonov | 201733b | 2015-06-12 01:48:47 +0000 | [diff] [blame] | 700 | } else { | 
|  | 701 | EntryLoc = IP->getDebugLoc(); | 
|  | 702 | } | 
|  | 703 |  | 
| Duncan P. N. Exon Smith | e82c286 | 2015-10-13 17:39:10 +0000 | [diff] [blame] | 704 | IRBuilder<> IRB(&*IP); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 705 | IRB.SetCurrentDebugLocation(EntryLoc); | 
| Kostya Serebryany | d4590c7 | 2016-02-17 21:34:43 +0000 | [diff] [blame] | 706 | if (Options.TracePC) { | 
| Kostya Serebryany | dd5c7f9 | 2016-07-14 17:59:01 +0000 | [diff] [blame] | 707 | IRB.CreateCall(SanCovTracePC); // gets the PC using GET_CALLER_PC. | 
|  | 708 | IRB.CreateCall(EmptyAsm, {}); // Avoids callback merge. | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 709 | } else if (Options.TracePCGuard) { | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 710 | auto GuardPtr = IRB.CreateIntToPtr( | 
|  | 711 | IRB.CreateAdd(IRB.CreatePointerCast(FunctionGuardArray, IntptrTy), | 
|  | 712 | ConstantInt::get(IntptrTy, Idx * 4)), | 
|  | 713 | Int32PtrTy); | 
| Kostya Serebryany | 8ad4155 | 2016-09-17 05:03:05 +0000 | [diff] [blame] | 714 | if (!UseCalls) { | 
|  | 715 | auto GuardLoad = IRB.CreateLoad(GuardPtr); | 
|  | 716 | GuardLoad->setAtomic(AtomicOrdering::Monotonic); | 
|  | 717 | GuardLoad->setAlignment(8); | 
|  | 718 | SetNoSanitizeMetadata(GuardLoad);  // Don't instrument with e.g. asan. | 
| Kostya Serebryany | 8e781a8 | 2016-09-18 04:52:23 +0000 | [diff] [blame] | 719 | auto Cmp = IRB.CreateICmpNE( | 
| Kostya Serebryany | 8ad4155 | 2016-09-17 05:03:05 +0000 | [diff] [blame] | 720 | GuardLoad, Constant::getNullValue(GuardLoad->getType())); | 
|  | 721 | auto Ins = SplitBlockAndInsertIfThen( | 
|  | 722 | Cmp, &*IP, false, MDBuilder(*C).createBranchWeights(1, 100000)); | 
| Kostya Serebryany | 8ad4155 | 2016-09-17 05:03:05 +0000 | [diff] [blame] | 723 | IRB.SetInsertPoint(Ins); | 
| Kostya Serebryany | 520753a | 2016-12-03 01:43:30 +0000 | [diff] [blame] | 724 | IRB.SetCurrentDebugLocation(EntryLoc); | 
| Kostya Serebryany | 8ad4155 | 2016-09-17 05:03:05 +0000 | [diff] [blame] | 725 | } | 
| Kostya Serebryany | da718e5 | 2016-09-14 01:39:35 +0000 | [diff] [blame] | 726 | IRB.CreateCall(SanCovTracePCGuard, GuardPtr); | 
|  | 727 | IRB.CreateCall(EmptyAsm, {}); // Avoids callback merge. | 
| Kostya Serebryany | 77cc729 | 2015-02-04 01:21:45 +0000 | [diff] [blame] | 728 | } else { | 
| Kostya Serebryany | a9b0dd0 | 2016-09-29 17:43:24 +0000 | [diff] [blame] | 729 | Value *GuardP = IRB.CreateAdd( | 
|  | 730 | IRB.CreatePointerCast(GuardArray, IntptrTy), | 
|  | 731 | ConstantInt::get(IntptrTy, (1 + NumberOfInstrumentedBlocks()) * 4)); | 
|  | 732 | GuardP = IRB.CreateIntToPtr(GuardP, Int32PtrTy); | 
|  | 733 | if (Options.TraceBB) { | 
|  | 734 | IRB.CreateCall(IsEntryBB ? SanCovTraceEnter : SanCovTraceBB, GuardP); | 
|  | 735 | } else if (UseCalls) { | 
|  | 736 | IRB.CreateCall(SanCovWithCheckFunction, GuardP); | 
|  | 737 | } else { | 
|  | 738 | LoadInst *Load = IRB.CreateLoad(GuardP); | 
|  | 739 | Load->setAtomic(AtomicOrdering::Monotonic); | 
|  | 740 | Load->setAlignment(4); | 
|  | 741 | SetNoSanitizeMetadata(Load); | 
|  | 742 | Value *Cmp = | 
|  | 743 | IRB.CreateICmpSGE(Constant::getNullValue(Load->getType()), Load); | 
|  | 744 | Instruction *Ins = SplitBlockAndInsertIfThen( | 
|  | 745 | Cmp, &*IP, false, MDBuilder(*C).createBranchWeights(1, 100000)); | 
|  | 746 | IRB.SetInsertPoint(Ins); | 
|  | 747 | IRB.SetCurrentDebugLocation(EntryLoc); | 
|  | 748 | // __sanitizer_cov gets the PC of the instruction using GET_CALLER_PC. | 
|  | 749 | IRB.CreateCall(SanCovFunction, GuardP); | 
|  | 750 | IRB.CreateCall(EmptyAsm, {}); // Avoids callback merge. | 
|  | 751 | } | 
| Kostya Serebryany | 77cc729 | 2015-02-04 01:21:45 +0000 | [diff] [blame] | 752 | } | 
| Kostya Serebryany | d421db0 | 2015-01-03 00:54:43 +0000 | [diff] [blame] | 753 |  | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 754 | if (Options.Use8bitCounters) { | 
| Duncan P. N. Exon Smith | e82c286 | 2015-10-13 17:39:10 +0000 | [diff] [blame] | 755 | IRB.SetInsertPoint(&*IP); | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 756 | Value *P = IRB.CreateAdd( | 
|  | 757 | IRB.CreatePointerCast(EightBitCounterArray, IntptrTy), | 
| Kostya Serebryany | 48a4023 | 2015-03-10 01:58:27 +0000 | [diff] [blame] | 758 | ConstantInt::get(IntptrTy, NumberOfInstrumentedBlocks() - 1)); | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 759 | P = IRB.CreateIntToPtr(P, IRB.getInt8PtrTy()); | 
| Kostya Serebryany | 83ce877 | 2015-03-05 01:20:05 +0000 | [diff] [blame] | 760 | LoadInst *LI = IRB.CreateLoad(P); | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 761 | Value *Inc = IRB.CreateAdd(LI, ConstantInt::get(IRB.getInt8Ty(), 1)); | 
| Kostya Serebryany | 83ce877 | 2015-03-05 01:20:05 +0000 | [diff] [blame] | 762 | StoreInst *SI = IRB.CreateStore(Inc, P); | 
| Alexey Samsonov | 0a648a4 | 2015-05-06 21:35:25 +0000 | [diff] [blame] | 763 | SetNoSanitizeMetadata(LI); | 
|  | 764 | SetNoSanitizeMetadata(SI); | 
| Kostya Serebryany | be5e0ed | 2015-03-03 23:27:02 +0000 | [diff] [blame] | 765 | } | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 766 | } | 
|  | 767 |  | 
| Marcos Pividori | db5a565 | 2017-02-03 01:08:06 +0000 | [diff] [blame] | 768 | StringRef SanitizerCoverageModule::getSanCovTracePCGuardSection() const { | 
|  | 769 | if (TargetTriple.getObjectFormat() == Triple::COFF) | 
|  | 770 | return ".SCOV$M"; | 
|  | 771 | if (TargetTriple.isOSBinFormatMachO()) | 
|  | 772 | return "__DATA,__sancov_guards"; | 
|  | 773 | return "__sancov_guards"; | 
|  | 774 | } | 
|  | 775 |  | 
|  | 776 | StringRef SanitizerCoverageModule::getSanCovTracePCGuardSectionStart() const { | 
|  | 777 | if (TargetTriple.isOSBinFormatMachO()) | 
|  | 778 | return "\1section$start$__DATA$__sancov_guards"; | 
|  | 779 | return "__start___sancov_guards"; | 
|  | 780 | } | 
|  | 781 |  | 
|  | 782 | StringRef SanitizerCoverageModule::getSanCovTracePCGuardSectionEnd() const { | 
|  | 783 | if (TargetTriple.isOSBinFormatMachO()) | 
|  | 784 | return "\1section$end$__DATA$__sancov_guards"; | 
|  | 785 | return "__stop___sancov_guards"; | 
|  | 786 | } | 
|  | 787 |  | 
|  | 788 |  | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 789 | char SanitizerCoverageModule::ID = 0; | 
| Mike Aizatsky | 9056284 | 2016-02-27 05:50:40 +0000 | [diff] [blame] | 790 | INITIALIZE_PASS_BEGIN(SanitizerCoverageModule, "sancov", | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 791 | "SanitizerCoverage: TODO." | 
|  | 792 | "ModulePass", | 
|  | 793 | false, false) | 
| Mike Aizatsky | 9056284 | 2016-02-27 05:50:40 +0000 | [diff] [blame] | 794 | INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass) | 
|  | 795 | INITIALIZE_PASS_DEPENDENCY(PostDominatorTreeWrapperPass) | 
|  | 796 | INITIALIZE_PASS_END(SanitizerCoverageModule, "sancov", | 
| Mike Aizatsky | 759aca0 | 2016-03-18 23:29:29 +0000 | [diff] [blame] | 797 | "SanitizerCoverage: TODO." | 
|  | 798 | "ModulePass", | 
|  | 799 | false, false) | 
| Alexey Samsonov | 3514f27 | 2015-05-07 01:00:31 +0000 | [diff] [blame] | 800 | ModulePass *llvm::createSanitizerCoverageModulePass( | 
|  | 801 | const SanitizerCoverageOptions &Options) { | 
|  | 802 | return new SanitizerCoverageModule(Options); | 
| Kostya Serebryany | 29a18dc | 2014-11-11 22:14:37 +0000 | [diff] [blame] | 803 | } |