blob: be3b7a02ec3127578f9a046c8988d1c25058ae81 [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");
Akira Hatanaka98f4d4d2011-10-05 01:19:13 +000030STATISTIC(UsefulSlots, "Number of delay slots filled with instructions that"
Akira Hatanaka176965f2011-10-05 02:22:49 +000031 " are not NOP.");
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000032
Akira Hatanakaa3defb02011-09-29 23:52:13 +000033static cl::opt<bool> EnableDelaySlotFiller(
34 "enable-mips-delay-filler",
35 cl::init(false),
Akira Hatanaka6585b512011-10-05 01:06:57 +000036 cl::desc("Fill the Mips delay slots useful instructions."),
Akira Hatanakaa3defb02011-09-29 23:52:13 +000037 cl::Hidden);
38
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000039namespace {
40 struct Filler : public MachineFunctionPass {
41
42 TargetMachine &TM;
43 const TargetInstrInfo *TII;
Akira Hatanaka53120e02011-10-05 01:30:09 +000044 MachineBasicBlock::iterator LastFiller;
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000045
46 static char ID;
Bruno Cardoso Lopes90c59542010-12-09 17:31:11 +000047 Filler(TargetMachine &tm)
Owen Anderson90c579d2010-08-06 18:33:48 +000048 : MachineFunctionPass(ID), TM(tm), TII(tm.getInstrInfo()) { }
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000049
50 virtual const char *getPassName() const {
51 return "Mips Delay Slot Filler";
52 }
53
54 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
55 bool runOnMachineFunction(MachineFunction &F) {
56 bool Changed = false;
57 for (MachineFunction::iterator FI = F.begin(), FE = F.end();
58 FI != FE; ++FI)
59 Changed |= runOnMachineBasicBlock(*FI);
60 return Changed;
61 }
62
Akira Hatanakaa3defb02011-09-29 23:52:13 +000063 bool isDelayFiller(MachineBasicBlock &MBB,
64 MachineBasicBlock::iterator candidate);
65
66 void insertCallUses(MachineBasicBlock::iterator MI,
67 SmallSet<unsigned, 32>& RegDefs,
68 SmallSet<unsigned, 32>& RegUses);
69
70 void insertDefsUses(MachineBasicBlock::iterator MI,
71 SmallSet<unsigned, 32>& RegDefs,
72 SmallSet<unsigned, 32>& RegUses);
73
74 bool IsRegInSet(SmallSet<unsigned, 32>& RegSet,
75 unsigned Reg);
76
77 bool delayHasHazard(MachineBasicBlock::iterator candidate,
78 bool &sawLoad, bool &sawStore,
79 SmallSet<unsigned, 32> &RegDefs,
80 SmallSet<unsigned, 32> &RegUses);
81
Akira Hatanaka6f818ab2011-10-05 01:23:39 +000082 bool
83 findDelayInstr(MachineBasicBlock &MBB, MachineBasicBlock::iterator slot,
84 MachineBasicBlock::iterator &Filler);
Akira Hatanakaa3defb02011-09-29 23:52:13 +000085
86
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000087 };
88 char Filler::ID = 0;
89} // end of anonymous namespace
90
91/// runOnMachineBasicBlock - Fill in delay slots for the given basic block.
Akira Hatanakaa3defb02011-09-29 23:52:13 +000092/// We assume there is only one delay slot per delayed instruction.
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000093bool Filler::
Akira Hatanakaa3defb02011-09-29 23:52:13 +000094runOnMachineBasicBlock(MachineBasicBlock &MBB) {
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +000095 bool Changed = false;
Akira Hatanaka53120e02011-10-05 01:30:09 +000096 LastFiller = MBB.end();
97
Akira Hatanakaa3defb02011-09-29 23:52:13 +000098 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ++I)
99 if (I->getDesc().hasDelaySlot()) {
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +0000100 ++FilledSlots;
101 Changed = true;
Bruno Cardoso Lopes90c59542010-12-09 17:31:11 +0000102
Akira Hatanaka6f818ab2011-10-05 01:23:39 +0000103 MachineBasicBlock::iterator D;
104
105 if (EnableDelaySlotFiller && findDelayInstr(MBB, I, D)) {
106 MBB.splice(llvm::next(I), &MBB, D);
107 ++UsefulSlots;
108 }
109 else
110 BuildMI(MBB, llvm::next(I), I->getDebugLoc(), TII->get(Mips::NOP));
111
Akira Hatanaka53120e02011-10-05 01:30:09 +0000112 // Record the filler instruction that filled the delay slot.
113 // The instruction after it will be visited in the next iteration.
114 LastFiller = ++I;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000115 }
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +0000116 return Changed;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000117
Bruno Cardoso Lopes9684a692007-08-18 01:50:47 +0000118}
119
120/// createMipsDelaySlotFillerPass - Returns a pass that fills in delay
121/// slots in Mips MachineFunctions
122FunctionPass *llvm::createMipsDelaySlotFillerPass(MipsTargetMachine &tm) {
123 return new Filler(tm);
124}
125
Akira Hatanaka6f818ab2011-10-05 01:23:39 +0000126bool Filler::findDelayInstr(MachineBasicBlock &MBB,
127 MachineBasicBlock::iterator slot,
128 MachineBasicBlock::iterator &Filler) {
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000129 SmallSet<unsigned, 32> RegDefs;
130 SmallSet<unsigned, 32> RegUses;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000131
Akira Hatanaka0f0c59a02011-10-05 02:04:17 +0000132 insertDefsUses(slot, RegDefs, RegUses);
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000133
Akira Hatanaka7d8e04d2011-10-05 01:57:46 +0000134 bool sawLoad = false;
135 bool sawStore = false;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000136
Akira Hatanaka7d8e04d2011-10-05 01:57:46 +0000137 for (MachineBasicBlock::reverse_iterator I(slot); I != MBB.rend(); ++I) {
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000138 // skip debug value
139 if (I->isDebugValue())
140 continue;
141
Akira Hatanaka7d8e04d2011-10-05 01:57:46 +0000142 // Convert to forward iterator.
NAKAMURA Takumi4cbc5a12011-10-05 10:11:02 +0000143 MachineBasicBlock::iterator FI(llvm::next(I).base());
Akira Hatanaka7d8e04d2011-10-05 01:57:46 +0000144
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000145 if (I->hasUnmodeledSideEffects()
146 || I->isInlineAsm()
147 || I->isLabel()
Akira Hatanaka7d8e04d2011-10-05 01:57:46 +0000148 || FI == LastFiller
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000149 || I->getDesc().isPseudo()
150 //
151 // Should not allow:
152 // ERET, DERET or WAIT, PAUSE. Need to add these to instruction
153 // list. TBD.
154 )
155 break;
156
Akira Hatanaka7d8e04d2011-10-05 01:57:46 +0000157 if (delayHasHazard(FI, sawLoad, sawStore, RegDefs, RegUses)) {
158 insertDefsUses(FI, RegDefs, RegUses);
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000159 continue;
160 }
161
Akira Hatanaka7d8e04d2011-10-05 01:57:46 +0000162 Filler = FI;
Akira Hatanaka6f818ab2011-10-05 01:23:39 +0000163 return true;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000164 }
Akira Hatanaka6f818ab2011-10-05 01:23:39 +0000165
166 return false;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000167}
168
169bool Filler::delayHasHazard(MachineBasicBlock::iterator candidate,
170 bool &sawLoad,
171 bool &sawStore,
172 SmallSet<unsigned, 32> &RegDefs,
173 SmallSet<unsigned, 32> &RegUses) {
174 if (candidate->isImplicitDef() || candidate->isKill())
175 return true;
176
Akira Hatanaka41a796e2011-10-05 18:16:09 +0000177 MCInstrDesc MCID = candidate->getDesc();
Akira Hatanakacfc3fb52011-10-05 01:09:37 +0000178 // Loads or stores cannot be moved past a store to the delay slot
179 // and stores cannot be moved past a load.
Akira Hatanaka41a796e2011-10-05 18:16:09 +0000180 if (MCID.mayLoad()) {
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000181 if (sawStore)
182 return true;
Akira Hatanakacfc3fb52011-10-05 01:09:37 +0000183 sawLoad = true;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000184 }
185
Akira Hatanaka41a796e2011-10-05 18:16:09 +0000186 if (MCID.mayStore()) {
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000187 if (sawStore)
188 return true;
189 sawStore = true;
190 if (sawLoad)
191 return true;
192 }
193
Akira Hatanaka41a796e2011-10-05 18:16:09 +0000194 assert((!MCID.isCall() && !MCID.isReturn()) &&
Akira Hatanaka42be2802011-10-05 18:17:49 +0000195 "Cannot put calls or returns in delay slot.");
Akira Hatanaka0c419a72011-10-05 02:18:58 +0000196
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000197 for (unsigned i = 0, e = candidate->getNumOperands(); i!= e; ++i) {
198 const MachineOperand &MO = candidate->getOperand(i);
Akira Hatanaka0c419a72011-10-05 02:18:58 +0000199 unsigned Reg;
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000200
Akira Hatanaka0c419a72011-10-05 02:18:58 +0000201 if (!MO.isReg() || !(Reg = MO.getReg()))
202 continue; // skip
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000203
204 if (MO.isDef()) {
205 // check whether Reg is defined or used before delay slot.
206 if (IsRegInSet(RegDefs, Reg) || IsRegInSet(RegUses, Reg))
207 return true;
208 }
209 if (MO.isUse()) {
210 // check whether Reg is defined before delay slot.
211 if (IsRegInSet(RegDefs, Reg))
212 return true;
213 }
214 }
215 return false;
216}
217
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000218// Insert Defs and Uses of MI into the sets RegDefs and RegUses.
219void Filler::insertDefsUses(MachineBasicBlock::iterator MI,
220 SmallSet<unsigned, 32>& RegDefs,
221 SmallSet<unsigned, 32>& RegUses) {
Akira Hatanaka0c419a72011-10-05 02:18:58 +0000222 // If MI is a call or return, just examine the explicit non-variadic operands.
Akira Hatanaka6e4e6482011-10-05 02:21:58 +0000223 MCInstrDesc MCID = MI->getDesc();
224 unsigned e = MCID.isCall() || MCID.isReturn() ? MCID.getNumOperands() :
225 MI->getNumOperands();
Akira Hatanaka2f523382011-10-05 18:11:44 +0000226
227 // Add RA to RegDefs to prevent users of RA from going into delay slot.
228 if (MCID.isCall())
229 RegDefs.insert(Mips::RA);
Akira Hatanaka0f0c59a02011-10-05 02:04:17 +0000230
231 for (unsigned i = 0; i != e; ++i) {
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000232 const MachineOperand &MO = MI->getOperand(i);
Akira Hatanaka0f0c59a02011-10-05 02:04:17 +0000233 unsigned Reg;
234
235 if (!MO.isReg() || !(Reg = MO.getReg()))
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000236 continue;
237
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000238 if (MO.isDef())
239 RegDefs.insert(Reg);
Akira Hatanaka0f0c59a02011-10-05 02:04:17 +0000240 else if (MO.isUse())
Akira Hatanakaa3defb02011-09-29 23:52:13 +0000241 RegUses.insert(Reg);
242 }
243}
244
245//returns true if the Reg or its alias is in the RegSet.
246bool Filler::IsRegInSet(SmallSet<unsigned, 32>& RegSet, unsigned Reg) {
247 if (RegSet.count(Reg))
248 return true;
249 // check Aliased Registers
250 for (const unsigned *Alias = TM.getRegisterInfo()->getAliasSet(Reg);
251 *Alias; ++Alias)
252 if (RegSet.count(*Alias))
253 return true;
254
255 return false;
256}