Chris Lattner | 7c90f73 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 1 | //===- SparcInstrInfo.cpp - Sparc Instruction Information -------*- C++ -*-===// |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 2 | // |
Brian Gaeke | e785e53 | 2004-02-25 19:28:19 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | b5f662f | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 7 | // |
Brian Gaeke | e785e53 | 2004-02-25 19:28:19 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Chris Lattner | 7c90f73 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 10 | // This file contains the Sparc implementation of the TargetInstrInfo class. |
Brian Gaeke | e785e53 | 2004-02-25 19:28:19 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Chris Lattner | 7c90f73 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 14 | #include "SparcInstrInfo.h" |
Owen Anderson | d10fd97 | 2007-12-31 06:32:00 +0000 | [diff] [blame] | 15 | #include "SparcSubtarget.h" |
Chris Lattner | 7c90f73 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 16 | #include "Sparc.h" |
Owen Anderson | 718cb66 | 2007-09-07 04:06:50 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/STLExtras.h" |
Dan Gohman | d68a076 | 2009-01-05 17:59:02 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/SmallVector.h" |
Brian Gaeke | e785e53 | 2004-02-25 19:28:19 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Chris Lattner | db486a6 | 2009-09-15 17:46:24 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Torok Edwin | c25e758 | 2009-07-11 20:10:48 +0000 | [diff] [blame] | 21 | #include "llvm/Support/ErrorHandling.h" |
Chris Lattner | 7c90f73 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 22 | #include "SparcGenInstrInfo.inc" |
Chris Lattner | db486a6 | 2009-09-15 17:46:24 +0000 | [diff] [blame] | 23 | #include "SparcMachineFunctionInfo.h" |
Chris Lattner | 1ddf475 | 2004-02-29 05:59:33 +0000 | [diff] [blame] | 24 | using namespace llvm; |
Brian Gaeke | e785e53 | 2004-02-25 19:28:19 +0000 | [diff] [blame] | 25 | |
Chris Lattner | 7c90f73 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 26 | SparcInstrInfo::SparcInstrInfo(SparcSubtarget &ST) |
Chris Lattner | 6410552 | 2008-01-01 01:03:04 +0000 | [diff] [blame] | 27 | : TargetInstrInfoImpl(SparcInsts, array_lengthof(SparcInsts)), |
Owen Anderson | d10fd97 | 2007-12-31 06:32:00 +0000 | [diff] [blame] | 28 | RI(ST, *this), Subtarget(ST) { |
Brian Gaeke | e785e53 | 2004-02-25 19:28:19 +0000 | [diff] [blame] | 29 | } |
| 30 | |
Chris Lattner | 5ccc722 | 2006-02-03 06:44:54 +0000 | [diff] [blame] | 31 | /// isLoadFromStackSlot - If the specified machine instruction is a direct |
| 32 | /// load from a stack slot, return the virtual or physical register number of |
| 33 | /// the destination along with the FrameIndex of the loaded stack slot. If |
| 34 | /// not, return 0. This predicate must return 0 if the instruction has |
| 35 | /// any side effects other than loading from the stack slot. |
Dan Gohman | cbad42c | 2008-11-18 19:49:32 +0000 | [diff] [blame] | 36 | unsigned SparcInstrInfo::isLoadFromStackSlot(const MachineInstr *MI, |
Chris Lattner | 7c90f73 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 37 | int &FrameIndex) const { |
| 38 | if (MI->getOpcode() == SP::LDri || |
| 39 | MI->getOpcode() == SP::LDFri || |
| 40 | MI->getOpcode() == SP::LDDFri) { |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 41 | if (MI->getOperand(1).isFI() && MI->getOperand(2).isImm() && |
Chris Lattner | 9a1ceae | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 42 | MI->getOperand(2).getImm() == 0) { |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 43 | FrameIndex = MI->getOperand(1).getIndex(); |
Chris Lattner | 5ccc722 | 2006-02-03 06:44:54 +0000 | [diff] [blame] | 44 | return MI->getOperand(0).getReg(); |
| 45 | } |
| 46 | } |
| 47 | return 0; |
| 48 | } |
| 49 | |
| 50 | /// isStoreToStackSlot - If the specified machine instruction is a direct |
| 51 | /// store to a stack slot, return the virtual or physical register number of |
| 52 | /// the source reg along with the FrameIndex of the loaded stack slot. If |
| 53 | /// not, return 0. This predicate must return 0 if the instruction has |
| 54 | /// any side effects other than storing to the stack slot. |
Dan Gohman | cbad42c | 2008-11-18 19:49:32 +0000 | [diff] [blame] | 55 | unsigned SparcInstrInfo::isStoreToStackSlot(const MachineInstr *MI, |
Chris Lattner | 7c90f73 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 56 | int &FrameIndex) const { |
| 57 | if (MI->getOpcode() == SP::STri || |
| 58 | MI->getOpcode() == SP::STFri || |
| 59 | MI->getOpcode() == SP::STDFri) { |
Dan Gohman | d735b80 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 60 | if (MI->getOperand(0).isFI() && MI->getOperand(1).isImm() && |
Chris Lattner | 9a1ceae | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 61 | MI->getOperand(1).getImm() == 0) { |
Chris Lattner | 8aa797a | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 62 | FrameIndex = MI->getOperand(0).getIndex(); |
Chris Lattner | 5ccc722 | 2006-02-03 06:44:54 +0000 | [diff] [blame] | 63 | return MI->getOperand(2).getReg(); |
| 64 | } |
| 65 | } |
| 66 | return 0; |
| 67 | } |
Chris Lattner | e87146a | 2006-10-24 16:39:19 +0000 | [diff] [blame] | 68 | |
Evan Cheng | 6ae3626 | 2007-05-18 00:18:17 +0000 | [diff] [blame] | 69 | unsigned |
| 70 | SparcInstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB, |
| 71 | MachineBasicBlock *FBB, |
Stuart Hastings | 3bf9125 | 2010-06-17 22:43:56 +0000 | [diff] [blame] | 72 | const SmallVectorImpl<MachineOperand> &Cond, |
| 73 | DebugLoc DL)const{ |
Chris Lattner | e87146a | 2006-10-24 16:39:19 +0000 | [diff] [blame] | 74 | // Can only insert uncond branches so far. |
| 75 | assert(Cond.empty() && !FBB && TBB && "Can only handle uncond branches!"); |
Stuart Hastings | 3bf9125 | 2010-06-17 22:43:56 +0000 | [diff] [blame] | 76 | BuildMI(&MBB, DL, get(SP::BA)).addMBB(TBB); |
Evan Cheng | 6ae3626 | 2007-05-18 00:18:17 +0000 | [diff] [blame] | 77 | return 1; |
Rafael Espindola | 3d7d39a | 2006-10-24 17:07:11 +0000 | [diff] [blame] | 78 | } |
Owen Anderson | d10fd97 | 2007-12-31 06:32:00 +0000 | [diff] [blame] | 79 | |
Jakob Stoklund Olesen | 8e18a1a | 2010-07-11 07:56:09 +0000 | [diff] [blame] | 80 | void SparcInstrInfo::copyPhysReg(MachineBasicBlock &MBB, |
| 81 | MachineBasicBlock::iterator I, DebugLoc DL, |
| 82 | unsigned DestReg, unsigned SrcReg, |
| 83 | bool KillSrc) const { |
| 84 | if (SP::IntRegsRegClass.contains(DestReg, SrcReg)) |
| 85 | BuildMI(MBB, I, DL, get(SP::ORrr), DestReg).addReg(SP::G0) |
| 86 | .addReg(SrcReg, getKillRegState(KillSrc)); |
| 87 | else if (SP::FPRegsRegClass.contains(DestReg, SrcReg)) |
| 88 | BuildMI(MBB, I, DL, get(SP::FMOVS), DestReg) |
| 89 | .addReg(SrcReg, getKillRegState(KillSrc)); |
| 90 | else if (SP::DFPRegsRegClass.contains(DestReg, SrcReg)) |
| 91 | BuildMI(MBB, I, DL, get(Subtarget.isV9() ? SP::FMOVD : SP::FpMOVD), DestReg) |
| 92 | .addReg(SrcReg, getKillRegState(KillSrc)); |
Owen Anderson | d10fd97 | 2007-12-31 06:32:00 +0000 | [diff] [blame] | 93 | else |
Jakob Stoklund Olesen | 8e18a1a | 2010-07-11 07:56:09 +0000 | [diff] [blame] | 94 | llvm_unreachable("Impossible reg-to-reg copy"); |
Owen Anderson | d10fd97 | 2007-12-31 06:32:00 +0000 | [diff] [blame] | 95 | } |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 96 | |
| 97 | void SparcInstrInfo:: |
| 98 | storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, |
| 99 | unsigned SrcReg, bool isKill, int FI, |
Evan Cheng | 746ad69 | 2010-05-06 19:06:44 +0000 | [diff] [blame] | 100 | const TargetRegisterClass *RC, |
| 101 | const TargetRegisterInfo *TRI) const { |
Chris Lattner | c7f3ace | 2010-04-02 20:16:16 +0000 | [diff] [blame] | 102 | DebugLoc DL; |
Bill Wendling | d1c321a | 2009-02-12 00:02:55 +0000 | [diff] [blame] | 103 | if (I != MBB.end()) DL = I->getDebugLoc(); |
| 104 | |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 105 | // On the order of operands here: think "[FrameIdx + 0] = SrcReg". |
| 106 | if (RC == SP::IntRegsRegisterClass) |
Bill Wendling | d1c321a | 2009-02-12 00:02:55 +0000 | [diff] [blame] | 107 | BuildMI(MBB, I, DL, get(SP::STri)).addFrameIndex(FI).addImm(0) |
Bill Wendling | 587daed | 2009-05-13 21:33:08 +0000 | [diff] [blame] | 108 | .addReg(SrcReg, getKillRegState(isKill)); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 109 | else if (RC == SP::FPRegsRegisterClass) |
Bill Wendling | d1c321a | 2009-02-12 00:02:55 +0000 | [diff] [blame] | 110 | BuildMI(MBB, I, DL, get(SP::STFri)).addFrameIndex(FI).addImm(0) |
Bill Wendling | 587daed | 2009-05-13 21:33:08 +0000 | [diff] [blame] | 111 | .addReg(SrcReg, getKillRegState(isKill)); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 112 | else if (RC == SP::DFPRegsRegisterClass) |
Bill Wendling | d1c321a | 2009-02-12 00:02:55 +0000 | [diff] [blame] | 113 | BuildMI(MBB, I, DL, get(SP::STDFri)).addFrameIndex(FI).addImm(0) |
Bill Wendling | 587daed | 2009-05-13 21:33:08 +0000 | [diff] [blame] | 114 | .addReg(SrcReg, getKillRegState(isKill)); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 115 | else |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 116 | llvm_unreachable("Can't store this register to stack slot"); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 117 | } |
| 118 | |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 119 | void SparcInstrInfo:: |
| 120 | loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, |
| 121 | unsigned DestReg, int FI, |
Evan Cheng | 746ad69 | 2010-05-06 19:06:44 +0000 | [diff] [blame] | 122 | const TargetRegisterClass *RC, |
| 123 | const TargetRegisterInfo *TRI) const { |
Chris Lattner | c7f3ace | 2010-04-02 20:16:16 +0000 | [diff] [blame] | 124 | DebugLoc DL; |
Bill Wendling | d1c321a | 2009-02-12 00:02:55 +0000 | [diff] [blame] | 125 | if (I != MBB.end()) DL = I->getDebugLoc(); |
| 126 | |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 127 | if (RC == SP::IntRegsRegisterClass) |
Bill Wendling | d1c321a | 2009-02-12 00:02:55 +0000 | [diff] [blame] | 128 | BuildMI(MBB, I, DL, get(SP::LDri), DestReg).addFrameIndex(FI).addImm(0); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 129 | else if (RC == SP::FPRegsRegisterClass) |
Bill Wendling | d1c321a | 2009-02-12 00:02:55 +0000 | [diff] [blame] | 130 | BuildMI(MBB, I, DL, get(SP::LDFri), DestReg).addFrameIndex(FI).addImm(0); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 131 | else if (RC == SP::DFPRegsRegisterClass) |
Bill Wendling | d1c321a | 2009-02-12 00:02:55 +0000 | [diff] [blame] | 132 | BuildMI(MBB, I, DL, get(SP::LDDFri), DestReg).addFrameIndex(FI).addImm(0); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 133 | else |
Torok Edwin | c23197a | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 134 | llvm_unreachable("Can't load this register from stack slot"); |
Owen Anderson | f6372aa | 2008-01-01 21:11:32 +0000 | [diff] [blame] | 135 | } |
| 136 | |
Chris Lattner | db486a6 | 2009-09-15 17:46:24 +0000 | [diff] [blame] | 137 | unsigned SparcInstrInfo::getGlobalBaseReg(MachineFunction *MF) const |
| 138 | { |
| 139 | SparcMachineFunctionInfo *SparcFI = MF->getInfo<SparcMachineFunctionInfo>(); |
| 140 | unsigned GlobalBaseReg = SparcFI->getGlobalBaseReg(); |
| 141 | if (GlobalBaseReg != 0) |
| 142 | return GlobalBaseReg; |
| 143 | |
| 144 | // Insert the set of GlobalBaseReg into the first MBB of the function |
| 145 | MachineBasicBlock &FirstMBB = MF->front(); |
| 146 | MachineBasicBlock::iterator MBBI = FirstMBB.begin(); |
| 147 | MachineRegisterInfo &RegInfo = MF->getRegInfo(); |
| 148 | |
| 149 | GlobalBaseReg = RegInfo.createVirtualRegister(&SP::IntRegsRegClass); |
| 150 | |
| 151 | |
Chris Lattner | c7f3ace | 2010-04-02 20:16:16 +0000 | [diff] [blame] | 152 | DebugLoc dl; |
Chris Lattner | db486a6 | 2009-09-15 17:46:24 +0000 | [diff] [blame] | 153 | |
| 154 | BuildMI(FirstMBB, MBBI, dl, get(SP::GETPCX), GlobalBaseReg); |
| 155 | SparcFI->setGlobalBaseReg(GlobalBaseReg); |
| 156 | return GlobalBaseReg; |
| 157 | } |