1e1ecd61bSHans Wennborg //===- EntryExitInstrumenter.cpp - Function Entry/Exit Instrumentation ----===//
2e1ecd61bSHans Wennborg //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e1ecd61bSHans Wennborg //
7e1ecd61bSHans Wennborg //===----------------------------------------------------------------------===//
8e1ecd61bSHans Wennborg 
9e1ecd61bSHans Wennborg #include "llvm/Transforms/Utils/EntryExitInstrumenter.h"
10e1ecd61bSHans Wennborg #include "llvm/Analysis/GlobalsModRef.h"
11ca46db95SHans Wennborg #include "llvm/IR/DebugInfoMetadata.h"
122de2d84eSRoman Lebedev #include "llvm/IR/Dominators.h"
13e1ecd61bSHans Wennborg #include "llvm/IR/Function.h"
14e1ecd61bSHans Wennborg #include "llvm/IR/Instructions.h"
158c2082e1SSimon Pilgrim #include "llvm/IR/Intrinsics.h"
16e1ecd61bSHans Wennborg #include "llvm/IR/Module.h"
17e1ecd61bSHans Wennborg #include "llvm/IR/Type.h"
1805da2fe5SReid Kleckner #include "llvm/InitializePasses.h"
19e1ecd61bSHans Wennborg #include "llvm/Pass.h"
20a373d18eSDavid Blaikie #include "llvm/Transforms/Utils.h"
212de2d84eSRoman Lebedev 
22e1ecd61bSHans Wennborg using namespace llvm;
23e1ecd61bSHans Wennborg 
insertCall(Function & CurFn,StringRef Func,Instruction * InsertionPt,DebugLoc DL)24e1ecd61bSHans Wennborg static void insertCall(Function &CurFn, StringRef Func,
25ca46db95SHans Wennborg                        Instruction *InsertionPt, DebugLoc DL) {
26e1ecd61bSHans Wennborg   Module &M = *InsertionPt->getParent()->getParent()->getParent();
27e1ecd61bSHans Wennborg   LLVMContext &C = InsertionPt->getParent()->getContext();
28e1ecd61bSHans Wennborg 
29e1ecd61bSHans Wennborg   if (Func == "mcount" ||
30e1ecd61bSHans Wennborg       Func == ".mcount" ||
3116fa8b09SJian Cai       Func == "llvm.arm.gnu.eabi.mcount" ||
32e1ecd61bSHans Wennborg       Func == "\01_mcount" ||
33e1ecd61bSHans Wennborg       Func == "\01mcount" ||
34e1ecd61bSHans Wennborg       Func == "__mcount" ||
3537cbf28eSHans Wennborg       Func == "_mcount" ||
3637cbf28eSHans Wennborg       Func == "__cyg_profile_func_enter_bare") {
3713680223SJames Y Knight     FunctionCallee Fn = M.getOrInsertFunction(Func, Type::getVoidTy(C));
38ca46db95SHans Wennborg     CallInst *Call = CallInst::Create(Fn, "", InsertionPt);
39ca46db95SHans Wennborg     Call->setDebugLoc(DL);
40e1ecd61bSHans Wennborg     return;
41e1ecd61bSHans Wennborg   }
42e1ecd61bSHans Wennborg 
43e1ecd61bSHans Wennborg   if (Func == "__cyg_profile_func_enter" || Func == "__cyg_profile_func_exit") {
44e1ecd61bSHans Wennborg     Type *ArgTypes[] = {Type::getInt8PtrTy(C), Type::getInt8PtrTy(C)};
45e1ecd61bSHans Wennborg 
4613680223SJames Y Knight     FunctionCallee Fn = M.getOrInsertFunction(
47e1ecd61bSHans Wennborg         Func, FunctionType::get(Type::getVoidTy(C), ArgTypes, false));
48e1ecd61bSHans Wennborg 
49e1ecd61bSHans Wennborg     Instruction *RetAddr = CallInst::Create(
50e1ecd61bSHans Wennborg         Intrinsic::getDeclaration(&M, Intrinsic::returnaddress),
51e1ecd61bSHans Wennborg         ArrayRef<Value *>(ConstantInt::get(Type::getInt32Ty(C), 0)), "",
52e1ecd61bSHans Wennborg         InsertionPt);
53ca46db95SHans Wennborg     RetAddr->setDebugLoc(DL);
54e1ecd61bSHans Wennborg 
55e1ecd61bSHans Wennborg     Value *Args[] = {ConstantExpr::getBitCast(&CurFn, Type::getInt8PtrTy(C)),
56e1ecd61bSHans Wennborg                      RetAddr};
57e1ecd61bSHans Wennborg 
58ca46db95SHans Wennborg     CallInst *Call =
59e1ecd61bSHans Wennborg         CallInst::Create(Fn, ArrayRef<Value *>(Args), "", InsertionPt);
60ca46db95SHans Wennborg     Call->setDebugLoc(DL);
61e1ecd61bSHans Wennborg     return;
62e1ecd61bSHans Wennborg   }
63e1ecd61bSHans Wennborg 
64e1ecd61bSHans Wennborg   // We only know how to call a fixed set of instrumentation functions, because
65e1ecd61bSHans Wennborg   // they all expect different arguments, etc.
66e1ecd61bSHans Wennborg   report_fatal_error(Twine("Unknown instrumentation function: '") + Func + "'");
67e1ecd61bSHans Wennborg }
68e1ecd61bSHans Wennborg 
runOnFunction(Function & F,bool PostInlining)69e1ecd61bSHans Wennborg static bool runOnFunction(Function &F, bool PostInlining) {
70e1ecd61bSHans Wennborg   StringRef EntryAttr = PostInlining ? "instrument-function-entry-inlined"
71e1ecd61bSHans Wennborg                                      : "instrument-function-entry";
72e1ecd61bSHans Wennborg 
73e1ecd61bSHans Wennborg   StringRef ExitAttr = PostInlining ? "instrument-function-exit-inlined"
74e1ecd61bSHans Wennborg                                     : "instrument-function-exit";
75e1ecd61bSHans Wennborg 
76e1ecd61bSHans Wennborg   StringRef EntryFunc = F.getFnAttribute(EntryAttr).getValueAsString();
77e1ecd61bSHans Wennborg   StringRef ExitFunc = F.getFnAttribute(ExitAttr).getValueAsString();
78e1ecd61bSHans Wennborg 
79e1ecd61bSHans Wennborg   bool Changed = false;
80e1ecd61bSHans Wennborg 
81e1ecd61bSHans Wennborg   // If the attribute is specified, insert instrumentation and then "consume"
82e1ecd61bSHans Wennborg   // the attribute so that it's not inserted again if the pass should happen to
83e1ecd61bSHans Wennborg   // run later for some reason.
84e1ecd61bSHans Wennborg 
85e1ecd61bSHans Wennborg   if (!EntryFunc.empty()) {
86ca46db95SHans Wennborg     DebugLoc DL;
87ca46db95SHans Wennborg     if (auto SP = F.getSubprogram())
88b5ad32efSFangrui Song       DL = DILocation::get(SP->getContext(), SP->getScopeLine(), 0, SP);
89ca46db95SHans Wennborg 
90ca46db95SHans Wennborg     insertCall(F, EntryFunc, &*F.begin()->getFirstInsertionPt(), DL);
91e1ecd61bSHans Wennborg     Changed = true;
92ad727ab7SArthur Eubanks     F.removeFnAttr(EntryAttr);
93e1ecd61bSHans Wennborg   }
94e1ecd61bSHans Wennborg 
95e1ecd61bSHans Wennborg   if (!ExitFunc.empty()) {
96e1ecd61bSHans Wennborg     for (BasicBlock &BB : F) {
97b230c763SHans Wennborg       Instruction *T = BB.getTerminator();
98b230c763SHans Wennborg       if (!isa<ReturnInst>(T))
99b230c763SHans Wennborg         continue;
100b230c763SHans Wennborg 
101b230c763SHans Wennborg       // If T is preceded by a musttail call, that's the real terminator.
1027f34aca0SXun Li       if (CallInst *CI = BB.getTerminatingMustTailCall())
103b230c763SHans Wennborg         T = CI;
104b230c763SHans Wennborg 
105ca46db95SHans Wennborg       DebugLoc DL;
106ca46db95SHans Wennborg       if (DebugLoc TerminatorDL = T->getDebugLoc())
107ca46db95SHans Wennborg         DL = TerminatorDL;
108ca46db95SHans Wennborg       else if (auto SP = F.getSubprogram())
109b5ad32efSFangrui Song         DL = DILocation::get(SP->getContext(), 0, 0, SP);
110ca46db95SHans Wennborg 
111ca46db95SHans Wennborg       insertCall(F, ExitFunc, T, DL);
112e1ecd61bSHans Wennborg       Changed = true;
113e1ecd61bSHans Wennborg     }
114ad727ab7SArthur Eubanks     F.removeFnAttr(ExitAttr);
115e1ecd61bSHans Wennborg   }
116e1ecd61bSHans Wennborg 
117e1ecd61bSHans Wennborg   return Changed;
118e1ecd61bSHans Wennborg }
119e1ecd61bSHans Wennborg 
120e1ecd61bSHans Wennborg PreservedAnalyses
run(Function & F,FunctionAnalysisManager & AM)121e1ecd61bSHans Wennborg llvm::EntryExitInstrumenterPass::run(Function &F, FunctionAnalysisManager &AM) {
122e1ecd61bSHans Wennborg   runOnFunction(F, PostInlining);
123e1ecd61bSHans Wennborg   PreservedAnalyses PA;
124e1ecd61bSHans Wennborg   PA.preserveSet<CFGAnalyses>();
125e1ecd61bSHans Wennborg   return PA;
126e1ecd61bSHans Wennborg }
127*1ac209edSMarkus Lavin 
printPipeline(raw_ostream & OS,function_ref<StringRef (StringRef)> MapClassName2PassName)128*1ac209edSMarkus Lavin void llvm::EntryExitInstrumenterPass::printPipeline(
129*1ac209edSMarkus Lavin     raw_ostream &OS, function_ref<StringRef(StringRef)> MapClassName2PassName) {
130*1ac209edSMarkus Lavin   static_cast<PassInfoMixin<llvm::EntryExitInstrumenterPass> *>(this)
131*1ac209edSMarkus Lavin       ->printPipeline(OS, MapClassName2PassName);
132*1ac209edSMarkus Lavin   OS << "<";
133*1ac209edSMarkus Lavin   if (PostInlining)
134*1ac209edSMarkus Lavin     OS << "post-inline";
135*1ac209edSMarkus Lavin   OS << ">";
136*1ac209edSMarkus Lavin }
137