blob: b7dfab5ea33277a5fd98b857e43e57e12fc6469a [file] [log] [blame]
Anton Korobeynikov4403b932009-07-16 13:27:25 +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 "SystemZ.h"
Anton Korobeynikov4b730162009-07-16 14:01:27 +000015#include "SystemZInstrBuilder.h"
Anton Korobeynikov4403b932009-07-16 13:27:25 +000016#include "SystemZInstrInfo.h"
17#include "SystemZMachineFunctionInfo.h"
18#include "SystemZTargetMachine.h"
19#include "SystemZGenInstrInfo.inc"
20#include "llvm/Function.h"
21#include "llvm/CodeGen/MachineFrameInfo.h"
22#include "llvm/CodeGen/MachineInstrBuilder.h"
23#include "llvm/CodeGen/MachineRegisterInfo.h"
24#include "llvm/CodeGen/PseudoSourceValue.h"
25
26using namespace llvm;
27
28SystemZInstrInfo::SystemZInstrInfo(SystemZTargetMachine &tm)
29 : TargetInstrInfoImpl(SystemZInsts, array_lengthof(SystemZInsts)),
Anton Korobeynikovef5deca2009-07-16 13:51:12 +000030 RI(tm, *this), TM(tm) {
31 // Fill the spill offsets map
32 static const unsigned SpillOffsTab[][2] = {
33 { SystemZ::R2D, 0x10 },
34 { SystemZ::R3D, 0x18 },
35 { SystemZ::R4D, 0x20 },
36 { SystemZ::R5D, 0x28 },
37 { SystemZ::R6D, 0x30 },
38 { SystemZ::R7D, 0x38 },
39 { SystemZ::R8D, 0x40 },
40 { SystemZ::R9D, 0x48 },
41 { SystemZ::R10D, 0x50 },
42 { SystemZ::R11D, 0x58 },
43 { SystemZ::R12D, 0x60 },
44 { SystemZ::R13D, 0x68 },
45 { SystemZ::R14D, 0x70 },
46 { SystemZ::R15D, 0x78 }
47 };
48
49 RegSpillOffsets.grow(SystemZ::NUM_TARGET_REGS);
50
51 for (unsigned i = 0, e = array_lengthof(SpillOffsTab); i != e; ++i)
52 RegSpillOffsets[SpillOffsTab[i][0]] = SpillOffsTab[i][1];
53}
Anton Korobeynikov4403b932009-07-16 13:27:25 +000054
Anton Korobeynikovf1106c42009-07-16 14:33:01 +000055/// isGVStub - Return true if the GV requires an extra load to get the
56/// real address.
57static inline bool isGVStub(GlobalValue *GV, SystemZTargetMachine &TM) {
58 return TM.getSubtarget<SystemZSubtarget>().GVRequiresExtraLoad(GV, TM, false);
59}
60
Anton Korobeynikov4403b932009-07-16 13:27:25 +000061void SystemZInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
62 MachineBasicBlock::iterator MI,
63 unsigned SrcReg, bool isKill, int FrameIdx,
64 const TargetRegisterClass *RC) const {
Anton Korobeynikov4b730162009-07-16 14:01:27 +000065 DebugLoc DL = DebugLoc::getUnknownLoc();
66 if (MI != MBB.end()) DL = MI->getDebugLoc();
67
68 unsigned Opc = 0;
69 if (RC == &SystemZ::GR32RegClass ||
70 RC == &SystemZ::ADDR32RegClass)
71 Opc = SystemZ::MOV32mr;
72 else if (RC == &SystemZ::GR64RegClass ||
73 RC == &SystemZ::ADDR64RegClass) {
74 Opc = SystemZ::MOV64mr;
Anton Korobeynikov92ac82a2009-07-16 14:21:41 +000075 } else if (RC == &SystemZ::FP32RegClass) {
76 Opc = SystemZ::FMOV32mr;
77 } else if (RC == &SystemZ::FP64RegClass) {
78 Opc = SystemZ::FMOV64mr;
Anton Korobeynikov21ddf772009-07-16 14:34:15 +000079 } else if (RC == &SystemZ::GR64PRegClass) {
80 Opc = SystemZ::MOV64Pmr;
81 } else if (RC == &SystemZ::GR128RegClass) {
82 Opc = SystemZ::MOV128mr;
Anton Korobeynikov4b730162009-07-16 14:01:27 +000083 } else
Anton Korobeynikov31e87442009-07-18 13:33:17 +000084 llvm_unreachable("Unsupported regclass to store");
Anton Korobeynikov4b730162009-07-16 14:01:27 +000085
86 addFrameReference(BuildMI(MBB, MI, DL, get(Opc)), FrameIdx)
87 .addReg(SrcReg, getKillRegState(isKill));
Anton Korobeynikov4403b932009-07-16 13:27:25 +000088}
89
90void SystemZInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
91 MachineBasicBlock::iterator MI,
92 unsigned DestReg, int FrameIdx,
93 const TargetRegisterClass *RC) const{
Anton Korobeynikov4b730162009-07-16 14:01:27 +000094 DebugLoc DL = DebugLoc::getUnknownLoc();
95 if (MI != MBB.end()) DL = MI->getDebugLoc();
96
97 unsigned Opc = 0;
98 if (RC == &SystemZ::GR32RegClass ||
99 RC == &SystemZ::ADDR32RegClass)
100 Opc = SystemZ::MOV32rm;
101 else if (RC == &SystemZ::GR64RegClass ||
102 RC == &SystemZ::ADDR64RegClass) {
103 Opc = SystemZ::MOV64rm;
Anton Korobeynikov92ac82a2009-07-16 14:21:41 +0000104 } else if (RC == &SystemZ::FP32RegClass) {
105 Opc = SystemZ::FMOV32rm;
106 } else if (RC == &SystemZ::FP64RegClass) {
107 Opc = SystemZ::FMOV64rm;
Anton Korobeynikov21ddf772009-07-16 14:34:15 +0000108 } else if (RC == &SystemZ::GR64PRegClass) {
109 Opc = SystemZ::MOV64Prm;
110 } else if (RC == &SystemZ::GR128RegClass) {
111 Opc = SystemZ::MOV128rm;
Anton Korobeynikov4b730162009-07-16 14:01:27 +0000112 } else
Anton Korobeynikov31e87442009-07-18 13:33:17 +0000113 llvm_unreachable("Unsupported regclass to load");
Anton Korobeynikov4b730162009-07-16 14:01:27 +0000114
115 addFrameReference(BuildMI(MBB, MI, DL, get(Opc), DestReg), FrameIdx);
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000116}
117
118bool SystemZInstrInfo::copyRegToReg(MachineBasicBlock &MBB,
Anton Korobeynikov1cc9dc72009-07-16 13:29:38 +0000119 MachineBasicBlock::iterator I,
120 unsigned DestReg, unsigned SrcReg,
121 const TargetRegisterClass *DestRC,
122 const TargetRegisterClass *SrcRC) const {
123 DebugLoc DL = DebugLoc::getUnknownLoc();
124 if (I != MBB.end()) DL = I->getDebugLoc();
125
Anton Korobeynikova51752c2009-07-16 13:42:31 +0000126 // Determine if DstRC and SrcRC have a common superclass.
127 const TargetRegisterClass *CommonRC = DestRC;
128 if (DestRC == SrcRC)
129 /* Same regclass for source and dest */;
130 else if (CommonRC->hasSuperClass(SrcRC))
131 CommonRC = SrcRC;
132 else if (!CommonRC->hasSubClass(SrcRC))
133 CommonRC = 0;
134
135 if (CommonRC) {
Anton Korobeynikov9e4816e2009-07-16 13:43:18 +0000136 if (CommonRC == &SystemZ::GR64RegClass ||
137 CommonRC == &SystemZ::ADDR64RegClass) {
Anton Korobeynikov8d1837d2009-07-16 13:56:42 +0000138 BuildMI(MBB, I, DL, get(SystemZ::MOV64rr), DestReg).addReg(SrcReg);
Anton Korobeynikov9e4816e2009-07-16 13:43:18 +0000139 } else if (CommonRC == &SystemZ::GR32RegClass ||
140 CommonRC == &SystemZ::ADDR32RegClass) {
Anton Korobeynikov8d1837d2009-07-16 13:56:42 +0000141 BuildMI(MBB, I, DL, get(SystemZ::MOV32rr), DestReg).addReg(SrcReg);
142 } else if (CommonRC == &SystemZ::GR64PRegClass) {
143 BuildMI(MBB, I, DL, get(SystemZ::MOV64rrP), DestReg).addReg(SrcReg);
144 } else if (CommonRC == &SystemZ::GR128RegClass) {
145 BuildMI(MBB, I, DL, get(SystemZ::MOV128rr), DestReg).addReg(SrcReg);
Anton Korobeynikov7aa03ac2009-07-16 14:20:24 +0000146 } else if (CommonRC == &SystemZ::FP32RegClass) {
147 BuildMI(MBB, I, DL, get(SystemZ::FMOV32rr), DestReg).addReg(SrcReg);
148 } else if (CommonRC == &SystemZ::FP64RegClass) {
149 BuildMI(MBB, I, DL, get(SystemZ::FMOV64rr), DestReg).addReg(SrcReg);
Anton Korobeynikov1cc9dc72009-07-16 13:29:38 +0000150 } else {
151 return false;
152 }
153
Anton Korobeynikov1cc9dc72009-07-16 13:29:38 +0000154 return true;
155 }
156
Anton Korobeynikov9e4816e2009-07-16 13:43:18 +0000157 if ((SrcRC == &SystemZ::GR64RegClass &&
158 DestRC == &SystemZ::ADDR64RegClass) ||
159 (DestRC == &SystemZ::GR64RegClass &&
160 SrcRC == &SystemZ::ADDR64RegClass)) {
161 BuildMI(MBB, I, DL, get(SystemZ::MOV64rr), DestReg).addReg(SrcReg);
162 return true;
163 } else if ((SrcRC == &SystemZ::GR32RegClass &&
164 DestRC == &SystemZ::ADDR32RegClass) ||
165 (DestRC == &SystemZ::GR32RegClass &&
166 SrcRC == &SystemZ::ADDR32RegClass)) {
167 BuildMI(MBB, I, DL, get(SystemZ::MOV32rr), DestReg).addReg(SrcReg);
168 return true;
169 }
170
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000171 return false;
172}
173
174bool
175SystemZInstrInfo::isMoveInstr(const MachineInstr& MI,
Anton Korobeynikov1cc9dc72009-07-16 13:29:38 +0000176 unsigned &SrcReg, unsigned &DstReg,
177 unsigned &SrcSubIdx, unsigned &DstSubIdx) const {
Anton Korobeynikov1cc9dc72009-07-16 13:29:38 +0000178 switch (MI.getOpcode()) {
179 default:
180 return false;
Anton Korobeynikova51752c2009-07-16 13:42:31 +0000181 case SystemZ::MOV32rr:
Anton Korobeynikov1cc9dc72009-07-16 13:29:38 +0000182 case SystemZ::MOV64rr:
Anton Korobeynikov8d1837d2009-07-16 13:56:42 +0000183 case SystemZ::MOV64rrP:
184 case SystemZ::MOV128rr:
Anton Korobeynikov7aa03ac2009-07-16 14:20:24 +0000185 case SystemZ::FMOV32rr:
186 case SystemZ::FMOV64rr:
Anton Korobeynikov1cc9dc72009-07-16 13:29:38 +0000187 assert(MI.getNumOperands() >= 2 &&
188 MI.getOperand(0).isReg() &&
189 MI.getOperand(1).isReg() &&
190 "invalid register-register move instruction");
191 SrcReg = MI.getOperand(1).getReg();
192 DstReg = MI.getOperand(0).getReg();
Anton Korobeynikov54cea742009-07-16 14:12:54 +0000193 SrcSubIdx = MI.getOperand(1).getSubReg();
194 DstSubIdx = MI.getOperand(0).getSubReg();
Anton Korobeynikov1cc9dc72009-07-16 13:29:38 +0000195 return true;
196 }
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000197}
198
Anton Korobeynikov27bf6772009-07-16 14:32:41 +0000199unsigned SystemZInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
200 int &FrameIndex) const {
201 switch (MI->getOpcode()) {
202 default: break;
203 case SystemZ::MOV32rm:
204 case SystemZ::MOV32rmy:
205 case SystemZ::MOV64rm:
206 case SystemZ::MOVSX32rm8:
207 case SystemZ::MOVSX32rm16y:
208 case SystemZ::MOVSX64rm8:
209 case SystemZ::MOVSX64rm16:
210 case SystemZ::MOVSX64rm32:
211 case SystemZ::MOVZX32rm8:
212 case SystemZ::MOVZX32rm16:
213 case SystemZ::MOVZX64rm8:
214 case SystemZ::MOVZX64rm16:
215 case SystemZ::MOVZX64rm32:
216 case SystemZ::FMOV32rm:
217 case SystemZ::FMOV32rmy:
218 case SystemZ::FMOV64rm:
219 case SystemZ::FMOV64rmy:
Anton Korobeynikov21ddf772009-07-16 14:34:15 +0000220 case SystemZ::MOV64Prm:
221 case SystemZ::MOV64Prmy:
222 case SystemZ::MOV128rm:
Anton Korobeynikov27bf6772009-07-16 14:32:41 +0000223 if (MI->getOperand(1).isFI() &&
224 MI->getOperand(2).isImm() && MI->getOperand(3).isReg() &&
225 MI->getOperand(2).getImm() == 0 && MI->getOperand(3).getReg() == 0) {
226 FrameIndex = MI->getOperand(1).getIndex();
227 return MI->getOperand(0).getReg();
228 }
229 break;
230 }
231 return 0;
232}
233
234unsigned SystemZInstrInfo::isStoreToStackSlot(const MachineInstr *MI,
235 int &FrameIndex) const {
236 switch (MI->getOpcode()) {
237 default: break;
238 case SystemZ::MOV32mr:
239 case SystemZ::MOV32mry:
240 case SystemZ::MOV64mr:
241 case SystemZ::MOV32m8r:
242 case SystemZ::MOV32m8ry:
243 case SystemZ::MOV32m16r:
244 case SystemZ::MOV32m16ry:
245 case SystemZ::MOV64m8r:
246 case SystemZ::MOV64m8ry:
247 case SystemZ::MOV64m16r:
248 case SystemZ::MOV64m16ry:
249 case SystemZ::MOV64m32r:
250 case SystemZ::MOV64m32ry:
251 case SystemZ::FMOV32mr:
252 case SystemZ::FMOV32mry:
253 case SystemZ::FMOV64mr:
254 case SystemZ::FMOV64mry:
Anton Korobeynikov21ddf772009-07-16 14:34:15 +0000255 case SystemZ::MOV64Pmr:
256 case SystemZ::MOV64Pmry:
257 case SystemZ::MOV128mr:
Anton Korobeynikov27bf6772009-07-16 14:32:41 +0000258 if (MI->getOperand(0).isFI() &&
259 MI->getOperand(1).isImm() && MI->getOperand(2).isReg() &&
260 MI->getOperand(1).getImm() == 0 && MI->getOperand(2).getReg() == 0) {
261 FrameIndex = MI->getOperand(0).getIndex();
262 return MI->getOperand(3).getReg();
263 }
264 break;
265 }
266 return 0;
267}
268
Anton Korobeynikovf1106c42009-07-16 14:33:01 +0000269bool SystemZInstrInfo::isInvariantLoad(const MachineInstr *MI) const {
270 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
271 const MachineOperand &MO = MI->getOperand(i);
272 // Loads from constant pools are trivially invariant.
273 if (MO.isCPI())
274 return true;
275
276 if (MO.isGlobal())
277 return isGVStub(MO.getGlobal(), TM);
278
279 // If this is a load from an invariant stack slot, the load is a constant.
280 if (MO.isFI()) {
281 const MachineFrameInfo &MFI =
282 *MI->getParent()->getParent()->getFrameInfo();
283 int Idx = MO.getIndex();
284 return MFI.isFixedObjectIndex(Idx) && MFI.isImmutableObjectIndex(Idx);
285 }
286 }
287
288 // All other instances of these instructions are presumed to have other
289 // issues.
290 return false;
291}
292
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000293bool
294SystemZInstrInfo::spillCalleeSavedRegisters(MachineBasicBlock &MBB,
295 MachineBasicBlock::iterator MI,
296 const std::vector<CalleeSavedInfo> &CSI) const {
Anton Korobeynikov17331242009-07-16 14:23:01 +0000297 if (CSI.empty())
298 return false;
299
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000300 DebugLoc DL = DebugLoc::getUnknownLoc();
301 if (MI != MBB.end()) DL = MI->getDebugLoc();
Anton Korobeynikovba249e42009-07-16 13:50:21 +0000302
303 MachineFunction &MF = *MBB.getParent();
304 SystemZMachineFunctionInfo *MFI = MF.getInfo<SystemZMachineFunctionInfo>();
Anton Korobeynikov17331242009-07-16 14:23:01 +0000305 unsigned CalleeFrameSize = 0;
Anton Korobeynikovba249e42009-07-16 13:50:21 +0000306
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000307 // Scan the callee-saved and find the bounds of register spill area.
308 unsigned LowReg = 0, HighReg = 0, StartOffset = -1U, EndOffset = 0;
309 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
310 unsigned Reg = CSI[i].getReg();
Anton Korobeynikov17331242009-07-16 14:23:01 +0000311 const TargetRegisterClass *RegClass = CSI[i].getRegClass();
312 if (RegClass != &SystemZ::FP64RegClass) {
313 unsigned Offset = RegSpillOffsets[Reg];
314 CalleeFrameSize += 8;
315 if (StartOffset > Offset) {
316 LowReg = Reg; StartOffset = Offset;
317 }
318 if (EndOffset < Offset) {
319 HighReg = Reg; EndOffset = RegSpillOffsets[Reg];
320 }
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000321 }
322 }
323
324 // Save information for epilogue inserter.
Anton Korobeynikov17331242009-07-16 14:23:01 +0000325 MFI->setCalleeSavedFrameSize(CalleeFrameSize);
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000326 MFI->setLowReg(LowReg); MFI->setHighReg(HighReg);
327
Anton Korobeynikov17331242009-07-16 14:23:01 +0000328 // Save GPRs
329 if (StartOffset) {
330 // Build a store instruction. Use STORE MULTIPLE instruction if there are many
331 // registers to store, otherwise - just STORE.
332 MachineInstrBuilder MIB =
333 BuildMI(MBB, MI, DL, get((LowReg == HighReg ?
334 SystemZ::MOV64mr : SystemZ::MOV64mrm)));
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000335
Anton Korobeynikov17331242009-07-16 14:23:01 +0000336 // Add store operands.
337 MIB.addReg(SystemZ::R15D).addImm(StartOffset);
338 if (LowReg == HighReg)
339 MIB.addReg(0);
340 MIB.addReg(LowReg, RegState::Kill);
341 if (LowReg != HighReg)
342 MIB.addReg(HighReg, RegState::Kill);
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000343
Anton Korobeynikov17331242009-07-16 14:23:01 +0000344 // Do a second scan adding regs as being killed by instruction
345 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
346 unsigned Reg = CSI[i].getReg();
347 // Add the callee-saved register as live-in. It's killed at the spill.
348 MBB.addLiveIn(Reg);
349 if (Reg != LowReg && Reg != HighReg)
350 MIB.addReg(Reg, RegState::ImplicitKill);
351 }
352 }
353
354 // Save FPRs
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000355 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
356 unsigned Reg = CSI[i].getReg();
Anton Korobeynikov17331242009-07-16 14:23:01 +0000357 const TargetRegisterClass *RegClass = CSI[i].getRegClass();
358 if (RegClass == &SystemZ::FP64RegClass) {
359 MBB.addLiveIn(Reg);
360 storeRegToStackSlot(MBB, MI, Reg, true, CSI[i].getFrameIdx(), RegClass);
361 }
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000362 }
363
Anton Korobeynikovba249e42009-07-16 13:50:21 +0000364 return true;
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000365}
366
367bool
368SystemZInstrInfo::restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
369 MachineBasicBlock::iterator MI,
370 const std::vector<CalleeSavedInfo> &CSI) const {
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000371 if (CSI.empty())
372 return false;
373
374 DebugLoc DL = DebugLoc::getUnknownLoc();
375 if (MI != MBB.end()) DL = MI->getDebugLoc();
376
377 MachineFunction &MF = *MBB.getParent();
378 const TargetRegisterInfo *RegInfo= MF.getTarget().getRegisterInfo();
379 SystemZMachineFunctionInfo *MFI = MF.getInfo<SystemZMachineFunctionInfo>();
380
Anton Korobeynikov17331242009-07-16 14:23:01 +0000381 // Restore FP registers
382 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
383 unsigned Reg = CSI[i].getReg();
384 const TargetRegisterClass *RegClass = CSI[i].getRegClass();
385 if (RegClass == &SystemZ::FP64RegClass)
386 loadRegFromStackSlot(MBB, MI, Reg, CSI[i].getFrameIdx(), RegClass);
387 }
388
389 // Restore GP registers
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000390 unsigned LowReg = MFI->getLowReg(), HighReg = MFI->getHighReg();
391 unsigned StartOffset = RegSpillOffsets[LowReg];
392
Anton Korobeynikov17331242009-07-16 14:23:01 +0000393 if (StartOffset) {
394 // Build a load instruction. Use LOAD MULTIPLE instruction if there are many
395 // registers to load, otherwise - just LOAD.
396 MachineInstrBuilder MIB =
397 BuildMI(MBB, MI, DL, get((LowReg == HighReg ?
398 SystemZ::MOV64rm : SystemZ::MOV64rmm)));
399 // Add store operands.
400 MIB.addReg(LowReg, RegState::Define);
401 if (LowReg != HighReg)
402 MIB.addReg(HighReg, RegState::Define);
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000403
Anton Korobeynikov17331242009-07-16 14:23:01 +0000404 MIB.addReg((RegInfo->hasFP(MF) ? SystemZ::R11D : SystemZ::R15D));
405 MIB.addImm(StartOffset);
406 if (LowReg == HighReg)
407 MIB.addReg(0);
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000408
Anton Korobeynikov17331242009-07-16 14:23:01 +0000409 // Do a second scan adding regs as being defined by instruction
410 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
411 unsigned Reg = CSI[i].getReg();
412 if (Reg != LowReg && Reg != HighReg)
413 MIB.addReg(Reg, RegState::ImplicitDefine);
414 }
Anton Korobeynikovef5deca2009-07-16 13:51:12 +0000415 }
416
Anton Korobeynikovba249e42009-07-16 13:50:21 +0000417 return true;
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000418}
419
Anton Korobeynikovae46db82009-07-16 14:32:19 +0000420bool SystemZInstrInfo::
421ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const {
422 assert(Cond.size() == 1 && "Invalid Xbranch condition!");
423
424 SystemZCC::CondCodes CC = static_cast<SystemZCC::CondCodes>(Cond[0].getImm());
425 Cond[0].setImm(getOppositeCondition(CC));
426 return false;
427}
428
429bool SystemZInstrInfo::BlockHasNoFallThrough(const MachineBasicBlock &MBB)const{
430 if (MBB.empty()) return false;
431
432 switch (MBB.back().getOpcode()) {
433 case SystemZ::RET: // Return.
434 case SystemZ::JMP: // Uncond branch.
435 case SystemZ::JMPr: // Indirect branch.
436 return true;
437 default: return false;
438 }
439}
440
441bool SystemZInstrInfo::isUnpredicatedTerminator(const MachineInstr *MI) const {
442 const TargetInstrDesc &TID = MI->getDesc();
443 if (!TID.isTerminator()) return false;
444
445 // Conditional branch is a special case.
446 if (TID.isBranch() && !TID.isBarrier())
447 return true;
448 if (!TID.isPredicable())
449 return true;
450 return !isPredicated(MI);
451}
452
453bool SystemZInstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,
454 MachineBasicBlock *&TBB,
455 MachineBasicBlock *&FBB,
456 SmallVectorImpl<MachineOperand> &Cond,
457 bool AllowModify) const {
458 // Start from the bottom of the block and work up, examining the
459 // terminator instructions.
460 MachineBasicBlock::iterator I = MBB.end();
461 while (I != MBB.begin()) {
462 --I;
463 // Working from the bottom, when we see a non-terminator
464 // instruction, we're done.
465 if (!isUnpredicatedTerminator(I))
466 break;
467
468 // A terminator that isn't a branch can't easily be handled
469 // by this analysis.
470 if (!I->getDesc().isBranch())
471 return true;
472
473 // Handle unconditional branches.
474 if (I->getOpcode() == SystemZ::JMP) {
475 if (!AllowModify) {
476 TBB = I->getOperand(0).getMBB();
477 continue;
478 }
479
480 // If the block has any instructions after a JMP, delete them.
481 while (next(I) != MBB.end())
482 next(I)->eraseFromParent();
483 Cond.clear();
484 FBB = 0;
485
486 // Delete the JMP if it's equivalent to a fall-through.
487 if (MBB.isLayoutSuccessor(I->getOperand(0).getMBB())) {
488 TBB = 0;
489 I->eraseFromParent();
490 I = MBB.end();
491 continue;
492 }
493
494 // TBB is used to indicate the unconditinal destination.
495 TBB = I->getOperand(0).getMBB();
496 continue;
497 }
498
499 // Handle conditional branches.
500 SystemZCC::CondCodes BranchCode = getCondFromBranchOpc(I->getOpcode());
501 if (BranchCode == SystemZCC::INVALID)
502 return true; // Can't handle indirect branch.
503
504 // Working from the bottom, handle the first conditional branch.
505 if (Cond.empty()) {
506 FBB = TBB;
507 TBB = I->getOperand(0).getMBB();
508 Cond.push_back(MachineOperand::CreateImm(BranchCode));
509 continue;
510 }
511
512 // Handle subsequent conditional branches. Only handle the case where all
513 // conditional branches branch to the same destination.
514 assert(Cond.size() == 1);
515 assert(TBB);
516
517 // Only handle the case where all conditional branches branch to
518 // the same destination.
519 if (TBB != I->getOperand(0).getMBB())
520 return true;
521
522 SystemZCC::CondCodes OldBranchCode = (SystemZCC::CondCodes)Cond[0].getImm();
523 // If the conditions are the same, we can leave them alone.
524 if (OldBranchCode == BranchCode)
525 continue;
526
527 return true;
528 }
529
530 return false;
531}
532
533unsigned SystemZInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
534 MachineBasicBlock::iterator I = MBB.end();
535 unsigned Count = 0;
536
537 while (I != MBB.begin()) {
538 --I;
539 if (I->getOpcode() != SystemZ::JMP &&
540 getCondFromBranchOpc(I->getOpcode()) == SystemZCC::INVALID)
541 break;
542 // Remove the branch.
543 I->eraseFromParent();
544 I = MBB.end();
545 ++Count;
546 }
547
548 return Count;
549}
550
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000551unsigned
552SystemZInstrInfo::InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
Anton Korobeynikov9b812b02009-07-16 14:16:26 +0000553 MachineBasicBlock *FBB,
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000554 const SmallVectorImpl<MachineOperand> &Cond) const {
Anton Korobeynikov9b812b02009-07-16 14:16:26 +0000555 // FIXME: this should probably have a DebugLoc operand
Anton Korobeynikov64d52d42009-07-16 14:00:10 +0000556 DebugLoc dl = DebugLoc::getUnknownLoc();
557 // Shouldn't be a fall through.
558 assert(TBB && "InsertBranch must not be told to insert a fallthrough");
559 assert((Cond.size() == 1 || Cond.size() == 0) &&
560 "SystemZ branch conditions have one component!");
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000561
Anton Korobeynikov64d52d42009-07-16 14:00:10 +0000562 if (Cond.empty()) {
563 // Unconditional branch?
564 assert(!FBB && "Unconditional branch with multiple successors!");
565 BuildMI(&MBB, dl, get(SystemZ::JMP)).addMBB(TBB);
566 return 1;
567 }
568
569 // Conditional branch.
570 unsigned Count = 0;
571 SystemZCC::CondCodes CC = (SystemZCC::CondCodes)Cond[0].getImm();
572 BuildMI(&MBB, dl, getBrCond(CC)).addMBB(TBB);
573 ++Count;
574
575 if (FBB) {
576 // Two-way Conditional branch. Insert the second branch.
577 BuildMI(&MBB, dl, get(SystemZ::JMP)).addMBB(FBB);
578 ++Count;
579 }
580 return Count;
Anton Korobeynikov4403b932009-07-16 13:27:25 +0000581}
Anton Korobeynikov7d1e39b2009-07-16 13:52:51 +0000582
583const TargetInstrDesc&
584SystemZInstrInfo::getBrCond(SystemZCC::CondCodes CC) const {
Anton Korobeynikov7d1e39b2009-07-16 13:52:51 +0000585 switch (CC) {
586 default:
Anton Korobeynikov31e87442009-07-18 13:33:17 +0000587 llvm_unreachable("Unknown condition code!");
Anton Korobeynikovc3e48b02009-07-16 14:31:32 +0000588 case SystemZCC::O: return get(SystemZ::JO);
589 case SystemZCC::H: return get(SystemZ::JH);
590 case SystemZCC::NLE: return get(SystemZ::JNLE);
591 case SystemZCC::L: return get(SystemZ::JL);
592 case SystemZCC::NHE: return get(SystemZ::JNHE);
593 case SystemZCC::LH: return get(SystemZ::JLH);
594 case SystemZCC::NE: return get(SystemZ::JNE);
595 case SystemZCC::E: return get(SystemZ::JE);
596 case SystemZCC::NLH: return get(SystemZ::JNLH);
597 case SystemZCC::HE: return get(SystemZ::JHE);
598 case SystemZCC::NL: return get(SystemZ::JNL);
599 case SystemZCC::LE: return get(SystemZ::JLE);
600 case SystemZCC::NH: return get(SystemZ::JNH);
601 case SystemZCC::NO: return get(SystemZ::JNO);
Anton Korobeynikov7d1e39b2009-07-16 13:52:51 +0000602 }
Anton Korobeynikov7d1e39b2009-07-16 13:52:51 +0000603}
Anton Korobeynikov5a11e022009-07-16 14:09:56 +0000604
Anton Korobeynikovae46db82009-07-16 14:32:19 +0000605SystemZCC::CondCodes
606SystemZInstrInfo::getCondFromBranchOpc(unsigned Opc) const {
607 switch (Opc) {
608 default: return SystemZCC::INVALID;
609 case SystemZ::JO: return SystemZCC::O;
610 case SystemZ::JH: return SystemZCC::H;
611 case SystemZ::JNLE: return SystemZCC::NLE;
612 case SystemZ::JL: return SystemZCC::L;
613 case SystemZ::JNHE: return SystemZCC::NHE;
614 case SystemZ::JLH: return SystemZCC::LH;
615 case SystemZ::JNE: return SystemZCC::NE;
616 case SystemZ::JE: return SystemZCC::E;
617 case SystemZ::JNLH: return SystemZCC::NLH;
618 case SystemZ::JHE: return SystemZCC::HE;
619 case SystemZ::JNL: return SystemZCC::NL;
620 case SystemZ::JLE: return SystemZCC::LE;
621 case SystemZ::JNH: return SystemZCC::NH;
622 case SystemZ::JNO: return SystemZCC::NO;
623 }
624}
625
626SystemZCC::CondCodes
627SystemZInstrInfo::getOppositeCondition(SystemZCC::CondCodes CC) const {
628 switch (CC) {
629 default:
Anton Korobeynikov31e87442009-07-18 13:33:17 +0000630 llvm_unreachable("Invalid condition!");
Anton Korobeynikovae46db82009-07-16 14:32:19 +0000631 case SystemZCC::O: return SystemZCC::NO;
632 case SystemZCC::H: return SystemZCC::NH;
633 case SystemZCC::NLE: return SystemZCC::LE;
634 case SystemZCC::L: return SystemZCC::NL;
635 case SystemZCC::NHE: return SystemZCC::HE;
636 case SystemZCC::LH: return SystemZCC::NLH;
637 case SystemZCC::NE: return SystemZCC::E;
638 case SystemZCC::E: return SystemZCC::NE;
639 case SystemZCC::NLH: return SystemZCC::LH;
640 case SystemZCC::HE: return SystemZCC::NHE;
641 case SystemZCC::NL: return SystemZCC::L;
642 case SystemZCC::LE: return SystemZCC::NLE;
643 case SystemZCC::NH: return SystemZCC::H;
644 case SystemZCC::NO: return SystemZCC::O;
645 }
646}
647
Anton Korobeynikov5a11e022009-07-16 14:09:56 +0000648const TargetInstrDesc&
649SystemZInstrInfo::getLongDispOpc(unsigned Opc) const {
650 switch (Opc) {
Duncan Sands3e119882009-07-17 12:25:14 +0000651 default:
Anton Korobeynikov31e87442009-07-18 13:33:17 +0000652 llvm_unreachable("Don't have long disp version of this instruction");
Anton Korobeynikovc3e48b02009-07-16 14:31:32 +0000653 case SystemZ::MOV32mr: return get(SystemZ::MOV32mry);
654 case SystemZ::MOV32rm: return get(SystemZ::MOV32rmy);
655 case SystemZ::MOVSX32rm16: return get(SystemZ::MOVSX32rm16y);
656 case SystemZ::MOV32m8r: return get(SystemZ::MOV32m8ry);
657 case SystemZ::MOV32m16r: return get(SystemZ::MOV32m16ry);
658 case SystemZ::MOV64m8r: return get(SystemZ::MOV64m8ry);
659 case SystemZ::MOV64m16r: return get(SystemZ::MOV64m16ry);
660 case SystemZ::MOV64m32r: return get(SystemZ::MOV64m32ry);
661 case SystemZ::MOV8mi: return get(SystemZ::MOV8miy);
662 case SystemZ::MUL32rm: return get(SystemZ::MUL32rmy);
663 case SystemZ::CMP32rm: return get(SystemZ::CMP32rmy);
664 case SystemZ::UCMP32rm: return get(SystemZ::UCMP32rmy);
665 case SystemZ::FMOV32mr: return get(SystemZ::FMOV32mry);
666 case SystemZ::FMOV64mr: return get(SystemZ::FMOV64mry);
Anton Korobeynikov27766b52009-07-16 14:31:52 +0000667 case SystemZ::FMOV32rm: return get(SystemZ::FMOV32rmy);
668 case SystemZ::FMOV64rm: return get(SystemZ::FMOV64rmy);
Anton Korobeynikov21ddf772009-07-16 14:34:15 +0000669 case SystemZ::MOV64Pmr: return get(SystemZ::MOV64Pmry);
670 case SystemZ::MOV64Prm: return get(SystemZ::MOV64Prmy);
Anton Korobeynikov5a11e022009-07-16 14:09:56 +0000671 }
Anton Korobeynikov5a11e022009-07-16 14:09:56 +0000672}