blob: f23ddc24eab74500cd116171106c8f469cf7f4de [file] [log] [blame]
Chris Lattner158e1f52006-02-05 05:50:24 +00001//===-- DelaySlotFiller.cpp - SPARC delay slot filler ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner158e1f52006-02-05 05:50:24 +00007//
8//===----------------------------------------------------------------------===//
9//
Venkatraman Govindaraju058e1242011-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.
Chris Lattner158e1f52006-02-05 05:50:24 +000013//===----------------------------------------------------------------------===//
14
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000015#define DEBUG_TYPE "delay-slot-filler"
Chris Lattner158e1f52006-02-05 05:50:24 +000016#include "Sparc.h"
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +000017#include "SparcSubtarget.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "llvm/ADT/SmallSet.h"
19#include "llvm/ADT/Statistic.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000020#include "llvm/CodeGen/MachineFunctionPass.h"
21#include "llvm/CodeGen/MachineInstrBuilder.h"
Venkatraman Govindaraju06532182014-01-11 19:38:03 +000022#include "llvm/CodeGen/MachineRegisterInfo.h"
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000023#include "llvm/Support/CommandLine.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000024#include "llvm/Target/TargetInstrInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000025#include "llvm/Target/TargetMachine.h"
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000026#include "llvm/Target/TargetRegisterInfo.h"
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000027
Chris Lattner158e1f52006-02-05 05:50:24 +000028using namespace llvm;
29
Chris Lattner1ef9cd42006-12-19 22:59:26 +000030STATISTIC(FilledSlots, "Number of delay slots filled");
Chris Lattner158e1f52006-02-05 05:50:24 +000031
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000032static cl::opt<bool> DisableDelaySlotFiller(
33 "disable-sparc-delay-filler",
34 cl::init(false),
35 cl::desc("Disable the Sparc delay slot filler."),
36 cl::Hidden);
37
Chris Lattner1ef9cd42006-12-19 22:59:26 +000038namespace {
Chris Lattner158e1f52006-02-05 05:50:24 +000039 struct Filler : public MachineFunctionPass {
40 /// Target machine description which we query for reg. names, data
41 /// layout, etc.
42 ///
43 TargetMachine &TM;
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +000044 const SparcSubtarget *Subtarget;
Chris Lattner158e1f52006-02-05 05:50:24 +000045
Devang Patel8c78a0b2007-05-03 01:11:54 +000046 static char ID;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +000047 Filler(TargetMachine &tm)
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +000048 : MachineFunctionPass(ID), TM(tm),
49 Subtarget(&TM.getSubtarget<SparcSubtarget>()) {
50 }
Chris Lattner158e1f52006-02-05 05:50:24 +000051
52 virtual const char *getPassName() const {
53 return "SPARC Delay Slot Filler";
54 }
55
56 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
57 bool runOnMachineFunction(MachineFunction &F) {
58 bool Changed = false;
Venkatraman Govindaraju06532182014-01-11 19:38:03 +000059
60 // This pass invalidates liveness information when it reorders
61 // instructions to fill delay slot.
62 F.getRegInfo().invalidateLiveness();
63
Chris Lattner158e1f52006-02-05 05:50:24 +000064 for (MachineFunction::iterator FI = F.begin(), FE = F.end();
65 FI != FE; ++FI)
66 Changed |= runOnMachineBasicBlock(*FI);
67 return Changed;
68 }
69
Venkatraman Govindaraju54bf6112013-05-16 23:53:29 +000070 void insertCallDefsUses(MachineBasicBlock::iterator MI,
71 SmallSet<unsigned, 32>& RegDefs,
72 SmallSet<unsigned, 32>& RegUses);
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000073
74 void insertDefsUses(MachineBasicBlock::iterator MI,
75 SmallSet<unsigned, 32>& RegDefs,
76 SmallSet<unsigned, 32>& RegUses);
77
78 bool IsRegInSet(SmallSet<unsigned, 32>& RegSet,
79 unsigned Reg);
80
81 bool delayHasHazard(MachineBasicBlock::iterator candidate,
82 bool &sawLoad, bool &sawStore,
83 SmallSet<unsigned, 32> &RegDefs,
84 SmallSet<unsigned, 32> &RegUses);
85
86 MachineBasicBlock::iterator
87 findDelayInstr(MachineBasicBlock &MBB, MachineBasicBlock::iterator slot);
88
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +000089 bool needsUnimp(MachineBasicBlock::iterator I, unsigned &StructSize);
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000090
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +000091 bool tryCombineRestoreWithPrevInst(MachineBasicBlock &MBB,
92 MachineBasicBlock::iterator MBBI);
93
Chris Lattner158e1f52006-02-05 05:50:24 +000094 };
Devang Patel8c78a0b2007-05-03 01:11:54 +000095 char Filler::ID = 0;
Chris Lattner158e1f52006-02-05 05:50:24 +000096} // end of anonymous namespace
97
98/// createSparcDelaySlotFillerPass - Returns a pass that fills in delay
99/// slots in Sparc MachineFunctions
100///
101FunctionPass *llvm::createSparcDelaySlotFillerPass(TargetMachine &tm) {
102 return new Filler(tm);
103}
104
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000105
Chris Lattner158e1f52006-02-05 05:50:24 +0000106/// runOnMachineBasicBlock - Fill in delay slots for the given basic block.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000107/// We assume there is only one delay slot per delayed instruction.
Chris Lattner158e1f52006-02-05 05:50:24 +0000108///
109bool Filler::runOnMachineBasicBlock(MachineBasicBlock &MBB) {
110 bool Changed = false;
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000111
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +0000112 const TargetInstrInfo *TII = TM.getInstrInfo();
113
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000114 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) {
115 MachineBasicBlock::iterator MI = I;
116 ++I;
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000117
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000118 // If MI is restore, try combining it with previous inst.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000119 if (!DisableDelaySlotFiller &&
120 (MI->getOpcode() == SP::RESTORErr
121 || MI->getOpcode() == SP::RESTOREri)) {
122 Changed |= tryCombineRestoreWithPrevInst(MBB, MI);
123 continue;
Chris Lattner158e1f52006-02-05 05:50:24 +0000124 }
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000125
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +0000126 if (!Subtarget->isV9() &&
127 (MI->getOpcode() == SP::FCMPS || MI->getOpcode() == SP::FCMPD
128 || MI->getOpcode() == SP::FCMPQ)) {
129 BuildMI(MBB, I, MI->getDebugLoc(), TII->get(SP::NOP));
130 Changed = true;
131 continue;
132 }
133
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000134 // If MI has no delay slot, skip.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000135 if (!MI->hasDelaySlot())
136 continue;
137
138 MachineBasicBlock::iterator D = MBB.end();
139
140 if (!DisableDelaySlotFiller)
141 D = findDelayInstr(MBB, MI);
142
143 ++FilledSlots;
144 Changed = true;
145
146 if (D == MBB.end())
147 BuildMI(MBB, I, MI->getDebugLoc(), TII->get(SP::NOP));
148 else
149 MBB.splice(I, &MBB, D);
150
151 unsigned structSize = 0;
152 if (needsUnimp(MI, structSize)) {
153 MachineBasicBlock::iterator J = MI;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000154 ++J; // skip the delay filler.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000155 assert (J != MBB.end() && "MI needs a delay instruction.");
Venkatraman Govindarajufdcc4982013-07-30 02:26:29 +0000156 BuildMI(MBB, ++J, MI->getDebugLoc(),
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000157 TII->get(SP::UNIMP)).addImm(structSize);
Venkatraman Govindaraju06532182014-01-11 19:38:03 +0000158 // Bundle the delay filler and unimp with the instruction.
159 MIBundleBuilder(MBB, MachineBasicBlock::iterator(MI), J);
160 } else {
161 MIBundleBuilder(MBB, MachineBasicBlock::iterator(MI), I);
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000162 }
163 }
Chris Lattner158e1f52006-02-05 05:50:24 +0000164 return Changed;
165}
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000166
167MachineBasicBlock::iterator
168Filler::findDelayInstr(MachineBasicBlock &MBB,
169 MachineBasicBlock::iterator slot)
170{
171 SmallSet<unsigned, 32> RegDefs;
172 SmallSet<unsigned, 32> RegUses;
173 bool sawLoad = false;
174 bool sawStore = false;
175
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000176 if (slot == MBB.begin())
177 return MBB.end();
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000178
Venkatraman Govindaraju8223c552013-10-08 02:50:29 +0000179 if (slot->getOpcode() == SP::RET || slot->getOpcode() == SP::TLS_CALL)
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000180 return MBB.end();
181
182 if (slot->getOpcode() == SP::RETL) {
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000183 MachineBasicBlock::iterator J = slot;
184 --J;
185
186 if (J->getOpcode() == SP::RESTORErr
187 || J->getOpcode() == SP::RESTOREri) {
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000188 // change retl to ret.
Bill Wendling6235c062013-06-07 20:35:25 +0000189 slot->setDesc(TM.getInstrInfo()->get(SP::RET));
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000190 return J;
191 }
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000192 }
193
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000194 // Call's delay filler can def some of call's uses.
Evan Cheng7f8e5632011-12-07 07:15:52 +0000195 if (slot->isCall())
Venkatraman Govindaraju54bf6112013-05-16 23:53:29 +0000196 insertCallDefsUses(slot, RegDefs, RegUses);
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000197 else
198 insertDefsUses(slot, RegDefs, RegUses);
199
200 bool done = false;
201
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000202 MachineBasicBlock::iterator I = slot;
203
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000204 while (!done) {
205 done = (I == MBB.begin());
206
207 if (!done)
208 --I;
209
210 // skip debug value
211 if (I->isDebugValue())
212 continue;
213
214
215 if (I->hasUnmodeledSideEffects()
216 || I->isInlineAsm()
217 || I->isLabel()
Evan Cheng7f8e5632011-12-07 07:15:52 +0000218 || I->hasDelaySlot()
Venkatraman Govindaraju06532182014-01-11 19:38:03 +0000219 || I->isBundledWithSucc())
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000220 break;
221
222 if (delayHasHazard(I, sawLoad, sawStore, RegDefs, RegUses)) {
223 insertDefsUses(I, RegDefs, RegUses);
224 continue;
225 }
226
227 return I;
228 }
229 return MBB.end();
230}
231
232bool Filler::delayHasHazard(MachineBasicBlock::iterator candidate,
233 bool &sawLoad,
234 bool &sawStore,
235 SmallSet<unsigned, 32> &RegDefs,
236 SmallSet<unsigned, 32> &RegUses)
237{
238
Venkatraman Govindaraju0c1f6532011-02-12 19:02:33 +0000239 if (candidate->isImplicitDef() || candidate->isKill())
240 return true;
241
Evan Cheng7f8e5632011-12-07 07:15:52 +0000242 if (candidate->mayLoad()) {
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000243 sawLoad = true;
244 if (sawStore)
245 return true;
246 }
247
Evan Cheng7f8e5632011-12-07 07:15:52 +0000248 if (candidate->mayStore()) {
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000249 if (sawStore)
250 return true;
251 sawStore = true;
252 if (sawLoad)
253 return true;
254 }
255
256 for (unsigned i = 0, e = candidate->getNumOperands(); i!= e; ++i) {
257 const MachineOperand &MO = candidate->getOperand(i);
258 if (!MO.isReg())
259 continue; // skip
260
261 unsigned Reg = MO.getReg();
262
263 if (MO.isDef()) {
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000264 // check whether Reg is defined or used before delay slot.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000265 if (IsRegInSet(RegDefs, Reg) || IsRegInSet(RegUses, Reg))
266 return true;
267 }
268 if (MO.isUse()) {
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000269 // check whether Reg is defined before delay slot.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000270 if (IsRegInSet(RegDefs, Reg))
271 return true;
272 }
273 }
274 return false;
275}
276
277
Venkatraman Govindaraju54bf6112013-05-16 23:53:29 +0000278void Filler::insertCallDefsUses(MachineBasicBlock::iterator MI,
279 SmallSet<unsigned, 32>& RegDefs,
280 SmallSet<unsigned, 32>& RegUses)
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000281{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000282 // Call defines o7, which is visible to the instruction in delay slot.
Venkatraman Govindaraju54bf6112013-05-16 23:53:29 +0000283 RegDefs.insert(SP::O7);
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000284
285 switch(MI->getOpcode()) {
286 default: llvm_unreachable("Unknown opcode.");
287 case SP::CALL: break;
Venkatraman Govindaraju0d288d32014-01-10 01:48:17 +0000288 case SP::CALLrr:
289 case SP::CALLri:
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000290 assert(MI->getNumOperands() >= 2);
291 const MachineOperand &Reg = MI->getOperand(0);
Venkatraman Govindaraju0d288d32014-01-10 01:48:17 +0000292 assert(Reg.isReg() && "CALL first operand is not a register.");
293 assert(Reg.isUse() && "CALL first operand is not a use.");
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000294 RegUses.insert(Reg.getReg());
295
296 const MachineOperand &RegOrImm = MI->getOperand(1);
297 if (RegOrImm.isImm())
298 break;
Venkatraman Govindaraju0d288d32014-01-10 01:48:17 +0000299 assert(RegOrImm.isReg() && "CALLrr second operand is not a register.");
300 assert(RegOrImm.isUse() && "CALLrr second operand is not a use.");
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000301 RegUses.insert(RegOrImm.getReg());
302 break;
303 }
304}
305
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000306// Insert Defs and Uses of MI into the sets RegDefs and RegUses.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000307void Filler::insertDefsUses(MachineBasicBlock::iterator MI,
308 SmallSet<unsigned, 32>& RegDefs,
309 SmallSet<unsigned, 32>& RegUses)
310{
311 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
312 const MachineOperand &MO = MI->getOperand(i);
313 if (!MO.isReg())
314 continue;
315
316 unsigned Reg = MO.getReg();
317 if (Reg == 0)
318 continue;
319 if (MO.isDef())
320 RegDefs.insert(Reg);
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000321 if (MO.isUse()) {
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000322 // Implicit register uses of retl are return values and
323 // retl does not use them.
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000324 if (MO.isImplicit() && MI->getOpcode() == SP::RETL)
325 continue;
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000326 RegUses.insert(Reg);
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000327 }
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000328 }
329}
330
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000331// returns true if the Reg or its alias is in the RegSet.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000332bool Filler::IsRegInSet(SmallSet<unsigned, 32>& RegSet, unsigned Reg)
333{
Jakob Stoklund Olesen92a00832012-06-01 20:36:54 +0000334 // Check Reg and all aliased Registers.
335 for (MCRegAliasIterator AI(Reg, TM.getRegisterInfo(), true);
336 AI.isValid(); ++AI)
337 if (RegSet.count(*AI))
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000338 return true;
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000339 return false;
340}
341
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000342bool Filler::needsUnimp(MachineBasicBlock::iterator I, unsigned &StructSize)
343{
Evan Cheng7f8e5632011-12-07 07:15:52 +0000344 if (!I->isCall())
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000345 return false;
346
347 unsigned structSizeOpNum = 0;
348 switch (I->getOpcode()) {
349 default: llvm_unreachable("Unknown call opcode.");
350 case SP::CALL: structSizeOpNum = 1; break;
Venkatraman Govindaraju0d288d32014-01-10 01:48:17 +0000351 case SP::CALLrr:
352 case SP::CALLri: structSizeOpNum = 2; break;
Venkatraman Govindaraju8223c552013-10-08 02:50:29 +0000353 case SP::TLS_CALL: return false;
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000354 }
355
356 const MachineOperand &MO = I->getOperand(structSizeOpNum);
357 if (!MO.isImm())
358 return false;
359 StructSize = MO.getImm();
360 return true;
361}
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000362
363static bool combineRestoreADD(MachineBasicBlock::iterator RestoreMI,
364 MachineBasicBlock::iterator AddMI,
365 const TargetInstrInfo *TII)
366{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000367 // Before: add <op0>, <op1>, %i[0-7]
368 // restore %g0, %g0, %i[0-7]
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000369 //
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000370 // After : restore <op0>, <op1>, %o[0-7]
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000371
372 unsigned reg = AddMI->getOperand(0).getReg();
373 if (reg < SP::I0 || reg > SP::I7)
374 return false;
375
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000376 // Erase RESTORE.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000377 RestoreMI->eraseFromParent();
378
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000379 // Change ADD to RESTORE.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000380 AddMI->setDesc(TII->get((AddMI->getOpcode() == SP::ADDrr)
381 ? SP::RESTORErr
382 : SP::RESTOREri));
383
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000384 // Map the destination register.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000385 AddMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
386
387 return true;
388}
389
390static bool combineRestoreOR(MachineBasicBlock::iterator RestoreMI,
391 MachineBasicBlock::iterator OrMI,
392 const TargetInstrInfo *TII)
393{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000394 // Before: or <op0>, <op1>, %i[0-7]
395 // restore %g0, %g0, %i[0-7]
396 // and <op0> or <op1> is zero,
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000397 //
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000398 // After : restore <op0>, <op1>, %o[0-7]
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000399
400 unsigned reg = OrMI->getOperand(0).getReg();
401 if (reg < SP::I0 || reg > SP::I7)
402 return false;
403
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000404 // check whether it is a copy.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000405 if (OrMI->getOpcode() == SP::ORrr
406 && OrMI->getOperand(1).getReg() != SP::G0
407 && OrMI->getOperand(2).getReg() != SP::G0)
408 return false;
409
410 if (OrMI->getOpcode() == SP::ORri
411 && OrMI->getOperand(1).getReg() != SP::G0
412 && (!OrMI->getOperand(2).isImm() || OrMI->getOperand(2).getImm() != 0))
413 return false;
414
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000415 // Erase RESTORE.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000416 RestoreMI->eraseFromParent();
417
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000418 // Change OR to RESTORE.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000419 OrMI->setDesc(TII->get((OrMI->getOpcode() == SP::ORrr)
420 ? SP::RESTORErr
421 : SP::RESTOREri));
422
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000423 // Map the destination register.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000424 OrMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
425
426 return true;
427}
428
429static bool combineRestoreSETHIi(MachineBasicBlock::iterator RestoreMI,
430 MachineBasicBlock::iterator SetHiMI,
431 const TargetInstrInfo *TII)
432{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000433 // Before: sethi imm3, %i[0-7]
434 // restore %g0, %g0, %g0
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000435 //
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000436 // After : restore %g0, (imm3<<10), %o[0-7]
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000437
438 unsigned reg = SetHiMI->getOperand(0).getReg();
439 if (reg < SP::I0 || reg > SP::I7)
440 return false;
441
442 if (!SetHiMI->getOperand(1).isImm())
443 return false;
444
445 int64_t imm = SetHiMI->getOperand(1).getImm();
446
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000447 // Is it a 3 bit immediate?
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000448 if (!isInt<3>(imm))
449 return false;
450
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000451 // Make it a 13 bit immediate.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000452 imm = (imm << 10) & 0x1FFF;
453
454 assert(RestoreMI->getOpcode() == SP::RESTORErr);
455
456 RestoreMI->setDesc(TII->get(SP::RESTOREri));
457
458 RestoreMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
459 RestoreMI->getOperand(1).setReg(SP::G0);
460 RestoreMI->getOperand(2).ChangeToImmediate(imm);
461
462
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000463 // Erase the original SETHI.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000464 SetHiMI->eraseFromParent();
465
466 return true;
467}
468
469bool Filler::tryCombineRestoreWithPrevInst(MachineBasicBlock &MBB,
470 MachineBasicBlock::iterator MBBI)
471{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000472 // No previous instruction.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000473 if (MBBI == MBB.begin())
474 return false;
475
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000476 // assert that MBBI is a "restore %g0, %g0, %g0".
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000477 assert(MBBI->getOpcode() == SP::RESTORErr
478 && MBBI->getOperand(0).getReg() == SP::G0
479 && MBBI->getOperand(1).getReg() == SP::G0
480 && MBBI->getOperand(2).getReg() == SP::G0);
481
Venkatraman Govindaraju06532182014-01-11 19:38:03 +0000482 MachineBasicBlock::iterator PrevInst = llvm::prior(MBBI);
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000483
Venkatraman Govindaraju06532182014-01-11 19:38:03 +0000484 // It cannot be combined with a bundled instruction.
485 if (PrevInst->isBundledWithSucc())
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000486 return false;
487
Bill Wendling6235c062013-06-07 20:35:25 +0000488 const TargetInstrInfo *TII = TM.getInstrInfo();
489
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000490 switch (PrevInst->getOpcode()) {
491 default: break;
492 case SP::ADDrr:
493 case SP::ADDri: return combineRestoreADD(MBBI, PrevInst, TII); break;
494 case SP::ORrr:
495 case SP::ORri: return combineRestoreOR(MBBI, PrevInst, TII); break;
496 case SP::SETHIi: return combineRestoreSETHIi(MBBI, PrevInst, TII); break;
497 }
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000498 // It cannot combine with the previous instruction.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000499 return false;
500}