blob: b0d669b860f1ed3fccc21252b7c5ca4fdaf5cc6e [file] [log] [blame]
Chris Lattner7c90f732006-02-05 05:50:24 +00001//===-- DelaySlotFiller.cpp - SPARC delay slot filler ---------------------===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Brian Gaeke20117102004-04-06 23:21:45 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb5f662f2005-04-21 23:30:14 +00007//
Brian Gaeke20117102004-04-06 23:21:45 +00008//===----------------------------------------------------------------------===//
9//
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000010// This is a simple local pass that attempts to fill delay slots with useful
11// instructions. If no instructions can be moved into the delay slot, then a
12// NOP is placed.
Brian Gaeke20117102004-04-06 23:21:45 +000013//===----------------------------------------------------------------------===//
14
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000015#define DEBUG_TYPE "delay-slot-filler"
Chris Lattner7c90f732006-02-05 05:50:24 +000016#include "Sparc.h"
Brian Gaeke20117102004-04-06 23:21:45 +000017#include "llvm/CodeGen/MachineFunctionPass.h"
Brian Gaeke20117102004-04-06 23:21:45 +000018#include "llvm/CodeGen/MachineInstrBuilder.h"
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000019#include "llvm/Support/CommandLine.h"
Brian Gaeke870248b2004-09-30 04:04:47 +000020#include "llvm/Target/TargetMachine.h"
21#include "llvm/Target/TargetInstrInfo.h"
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000022#include "llvm/Target/TargetRegisterInfo.h"
23#include "llvm/ADT/SmallSet.h"
Brian Gaeke74dfcf12004-09-02 02:37:43 +000024#include "llvm/ADT/Statistic.h"
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000025
Brian Gaeke20117102004-04-06 23:21:45 +000026using namespace llvm;
27
Chris Lattner95b2c7d2006-12-19 22:59:26 +000028STATISTIC(FilledSlots, "Number of delay slots filled");
Brian Gaeke20117102004-04-06 23:21:45 +000029
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000030static cl::opt<bool> DisableDelaySlotFiller(
31 "disable-sparc-delay-filler",
32 cl::init(false),
33 cl::desc("Disable the Sparc delay slot filler."),
34 cl::Hidden);
35
Chris Lattner95b2c7d2006-12-19 22:59:26 +000036namespace {
Brian Gaeke20117102004-04-06 23:21:45 +000037 struct Filler : public MachineFunctionPass {
38 /// Target machine description which we query for reg. names, data
39 /// layout, etc.
40 ///
41 TargetMachine &TM;
Brian Gaeke870248b2004-09-30 04:04:47 +000042 const TargetInstrInfo *TII;
Brian Gaeke20117102004-04-06 23:21:45 +000043
Devang Patel19974732007-05-03 01:11:54 +000044 static char ID;
Devang Patel794fd752007-05-01 21:15:47 +000045 Filler(TargetMachine &tm)
Owen Anderson90c579d2010-08-06 18:33:48 +000046 : MachineFunctionPass(ID), TM(tm), TII(tm.getInstrInfo()) { }
Brian Gaeke20117102004-04-06 23:21:45 +000047
Chris Lattner7c90f732006-02-05 05:50:24 +000048 virtual const char *getPassName() const {
49 return "SPARC Delay Slot Filler";
Brian Gaeke20117102004-04-06 23:21:45 +000050 }
51
Chris Lattner7c90f732006-02-05 05:50:24 +000052 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
53 bool runOnMachineFunction(MachineFunction &F) {
Brian Gaeke20117102004-04-06 23:21:45 +000054 bool Changed = false;
Chris Lattner7c90f732006-02-05 05:50:24 +000055 for (MachineFunction::iterator FI = F.begin(), FE = F.end();
Brian Gaeke20117102004-04-06 23:21:45 +000056 FI != FE; ++FI)
Chris Lattner7c90f732006-02-05 05:50:24 +000057 Changed |= runOnMachineBasicBlock(*FI);
Brian Gaeke20117102004-04-06 23:21:45 +000058 return Changed;
59 }
60
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000061 bool isDelayFiller(MachineBasicBlock &MBB,
62 MachineBasicBlock::iterator candidate);
63
64 void insertCallUses(MachineBasicBlock::iterator MI,
65 SmallSet<unsigned, 32>& RegUses);
66
67 void insertDefsUses(MachineBasicBlock::iterator MI,
68 SmallSet<unsigned, 32>& RegDefs,
69 SmallSet<unsigned, 32>& RegUses);
70
71 bool IsRegInSet(SmallSet<unsigned, 32>& RegSet,
72 unsigned Reg);
73
74 bool delayHasHazard(MachineBasicBlock::iterator candidate,
75 bool &sawLoad, bool &sawStore,
76 SmallSet<unsigned, 32> &RegDefs,
77 SmallSet<unsigned, 32> &RegUses);
78
79 MachineBasicBlock::iterator
80 findDelayInstr(MachineBasicBlock &MBB, MachineBasicBlock::iterator slot);
81
82
Brian Gaeke20117102004-04-06 23:21:45 +000083 };
Devang Patel19974732007-05-03 01:11:54 +000084 char Filler::ID = 0;
Brian Gaeke20117102004-04-06 23:21:45 +000085} // end of anonymous namespace
86
Chris Lattner7c90f732006-02-05 05:50:24 +000087/// createSparcDelaySlotFillerPass - Returns a pass that fills in delay
88/// slots in Sparc MachineFunctions
Brian Gaeke20117102004-04-06 23:21:45 +000089///
Chris Lattner7c90f732006-02-05 05:50:24 +000090FunctionPass *llvm::createSparcDelaySlotFillerPass(TargetMachine &tm) {
91 return new Filler(tm);
Brian Gaeke20117102004-04-06 23:21:45 +000092}
93
Brian Gaeke20117102004-04-06 23:21:45 +000094/// runOnMachineBasicBlock - Fill in delay slots for the given basic block.
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000095/// We assume there is only one delay slot per delayed instruction.
Brian Gaeke20117102004-04-06 23:21:45 +000096///
Chris Lattner7c90f732006-02-05 05:50:24 +000097bool Filler::runOnMachineBasicBlock(MachineBasicBlock &MBB) {
Brian Gaeke0f51cc12004-04-07 04:05:12 +000098 bool Changed = false;
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +000099
Chris Lattner7c90f732006-02-05 05:50:24 +0000100 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ++I)
Chris Lattner749c6f62008-01-07 07:27:27 +0000101 if (I->getDesc().hasDelaySlot()) {
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +0000102 MachineBasicBlock::iterator D = MBB.end();
Brian Gaeke20117102004-04-06 23:21:45 +0000103 MachineBasicBlock::iterator J = I;
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +0000104
105 if (!DisableDelaySlotFiller)
106 D = findDelayInstr(MBB, I);
107
Brian Gaeke20117102004-04-06 23:21:45 +0000108 ++FilledSlots;
Brian Gaeke0f51cc12004-04-07 04:05:12 +0000109 Changed = true;
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +0000110
111 if (D == MBB.end())
112 BuildMI(MBB, ++J, I->getDebugLoc(), TII->get(SP::NOP));
113 else
114 MBB.splice(++J, &MBB, D);
Brian Gaeke20117102004-04-06 23:21:45 +0000115 }
Brian Gaeke0f51cc12004-04-07 04:05:12 +0000116 return Changed;
Brian Gaeke20117102004-04-06 23:21:45 +0000117}
Venkatraman Govindaraju71e39da2011-01-20 05:08:26 +0000118
119MachineBasicBlock::iterator
120Filler::findDelayInstr(MachineBasicBlock &MBB,
121 MachineBasicBlock::iterator slot)
122{
123 SmallSet<unsigned, 32> RegDefs;
124 SmallSet<unsigned, 32> RegUses;
125 bool sawLoad = false;
126 bool sawStore = false;
127
128 MachineBasicBlock::iterator I = slot;
129
130 if (slot->getOpcode() == SP::RET)
131 return MBB.end();
132
133 if (slot->getOpcode() == SP::RETL) {
134 --I;
135 if (I->getOpcode() != SP::RESTORErr)
136 return MBB.end();
137 //change retl to ret
138 slot->setDesc(TII->get(SP::RET));
139 return I;
140 }
141
142 //Call's delay filler can def some of call's uses.
143 if (slot->getDesc().isCall())
144 insertCallUses(slot, RegUses);
145 else
146 insertDefsUses(slot, RegDefs, RegUses);
147
148 bool done = false;
149
150 while (!done) {
151 done = (I == MBB.begin());
152
153 if (!done)
154 --I;
155
156 // skip debug value
157 if (I->isDebugValue())
158 continue;
159
160
161 if (I->hasUnmodeledSideEffects()
162 || I->isInlineAsm()
163 || I->isLabel()
164 || I->getDesc().hasDelaySlot()
165 || isDelayFiller(MBB, I))
166 break;
167
168 if (delayHasHazard(I, sawLoad, sawStore, RegDefs, RegUses)) {
169 insertDefsUses(I, RegDefs, RegUses);
170 continue;
171 }
172
173 return I;
174 }
175 return MBB.end();
176}
177
178bool Filler::delayHasHazard(MachineBasicBlock::iterator candidate,
179 bool &sawLoad,
180 bool &sawStore,
181 SmallSet<unsigned, 32> &RegDefs,
182 SmallSet<unsigned, 32> &RegUses)
183{
184
185 if (candidate->getDesc().mayLoad()) {
186 sawLoad = true;
187 if (sawStore)
188 return true;
189 }
190
191 if (candidate->getDesc().mayStore()) {
192 if (sawStore)
193 return true;
194 sawStore = true;
195 if (sawLoad)
196 return true;
197 }
198
199 for (unsigned i = 0, e = candidate->getNumOperands(); i!= e; ++i) {
200 const MachineOperand &MO = candidate->getOperand(i);
201 if (!MO.isReg())
202 continue; // skip
203
204 unsigned Reg = MO.getReg();
205
206 if (MO.isDef()) {
207 //check whether Reg is defined or used before delay slot.
208 if (IsRegInSet(RegDefs, Reg) || IsRegInSet(RegUses, Reg))
209 return true;
210 }
211 if (MO.isUse()) {
212 //check whether Reg is defined before delay slot.
213 if (IsRegInSet(RegDefs, Reg))
214 return true;
215 }
216 }
217 return false;
218}
219
220
221void Filler::insertCallUses(MachineBasicBlock::iterator MI,
222 SmallSet<unsigned, 32>& RegUses)
223{
224
225 switch(MI->getOpcode()) {
226 default: llvm_unreachable("Unknown opcode.");
227 case SP::CALL: break;
228 case SP::JMPLrr:
229 case SP::JMPLri:
230 assert(MI->getNumOperands() >= 2);
231 const MachineOperand &Reg = MI->getOperand(0);
232 assert(Reg.isReg() && "JMPL first operand is not a register.");
233 assert(Reg.isUse() && "JMPL first operand is not a use.");
234 RegUses.insert(Reg.getReg());
235
236 const MachineOperand &RegOrImm = MI->getOperand(1);
237 if (RegOrImm.isImm())
238 break;
239 assert(RegOrImm.isReg() && "JMPLrr second operand is not a register.");
240 assert(RegOrImm.isUse() && "JMPLrr second operand is not a use.");
241 RegUses.insert(RegOrImm.getReg());
242 break;
243 }
244}
245
246//Insert Defs and Uses of MI into the sets RegDefs and RegUses.
247void Filler::insertDefsUses(MachineBasicBlock::iterator MI,
248 SmallSet<unsigned, 32>& RegDefs,
249 SmallSet<unsigned, 32>& RegUses)
250{
251 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
252 const MachineOperand &MO = MI->getOperand(i);
253 if (!MO.isReg())
254 continue;
255
256 unsigned Reg = MO.getReg();
257 if (Reg == 0)
258 continue;
259 if (MO.isDef())
260 RegDefs.insert(Reg);
261 if (MO.isUse())
262 RegUses.insert(Reg);
263
264 }
265}
266
267//returns true if the Reg or its alias is in the RegSet.
268bool Filler::IsRegInSet(SmallSet<unsigned, 32>& RegSet, unsigned Reg)
269{
270 if (RegSet.count(Reg))
271 return true;
272 // check Aliased Registers
273 for (const unsigned *Alias = TM.getRegisterInfo()->getAliasSet(Reg);
274 *Alias; ++ Alias)
275 if (RegSet.count(*Alias))
276 return true;
277
278 return false;
279}
280
281// return true if the candidate is a delay filler.
282bool Filler::isDelayFiller(MachineBasicBlock &MBB,
283 MachineBasicBlock::iterator candidate)
284{
285 if (candidate == MBB.begin())
286 return false;
287 const TargetInstrDesc &prevdesc = (--candidate)->getDesc();
288 return prevdesc.hasDelaySlot();
289}