blob: 7a8284335997d555bc9406d9b9bca5979d9747b4 [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
15#include "Sparc.h"
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +000016#include "SparcSubtarget.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/SmallSet.h"
18#include "llvm/ADT/Statistic.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000019#include "llvm/CodeGen/MachineFunctionPass.h"
20#include "llvm/CodeGen/MachineInstrBuilder.h"
Venkatraman Govindaraju06532182014-01-11 19:38:03 +000021#include "llvm/CodeGen/MachineRegisterInfo.h"
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000022#include "llvm/Support/CommandLine.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000023#include "llvm/Target/TargetInstrInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000024#include "llvm/Target/TargetMachine.h"
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000025#include "llvm/Target/TargetRegisterInfo.h"
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000026
Chris Lattner158e1f52006-02-05 05:50:24 +000027using namespace llvm;
28
Chandler Carruth84e68b22014-04-22 02:41:26 +000029#define DEBUG_TYPE "delay-slot-filler"
30
Chris Lattner1ef9cd42006-12-19 22:59:26 +000031STATISTIC(FilledSlots, "Number of delay slots filled");
Chris Lattner158e1f52006-02-05 05:50:24 +000032
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000033static cl::opt<bool> DisableDelaySlotFiller(
34 "disable-sparc-delay-filler",
35 cl::init(false),
36 cl::desc("Disable the Sparc delay slot filler."),
37 cl::Hidden);
38
Chris Lattner1ef9cd42006-12-19 22:59:26 +000039namespace {
Chris Lattner158e1f52006-02-05 05:50:24 +000040 struct Filler : public MachineFunctionPass {
41 /// Target machine description which we query for reg. names, data
42 /// layout, etc.
43 ///
44 TargetMachine &TM;
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +000045 const SparcSubtarget *Subtarget;
Chris Lattner158e1f52006-02-05 05:50:24 +000046
Devang Patel8c78a0b2007-05-03 01:11:54 +000047 static char ID;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +000048 Filler(TargetMachine &tm)
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +000049 : MachineFunctionPass(ID), TM(tm),
50 Subtarget(&TM.getSubtarget<SparcSubtarget>()) {
51 }
Chris Lattner158e1f52006-02-05 05:50:24 +000052
53 virtual const char *getPassName() const {
54 return "SPARC Delay Slot Filler";
55 }
56
57 bool runOnMachineBasicBlock(MachineBasicBlock &MBB);
58 bool runOnMachineFunction(MachineFunction &F) {
59 bool Changed = false;
Venkatraman Govindaraju06532182014-01-11 19:38:03 +000060
61 // This pass invalidates liveness information when it reorders
62 // instructions to fill delay slot.
63 F.getRegInfo().invalidateLiveness();
64
Chris Lattner158e1f52006-02-05 05:50:24 +000065 for (MachineFunction::iterator FI = F.begin(), FE = F.end();
66 FI != FE; ++FI)
67 Changed |= runOnMachineBasicBlock(*FI);
68 return Changed;
69 }
70
Venkatraman Govindaraju54bf6112013-05-16 23:53:29 +000071 void insertCallDefsUses(MachineBasicBlock::iterator MI,
72 SmallSet<unsigned, 32>& RegDefs,
73 SmallSet<unsigned, 32>& RegUses);
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000074
75 void insertDefsUses(MachineBasicBlock::iterator MI,
76 SmallSet<unsigned, 32>& RegDefs,
77 SmallSet<unsigned, 32>& RegUses);
78
79 bool IsRegInSet(SmallSet<unsigned, 32>& RegSet,
80 unsigned Reg);
81
82 bool delayHasHazard(MachineBasicBlock::iterator candidate,
83 bool &sawLoad, bool &sawStore,
84 SmallSet<unsigned, 32> &RegDefs,
85 SmallSet<unsigned, 32> &RegUses);
86
87 MachineBasicBlock::iterator
88 findDelayInstr(MachineBasicBlock &MBB, MachineBasicBlock::iterator slot);
89
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +000090 bool needsUnimp(MachineBasicBlock::iterator I, unsigned &StructSize);
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +000091
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +000092 bool tryCombineRestoreWithPrevInst(MachineBasicBlock &MBB,
93 MachineBasicBlock::iterator MBBI);
94
Chris Lattner158e1f52006-02-05 05:50:24 +000095 };
Devang Patel8c78a0b2007-05-03 01:11:54 +000096 char Filler::ID = 0;
Chris Lattner158e1f52006-02-05 05:50:24 +000097} // end of anonymous namespace
98
99/// createSparcDelaySlotFillerPass - Returns a pass that fills in delay
100/// slots in Sparc MachineFunctions
101///
102FunctionPass *llvm::createSparcDelaySlotFillerPass(TargetMachine &tm) {
103 return new Filler(tm);
104}
105
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000106
Chris Lattner158e1f52006-02-05 05:50:24 +0000107/// runOnMachineBasicBlock - Fill in delay slots for the given basic block.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000108/// We assume there is only one delay slot per delayed instruction.
Chris Lattner158e1f52006-02-05 05:50:24 +0000109///
110bool Filler::runOnMachineBasicBlock(MachineBasicBlock &MBB) {
111 bool Changed = false;
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000112
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +0000113 const TargetInstrInfo *TII = TM.getInstrInfo();
114
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000115 for (MachineBasicBlock::iterator I = MBB.begin(); I != MBB.end(); ) {
116 MachineBasicBlock::iterator MI = I;
117 ++I;
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000118
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000119 // If MI is restore, try combining it with previous inst.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000120 if (!DisableDelaySlotFiller &&
121 (MI->getOpcode() == SP::RESTORErr
122 || MI->getOpcode() == SP::RESTOREri)) {
123 Changed |= tryCombineRestoreWithPrevInst(MBB, MI);
124 continue;
Chris Lattner158e1f52006-02-05 05:50:24 +0000125 }
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000126
Venkatraman Govindarajuf482d3d2013-10-06 07:06:44 +0000127 if (!Subtarget->isV9() &&
128 (MI->getOpcode() == SP::FCMPS || MI->getOpcode() == SP::FCMPD
129 || MI->getOpcode() == SP::FCMPQ)) {
130 BuildMI(MBB, I, MI->getDebugLoc(), TII->get(SP::NOP));
131 Changed = true;
132 continue;
133 }
134
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000135 // If MI has no delay slot, skip.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000136 if (!MI->hasDelaySlot())
137 continue;
138
139 MachineBasicBlock::iterator D = MBB.end();
140
141 if (!DisableDelaySlotFiller)
142 D = findDelayInstr(MBB, MI);
143
144 ++FilledSlots;
145 Changed = true;
146
147 if (D == MBB.end())
148 BuildMI(MBB, I, MI->getDebugLoc(), TII->get(SP::NOP));
149 else
150 MBB.splice(I, &MBB, D);
151
152 unsigned structSize = 0;
153 if (needsUnimp(MI, structSize)) {
154 MachineBasicBlock::iterator J = MI;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000155 ++J; // skip the delay filler.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000156 assert (J != MBB.end() && "MI needs a delay instruction.");
Venkatraman Govindarajufdcc4982013-07-30 02:26:29 +0000157 BuildMI(MBB, ++J, MI->getDebugLoc(),
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000158 TII->get(SP::UNIMP)).addImm(structSize);
Venkatraman Govindaraju06532182014-01-11 19:38:03 +0000159 // Bundle the delay filler and unimp with the instruction.
160 MIBundleBuilder(MBB, MachineBasicBlock::iterator(MI), J);
161 } else {
162 MIBundleBuilder(MBB, MachineBasicBlock::iterator(MI), I);
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000163 }
164 }
Chris Lattner158e1f52006-02-05 05:50:24 +0000165 return Changed;
166}
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000167
168MachineBasicBlock::iterator
169Filler::findDelayInstr(MachineBasicBlock &MBB,
170 MachineBasicBlock::iterator slot)
171{
172 SmallSet<unsigned, 32> RegDefs;
173 SmallSet<unsigned, 32> RegUses;
174 bool sawLoad = false;
175 bool sawStore = false;
176
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000177 if (slot == MBB.begin())
178 return MBB.end();
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000179
Venkatraman Govindaraju8223c552013-10-08 02:50:29 +0000180 if (slot->getOpcode() == SP::RET || slot->getOpcode() == SP::TLS_CALL)
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000181 return MBB.end();
182
183 if (slot->getOpcode() == SP::RETL) {
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000184 MachineBasicBlock::iterator J = slot;
185 --J;
186
187 if (J->getOpcode() == SP::RESTORErr
188 || J->getOpcode() == SP::RESTOREri) {
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000189 // change retl to ret.
Bill Wendling6235c062013-06-07 20:35:25 +0000190 slot->setDesc(TM.getInstrInfo()->get(SP::RET));
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000191 return J;
192 }
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000193 }
194
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000195 // Call's delay filler can def some of call's uses.
Evan Cheng7f8e5632011-12-07 07:15:52 +0000196 if (slot->isCall())
Venkatraman Govindaraju54bf6112013-05-16 23:53:29 +0000197 insertCallDefsUses(slot, RegDefs, RegUses);
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000198 else
199 insertDefsUses(slot, RegDefs, RegUses);
200
201 bool done = false;
202
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000203 MachineBasicBlock::iterator I = slot;
204
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000205 while (!done) {
206 done = (I == MBB.begin());
207
208 if (!done)
209 --I;
210
211 // skip debug value
212 if (I->isDebugValue())
213 continue;
214
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000215 if (I->hasUnmodeledSideEffects() || I->isInlineAsm() || I->isPosition() ||
216 I->hasDelaySlot() || I->isBundledWithSucc())
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000217 break;
218
219 if (delayHasHazard(I, sawLoad, sawStore, RegDefs, RegUses)) {
220 insertDefsUses(I, RegDefs, RegUses);
221 continue;
222 }
223
224 return I;
225 }
226 return MBB.end();
227}
228
229bool Filler::delayHasHazard(MachineBasicBlock::iterator candidate,
230 bool &sawLoad,
231 bool &sawStore,
232 SmallSet<unsigned, 32> &RegDefs,
233 SmallSet<unsigned, 32> &RegUses)
234{
235
Venkatraman Govindaraju0c1f6532011-02-12 19:02:33 +0000236 if (candidate->isImplicitDef() || candidate->isKill())
237 return true;
238
Evan Cheng7f8e5632011-12-07 07:15:52 +0000239 if (candidate->mayLoad()) {
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000240 sawLoad = true;
241 if (sawStore)
242 return true;
243 }
244
Evan Cheng7f8e5632011-12-07 07:15:52 +0000245 if (candidate->mayStore()) {
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000246 if (sawStore)
247 return true;
248 sawStore = true;
249 if (sawLoad)
250 return true;
251 }
252
253 for (unsigned i = 0, e = candidate->getNumOperands(); i!= e; ++i) {
254 const MachineOperand &MO = candidate->getOperand(i);
255 if (!MO.isReg())
256 continue; // skip
257
258 unsigned Reg = MO.getReg();
259
260 if (MO.isDef()) {
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000261 // check whether Reg is defined or used before delay slot.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000262 if (IsRegInSet(RegDefs, Reg) || IsRegInSet(RegUses, Reg))
263 return true;
264 }
265 if (MO.isUse()) {
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000266 // check whether Reg is defined before delay slot.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000267 if (IsRegInSet(RegDefs, Reg))
268 return true;
269 }
270 }
271 return false;
272}
273
274
Venkatraman Govindaraju54bf6112013-05-16 23:53:29 +0000275void Filler::insertCallDefsUses(MachineBasicBlock::iterator MI,
276 SmallSet<unsigned, 32>& RegDefs,
277 SmallSet<unsigned, 32>& RegUses)
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000278{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000279 // Call defines o7, which is visible to the instruction in delay slot.
Venkatraman Govindaraju54bf6112013-05-16 23:53:29 +0000280 RegDefs.insert(SP::O7);
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000281
282 switch(MI->getOpcode()) {
283 default: llvm_unreachable("Unknown opcode.");
284 case SP::CALL: break;
Venkatraman Govindaraju0d288d32014-01-10 01:48:17 +0000285 case SP::CALLrr:
286 case SP::CALLri:
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000287 assert(MI->getNumOperands() >= 2);
288 const MachineOperand &Reg = MI->getOperand(0);
Venkatraman Govindaraju0d288d32014-01-10 01:48:17 +0000289 assert(Reg.isReg() && "CALL first operand is not a register.");
290 assert(Reg.isUse() && "CALL first operand is not a use.");
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000291 RegUses.insert(Reg.getReg());
292
293 const MachineOperand &RegOrImm = MI->getOperand(1);
294 if (RegOrImm.isImm())
295 break;
Venkatraman Govindaraju0d288d32014-01-10 01:48:17 +0000296 assert(RegOrImm.isReg() && "CALLrr second operand is not a register.");
297 assert(RegOrImm.isUse() && "CALLrr second operand is not a use.");
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000298 RegUses.insert(RegOrImm.getReg());
299 break;
300 }
301}
302
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000303// Insert Defs and Uses of MI into the sets RegDefs and RegUses.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000304void Filler::insertDefsUses(MachineBasicBlock::iterator MI,
305 SmallSet<unsigned, 32>& RegDefs,
306 SmallSet<unsigned, 32>& RegUses)
307{
308 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
309 const MachineOperand &MO = MI->getOperand(i);
310 if (!MO.isReg())
311 continue;
312
313 unsigned Reg = MO.getReg();
314 if (Reg == 0)
315 continue;
316 if (MO.isDef())
317 RegDefs.insert(Reg);
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000318 if (MO.isUse()) {
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000319 // Implicit register uses of retl are return values and
320 // retl does not use them.
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000321 if (MO.isImplicit() && MI->getOpcode() == SP::RETL)
322 continue;
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000323 RegUses.insert(Reg);
Venkatraman Govindarajuca0fe2f52013-05-29 04:46:31 +0000324 }
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000325 }
326}
327
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000328// returns true if the Reg or its alias is in the RegSet.
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000329bool Filler::IsRegInSet(SmallSet<unsigned, 32>& RegSet, unsigned Reg)
330{
Jakob Stoklund Olesen92a00832012-06-01 20:36:54 +0000331 // Check Reg and all aliased Registers.
332 for (MCRegAliasIterator AI(Reg, TM.getRegisterInfo(), true);
333 AI.isValid(); ++AI)
334 if (RegSet.count(*AI))
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000335 return true;
Venkatraman Govindaraju058e1242011-01-20 05:08:26 +0000336 return false;
337}
338
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000339bool Filler::needsUnimp(MachineBasicBlock::iterator I, unsigned &StructSize)
340{
Evan Cheng7f8e5632011-12-07 07:15:52 +0000341 if (!I->isCall())
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000342 return false;
343
344 unsigned structSizeOpNum = 0;
345 switch (I->getOpcode()) {
346 default: llvm_unreachable("Unknown call opcode.");
347 case SP::CALL: structSizeOpNum = 1; break;
Venkatraman Govindaraju0d288d32014-01-10 01:48:17 +0000348 case SP::CALLrr:
349 case SP::CALLri: structSizeOpNum = 2; break;
Venkatraman Govindaraju8223c552013-10-08 02:50:29 +0000350 case SP::TLS_CALL: return false;
Venkatraman Govindarajua82203f2011-02-21 03:42:44 +0000351 }
352
353 const MachineOperand &MO = I->getOperand(structSizeOpNum);
354 if (!MO.isImm())
355 return false;
356 StructSize = MO.getImm();
357 return true;
358}
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000359
360static bool combineRestoreADD(MachineBasicBlock::iterator RestoreMI,
361 MachineBasicBlock::iterator AddMI,
362 const TargetInstrInfo *TII)
363{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000364 // Before: add <op0>, <op1>, %i[0-7]
365 // restore %g0, %g0, %i[0-7]
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000366 //
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000367 // After : restore <op0>, <op1>, %o[0-7]
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000368
369 unsigned reg = AddMI->getOperand(0).getReg();
370 if (reg < SP::I0 || reg > SP::I7)
371 return false;
372
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000373 // Erase RESTORE.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000374 RestoreMI->eraseFromParent();
375
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000376 // Change ADD to RESTORE.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000377 AddMI->setDesc(TII->get((AddMI->getOpcode() == SP::ADDrr)
378 ? SP::RESTORErr
379 : SP::RESTOREri));
380
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000381 // Map the destination register.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000382 AddMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
383
384 return true;
385}
386
387static bool combineRestoreOR(MachineBasicBlock::iterator RestoreMI,
388 MachineBasicBlock::iterator OrMI,
389 const TargetInstrInfo *TII)
390{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000391 // Before: or <op0>, <op1>, %i[0-7]
392 // restore %g0, %g0, %i[0-7]
393 // and <op0> or <op1> is zero,
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000394 //
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000395 // After : restore <op0>, <op1>, %o[0-7]
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000396
397 unsigned reg = OrMI->getOperand(0).getReg();
398 if (reg < SP::I0 || reg > SP::I7)
399 return false;
400
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000401 // check whether it is a copy.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000402 if (OrMI->getOpcode() == SP::ORrr
403 && OrMI->getOperand(1).getReg() != SP::G0
404 && OrMI->getOperand(2).getReg() != SP::G0)
405 return false;
406
407 if (OrMI->getOpcode() == SP::ORri
408 && OrMI->getOperand(1).getReg() != SP::G0
409 && (!OrMI->getOperand(2).isImm() || OrMI->getOperand(2).getImm() != 0))
410 return false;
411
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000412 // Erase RESTORE.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000413 RestoreMI->eraseFromParent();
414
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000415 // Change OR to RESTORE.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000416 OrMI->setDesc(TII->get((OrMI->getOpcode() == SP::ORrr)
417 ? SP::RESTORErr
418 : SP::RESTOREri));
419
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000420 // Map the destination register.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000421 OrMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
422
423 return true;
424}
425
426static bool combineRestoreSETHIi(MachineBasicBlock::iterator RestoreMI,
427 MachineBasicBlock::iterator SetHiMI,
428 const TargetInstrInfo *TII)
429{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000430 // Before: sethi imm3, %i[0-7]
431 // restore %g0, %g0, %g0
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000432 //
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000433 // After : restore %g0, (imm3<<10), %o[0-7]
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000434
435 unsigned reg = SetHiMI->getOperand(0).getReg();
436 if (reg < SP::I0 || reg > SP::I7)
437 return false;
438
439 if (!SetHiMI->getOperand(1).isImm())
440 return false;
441
442 int64_t imm = SetHiMI->getOperand(1).getImm();
443
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000444 // Is it a 3 bit immediate?
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000445 if (!isInt<3>(imm))
446 return false;
447
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000448 // Make it a 13 bit immediate.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000449 imm = (imm << 10) & 0x1FFF;
450
451 assert(RestoreMI->getOpcode() == SP::RESTORErr);
452
453 RestoreMI->setDesc(TII->get(SP::RESTOREri));
454
455 RestoreMI->getOperand(0).setReg(reg - SP::I0 + SP::O0);
456 RestoreMI->getOperand(1).setReg(SP::G0);
457 RestoreMI->getOperand(2).ChangeToImmediate(imm);
458
459
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000460 // Erase the original SETHI.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000461 SetHiMI->eraseFromParent();
462
463 return true;
464}
465
466bool Filler::tryCombineRestoreWithPrevInst(MachineBasicBlock &MBB,
467 MachineBasicBlock::iterator MBBI)
468{
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000469 // No previous instruction.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000470 if (MBBI == MBB.begin())
471 return false;
472
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000473 // assert that MBBI is a "restore %g0, %g0, %g0".
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000474 assert(MBBI->getOpcode() == SP::RESTORErr
475 && MBBI->getOperand(0).getReg() == SP::G0
476 && MBBI->getOperand(1).getReg() == SP::G0
477 && MBBI->getOperand(2).getReg() == SP::G0);
478
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000479 MachineBasicBlock::iterator PrevInst = std::prev(MBBI);
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000480
Venkatraman Govindaraju06532182014-01-11 19:38:03 +0000481 // It cannot be combined with a bundled instruction.
482 if (PrevInst->isBundledWithSucc())
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000483 return false;
484
Bill Wendling6235c062013-06-07 20:35:25 +0000485 const TargetInstrInfo *TII = TM.getInstrInfo();
486
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000487 switch (PrevInst->getOpcode()) {
488 default: break;
489 case SP::ADDrr:
490 case SP::ADDri: return combineRestoreADD(MBBI, PrevInst, TII); break;
491 case SP::ORrr:
492 case SP::ORri: return combineRestoreOR(MBBI, PrevInst, TII); break;
493 case SP::SETHIi: return combineRestoreSETHIi(MBBI, PrevInst, TII); break;
494 }
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000495 // It cannot combine with the previous instruction.
Venkatraman Govindaraju0bbe1b22013-06-02 21:48:17 +0000496 return false;
497}