blob: 63bd762eeb2b8bfe93d81bf28aad1f283f165139 [file] [log] [blame]
Dean Michael Berris52735fc2016-07-14 04:06:33 +00001//===-- XRayInstrumentation.cpp - Adds XRay instrumentation to functions. -===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements a MachineFunctionPass that inserts the appropriate
11// XRay instrumentation instructions. We look for XRay-specific attributes
12// on the function to determine whether we should insert the replacement
13// operations.
14//
15//===---------------------------------------------------------------------===//
16
17#include "llvm/CodeGen/Analysis.h"
18#include "llvm/CodeGen/MachineFunction.h"
19#include "llvm/CodeGen/MachineFunctionPass.h"
20#include "llvm/CodeGen/MachineInstrBuilder.h"
21#include "llvm/CodeGen/Passes.h"
22#include "llvm/Support/TargetRegistry.h"
23#include "llvm/Target/TargetInstrInfo.h"
24#include "llvm/Target/TargetSubtargetInfo.h"
25
26using namespace llvm;
27
28namespace {
29struct XRayInstrumentation : public MachineFunctionPass {
30 static char ID;
31
32 XRayInstrumentation() : MachineFunctionPass(ID) {
33 initializeXRayInstrumentationPass(*PassRegistry::getPassRegistry());
34 }
35
36 bool runOnMachineFunction(MachineFunction &MF) override;
Dean Michael Berris464015442016-09-19 00:54:35 +000037
38private:
39 // Replace the original RET instruction with the exit sled code ("patchable
40 // ret" pseudo-instruction), so that at runtime XRay can replace the sled
41 // with a code jumping to XRay trampoline, which calls the tracing handler
42 // and, in the end, issues the RET instruction.
43 // This is the approach to go on CPUs which have a single RET instruction,
44 // like x86/x86_64.
45 void replaceRetWithPatchableRet(MachineFunction &MF,
46 const TargetInstrInfo *TII);
Serge Rogatcha3311332016-11-24 18:51:47 +000047
Dean Michael Berris464015442016-09-19 00:54:35 +000048 // Prepend the original return instruction with the exit sled code ("patchable
49 // function exit" pseudo-instruction), preserving the original return
50 // instruction just after the exit sled code.
51 // This is the approach to go on CPUs which have multiple options for the
52 // return instruction, like ARM. For such CPUs we can't just jump into the
53 // XRay trampoline and issue a single return instruction there. We rather
54 // have to call the trampoline and return from it to the original return
55 // instruction of the function being instrumented.
56 void prependRetWithPatchableExit(MachineFunction &MF,
57 const TargetInstrInfo *TII);
Dean Michael Berris52735fc2016-07-14 04:06:33 +000058};
Dean Michael Berris464015442016-09-19 00:54:35 +000059} // anonymous namespace
Dean Michael Berris52735fc2016-07-14 04:06:33 +000060
Dean Michael Berris464015442016-09-19 00:54:35 +000061void XRayInstrumentation::replaceRetWithPatchableRet(MachineFunction &MF,
62 const TargetInstrInfo *TII)
63{
64 // We look for *all* terminators and returns, then replace those with
Dean Michael Berris52735fc2016-07-14 04:06:33 +000065 // PATCHABLE_RET instructions.
66 SmallVector<MachineInstr *, 4> Terminators;
67 for (auto &MBB : MF) {
68 for (auto &T : MBB.terminators()) {
Dean Michael Berrise8ae5ba2016-09-01 01:29:13 +000069 unsigned Opc = 0;
Dean Michael Berris52735fc2016-07-14 04:06:33 +000070 if (T.isReturn() && T.getOpcode() == TII->getReturnOpcode()) {
71 // Replace return instructions with:
72 // PATCHABLE_RET <Opcode>, <Operand>...
Dean Michael Berrise8ae5ba2016-09-01 01:29:13 +000073 Opc = TargetOpcode::PATCHABLE_RET;
74 }
75 if (TII->isTailCall(T)) {
76 // Treat the tail call as a return instruction, which has a
77 // different-looking sled than the normal return case.
78 Opc = TargetOpcode::PATCHABLE_TAIL_CALL;
79 }
80 if (Opc != 0) {
81 auto MIB = BuildMI(MBB, T, T.getDebugLoc(), TII->get(Opc))
Dean Michael Berris52735fc2016-07-14 04:06:33 +000082 .addImm(T.getOpcode());
83 for (auto &MO : T.operands())
84 MIB.addOperand(MO);
85 Terminators.push_back(&T);
Dean Michael Berris52735fc2016-07-14 04:06:33 +000086 }
87 }
88 }
89
90 for (auto &I : Terminators)
91 I->eraseFromParent();
Dean Michael Berris464015442016-09-19 00:54:35 +000092}
Dean Michael Berris52735fc2016-07-14 04:06:33 +000093
Dean Michael Berris464015442016-09-19 00:54:35 +000094void XRayInstrumentation::prependRetWithPatchableExit(MachineFunction &MF,
95 const TargetInstrInfo *TII)
96{
97 for (auto &MBB : MF) {
98 for (auto &T : MBB.terminators()) {
Dean Michael Berris156f6ca2016-10-18 05:54:15 +000099 unsigned Opc = 0;
Dean Michael Berris464015442016-09-19 00:54:35 +0000100 if (T.isReturn()) {
Dean Michael Berris156f6ca2016-10-18 05:54:15 +0000101 Opc = TargetOpcode::PATCHABLE_FUNCTION_EXIT;
102 }
103 if (TII->isTailCall(T)) {
104 Opc = TargetOpcode::PATCHABLE_TAIL_CALL;
105 }
106 if (Opc != 0) {
107 // Prepend the return instruction with PATCHABLE_FUNCTION_EXIT or
108 // PATCHABLE_TAIL_CALL .
109 BuildMI(MBB, T, T.getDebugLoc(),TII->get(Opc));
Dean Michael Berris464015442016-09-19 00:54:35 +0000110 }
111 }
112 }
113}
114
115bool XRayInstrumentation::runOnMachineFunction(MachineFunction &MF) {
116 auto &F = *MF.getFunction();
117 auto InstrAttr = F.getFnAttribute("function-instrument");
118 bool AlwaysInstrument = !InstrAttr.hasAttribute(Attribute::None) &&
119 InstrAttr.isStringAttribute() &&
120 InstrAttr.getValueAsString() == "xray-always";
121 Attribute Attr = F.getFnAttribute("xray-instruction-threshold");
122 unsigned XRayThreshold = 0;
123 if (!AlwaysInstrument) {
124 if (Attr.hasAttribute(Attribute::None) || !Attr.isStringAttribute())
125 return false; // XRay threshold attribute not found.
126 if (Attr.getValueAsString().getAsInteger(10, XRayThreshold))
127 return false; // Invalid value for threshold.
128 if (F.size() < XRayThreshold)
129 return false; // Function is too small.
130 }
131
Dean Michael Berris03b8be52016-12-19 09:20:38 +0000132 // We look for the first non-empty MachineBasicBlock, so that we can insert
133 // the function instrumentation in the appropriate place.
134 auto MBI =
135 find_if(MF, [&](const MachineBasicBlock &MBB) { return !MBB.empty(); });
136 if (MBI == MF.end())
137 return false; // The function is empty.
138
139 auto *TII = MF.getSubtarget().getInstrInfo();
140 auto &FirstMBB = *MBI;
Dean Michael Berris464015442016-09-19 00:54:35 +0000141 auto &FirstMI = *FirstMBB.begin();
142
143 if (!MF.getSubtarget().isXRaySupported()) {
144 FirstMI.emitError("An attempt to perform XRay instrumentation for an"
145 " unsupported target.");
146 return false;
147 }
148
149 // FIXME: Do the loop triviality analysis here or in an earlier pass.
150
151 // First, insert an PATCHABLE_FUNCTION_ENTER as the first instruction of the
152 // MachineFunction.
Dean Michael Berris464015442016-09-19 00:54:35 +0000153 BuildMI(FirstMBB, FirstMI, FirstMI.getDebugLoc(),
154 TII->get(TargetOpcode::PATCHABLE_FUNCTION_ENTER));
155
156 switch (MF.getTarget().getTargetTriple().getArch()) {
157 case Triple::ArchType::arm:
158 case Triple::ArchType::thumb:
Dean Michael Berris3234d3a2016-11-17 05:15:37 +0000159 case Triple::ArchType::aarch64:
Dean Michael Berris464015442016-09-19 00:54:35 +0000160 // For the architectures which don't have a single return instruction
161 prependRetWithPatchableExit(MF, TII);
162 break;
163 default:
164 // For the architectures that have a single return instruction (such as
165 // RETQ on x86_64).
166 replaceRetWithPatchableRet(MF, TII);
167 break;
168 }
Dean Michael Berris52735fc2016-07-14 04:06:33 +0000169 return true;
170}
171
172char XRayInstrumentation::ID = 0;
173char &llvm::XRayInstrumentationID = XRayInstrumentation::ID;
174INITIALIZE_PASS(XRayInstrumentation, "xray-instrumentation", "Insert XRay ops",
Dean Michael Berris086639a2016-07-14 11:46:41 +0000175 false, false)