blob: dbcfc19d88a513142c8f959017316f1cbff164ba [file] [log] [blame]
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +00001//===-- DelaySlotFiller.cpp - Mips delay slot filler ---------------------===//
2//
3// 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.
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +00007//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +00008//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +00009//
Akira Hatanakaa3defb02011-09-29 23:52:13 +000010// Simple pass to fills delay slots with useful instructions.
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000011//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000012//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000013
14#define DEBUG_TYPE "delay-slot-filler"
15
16#include "Mips.h"
17#include "MipsTargetMachine.h"
18#include "llvm/CodeGen/MachineFunctionPass.h"
19#include "llvm/CodeGen/MachineInstrBuilder.h"
Akira Hatanakaa3defb02011-09-29 23:52:13 +000020#include "llvm/Support/CommandLine.h"
21#include "llvm/Target/TargetMachine.h"
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000022#include "llvm/Target/TargetInstrInfo.h"
Akira Hatanakaa3defb02011-09-29 23:52:13 +000023#include "llvm/Target/TargetRegisterInfo.h"
24#include "llvm/ADT/SmallSet.h"
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000025#include "llvm/ADT/Statistic.h"
26
27using namespace llvm;
28
29STATISTIC(FilledSlots, "Number of delay slots filled");
30
Akira Hatanakaa3defb02011-09-29 23:52:13 +000031static cl::opt<bool> EnableDelaySlotFiller(
32 "enable-mips-delay-filler",
33 cl::init(false),
Akira Hatanaka6585b512011-10-05 01:06:57 +000034 cl::desc("Fill the Mips delay slots useful instructions."),
Akira Hatanakaa3defb02011-09-29 23:52:13 +000035 cl::Hidden);
36
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000037namespace {
38 struct Filler : public MachineFunctionPass {
39
40 TargetMachine &TM;
41 const TargetInstrInfo *TII;
42
43 static char ID;
Bruno Cardoso Lopes90c59542010-12-09 17:31:11 +000044 Filler(TargetMachine &tm)
Owen Anderson90c579d2010-08-06 18:33:48 +000045 : MachineFunctionPass(ID), TM(tm), TII(tm.getInstrInfo()) { }
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000046
47 virtual const char *getPassName() const {
48 return "Mips Delay Slot Filler";
49 }
50
51 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
52 bool runOnMachineFunction(MachineFunction &F) {
53 bool Changed = false;
54 for (MachineFunction::iterator FI = F.begin(), FE = F.end();
55 FI != FE; ++FI)
56 Changed |= runOnMachineBasicBlock(*FI);
57 return Changed;
58 }
59
Akira Hatanakaa3defb02011-09-29 23:52:13 +000060 bool isDelayFiller(MachineBasicBlock &MBB,
61 MachineBasicBlock::iterator candidate);
62
63 void insertCallUses(MachineBasicBlock::iterator MI,
64 SmallSet<unsigned, 32>& RegDefs,
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
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000083 };
84 char Filler::ID = 0;
85} // end of anonymous namespace
86
87/// runOnMachineBasicBlock - Fill in delay slots for the given basic block.
Akira Hatanakaa3defb02011-09-29 23:52:13 +000088/// We assume there is only one delay slot per delayed instruction.
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000089bool Filler::
Akira Hatanakaa3defb02011-09-29 23:52:13 +000090runOnMachineBasicBlock(MachineBasicBlock &MBB) {
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000091 bool Changed = false;
Akira Hatanakaa3defb02011-09-29 23:52:13 +000092 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ++I)
93 if (I->getDesc().hasDelaySlot()) {
94 MachineBasicBlock::iterator D = MBB.end();
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000095 MachineBasicBlock::iterator J = I;
Akira Hatanakaa3defb02011-09-29 23:52:13 +000096
97 if (EnableDelaySlotFiller)
98 D = findDelayInstr(MBB, I);
99
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +0000100 ++FilledSlots;
101 Changed = true;
Bruno Cardoso Lopes90c59542010-12-09 17:31:11 +0000102
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000103 if (D == MBB.end())
104 BuildMI(MBB, ++J, I->getDebugLoc(), TII->get(Mips::NOP));
105 else
106 MBB.splice(++J, &MBB, D);
107 }
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +0000108 return Changed;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000109
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +0000110}
111
112/// createMipsDelaySlotFillerPass - Returns a pass that fills in delay
113/// slots in Mips MachineFunctions
114FunctionPass *llvm::createMipsDelaySlotFillerPass(MipsTargetMachine &tm) {
115 return new Filler(tm);
116}
117
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000118MachineBasicBlock::iterator
119Filler::findDelayInstr(MachineBasicBlock &MBB,
120 MachineBasicBlock::iterator slot) {
121 SmallSet<unsigned, 32> RegDefs;
122 SmallSet<unsigned, 32> RegUses;
123 bool sawLoad = false;
124 bool sawStore = false;
125
126 MachineBasicBlock::iterator I = slot;
127
128 // Call's delay filler can def some of call's uses.
129 if (slot->getDesc().isCall())
130 insertCallUses(slot, RegDefs, RegUses);
131 else
132 insertDefsUses(slot, RegDefs, RegUses);
133
134 bool done = false;
135
136 while (!done) {
137 done = (I == MBB.begin());
138
139 if (!done)
140 --I;
141
142 // skip debug value
143 if (I->isDebugValue())
144 continue;
145
146 if (I->hasUnmodeledSideEffects()
147 || I->isInlineAsm()
148 || I->isLabel()
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000149 || isDelayFiller(MBB, I)
150 || I->getDesc().isPseudo()
151 //
152 // Should not allow:
153 // ERET, DERET or WAIT, PAUSE. Need to add these to instruction
154 // list. TBD.
155 )
156 break;
157
158 if (delayHasHazard(I, sawLoad, sawStore, RegDefs, RegUses)) {
159 insertDefsUses(I, RegDefs, RegUses);
160 continue;
161 }
162
163 return I;
164 }
165 return MBB.end();
166}
167
168bool Filler::delayHasHazard(MachineBasicBlock::iterator candidate,
169 bool &sawLoad,
170 bool &sawStore,
171 SmallSet<unsigned, 32> &RegDefs,
172 SmallSet<unsigned, 32> &RegUses) {
173 if (candidate->isImplicitDef() || candidate->isKill())
174 return true;
175
Akira Hatanakacfc3fb52011-10-05 01:09:37 +0000176 // Loads or stores cannot be moved past a store to the delay slot
177 // and stores cannot be moved past a load.
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000178 if (candidate->getDesc().mayLoad()) {
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000179 if (sawStore)
180 return true;
Akira Hatanakacfc3fb52011-10-05 01:09:37 +0000181 sawLoad = true;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000182 }
183
184 if (candidate->getDesc().mayStore()) {
185 if (sawStore)
186 return true;
187 sawStore = true;
188 if (sawLoad)
189 return true;
190 }
191
192 for (unsigned i = 0, e = candidate->getNumOperands(); i!= e; ++i) {
193 const MachineOperand &MO = candidate->getOperand(i);
194 if (!MO.isReg())
195 continue; // skip
196
197 unsigned Reg = MO.getReg();
198
199 if (MO.isDef()) {
200 // check whether Reg is defined or used before delay slot.
201 if (IsRegInSet(RegDefs, Reg) || IsRegInSet(RegUses, Reg))
202 return true;
203 }
204 if (MO.isUse()) {
205 // check whether Reg is defined before delay slot.
206 if (IsRegInSet(RegDefs, Reg))
207 return true;
208 }
209 }
210 return false;
211}
212
213void Filler::insertCallUses(MachineBasicBlock::iterator MI,
214 SmallSet<unsigned, 32>& RegDefs,
215 SmallSet<unsigned, 32>& RegUses) {
216 switch(MI->getOpcode()) {
217 default: llvm_unreachable("Unknown opcode.");
218 case Mips::JAL:
219 RegDefs.insert(31);
220 break;
221 case Mips::JALR:
222 assert(MI->getNumOperands() >= 1);
223 const MachineOperand &Reg = MI->getOperand(0);
224 assert(Reg.isReg() && "JALR first operand is not a register.");
225 RegUses.insert(Reg.getReg());
226 RegDefs.insert(31);
227 break;
228 }
229}
230
231// Insert Defs and Uses of MI into the sets RegDefs and RegUses.
232void Filler::insertDefsUses(MachineBasicBlock::iterator MI,
233 SmallSet<unsigned, 32>& RegDefs,
234 SmallSet<unsigned, 32>& RegUses) {
235 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
236 const MachineOperand &MO = MI->getOperand(i);
237 if (!MO.isReg())
238 continue;
239
240 unsigned Reg = MO.getReg();
241 if (Reg == 0)
242 continue;
243 if (MO.isDef())
244 RegDefs.insert(Reg);
245 if (MO.isUse())
246 RegUses.insert(Reg);
247 }
248}
249
250//returns true if the Reg or its alias is in the RegSet.
251bool Filler::IsRegInSet(SmallSet<unsigned, 32>& RegSet, unsigned Reg) {
252 if (RegSet.count(Reg))
253 return true;
254 // check Aliased Registers
255 for (const unsigned *Alias = TM.getRegisterInfo()->getAliasSet(Reg);
256 *Alias; ++Alias)
257 if (RegSet.count(*Alias))
258 return true;
259
260 return false;
261}
262
263// return true if the candidate is a delay filler.
264bool Filler::isDelayFiller(MachineBasicBlock &MBB,
265 MachineBasicBlock::iterator candidate) {
266 if (candidate == MBB.begin())
267 return false;
268 const MCInstrDesc &prevdesc = (--candidate)->getDesc();
269 return prevdesc.hasDelaySlot();
270}