blob: af974c805c368114350a34f4bd1143ee931e7960 [file] [log] [blame]
Preston Gurda01daac2013-01-08 18:27:24 +00001//===-------- X86PadShortFunction.cpp - pad short functions -----------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Preston Gurda01daac2013-01-08 18:27:24 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file defines the pass which will pad short functions to prevent
10// a stall if a function returns before the return address is ready. This
11// is needed for some Intel Atom processors.
12//
13//===----------------------------------------------------------------------===//
14
Preston Gurda01daac2013-01-08 18:27:24 +000015
Preston Gurda01daac2013-01-08 18:27:24 +000016#include "X86.h"
17#include "X86InstrInfo.h"
Eric Christopher0d5c99e2014-05-22 01:46:02 +000018#include "X86Subtarget.h"
Preston Gurda01daac2013-01-08 18:27:24 +000019#include "llvm/ADT/Statistic.h"
20#include "llvm/CodeGen/MachineFunctionPass.h"
21#include "llvm/CodeGen/MachineInstrBuilder.h"
Preston Gurda01daac2013-01-08 18:27:24 +000022#include "llvm/CodeGen/Passes.h"
Simon Pilgrim7f321d82018-04-11 18:05:17 +000023#include "llvm/CodeGen/TargetSchedule.h"
Preston Gurda01daac2013-01-08 18:27:24 +000024#include "llvm/IR/Function.h"
25#include "llvm/Support/Debug.h"
26#include "llvm/Support/raw_ostream.h"
Preston Gurda01daac2013-01-08 18:27:24 +000027
28using namespace llvm;
29
Chandler Carruth84e68b22014-04-22 02:41:26 +000030#define DEBUG_TYPE "x86-pad-short-functions"
31
Preston Gurda01daac2013-01-08 18:27:24 +000032STATISTIC(NumBBsPadded, "Number of basic blocks padded");
33
34namespace {
Preston Gurd99c69902013-01-11 22:06:56 +000035 struct VisitedBBInfo {
36 // HasReturn - Whether the BB contains a return instruction
37 bool HasReturn;
38
39 // Cycles - Number of cycles until return if HasReturn is true, otherwise
40 // number of cycles until end of the BB
41 unsigned int Cycles;
42
43 VisitedBBInfo() : HasReturn(false), Cycles(0) {}
44 VisitedBBInfo(bool HasReturn, unsigned int Cycles)
45 : HasReturn(HasReturn), Cycles(Cycles) {}
46 };
47
Preston Gurda01daac2013-01-08 18:27:24 +000048 struct PadShortFunc : public MachineFunctionPass {
49 static char ID;
50 PadShortFunc() : MachineFunctionPass(ID)
Simon Pilgrim7f321d82018-04-11 18:05:17 +000051 , Threshold(4) {}
Preston Gurda01daac2013-01-08 18:27:24 +000052
Craig Topper2d9361e2014-03-09 07:44:38 +000053 bool runOnMachineFunction(MachineFunction &MF) override;
Preston Gurda01daac2013-01-08 18:27:24 +000054
Derek Schuff1dbf7a52016-04-04 17:09:25 +000055 MachineFunctionProperties getRequiredProperties() const override {
56 return MachineFunctionProperties().set(
Matthias Braun1eb47362016-08-25 01:27:13 +000057 MachineFunctionProperties::Property::NoVRegs);
Derek Schuff1dbf7a52016-04-04 17:09:25 +000058 }
59
Mehdi Amini117296c2016-10-01 02:56:57 +000060 StringRef getPassName() const override {
Preston Gurda01daac2013-01-08 18:27:24 +000061 return "X86 Atom pad short functions";
62 }
63
64 private:
65 void findReturns(MachineBasicBlock *MBB,
66 unsigned int Cycles = 0);
67
68 bool cyclesUntilReturn(MachineBasicBlock *MBB,
Preston Gurd99c69902013-01-11 22:06:56 +000069 unsigned int &Cycles);
Preston Gurda01daac2013-01-08 18:27:24 +000070
71 void addPadding(MachineBasicBlock *MBB,
72 MachineBasicBlock::iterator &MBBI,
73 unsigned int NOOPsToAdd);
74
75 const unsigned int Threshold;
Preston Gurd99c69902013-01-11 22:06:56 +000076
77 // ReturnBBs - Maps basic blocks that return to the minimum number of
78 // cycles until the return, starting from the entry block.
Preston Gurda01daac2013-01-08 18:27:24 +000079 DenseMap<MachineBasicBlock*, unsigned int> ReturnBBs;
80
Preston Gurd99c69902013-01-11 22:06:56 +000081 // VisitedBBs - Cache of previously visited BBs.
82 DenseMap<MachineBasicBlock*, VisitedBBInfo> VisitedBBs;
83
Simon Pilgrim7f321d82018-04-11 18:05:17 +000084 TargetSchedModel TSM;
Preston Gurda01daac2013-01-08 18:27:24 +000085 };
86
87 char PadShortFunc::ID = 0;
Alexander Kornienkof00654e2015-06-23 09:49:53 +000088}
Preston Gurda01daac2013-01-08 18:27:24 +000089
90FunctionPass *llvm::createX86PadShortFunctions() {
91 return new PadShortFunc();
92}
93
94/// runOnMachineFunction - Loop over all of the basic blocks, inserting
95/// NOOP instructions before early exits.
96bool PadShortFunc::runOnMachineFunction(MachineFunction &MF) {
Matthias Braunf1caa282017-12-15 22:22:58 +000097 if (skipFunction(MF.getFunction()))
Andrew Kaylor2bee5ef2016-04-26 21:44:24 +000098 return false;
99
Evandro Menezes85bd3972019-04-04 22:40:06 +0000100 if (MF.getFunction().hasOptSize())
Eric Christopher0d5c99e2014-05-22 01:46:02 +0000101 return false;
102
Simon Pilgrim7f321d82018-04-11 18:05:17 +0000103 if (!MF.getSubtarget<X86Subtarget>().padShortFunctions())
104 return false;
105
106 TSM.init(&MF.getSubtarget());
Preston Gurda01daac2013-01-08 18:27:24 +0000107
108 // Search through basic blocks and mark the ones that have early returns
109 ReturnBBs.clear();
Preston Gurd99c69902013-01-11 22:06:56 +0000110 VisitedBBs.clear();
Duncan P. N. Exon Smithd77de642015-10-19 21:48:29 +0000111 findReturns(&MF.front());
Preston Gurda01daac2013-01-08 18:27:24 +0000112
113 bool MadeChange = false;
114
Preston Gurda01daac2013-01-08 18:27:24 +0000115 // Pad the identified basic blocks with NOOPs
116 for (DenseMap<MachineBasicBlock*, unsigned int>::iterator I = ReturnBBs.begin();
117 I != ReturnBBs.end(); ++I) {
Simon Pilgrim3c975a02019-05-07 10:50:11 +0000118 MachineBasicBlock *MBB = I->first;
119 unsigned Cycles = I->second;
Preston Gurda01daac2013-01-08 18:27:24 +0000120
121 if (Cycles < Threshold) {
Preston Gurd99c69902013-01-11 22:06:56 +0000122 // BB ends in a return. Skip over any DBG_VALUE instructions
123 // trailing the terminator.
124 assert(MBB->size() > 0 &&
125 "Basic block should contain at least a RET but is empty");
126 MachineBasicBlock::iterator ReturnLoc = --MBB->end();
127
Shiva Chen801bf7e2018-05-09 02:42:00 +0000128 while (ReturnLoc->isDebugInstr())
Preston Gurd99c69902013-01-11 22:06:56 +0000129 --ReturnLoc;
130 assert(ReturnLoc->isReturn() && !ReturnLoc->isCall() &&
131 "Basic block does not end with RET");
Preston Gurda01daac2013-01-08 18:27:24 +0000132
133 addPadding(MBB, ReturnLoc, Threshold - Cycles);
134 NumBBsPadded++;
135 MadeChange = true;
136 }
137 }
138
139 return MadeChange;
140}
141
142/// findReturn - Starting at MBB, follow control flow and add all
143/// basic blocks that contain a return to ReturnBBs.
144void PadShortFunc::findReturns(MachineBasicBlock *MBB, unsigned int Cycles) {
145 // If this BB has a return, note how many cycles it takes to get there.
146 bool hasReturn = cyclesUntilReturn(MBB, Cycles);
147 if (Cycles >= Threshold)
148 return;
149
150 if (hasReturn) {
151 ReturnBBs[MBB] = std::max(ReturnBBs[MBB], Cycles);
152 return;
153 }
154
155 // Follow branches in BB and look for returns
156 for (MachineBasicBlock::succ_iterator I = MBB->succ_begin();
Preston Gurd99c69902013-01-11 22:06:56 +0000157 I != MBB->succ_end(); ++I) {
158 if (*I == MBB)
159 continue;
Preston Gurda01daac2013-01-08 18:27:24 +0000160 findReturns(*I, Cycles);
161 }
162}
163
Preston Gurd99c69902013-01-11 22:06:56 +0000164/// cyclesUntilReturn - return true if the MBB has a return instruction,
165/// and return false otherwise.
Preston Gurda01daac2013-01-08 18:27:24 +0000166/// Cycles will be incremented by the number of cycles taken to reach the
167/// return or the end of the BB, whichever occurs first.
168bool PadShortFunc::cyclesUntilReturn(MachineBasicBlock *MBB,
Preston Gurd99c69902013-01-11 22:06:56 +0000169 unsigned int &Cycles) {
170 // Return cached result if BB was previously visited
171 DenseMap<MachineBasicBlock*, VisitedBBInfo>::iterator it
172 = VisitedBBs.find(MBB);
173 if (it != VisitedBBs.end()) {
174 VisitedBBInfo BBInfo = it->second;
175 Cycles += BBInfo.Cycles;
176 return BBInfo.HasReturn;
177 }
178
179 unsigned int CyclesToEnd = 0;
180
Duncan P. N. Exon Smith7b4c18e2016-07-12 03:18:50 +0000181 for (MachineInstr &MI : *MBB) {
Preston Gurda01daac2013-01-08 18:27:24 +0000182 // Mark basic blocks with a return instruction. Calls to other
183 // functions do not count because the called function will be padded,
184 // if necessary.
Duncan P. N. Exon Smith7b4c18e2016-07-12 03:18:50 +0000185 if (MI.isReturn() && !MI.isCall()) {
Preston Gurd99c69902013-01-11 22:06:56 +0000186 VisitedBBs[MBB] = VisitedBBInfo(true, CyclesToEnd);
187 Cycles += CyclesToEnd;
Preston Gurda01daac2013-01-08 18:27:24 +0000188 return true;
189 }
190
Simon Pilgrim7f321d82018-04-11 18:05:17 +0000191 CyclesToEnd += TSM.computeInstrLatency(&MI);
Preston Gurda01daac2013-01-08 18:27:24 +0000192 }
193
Preston Gurd99c69902013-01-11 22:06:56 +0000194 VisitedBBs[MBB] = VisitedBBInfo(false, CyclesToEnd);
195 Cycles += CyclesToEnd;
Preston Gurda01daac2013-01-08 18:27:24 +0000196 return false;
197}
198
199/// addPadding - Add the given number of NOOP instructions to the function
200/// just prior to the return at MBBI
201void PadShortFunc::addPadding(MachineBasicBlock *MBB,
202 MachineBasicBlock::iterator &MBBI,
203 unsigned int NOOPsToAdd) {
204 DebugLoc DL = MBBI->getDebugLoc();
Simon Pilgrim7f321d82018-04-11 18:05:17 +0000205 unsigned IssueWidth = TSM.getIssueWidth();
Preston Gurda01daac2013-01-08 18:27:24 +0000206
Simon Pilgrim7f321d82018-04-11 18:05:17 +0000207 for (unsigned i = 0, e = IssueWidth * NOOPsToAdd; i != e; ++i)
208 BuildMI(*MBB, MBBI, DL, TSM.getInstrInfo()->get(X86::NOOP));
Preston Gurda01daac2013-01-08 18:27:24 +0000209}