diff options
author | Kostya Serebryany <kcc@google.com> | 2014-11-24 18:49:53 +0000 |
---|---|---|
committer | Kostya Serebryany <kcc@google.com> | 2014-11-24 18:49:53 +0000 |
commit | 4cadd4afa0126ff7165e8cc8d0562fea76328945 (patch) | |
tree | 3f45cb59241f23551ffad047263478b911deb01d /llvm/lib/Transforms/Instrumentation/SanitizerCoverage.cpp | |
parent | 90c138ea6d47c363ee3f7b55f90239c46ba5cc2f (diff) | |
download | bcm5719-llvm-4cadd4afa0126ff7165e8cc8d0562fea76328945.tar.gz bcm5719-llvm-4cadd4afa0126ff7165e8cc8d0562fea76328945.zip |
[asan/coverage] change the way asan coverage instrumentation is done: instead of setting the guard to 1 in the generated code, pass the pointer to guard to __sanitizer_cov and set it there. No user-visible functionality change expected
llvm-svn: 222675
Diffstat (limited to 'llvm/lib/Transforms/Instrumentation/SanitizerCoverage.cpp')
-rw-r--r-- | llvm/lib/Transforms/Instrumentation/SanitizerCoverage.cpp | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/llvm/lib/Transforms/Instrumentation/SanitizerCoverage.cpp b/llvm/lib/Transforms/Instrumentation/SanitizerCoverage.cpp index f882072e619..60d7f9f69d7 100644 --- a/llvm/lib/Transforms/Instrumentation/SanitizerCoverage.cpp +++ b/llvm/lib/Transforms/Instrumentation/SanitizerCoverage.cpp @@ -13,9 +13,8 @@ // We create a Guard boolean variable with the same linkage // as the function and inject this code into the entry block (CoverageLevel=1) // or all blocks (CoverageLevel>=2): -// if (*Guard) { -// __sanitizer_cov(); -// *Guard = 1; +// if (Guard) { +// __sanitizer_cov(&Guard); // } // The accesses to Guard are atomic. The rest of the logic is // in __sanitizer_cov (it's fine to call it more than once). @@ -132,6 +131,7 @@ bool SanitizerCoverageModule::runOnModule(Module &M) { DataLayoutPass *DLP = &getAnalysis<DataLayoutPass>(); IntptrTy = Type::getIntNTy(*C, DLP->getDataLayout().getPointerSizeInBits()); Type *VoidTy = Type::getVoidTy(*C); + IRBuilder<> IRB(*C); Function *CtorFunc = Function::Create(FunctionType::get(VoidTy, false), @@ -139,8 +139,8 @@ bool SanitizerCoverageModule::runOnModule(Module &M) { ReturnInst::Create(*C, BasicBlock::Create(*C, "", CtorFunc)); appendToGlobalCtors(M, CtorFunc, kSanCtorAndDtorPriority); - SanCovFunction = - checkInterfaceFunction(M.getOrInsertFunction(kSanCovName, VoidTy, nullptr)); + SanCovFunction = checkInterfaceFunction( + M.getOrInsertFunction(kSanCovName, VoidTy, IRB.getInt8PtrTy(), nullptr)); SanCovIndirCallFunction = checkInterfaceFunction(M.getOrInsertFunction( kSanCovIndirCallName, VoidTy, IntptrTy, IntptrTy, nullptr)); SanCovModuleInit = checkInterfaceFunction(M.getOrInsertFunction( @@ -157,7 +157,7 @@ bool SanitizerCoverageModule::runOnModule(Module &M) { for (auto &F : M) runOnFunction(F); - IRBuilder<> IRB(CtorFunc->getEntryBlock().getTerminator()); + IRB.SetInsertPoint(CtorFunc->getEntryBlock().getTerminator()); IRB.CreateCall(SanCovModuleInit, ConstantInt::get(IntptrTy, SanCovFunction->getNumUses())); return true; @@ -279,10 +279,7 @@ void SanitizerCoverageModule::InjectCoverageAtBlock(Function &F, IRB.SetInsertPoint(Ins); IRB.SetCurrentDebugLocation(EntryLoc); // __sanitizer_cov gets the PC of the instruction using GET_CALLER_PC. - IRB.CreateCall(SanCovFunction); - StoreInst *Store = IRB.CreateStore(ConstantInt::get(Int8Ty, 1), Guard); - Store->setAtomic(Monotonic); - Store->setAlignment(1); + IRB.CreateCall(SanCovFunction, Guard); } char SanitizerCoverageModule::ID = 0; |