blob: 16207b33b671e8739761f4141e41d6109598b5eb [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"
15#include "SystemZInstrBuilder.h"
Richard Sandifordf6bae1e2013-07-02 15:28:56 +000016#include "llvm/CodeGen/MachineRegisterInfo.h"
Richard Sandiford312425f2013-05-20 14:23:08 +000017#include "llvm/Target/TargetMachine.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000018
19#define GET_INSTRINFO_CTOR
20#define GET_INSTRMAP_INFO
21#include "SystemZGenInstrInfo.inc"
22
23using namespace llvm;
24
25SystemZInstrInfo::SystemZInstrInfo(SystemZTargetMachine &tm)
26 : SystemZGenInstrInfo(SystemZ::ADJCALLSTACKDOWN, SystemZ::ADJCALLSTACKUP),
Bill Wendling637d97d2013-06-07 20:42:15 +000027 RI(tm) {
Ulrich Weigand5f613df2013-05-06 16:15:19 +000028}
29
30// MI is a 128-bit load or store. Split it into two 64-bit loads or stores,
31// each having the opcode given by NewOpcode.
32void SystemZInstrInfo::splitMove(MachineBasicBlock::iterator MI,
33 unsigned NewOpcode) const {
34 MachineBasicBlock *MBB = MI->getParent();
35 MachineFunction &MF = *MBB->getParent();
36
37 // Get two load or store instructions. Use the original instruction for one
38 // of them (arbitarily the second here) and create a clone for the other.
39 MachineInstr *EarlierMI = MF.CloneMachineInstr(MI);
40 MBB->insert(MI, EarlierMI);
41
42 // Set up the two 64-bit registers.
43 MachineOperand &HighRegOp = EarlierMI->getOperand(0);
44 MachineOperand &LowRegOp = MI->getOperand(0);
45 HighRegOp.setReg(RI.getSubReg(HighRegOp.getReg(), SystemZ::subreg_high));
46 LowRegOp.setReg(RI.getSubReg(LowRegOp.getReg(), SystemZ::subreg_low));
47
48 // The address in the first (high) instruction is already correct.
49 // Adjust the offset in the second (low) instruction.
50 MachineOperand &HighOffsetOp = EarlierMI->getOperand(2);
51 MachineOperand &LowOffsetOp = MI->getOperand(2);
52 LowOffsetOp.setImm(LowOffsetOp.getImm() + 8);
53
54 // Set the opcodes.
55 unsigned HighOpcode = getOpcodeForOffset(NewOpcode, HighOffsetOp.getImm());
56 unsigned LowOpcode = getOpcodeForOffset(NewOpcode, LowOffsetOp.getImm());
57 assert(HighOpcode && LowOpcode && "Both offsets should be in range");
58
59 EarlierMI->setDesc(get(HighOpcode));
60 MI->setDesc(get(LowOpcode));
61}
62
63// Split ADJDYNALLOC instruction MI.
64void SystemZInstrInfo::splitAdjDynAlloc(MachineBasicBlock::iterator MI) const {
65 MachineBasicBlock *MBB = MI->getParent();
66 MachineFunction &MF = *MBB->getParent();
67 MachineFrameInfo *MFFrame = MF.getFrameInfo();
68 MachineOperand &OffsetMO = MI->getOperand(2);
69
70 uint64_t Offset = (MFFrame->getMaxCallFrameSize() +
71 SystemZMC::CallFrameSize +
72 OffsetMO.getImm());
73 unsigned NewOpcode = getOpcodeForOffset(SystemZ::LA, Offset);
74 assert(NewOpcode && "No support for huge argument lists yet");
75 MI->setDesc(get(NewOpcode));
76 OffsetMO.setImm(Offset);
77}
78
79// If MI is a simple load or store for a frame object, return the register
80// it loads or stores and set FrameIndex to the index of the frame object.
81// Return 0 otherwise.
82//
83// Flag is SimpleBDXLoad for loads and SimpleBDXStore for stores.
Richard Sandifordf6bae1e2013-07-02 15:28:56 +000084static int isSimpleMove(const MachineInstr *MI, int &FrameIndex,
85 unsigned Flag) {
Ulrich Weigand5f613df2013-05-06 16:15:19 +000086 const MCInstrDesc &MCID = MI->getDesc();
87 if ((MCID.TSFlags & Flag) &&
88 MI->getOperand(1).isFI() &&
89 MI->getOperand(2).getImm() == 0 &&
90 MI->getOperand(3).getReg() == 0) {
91 FrameIndex = MI->getOperand(1).getIndex();
92 return MI->getOperand(0).getReg();
93 }
94 return 0;
95}
96
97unsigned SystemZInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
98 int &FrameIndex) const {
99 return isSimpleMove(MI, FrameIndex, SystemZII::SimpleBDXLoad);
100}
101
102unsigned SystemZInstrInfo::isStoreToStackSlot(const MachineInstr *MI,
103 int &FrameIndex) const {
104 return isSimpleMove(MI, FrameIndex, SystemZII::SimpleBDXStore);
105}
106
107bool SystemZInstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,
108 MachineBasicBlock *&TBB,
109 MachineBasicBlock *&FBB,
110 SmallVectorImpl<MachineOperand> &Cond,
111 bool AllowModify) const {
112 // Most of the code and comments here are boilerplate.
113
114 // Start from the bottom of the block and work up, examining the
115 // terminator instructions.
116 MachineBasicBlock::iterator I = MBB.end();
117 while (I != MBB.begin()) {
118 --I;
119 if (I->isDebugValue())
120 continue;
121
122 // Working from the bottom, when we see a non-terminator instruction, we're
123 // done.
124 if (!isUnpredicatedTerminator(I))
125 break;
126
127 // A terminator that isn't a branch can't easily be handled by this
128 // analysis.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000129 if (!I->isBranch())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000130 return true;
131
132 // Can't handle indirect branches.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000133 SystemZII::Branch Branch(getBranchInfo(I));
134 if (!Branch.Target->isMBB())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000135 return true;
136
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000137 // Punt on compound branches.
138 if (Branch.Type != SystemZII::BranchNormal)
139 return true;
140
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000141 if (Branch.CCMask == SystemZ::CCMASK_ANY) {
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000142 // Handle unconditional branches.
143 if (!AllowModify) {
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000144 TBB = Branch.Target->getMBB();
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000145 continue;
146 }
147
148 // If the block has any instructions after a JMP, delete them.
149 while (llvm::next(I) != MBB.end())
150 llvm::next(I)->eraseFromParent();
151
152 Cond.clear();
153 FBB = 0;
154
155 // Delete the JMP if it's equivalent to a fall-through.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000156 if (MBB.isLayoutSuccessor(Branch.Target->getMBB())) {
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000157 TBB = 0;
158 I->eraseFromParent();
159 I = MBB.end();
160 continue;
161 }
162
163 // TBB is used to indicate the unconditinal destination.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000164 TBB = Branch.Target->getMBB();
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000165 continue;
166 }
167
168 // Working from the bottom, handle the first conditional branch.
169 if (Cond.empty()) {
170 // FIXME: add X86-style branch swap
171 FBB = TBB;
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000172 TBB = Branch.Target->getMBB();
173 Cond.push_back(MachineOperand::CreateImm(Branch.CCMask));
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000174 continue;
175 }
176
177 // Handle subsequent conditional branches.
178 assert(Cond.size() == 1);
179 assert(TBB);
180
181 // Only handle the case where all conditional branches branch to the same
182 // destination.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000183 if (TBB != Branch.Target->getMBB())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000184 return true;
185
186 // If the conditions are the same, we can leave them alone.
187 unsigned OldCond = Cond[0].getImm();
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000188 if (OldCond == Branch.CCMask)
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000189 continue;
190
191 // FIXME: Try combining conditions like X86 does. Should be easy on Z!
192 }
193
194 return false;
195}
196
197unsigned SystemZInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
198 // Most of the code and comments here are boilerplate.
199 MachineBasicBlock::iterator I = MBB.end();
200 unsigned Count = 0;
201
202 while (I != MBB.begin()) {
203 --I;
204 if (I->isDebugValue())
205 continue;
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000206 if (!I->isBranch())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000207 break;
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000208 if (!getBranchInfo(I).Target->isMBB())
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000209 break;
210 // Remove the branch.
211 I->eraseFromParent();
212 I = MBB.end();
213 ++Count;
214 }
215
216 return Count;
217}
218
219unsigned
220SystemZInstrInfo::InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
221 MachineBasicBlock *FBB,
222 const SmallVectorImpl<MachineOperand> &Cond,
223 DebugLoc DL) const {
224 // In this function we output 32-bit branches, which should always
225 // have enough range. They can be shortened and relaxed by later code
226 // in the pipeline, if desired.
227
228 // Shouldn't be a fall through.
229 assert(TBB && "InsertBranch must not be told to insert a fallthrough");
230 assert((Cond.size() == 1 || Cond.size() == 0) &&
231 "SystemZ branch conditions have one component!");
232
233 if (Cond.empty()) {
234 // Unconditional branch?
235 assert(!FBB && "Unconditional branch with multiple successors!");
Richard Sandiford312425f2013-05-20 14:23:08 +0000236 BuildMI(&MBB, DL, get(SystemZ::J)).addMBB(TBB);
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000237 return 1;
238 }
239
240 // Conditional branch.
241 unsigned Count = 0;
242 unsigned CC = Cond[0].getImm();
Richard Sandiford312425f2013-05-20 14:23:08 +0000243 BuildMI(&MBB, DL, get(SystemZ::BRC)).addImm(CC).addMBB(TBB);
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000244 ++Count;
245
246 if (FBB) {
247 // Two-way Conditional branch. Insert the second branch.
Richard Sandiford312425f2013-05-20 14:23:08 +0000248 BuildMI(&MBB, DL, get(SystemZ::J)).addMBB(FBB);
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000249 ++Count;
250 }
251 return Count;
252}
253
254void
255SystemZInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
256 MachineBasicBlock::iterator MBBI, DebugLoc DL,
257 unsigned DestReg, unsigned SrcReg,
258 bool KillSrc) const {
259 // Split 128-bit GPR moves into two 64-bit moves. This handles ADDR128 too.
260 if (SystemZ::GR128BitRegClass.contains(DestReg, SrcReg)) {
261 copyPhysReg(MBB, MBBI, DL, RI.getSubReg(DestReg, SystemZ::subreg_high),
262 RI.getSubReg(SrcReg, SystemZ::subreg_high), KillSrc);
263 copyPhysReg(MBB, MBBI, DL, RI.getSubReg(DestReg, SystemZ::subreg_low),
264 RI.getSubReg(SrcReg, SystemZ::subreg_low), KillSrc);
265 return;
266 }
267
268 // Everything else needs only one instruction.
269 unsigned Opcode;
270 if (SystemZ::GR32BitRegClass.contains(DestReg, SrcReg))
271 Opcode = SystemZ::LR;
272 else if (SystemZ::GR64BitRegClass.contains(DestReg, SrcReg))
273 Opcode = SystemZ::LGR;
274 else if (SystemZ::FP32BitRegClass.contains(DestReg, SrcReg))
275 Opcode = SystemZ::LER;
276 else if (SystemZ::FP64BitRegClass.contains(DestReg, SrcReg))
277 Opcode = SystemZ::LDR;
278 else if (SystemZ::FP128BitRegClass.contains(DestReg, SrcReg))
279 Opcode = SystemZ::LXR;
280 else
281 llvm_unreachable("Impossible reg-to-reg copy");
282
283 BuildMI(MBB, MBBI, DL, get(Opcode), DestReg)
284 .addReg(SrcReg, getKillRegState(KillSrc));
285}
286
287void
288SystemZInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
289 MachineBasicBlock::iterator MBBI,
290 unsigned SrcReg, bool isKill,
291 int FrameIdx,
292 const TargetRegisterClass *RC,
293 const TargetRegisterInfo *TRI) const {
294 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
295
296 // Callers may expect a single instruction, so keep 128-bit moves
297 // together for now and lower them after register allocation.
298 unsigned LoadOpcode, StoreOpcode;
299 getLoadStoreOpcodes(RC, LoadOpcode, StoreOpcode);
300 addFrameReference(BuildMI(MBB, MBBI, DL, get(StoreOpcode))
301 .addReg(SrcReg, getKillRegState(isKill)), FrameIdx);
302}
303
304void
305SystemZInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
306 MachineBasicBlock::iterator MBBI,
307 unsigned DestReg, int FrameIdx,
308 const TargetRegisterClass *RC,
309 const TargetRegisterInfo *TRI) const {
310 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
311
312 // Callers may expect a single instruction, so keep 128-bit moves
313 // together for now and lower them after register allocation.
314 unsigned LoadOpcode, StoreOpcode;
315 getLoadStoreOpcodes(RC, LoadOpcode, StoreOpcode);
316 addFrameReference(BuildMI(MBB, MBBI, DL, get(LoadOpcode), DestReg),
317 FrameIdx);
318}
319
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000320// Return true if MI is a simple load or store with a 12-bit displacement
321// and no index. Flag is SimpleBDXLoad for loads and SimpleBDXStore for stores.
322static bool isSimpleBD12Move(const MachineInstr *MI, unsigned Flag) {
323 const MCInstrDesc &MCID = MI->getDesc();
324 return ((MCID.TSFlags & Flag) &&
325 isUInt<12>(MI->getOperand(2).getImm()) &&
326 MI->getOperand(3).getReg() == 0);
327}
328
329// Return a MachineMemOperand for FrameIndex with flags MMOFlags.
330// Offset is the byte offset from the start of FrameIndex.
331static MachineMemOperand *getFrameMMO(MachineFunction &MF, int FrameIndex,
332 uint64_t &Offset, unsigned MMOFlags) {
333 const MachineFrameInfo *MFI = MF.getFrameInfo();
334 const Value *V = PseudoSourceValue::getFixedStack(FrameIndex);
335 return MF.getMachineMemOperand(MachinePointerInfo(V, Offset), MMOFlags,
336 MFI->getObjectSize(FrameIndex),
337 MFI->getObjectAlignment(FrameIndex));
338}
339
340MachineInstr *
341SystemZInstrInfo::foldMemoryOperandImpl(MachineFunction &MF,
342 MachineInstr *MI,
343 const SmallVectorImpl<unsigned> &Ops,
344 int FrameIndex) const {
345 const MachineFrameInfo *MFI = MF.getFrameInfo();
346 unsigned Size = MFI->getObjectSize(FrameIndex);
347
348 // Eary exit for cases we don't care about
349 if (Ops.size() != 1)
350 return 0;
351
352 unsigned OpNum = Ops[0];
NAKAMURA Takumiddcba562013-07-03 02:20:49 +0000353 assert(Size == MF.getRegInfo()
354 .getRegClass(MI->getOperand(OpNum).getReg())->getSize() &&
Benjamin Kramer421c8fb2013-07-02 21:17:31 +0000355 "Invalid size combination");
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000356
357 // Look for cases where the source of a simple store or the destination
358 // of a simple load is being spilled. Try to use MVC instead.
359 //
360 // Although MVC is in practice a fast choice in these cases, it is still
361 // logically a bytewise copy. This means that we cannot use it if the
362 // load or store is volatile. It also means that the transformation is
363 // not valid in cases where the two memories partially overlap; however,
364 // that is not a problem here, because we know that one of the memories
365 // is a full frame index.
366 //
367 // For now we punt if the load or store is also to a frame index.
368 // In that case we might end up eliminating both of them to out-of-range
369 // offsets, which might then force the register scavenger to spill two
370 // other registers. The backend can only handle one such scavenger spill
371 // at a time.
372 if (OpNum == 0 && MI->hasOneMemOperand()) {
373 MachineMemOperand *MMO = *MI->memoperands_begin();
374 if (MMO->getSize() == Size && !MMO->isVolatile()) {
375 // Handle conversion of loads.
376 if (isSimpleBD12Move(MI, SystemZII::SimpleBDXLoad) &&
377 !MI->getOperand(1).isFI()) {
378 uint64_t Offset = 0;
379 MachineMemOperand *FrameMMO = getFrameMMO(MF, FrameIndex, Offset,
380 MachineMemOperand::MOStore);
381 return BuildMI(MF, MI->getDebugLoc(), get(SystemZ::MVC))
382 .addFrameIndex(FrameIndex).addImm(Offset).addImm(Size)
383 .addOperand(MI->getOperand(1)).addImm(MI->getOperand(2).getImm())
384 .addMemOperand(FrameMMO).addMemOperand(MMO);
385 }
386 // Handle conversion of stores.
387 if (isSimpleBD12Move(MI, SystemZII::SimpleBDXStore) &&
388 !MI->getOperand(1).isFI()) {
389 uint64_t Offset = 0;
390 MachineMemOperand *FrameMMO = getFrameMMO(MF, FrameIndex, Offset,
391 MachineMemOperand::MOLoad);
392 return BuildMI(MF, MI->getDebugLoc(), get(SystemZ::MVC))
393 .addOperand(MI->getOperand(1)).addImm(MI->getOperand(2).getImm())
394 .addImm(Size).addFrameIndex(FrameIndex).addImm(Offset)
395 .addMemOperand(MMO).addMemOperand(FrameMMO);
396 }
397 }
398 }
399
Richard Sandiforded1fab62013-07-03 10:10:02 +0000400 // If the spilled operand is the final one, try to change <INSN>R
401 // into <INSN>.
402 int MemOpcode = SystemZ::getMemOpcode(MI->getOpcode());
403 if (MemOpcode >= 0) {
404 unsigned NumOps = MI->getNumExplicitOperands();
405 if (OpNum == NumOps - 1) {
406 const MCInstrDesc &MemDesc = get(MemOpcode);
407 uint64_t AccessBytes = SystemZII::getAccessSize(MemDesc.TSFlags);
408 assert(AccessBytes != 0 && "Size of access should be known");
409 assert(AccessBytes <= Size && "Access outside the frame index");
410 uint64_t Offset = Size - AccessBytes;
411 MachineMemOperand *FrameMMO = getFrameMMO(MF, FrameIndex, Offset,
412 MachineMemOperand::MOLoad);
413 MachineInstrBuilder MIB = BuildMI(MF, MI->getDebugLoc(), get(MemOpcode));
414 for (unsigned I = 0; I < OpNum; ++I)
415 MIB.addOperand(MI->getOperand(I));
416 MIB.addFrameIndex(FrameIndex).addImm(Offset);
417 if (MemDesc.TSFlags & SystemZII::HasIndex)
418 MIB.addReg(0);
419 MIB.addMemOperand(FrameMMO);
420 return MIB;
421 }
422 }
423
Richard Sandifordf6bae1e2013-07-02 15:28:56 +0000424 return 0;
425}
426
427MachineInstr *
428SystemZInstrInfo::foldMemoryOperandImpl(MachineFunction &MF, MachineInstr* MI,
429 const SmallVectorImpl<unsigned> &Ops,
430 MachineInstr* LoadMI) const {
431 return 0;
432}
433
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000434bool
435SystemZInstrInfo::expandPostRAPseudo(MachineBasicBlock::iterator MI) const {
436 switch (MI->getOpcode()) {
437 case SystemZ::L128:
438 splitMove(MI, SystemZ::LG);
439 return true;
440
441 case SystemZ::ST128:
442 splitMove(MI, SystemZ::STG);
443 return true;
444
445 case SystemZ::LX:
446 splitMove(MI, SystemZ::LD);
447 return true;
448
449 case SystemZ::STX:
450 splitMove(MI, SystemZ::STD);
451 return true;
452
453 case SystemZ::ADJDYNALLOC:
454 splitAdjDynAlloc(MI);
455 return true;
456
457 default:
458 return false;
459 }
460}
461
462bool SystemZInstrInfo::
463ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const {
464 assert(Cond.size() == 1 && "Invalid branch condition!");
465 Cond[0].setImm(Cond[0].getImm() ^ SystemZ::CCMASK_ANY);
466 return false;
467}
468
Richard Sandiford312425f2013-05-20 14:23:08 +0000469uint64_t SystemZInstrInfo::getInstSizeInBytes(const MachineInstr *MI) const {
470 if (MI->getOpcode() == TargetOpcode::INLINEASM) {
471 const MachineFunction *MF = MI->getParent()->getParent();
472 const char *AsmStr = MI->getOperand(0).getSymbolName();
473 return getInlineAsmLength(AsmStr, *MF->getTarget().getMCAsmInfo());
474 }
475 return MI->getDesc().getSize();
476}
477
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000478SystemZII::Branch
479SystemZInstrInfo::getBranchInfo(const MachineInstr *MI) const {
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000480 switch (MI->getOpcode()) {
481 case SystemZ::BR:
482 case SystemZ::J:
483 case SystemZ::JG:
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000484 return SystemZII::Branch(SystemZII::BranchNormal, SystemZ::CCMASK_ANY,
485 &MI->getOperand(0));
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000486
487 case SystemZ::BRC:
488 case SystemZ::BRCL:
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000489 return SystemZII::Branch(SystemZII::BranchNormal,
490 MI->getOperand(0).getImm(), &MI->getOperand(1));
491
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000492 case SystemZ::CIJ:
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000493 case SystemZ::CRJ:
494 return SystemZII::Branch(SystemZII::BranchC, MI->getOperand(2).getImm(),
495 &MI->getOperand(3));
496
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000497 case SystemZ::CGIJ:
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000498 case SystemZ::CGRJ:
499 return SystemZII::Branch(SystemZII::BranchCG, MI->getOperand(2).getImm(),
500 &MI->getOperand(3));
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000501
502 default:
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000503 llvm_unreachable("Unrecognized branch opcode");
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000504 }
505}
506
507void SystemZInstrInfo::getLoadStoreOpcodes(const TargetRegisterClass *RC,
508 unsigned &LoadOpcode,
509 unsigned &StoreOpcode) const {
510 if (RC == &SystemZ::GR32BitRegClass || RC == &SystemZ::ADDR32BitRegClass) {
511 LoadOpcode = SystemZ::L;
512 StoreOpcode = SystemZ::ST32;
513 } else if (RC == &SystemZ::GR64BitRegClass ||
514 RC == &SystemZ::ADDR64BitRegClass) {
515 LoadOpcode = SystemZ::LG;
516 StoreOpcode = SystemZ::STG;
517 } else if (RC == &SystemZ::GR128BitRegClass ||
518 RC == &SystemZ::ADDR128BitRegClass) {
519 LoadOpcode = SystemZ::L128;
520 StoreOpcode = SystemZ::ST128;
521 } else if (RC == &SystemZ::FP32BitRegClass) {
522 LoadOpcode = SystemZ::LE;
523 StoreOpcode = SystemZ::STE;
524 } else if (RC == &SystemZ::FP64BitRegClass) {
525 LoadOpcode = SystemZ::LD;
526 StoreOpcode = SystemZ::STD;
527 } else if (RC == &SystemZ::FP128BitRegClass) {
528 LoadOpcode = SystemZ::LX;
529 StoreOpcode = SystemZ::STX;
530 } else
531 llvm_unreachable("Unsupported regclass to load or store");
532}
533
534unsigned SystemZInstrInfo::getOpcodeForOffset(unsigned Opcode,
535 int64_t Offset) const {
536 const MCInstrDesc &MCID = get(Opcode);
537 int64_t Offset2 = (MCID.TSFlags & SystemZII::Is128Bit ? Offset + 8 : Offset);
538 if (isUInt<12>(Offset) && isUInt<12>(Offset2)) {
539 // Get the instruction to use for unsigned 12-bit displacements.
540 int Disp12Opcode = SystemZ::getDisp12Opcode(Opcode);
541 if (Disp12Opcode >= 0)
542 return Disp12Opcode;
543
544 // All address-related instructions can use unsigned 12-bit
545 // displacements.
546 return Opcode;
547 }
548 if (isInt<20>(Offset) && isInt<20>(Offset2)) {
549 // Get the instruction to use for signed 20-bit displacements.
550 int Disp20Opcode = SystemZ::getDisp20Opcode(Opcode);
551 if (Disp20Opcode >= 0)
552 return Disp20Opcode;
553
554 // Check whether Opcode allows signed 20-bit displacements.
555 if (MCID.TSFlags & SystemZII::Has20BitOffset)
556 return Opcode;
557 }
558 return 0;
559}
560
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000561unsigned SystemZInstrInfo::getCompareAndBranch(unsigned Opcode,
562 const MachineInstr *MI) const {
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000563 switch (Opcode) {
564 case SystemZ::CR:
565 return SystemZ::CRJ;
566 case SystemZ::CGR:
567 return SystemZ::CGRJ;
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000568 case SystemZ::CHI:
569 return MI && isInt<8>(MI->getOperand(1).getImm()) ? SystemZ::CIJ : 0;
570 case SystemZ::CGHI:
571 return MI && isInt<8>(MI->getOperand(1).getImm()) ? SystemZ::CGIJ : 0;
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000572 default:
573 return 0;
574 }
575}
576
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000577void SystemZInstrInfo::loadImmediate(MachineBasicBlock &MBB,
578 MachineBasicBlock::iterator MBBI,
579 unsigned Reg, uint64_t Value) const {
580 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
581 unsigned Opcode;
582 if (isInt<16>(Value))
583 Opcode = SystemZ::LGHI;
584 else if (SystemZ::isImmLL(Value))
585 Opcode = SystemZ::LLILL;
586 else if (SystemZ::isImmLH(Value)) {
587 Opcode = SystemZ::LLILH;
588 Value >>= 16;
589 } else {
590 assert(isInt<32>(Value) && "Huge values not handled yet");
591 Opcode = SystemZ::LGFI;
592 }
593 BuildMI(MBB, MBBI, DL, get(Opcode), Reg).addImm(Value);
594}