blob: 53a94a0c94682cfa07f20f30c5261f065d957750 [file] [log] [blame]
Ulrich Weigand5f613df2013-05-06 16:15:19 +00001//===-- SystemZInstrInfo.cpp - SystemZ instruction information ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the SystemZ implementation of the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "SystemZInstrInfo.h"
Richard Sandifordff6c5a52013-07-19 16:12:08 +000015#include "SystemZTargetMachine.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000016#include "SystemZInstrBuilder.h"
Richard Sandifordff6c5a52013-07-19 16:12:08 +000017#include "llvm/CodeGen/LiveVariables.h"
Richard Sandifordf6bae1e2013-07-02 15:28:56 +000018#include "llvm/CodeGen/MachineRegisterInfo.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000019
20#define GET_INSTRINFO_CTOR
21#define GET_INSTRMAP_INFO
22#include "SystemZGenInstrInfo.inc"
23
24using namespace llvm;
25
26SystemZInstrInfo::SystemZInstrInfo(SystemZTargetMachine &tm)
27 : SystemZGenInstrInfo(SystemZ::ADJCALLSTACKDOWN, SystemZ::ADJCALLSTACKUP),
Richard Sandifordff6c5a52013-07-19 16:12:08 +000028 RI(tm), TM(tm) {
Ulrich Weigand5f613df2013-05-06 16:15:19 +000029}
30
31// MI is a 128-bit load or store. Split it into two 64-bit loads or stores,
32// each having the opcode given by NewOpcode.
33void SystemZInstrInfo::splitMove(MachineBasicBlock::iterator MI,
34 unsigned NewOpcode) const {
35 MachineBasicBlock *MBB = MI->getParent();
36 MachineFunction &MF = *MBB->getParent();
37
38 // Get two load or store instructions. Use the original instruction for one
39 // of them (arbitarily the second here) and create a clone for the other.
40 MachineInstr *EarlierMI = MF.CloneMachineInstr(MI);
41 MBB->insert(MI, EarlierMI);
42
43 // Set up the two 64-bit registers.
44 MachineOperand &HighRegOp = EarlierMI->getOperand(0);
45 MachineOperand &LowRegOp = MI->getOperand(0);
46 HighRegOp.setReg(RI.getSubReg(HighRegOp.getReg(), SystemZ::subreg_high));
47 LowRegOp.setReg(RI.getSubReg(LowRegOp.getReg(), SystemZ::subreg_low));
48
49 // The address in the first (high) instruction is already correct.
50 // Adjust the offset in the second (low) instruction.
51 MachineOperand &HighOffsetOp = EarlierMI->getOperand(2);
52 MachineOperand &LowOffsetOp = MI->getOperand(2);
53 LowOffsetOp.setImm(LowOffsetOp.getImm() + 8);
54
55 // Set the opcodes.
56 unsigned HighOpcode = getOpcodeForOffset(NewOpcode, HighOffsetOp.getImm());
57 unsigned LowOpcode = getOpcodeForOffset(NewOpcode, LowOffsetOp.getImm());
58 assert(HighOpcode && LowOpcode && "Both offsets should be in range");
59
60 EarlierMI->setDesc(get(HighOpcode));
61 MI->setDesc(get(LowOpcode));
62}
63
64// Split ADJDYNALLOC instruction MI.
65void SystemZInstrInfo::splitAdjDynAlloc(MachineBasicBlock::iterator MI) const {
66 MachineBasicBlock *MBB = MI->getParent();
67 MachineFunction &MF = *MBB->getParent();
68 MachineFrameInfo *MFFrame = MF.getFrameInfo();
69 MachineOperand &OffsetMO = MI->getOperand(2);
70
71 uint64_t Offset = (MFFrame->getMaxCallFrameSize() +
72 SystemZMC::CallFrameSize +
73 OffsetMO.getImm());
74 unsigned NewOpcode = getOpcodeForOffset(SystemZ::LA, Offset);
75 assert(NewOpcode && "No support for huge argument lists yet");
76 MI->setDesc(get(NewOpcode));
77 OffsetMO.setImm(Offset);
78}
79
80// If MI is a simple load or store for a frame object, return the register
81// it loads or stores and set FrameIndex to the index of the frame object.
82// Return 0 otherwise.
83//
84// Flag is SimpleBDXLoad for loads and SimpleBDXStore for stores.
Richard Sandifordf6bae1e2013-07-02 15:28:56 +000085static int isSimpleMove(const MachineInstr *MI, int &FrameIndex,
86 unsigned Flag) {
Ulrich Weigand5f613df2013-05-06 16:15:19 +000087 const MCInstrDesc &MCID = MI->getDesc();
88 if ((MCID.TSFlags & Flag) &&
89 MI->getOperand(1).isFI() &&
90 MI->getOperand(2).getImm() == 0 &&
91 MI->getOperand(3).getReg() == 0) {
92 FrameIndex = MI->getOperand(1).getIndex();
93 return MI->getOperand(0).getReg();
94 }
95 return 0;
96}
97
98unsigned SystemZInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
99 int &FrameIndex) const {
100 return isSimpleMove(MI, FrameIndex, SystemZII::SimpleBDXLoad);
101}
102
103unsigned SystemZInstrInfo::isStoreToStackSlot(const MachineInstr *MI,
104 int &FrameIndex) const {
105 return isSimpleMove(MI, FrameIndex, SystemZII::SimpleBDXStore);
106}
107
Richard Sandifordc40f27b2013-07-05 14:38:48 +0000108bool SystemZInstrInfo::isStackSlotCopy(const MachineInstr *MI,
109 int &DestFrameIndex,
110 int &SrcFrameIndex) const {
111 // Check for MVC 0(Length,FI1),0(FI2)
112 const MachineFrameInfo *MFI = MI->getParent()->getParent()->getFrameInfo();
113 if (MI->getOpcode() != SystemZ::MVC ||
114 !MI->getOperand(0).isFI() ||
115 MI->getOperand(1).getImm() != 0 ||
116 !MI->getOperand(3).isFI() ||
117 MI->getOperand(4).getImm() != 0)
118 return false;
119
120 // Check that Length covers the full slots.
121 int64_t Length = MI->getOperand(2).getImm();
122 unsigned FI1 = MI->getOperand(0).getIndex();
123 unsigned FI2 = MI->getOperand(3).getIndex();
124 if (MFI->getObjectSize(FI1) != Length ||
125 MFI->getObjectSize(FI2) != Length)
126 return false;
127
128 DestFrameIndex = FI1;
129 SrcFrameIndex = FI2;
130 return true;
131}
132
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000133bool SystemZInstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,
134 MachineBasicBlock *&TBB,
135 MachineBasicBlock *&FBB,
136 SmallVectorImpl<MachineOperand> &Cond,
137 bool AllowModify) const {
138 // Most of the code and comments here are boilerplate.
139
140 // Start from the bottom of the block and work up, examining the
141 // terminator instructions.
142 MachineBasicBlock::iterator I = MBB.end();
143 while (I != MBB.begin()) {
144 --I;
145 if (I->isDebugValue())
146 continue;
147
148 // Working from the bottom, when we see a non-terminator instruction, we're
149 // done.
150 if (!isUnpredicatedTerminator(I))
151 break;
152
153 // A terminator that isn't a branch can't easily be handled by this
154 // analysis.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000155 if (!I->isBranch())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000156 return true;
157
158 // Can't handle indirect branches.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000159 SystemZII::Branch Branch(getBranchInfo(I));
160 if (!Branch.Target->isMBB())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000161 return true;
162
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000163 // Punt on compound branches.
164 if (Branch.Type != SystemZII::BranchNormal)
165 return true;
166
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000167 if (Branch.CCMask == SystemZ::CCMASK_ANY) {
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000168 // Handle unconditional branches.
169 if (!AllowModify) {
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000170 TBB = Branch.Target->getMBB();
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000171 continue;
172 }
173
174 // If the block has any instructions after a JMP, delete them.
175 while (llvm::next(I) != MBB.end())
176 llvm::next(I)->eraseFromParent();
177
178 Cond.clear();
179 FBB = 0;
180
181 // Delete the JMP if it's equivalent to a fall-through.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000182 if (MBB.isLayoutSuccessor(Branch.Target->getMBB())) {
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000183 TBB = 0;
184 I->eraseFromParent();
185 I = MBB.end();
186 continue;
187 }
188
189 // TBB is used to indicate the unconditinal destination.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000190 TBB = Branch.Target->getMBB();
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000191 continue;
192 }
193
194 // Working from the bottom, handle the first conditional branch.
195 if (Cond.empty()) {
196 // FIXME: add X86-style branch swap
197 FBB = TBB;
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000198 TBB = Branch.Target->getMBB();
199 Cond.push_back(MachineOperand::CreateImm(Branch.CCMask));
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000200 continue;
201 }
202
203 // Handle subsequent conditional branches.
204 assert(Cond.size() == 1);
205 assert(TBB);
206
207 // Only handle the case where all conditional branches branch to the same
208 // destination.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000209 if (TBB != Branch.Target->getMBB())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000210 return true;
211
212 // If the conditions are the same, we can leave them alone.
213 unsigned OldCond = Cond[0].getImm();
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000214 if (OldCond == Branch.CCMask)
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000215 continue;
216
217 // FIXME: Try combining conditions like X86 does. Should be easy on Z!
218 }
219
220 return false;
221}
222
223unsigned SystemZInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
224 // Most of the code and comments here are boilerplate.
225 MachineBasicBlock::iterator I = MBB.end();
226 unsigned Count = 0;
227
228 while (I != MBB.begin()) {
229 --I;
230 if (I->isDebugValue())
231 continue;
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000232 if (!I->isBranch())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000233 break;
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000234 if (!getBranchInfo(I).Target->isMBB())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000235 break;
236 // Remove the branch.
237 I->eraseFromParent();
238 I = MBB.end();
239 ++Count;
240 }
241
242 return Count;
243}
244
245unsigned
246SystemZInstrInfo::InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
247 MachineBasicBlock *FBB,
248 const SmallVectorImpl<MachineOperand> &Cond,
249 DebugLoc DL) const {
250 // In this function we output 32-bit branches, which should always
251 // have enough range. They can be shortened and relaxed by later code
252 // in the pipeline, if desired.
253
254 // Shouldn't be a fall through.
255 assert(TBB && "InsertBranch must not be told to insert a fallthrough");
256 assert((Cond.size() == 1 || Cond.size() == 0) &&
257 "SystemZ branch conditions have one component!");
258
259 if (Cond.empty()) {
260 // Unconditional branch?
261 assert(!FBB && "Unconditional branch with multiple successors!");
Richard Sandiford312425f2013-05-20 14:23:08 +0000262 BuildMI(&MBB, DL, get(SystemZ::J)).addMBB(TBB);
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000263 return 1;
264 }
265
266 // Conditional branch.
267 unsigned Count = 0;
268 unsigned CC = Cond[0].getImm();
Richard Sandiford312425f2013-05-20 14:23:08 +0000269 BuildMI(&MBB, DL, get(SystemZ::BRC)).addImm(CC).addMBB(TBB);
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000270 ++Count;
271
272 if (FBB) {
273 // Two-way Conditional branch. Insert the second branch.
Richard Sandiford312425f2013-05-20 14:23:08 +0000274 BuildMI(&MBB, DL, get(SystemZ::J)).addMBB(FBB);
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000275 ++Count;
276 }
277 return Count;
278}
279
Richard Sandifordf2404162013-07-25 09:11:15 +0000280// If Opcode is a move that has a conditional variant, return that variant,
281// otherwise return 0.
282static unsigned getConditionalMove(unsigned Opcode) {
283 switch (Opcode) {
284 case SystemZ::LR: return SystemZ::LOCR;
285 case SystemZ::LGR: return SystemZ::LOCGR;
286 default: return 0;
287 }
288}
289
290bool SystemZInstrInfo::isPredicable(MachineInstr *MI) const {
291 unsigned Opcode = MI->getOpcode();
292 if (TM.getSubtargetImpl()->hasLoadStoreOnCond() &&
293 getConditionalMove(Opcode))
294 return true;
295 return false;
296}
297
298bool SystemZInstrInfo::
299isProfitableToIfCvt(MachineBasicBlock &MBB,
300 unsigned NumCycles, unsigned ExtraPredCycles,
301 const BranchProbability &Probability) const {
302 // For now only convert single instructions.
303 return NumCycles == 1;
304}
305
306bool SystemZInstrInfo::
307isProfitableToIfCvt(MachineBasicBlock &TMBB,
308 unsigned NumCyclesT, unsigned ExtraPredCyclesT,
309 MachineBasicBlock &FMBB,
310 unsigned NumCyclesF, unsigned ExtraPredCyclesF,
311 const BranchProbability &Probability) const {
312 // For now avoid converting mutually-exclusive cases.
313 return false;
314}
315
316bool SystemZInstrInfo::
317PredicateInstruction(MachineInstr *MI,
318 const SmallVectorImpl<MachineOperand> &Pred) const {
319 unsigned CCMask = Pred[0].getImm();
320 assert(CCMask > 0 && CCMask < 15 && "Invalid predicate");
321 unsigned Opcode = MI->getOpcode();
322 if (TM.getSubtargetImpl()->hasLoadStoreOnCond()) {
323 if (unsigned CondOpcode = getConditionalMove(Opcode)) {
324 MI->setDesc(get(CondOpcode));
325 MachineInstrBuilder(*MI->getParent()->getParent(), MI).addImm(CCMask);
326 return true;
327 }
328 }
329 return false;
330}
331
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000332void
333SystemZInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
334 MachineBasicBlock::iterator MBBI, DebugLoc DL,
335 unsigned DestReg, unsigned SrcReg,
336 bool KillSrc) const {
337 // Split 128-bit GPR moves into two 64-bit moves. This handles ADDR128 too.
338 if (SystemZ::GR128BitRegClass.contains(DestReg, SrcReg)) {
339 copyPhysReg(MBB, MBBI, DL, RI.getSubReg(DestReg, SystemZ::subreg_high),
340 RI.getSubReg(SrcReg, SystemZ::subreg_high), KillSrc);
341 copyPhysReg(MBB, MBBI, DL, RI.getSubReg(DestReg, SystemZ::subreg_low),
342 RI.getSubReg(SrcReg, SystemZ::subreg_low), KillSrc);
343 return;
344 }
345
346 // Everything else needs only one instruction.
347 unsigned Opcode;
348 if (SystemZ::GR32BitRegClass.contains(DestReg, SrcReg))
349 Opcode = SystemZ::LR;
350 else if (SystemZ::GR64BitRegClass.contains(DestReg, SrcReg))
351 Opcode = SystemZ::LGR;
352 else if (SystemZ::FP32BitRegClass.contains(DestReg, SrcReg))
353 Opcode = SystemZ::LER;
354 else if (SystemZ::FP64BitRegClass.contains(DestReg, SrcReg))
355 Opcode = SystemZ::LDR;
356 else if (SystemZ::FP128BitRegClass.contains(DestReg, SrcReg))
357 Opcode = SystemZ::LXR;
358 else
359 llvm_unreachable("Impossible reg-to-reg copy");
360
361 BuildMI(MBB, MBBI, DL, get(Opcode), DestReg)
362 .addReg(SrcReg, getKillRegState(KillSrc));
363}
364
365void
366SystemZInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
367 MachineBasicBlock::iterator MBBI,
368 unsigned SrcReg, bool isKill,
369 int FrameIdx,
370 const TargetRegisterClass *RC,
371 const TargetRegisterInfo *TRI) const {
372 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
373
374 // Callers may expect a single instruction, so keep 128-bit moves
375 // together for now and lower them after register allocation.
376 unsigned LoadOpcode, StoreOpcode;
377 getLoadStoreOpcodes(RC, LoadOpcode, StoreOpcode);
378 addFrameReference(BuildMI(MBB, MBBI, DL, get(StoreOpcode))
379 .addReg(SrcReg, getKillRegState(isKill)), FrameIdx);
380}
381
382void
383SystemZInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
384 MachineBasicBlock::iterator MBBI,
385 unsigned DestReg, int FrameIdx,
386 const TargetRegisterClass *RC,
387 const TargetRegisterInfo *TRI) const {
388 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
389
390 // Callers may expect a single instruction, so keep 128-bit moves
391 // together for now and lower them after register allocation.
392 unsigned LoadOpcode, StoreOpcode;
393 getLoadStoreOpcodes(RC, LoadOpcode, StoreOpcode);
394 addFrameReference(BuildMI(MBB, MBBI, DL, get(LoadOpcode), DestReg),
395 FrameIdx);
396}
397
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000398// Return true if MI is a simple load or store with a 12-bit displacement
399// and no index. Flag is SimpleBDXLoad for loads and SimpleBDXStore for stores.
400static bool isSimpleBD12Move(const MachineInstr *MI, unsigned Flag) {
401 const MCInstrDesc &MCID = MI->getDesc();
402 return ((MCID.TSFlags & Flag) &&
403 isUInt<12>(MI->getOperand(2).getImm()) &&
404 MI->getOperand(3).getReg() == 0);
405}
406
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000407MachineInstr *
Richard Sandifordff6c5a52013-07-19 16:12:08 +0000408SystemZInstrInfo::convertToThreeAddress(MachineFunction::iterator &MFI,
409 MachineBasicBlock::iterator &MBBI,
410 LiveVariables *LV) const {
411 MachineInstr *MI = MBBI;
412 MachineBasicBlock *MBB = MI->getParent();
413
414 unsigned Opcode = MI->getOpcode();
415 unsigned NumOps = MI->getNumOperands();
416
417 // Try to convert something like SLL into SLLK, if supported.
418 // We prefer to keep the two-operand form where possible both
419 // because it tends to be shorter and because some instructions
420 // have memory forms that can be used during spilling.
421 if (TM.getSubtargetImpl()->hasDistinctOps()) {
422 int ThreeOperandOpcode = SystemZ::getThreeOperandOpcode(Opcode);
423 if (ThreeOperandOpcode >= 0) {
424 unsigned DestReg = MI->getOperand(0).getReg();
425 MachineOperand &Src = MI->getOperand(1);
426 MachineInstrBuilder MIB = BuildMI(*MBB, MBBI, MI->getDebugLoc(),
427 get(ThreeOperandOpcode), DestReg);
428 // Keep the kill state, but drop the tied flag.
429 MIB.addReg(Src.getReg(), getKillRegState(Src.isKill()));
430 // Keep the remaining operands as-is.
431 for (unsigned I = 2; I < NumOps; ++I)
432 MIB.addOperand(MI->getOperand(I));
433 MachineInstr *NewMI = MIB;
434
435 // Transfer killing information to the new instruction.
436 if (LV) {
437 for (unsigned I = 1; I < NumOps; ++I) {
438 MachineOperand &Op = MI->getOperand(I);
439 if (Op.isReg() && Op.isKill())
440 LV->replaceKillInstruction(Op.getReg(), MI, NewMI);
441 }
442 }
443 return MIB;
444 }
445 }
446 return 0;
447}
448
449MachineInstr *
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000450SystemZInstrInfo::foldMemoryOperandImpl(MachineFunction &MF,
451 MachineInstr *MI,
452 const SmallVectorImpl<unsigned> &Ops,
453 int FrameIndex) const {
454 const MachineFrameInfo *MFI = MF.getFrameInfo();
455 unsigned Size = MFI->getObjectSize(FrameIndex);
456
457 // Eary exit for cases we don't care about
458 if (Ops.size() != 1)
459 return 0;
460
461 unsigned OpNum = Ops[0];
NAKAMURA Takumiddcba562013-07-03 02:20:49 +0000462 assert(Size == MF.getRegInfo()
463 .getRegClass(MI->getOperand(OpNum).getReg())->getSize() &&
Benjamin Kramer421c8fb2013-07-02 21:17:31 +0000464 "Invalid size combination");
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000465
Richard Sandiford3f0edc22013-07-12 08:37:17 +0000466 unsigned Opcode = MI->getOpcode();
467 if (Opcode == SystemZ::LGDR || Opcode == SystemZ::LDGR) {
468 bool Op0IsGPR = (Opcode == SystemZ::LGDR);
469 bool Op1IsGPR = (Opcode == SystemZ::LDGR);
470 // If we're spilling the destination of an LDGR or LGDR, store the
471 // source register instead.
472 if (OpNum == 0) {
473 unsigned StoreOpcode = Op1IsGPR ? SystemZ::STG : SystemZ::STD;
474 return BuildMI(MF, MI->getDebugLoc(), get(StoreOpcode))
475 .addOperand(MI->getOperand(1)).addFrameIndex(FrameIndex)
476 .addImm(0).addReg(0);
477 }
478 // If we're spilling the source of an LDGR or LGDR, load the
479 // destination register instead.
480 if (OpNum == 1) {
481 unsigned LoadOpcode = Op0IsGPR ? SystemZ::LG : SystemZ::LD;
482 unsigned Dest = MI->getOperand(0).getReg();
483 return BuildMI(MF, MI->getDebugLoc(), get(LoadOpcode), Dest)
484 .addFrameIndex(FrameIndex).addImm(0).addReg(0);
485 }
486 }
487
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000488 // Look for cases where the source of a simple store or the destination
489 // of a simple load is being spilled. Try to use MVC instead.
490 //
491 // Although MVC is in practice a fast choice in these cases, it is still
492 // logically a bytewise copy. This means that we cannot use it if the
493 // load or store is volatile. It also means that the transformation is
494 // not valid in cases where the two memories partially overlap; however,
495 // that is not a problem here, because we know that one of the memories
496 // is a full frame index.
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000497 if (OpNum == 0 && MI->hasOneMemOperand()) {
498 MachineMemOperand *MMO = *MI->memoperands_begin();
499 if (MMO->getSize() == Size && !MMO->isVolatile()) {
500 // Handle conversion of loads.
Richard Sandiford8976ea72013-07-05 14:02:01 +0000501 if (isSimpleBD12Move(MI, SystemZII::SimpleBDXLoad)) {
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000502 return BuildMI(MF, MI->getDebugLoc(), get(SystemZ::MVC))
Richard Sandiford1ca6dea2013-07-05 14:31:24 +0000503 .addFrameIndex(FrameIndex).addImm(0).addImm(Size)
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000504 .addOperand(MI->getOperand(1)).addImm(MI->getOperand(2).getImm())
Richard Sandiford1ca6dea2013-07-05 14:31:24 +0000505 .addMemOperand(MMO);
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000506 }
507 // Handle conversion of stores.
Richard Sandiford8976ea72013-07-05 14:02:01 +0000508 if (isSimpleBD12Move(MI, SystemZII::SimpleBDXStore)) {
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000509 return BuildMI(MF, MI->getDebugLoc(), get(SystemZ::MVC))
510 .addOperand(MI->getOperand(1)).addImm(MI->getOperand(2).getImm())
Richard Sandiford1ca6dea2013-07-05 14:31:24 +0000511 .addImm(Size).addFrameIndex(FrameIndex).addImm(0)
512 .addMemOperand(MMO);
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000513 }
514 }
515 }
516
Richard Sandiforded1fab62013-07-03 10:10:02 +0000517 // If the spilled operand is the final one, try to change <INSN>R
518 // into <INSN>.
Richard Sandiford3f0edc22013-07-12 08:37:17 +0000519 int MemOpcode = SystemZ::getMemOpcode(Opcode);
Richard Sandiforded1fab62013-07-03 10:10:02 +0000520 if (MemOpcode >= 0) {
521 unsigned NumOps = MI->getNumExplicitOperands();
522 if (OpNum == NumOps - 1) {
523 const MCInstrDesc &MemDesc = get(MemOpcode);
524 uint64_t AccessBytes = SystemZII::getAccessSize(MemDesc.TSFlags);
525 assert(AccessBytes != 0 && "Size of access should be known");
526 assert(AccessBytes <= Size && "Access outside the frame index");
527 uint64_t Offset = Size - AccessBytes;
Richard Sandiforded1fab62013-07-03 10:10:02 +0000528 MachineInstrBuilder MIB = BuildMI(MF, MI->getDebugLoc(), get(MemOpcode));
529 for (unsigned I = 0; I < OpNum; ++I)
530 MIB.addOperand(MI->getOperand(I));
531 MIB.addFrameIndex(FrameIndex).addImm(Offset);
532 if (MemDesc.TSFlags & SystemZII::HasIndex)
533 MIB.addReg(0);
Richard Sandiforded1fab62013-07-03 10:10:02 +0000534 return MIB;
535 }
536 }
537
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000538 return 0;
539}
540
541MachineInstr *
542SystemZInstrInfo::foldMemoryOperandImpl(MachineFunction &MF, MachineInstr* MI,
543 const SmallVectorImpl<unsigned> &Ops,
544 MachineInstr* LoadMI) const {
545 return 0;
546}
547
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000548bool
549SystemZInstrInfo::expandPostRAPseudo(MachineBasicBlock::iterator MI) const {
550 switch (MI->getOpcode()) {
551 case SystemZ::L128:
552 splitMove(MI, SystemZ::LG);
553 return true;
554
555 case SystemZ::ST128:
556 splitMove(MI, SystemZ::STG);
557 return true;
558
559 case SystemZ::LX:
560 splitMove(MI, SystemZ::LD);
561 return true;
562
563 case SystemZ::STX:
564 splitMove(MI, SystemZ::STD);
565 return true;
566
567 case SystemZ::ADJDYNALLOC:
568 splitAdjDynAlloc(MI);
569 return true;
570
571 default:
572 return false;
573 }
574}
575
576bool SystemZInstrInfo::
577ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const {
578 assert(Cond.size() == 1 && "Invalid branch condition!");
579 Cond[0].setImm(Cond[0].getImm() ^ SystemZ::CCMASK_ANY);
580 return false;
581}
582
Richard Sandiford312425f2013-05-20 14:23:08 +0000583uint64_t SystemZInstrInfo::getInstSizeInBytes(const MachineInstr *MI) const {
584 if (MI->getOpcode() == TargetOpcode::INLINEASM) {
585 const MachineFunction *MF = MI->getParent()->getParent();
586 const char *AsmStr = MI->getOperand(0).getSymbolName();
587 return getInlineAsmLength(AsmStr, *MF->getTarget().getMCAsmInfo());
588 }
589 return MI->getDesc().getSize();
590}
591
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000592SystemZII::Branch
593SystemZInstrInfo::getBranchInfo(const MachineInstr *MI) const {
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000594 switch (MI->getOpcode()) {
595 case SystemZ::BR:
596 case SystemZ::J:
597 case SystemZ::JG:
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000598 return SystemZII::Branch(SystemZII::BranchNormal, SystemZ::CCMASK_ANY,
599 &MI->getOperand(0));
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000600
601 case SystemZ::BRC:
602 case SystemZ::BRCL:
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000603 return SystemZII::Branch(SystemZII::BranchNormal,
604 MI->getOperand(0).getImm(), &MI->getOperand(1));
605
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000606 case SystemZ::CIJ:
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000607 case SystemZ::CRJ:
608 return SystemZII::Branch(SystemZII::BranchC, MI->getOperand(2).getImm(),
609 &MI->getOperand(3));
610
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000611 case SystemZ::CGIJ:
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000612 case SystemZ::CGRJ:
613 return SystemZII::Branch(SystemZII::BranchCG, MI->getOperand(2).getImm(),
614 &MI->getOperand(3));
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000615
616 default:
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000617 llvm_unreachable("Unrecognized branch opcode");
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000618 }
619}
620
621void SystemZInstrInfo::getLoadStoreOpcodes(const TargetRegisterClass *RC,
622 unsigned &LoadOpcode,
623 unsigned &StoreOpcode) const {
624 if (RC == &SystemZ::GR32BitRegClass || RC == &SystemZ::ADDR32BitRegClass) {
625 LoadOpcode = SystemZ::L;
626 StoreOpcode = SystemZ::ST32;
627 } else if (RC == &SystemZ::GR64BitRegClass ||
628 RC == &SystemZ::ADDR64BitRegClass) {
629 LoadOpcode = SystemZ::LG;
630 StoreOpcode = SystemZ::STG;
631 } else if (RC == &SystemZ::GR128BitRegClass ||
632 RC == &SystemZ::ADDR128BitRegClass) {
633 LoadOpcode = SystemZ::L128;
634 StoreOpcode = SystemZ::ST128;
635 } else if (RC == &SystemZ::FP32BitRegClass) {
636 LoadOpcode = SystemZ::LE;
637 StoreOpcode = SystemZ::STE;
638 } else if (RC == &SystemZ::FP64BitRegClass) {
639 LoadOpcode = SystemZ::LD;
640 StoreOpcode = SystemZ::STD;
641 } else if (RC == &SystemZ::FP128BitRegClass) {
642 LoadOpcode = SystemZ::LX;
643 StoreOpcode = SystemZ::STX;
644 } else
645 llvm_unreachable("Unsupported regclass to load or store");
646}
647
648unsigned SystemZInstrInfo::getOpcodeForOffset(unsigned Opcode,
649 int64_t Offset) const {
650 const MCInstrDesc &MCID = get(Opcode);
651 int64_t Offset2 = (MCID.TSFlags & SystemZII::Is128Bit ? Offset + 8 : Offset);
652 if (isUInt<12>(Offset) && isUInt<12>(Offset2)) {
653 // Get the instruction to use for unsigned 12-bit displacements.
654 int Disp12Opcode = SystemZ::getDisp12Opcode(Opcode);
655 if (Disp12Opcode >= 0)
656 return Disp12Opcode;
657
658 // All address-related instructions can use unsigned 12-bit
659 // displacements.
660 return Opcode;
661 }
662 if (isInt<20>(Offset) && isInt<20>(Offset2)) {
663 // Get the instruction to use for signed 20-bit displacements.
664 int Disp20Opcode = SystemZ::getDisp20Opcode(Opcode);
665 if (Disp20Opcode >= 0)
666 return Disp20Opcode;
667
668 // Check whether Opcode allows signed 20-bit displacements.
669 if (MCID.TSFlags & SystemZII::Has20BitOffset)
670 return Opcode;
671 }
672 return 0;
673}
674
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000675unsigned SystemZInstrInfo::getCompareAndBranch(unsigned Opcode,
676 const MachineInstr *MI) const {
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000677 switch (Opcode) {
678 case SystemZ::CR:
679 return SystemZ::CRJ;
680 case SystemZ::CGR:
681 return SystemZ::CGRJ;
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000682 case SystemZ::CHI:
683 return MI && isInt<8>(MI->getOperand(1).getImm()) ? SystemZ::CIJ : 0;
684 case SystemZ::CGHI:
685 return MI && isInt<8>(MI->getOperand(1).getImm()) ? SystemZ::CGIJ : 0;
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000686 default:
687 return 0;
688 }
689}
690
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000691void SystemZInstrInfo::loadImmediate(MachineBasicBlock &MBB,
692 MachineBasicBlock::iterator MBBI,
693 unsigned Reg, uint64_t Value) const {
694 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
695 unsigned Opcode;
696 if (isInt<16>(Value))
697 Opcode = SystemZ::LGHI;
698 else if (SystemZ::isImmLL(Value))
699 Opcode = SystemZ::LLILL;
700 else if (SystemZ::isImmLH(Value)) {
701 Opcode = SystemZ::LLILH;
702 Value >>= 16;
703 } else {
704 assert(isInt<32>(Value) && "Huge values not handled yet");
705 Opcode = SystemZ::LGFI;
706 }
707 BuildMI(MBB, MBBI, DL, get(Opcode), Reg).addImm(Value);
708}