Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 1 | //===-- MipsISelLowering.cpp - Mips DAG Lowering Implementation -----------===// |
| 2 | // |
| 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. |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the interfaces that Mips uses to lower LLVM code into a |
| 11 | // selection DAG. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #define DEBUG_TYPE "mips-lower" |
| 16 | |
| 17 | #include "MipsISelLowering.h" |
Bruno Cardoso Lopes | a2b1bb5 | 2007-08-28 05:08:16 +0000 | [diff] [blame] | 18 | #include "MipsMachineFunction.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 19 | #include "MipsTargetMachine.h" |
| 20 | #include "llvm/DerivedTypes.h" |
| 21 | #include "llvm/Function.h" |
| 22 | #include "llvm/Intrinsics.h" |
| 23 | #include "llvm/CallingConv.h" |
| 24 | #include "llvm/CodeGen/CallingConvLower.h" |
| 25 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 26 | #include "llvm/CodeGen/MachineFunction.h" |
| 27 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/SelectionDAGISel.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/ValueTypes.h" |
| 31 | #include "llvm/Support/Debug.h" |
| 32 | #include <queue> |
| 33 | #include <set> |
| 34 | |
| 35 | using namespace llvm; |
| 36 | |
| 37 | const char *MipsTargetLowering:: |
| 38 | getTargetNodeName(unsigned Opcode) const |
| 39 | { |
| 40 | switch (Opcode) |
| 41 | { |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 42 | case MipsISD::JmpLink : return "MipsISD::JmpLink"; |
| 43 | case MipsISD::Hi : return "MipsISD::Hi"; |
| 44 | case MipsISD::Lo : return "MipsISD::Lo"; |
| 45 | case MipsISD::Ret : return "MipsISD::Ret"; |
| 46 | default : return NULL; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 47 | } |
| 48 | } |
| 49 | |
| 50 | MipsTargetLowering:: |
| 51 | MipsTargetLowering(MipsTargetMachine &TM): TargetLowering(TM) |
| 52 | { |
| 53 | // Mips does not have i1 type, so use i32 for |
| 54 | // setcc operations results (slt, sgt, ...). |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 55 | setSetCCResultContents(ZeroOrOneSetCCResult); |
| 56 | |
Bruno Cardoso Lopes | 753a987 | 2007-11-12 19:49:57 +0000 | [diff] [blame] | 57 | // JumpTable targets must use GOT when using PIC_ |
| 58 | setUsesGlobalOffsetTable(true); |
| 59 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 60 | // Set up the register classes |
| 61 | addRegisterClass(MVT::i32, Mips::CPURegsRegisterClass); |
| 62 | |
| 63 | // Custom |
| 64 | setOperationAction(ISD::GlobalAddress, MVT::i32, Custom); |
Lauro Ramos Venancio | 75ce010 | 2007-07-11 17:19:51 +0000 | [diff] [blame] | 65 | setOperationAction(ISD::GlobalTLSAddress, MVT::i32, Custom); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 66 | setOperationAction(ISD::RET, MVT::Other, Custom); |
Bruno Cardoso Lopes | 753a987 | 2007-11-12 19:49:57 +0000 | [diff] [blame] | 67 | setOperationAction(ISD::JumpTable, MVT::i32, Custom); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 68 | |
| 69 | // Load extented operations for i1 types must be promoted |
| 70 | setLoadXAction(ISD::EXTLOAD, MVT::i1, Promote); |
| 71 | setLoadXAction(ISD::ZEXTLOAD, MVT::i1, Promote); |
| 72 | setLoadXAction(ISD::SEXTLOAD, MVT::i1, Promote); |
| 73 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 74 | // Mips does not have these NodeTypes below. |
| 75 | setOperationAction(ISD::BR_JT, MVT::Other, Expand); |
| 76 | setOperationAction(ISD::BR_CC, MVT::Other, Expand); |
| 77 | setOperationAction(ISD::SELECT_CC, MVT::Other, Expand); |
Bruno Cardoso Lopes | a2b1bb5 | 2007-08-28 05:08:16 +0000 | [diff] [blame] | 78 | setOperationAction(ISD::SELECT_CC, MVT::i32, Expand); |
| 79 | setOperationAction(ISD::SELECT, MVT::i32, Expand); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 80 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i1, Expand); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 81 | |
| 82 | // Mips not supported intrinsics. |
Andrew Lenharth | d497d9f | 2008-02-16 14:46:26 +0000 | [diff] [blame] | 83 | setOperationAction(ISD::MEMBARRIER, MVT::Other, Expand); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 84 | |
| 85 | setOperationAction(ISD::CTPOP, MVT::i32, Expand); |
| 86 | setOperationAction(ISD::CTTZ , MVT::i32, Expand); |
| 87 | setOperationAction(ISD::CTLZ , MVT::i32, Expand); |
| 88 | setOperationAction(ISD::ROTL , MVT::i32, Expand); |
| 89 | setOperationAction(ISD::ROTR , MVT::i32, Expand); |
| 90 | setOperationAction(ISD::BSWAP, MVT::i32, Expand); |
| 91 | |
| 92 | setOperationAction(ISD::SHL_PARTS, MVT::i32, Expand); |
| 93 | setOperationAction(ISD::SRA_PARTS, MVT::i32, Expand); |
| 94 | setOperationAction(ISD::SRL_PARTS, MVT::i32, Expand); |
| 95 | |
| 96 | // We don't have line number support yet. |
| 97 | setOperationAction(ISD::LOCATION, MVT::Other, Expand); |
| 98 | setOperationAction(ISD::DEBUG_LOC, MVT::Other, Expand); |
| 99 | setOperationAction(ISD::LABEL, MVT::Other, Expand); |
| 100 | |
| 101 | // Use the default for now |
| 102 | setOperationAction(ISD::STACKSAVE, MVT::Other, Expand); |
| 103 | setOperationAction(ISD::STACKRESTORE, MVT::Other, Expand); |
| 104 | |
| 105 | setStackPointerRegisterToSaveRestore(Mips::SP); |
| 106 | computeRegisterProperties(); |
| 107 | } |
| 108 | |
| 109 | |
Scott Michel | 5b8f82e | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 110 | MVT::ValueType |
| 111 | MipsTargetLowering::getSetCCResultType(const SDOperand &) const { |
| 112 | return MVT::i32; |
| 113 | } |
| 114 | |
| 115 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 116 | SDOperand MipsTargetLowering:: |
| 117 | LowerOperation(SDOperand Op, SelectionDAG &DAG) |
| 118 | { |
| 119 | switch (Op.getOpcode()) |
| 120 | { |
| 121 | case ISD::CALL: return LowerCALL(Op, DAG); |
| 122 | case ISD::FORMAL_ARGUMENTS: return LowerFORMAL_ARGUMENTS(Op, DAG); |
| 123 | case ISD::RET: return LowerRET(Op, DAG); |
| 124 | case ISD::GlobalAddress: return LowerGlobalAddress(Op, DAG); |
Lauro Ramos Venancio | 75ce010 | 2007-07-11 17:19:51 +0000 | [diff] [blame] | 125 | case ISD::GlobalTLSAddress: return LowerGlobalTLSAddress(Op, DAG); |
Bruno Cardoso Lopes | 753a987 | 2007-11-12 19:49:57 +0000 | [diff] [blame] | 126 | case ISD::JumpTable: return LowerJumpTable(Op, DAG); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 127 | } |
| 128 | return SDOperand(); |
| 129 | } |
| 130 | |
| 131 | //===----------------------------------------------------------------------===// |
| 132 | // Lower helper functions |
| 133 | //===----------------------------------------------------------------------===// |
| 134 | |
| 135 | // AddLiveIn - This helper function adds the specified physical register to the |
| 136 | // MachineFunction as a live in value. It also creates a corresponding |
| 137 | // virtual register for it. |
| 138 | static unsigned |
| 139 | AddLiveIn(MachineFunction &MF, unsigned PReg, TargetRegisterClass *RC) |
| 140 | { |
| 141 | assert(RC->contains(PReg) && "Not the correct regclass!"); |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 142 | unsigned VReg = MF.getRegInfo().createVirtualRegister(RC); |
| 143 | MF.getRegInfo().addLiveIn(PReg, VReg); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 144 | return VReg; |
| 145 | } |
| 146 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 147 | //===----------------------------------------------------------------------===// |
| 148 | // Misc Lower Operation implementation |
| 149 | //===----------------------------------------------------------------------===// |
| 150 | SDOperand MipsTargetLowering:: |
| 151 | LowerGlobalAddress(SDOperand Op, SelectionDAG &DAG) |
| 152 | { |
Bruno Cardoso Lopes | 8262df3 | 2007-10-09 03:15:11 +0000 | [diff] [blame] | 153 | SDOperand ResNode; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 154 | GlobalValue *GV = cast<GlobalAddressSDNode>(Op)->getGlobal(); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 155 | SDOperand GA = DAG.getTargetGlobalAddress(GV, MVT::i32); |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 156 | bool isPIC = (getTargetMachine().getRelocationModel() == Reloc::PIC_); |
Bruno Cardoso Lopes | 7ff6fa2 | 2007-08-18 02:16:30 +0000 | [diff] [blame] | 157 | |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 158 | SDOperand HiPart; |
| 159 | if (!isPIC) { |
| 160 | const MVT::ValueType *VTs = DAG.getNodeValueTypes(MVT::i32); |
Bruno Cardoso Lopes | 8262df3 | 2007-10-09 03:15:11 +0000 | [diff] [blame] | 161 | SDOperand Ops[] = { GA }; |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 162 | HiPart = DAG.getNode(MipsISD::Hi, VTs, 1, Ops, 1); |
| 163 | } else // Emit Load from Global Pointer |
| 164 | HiPart = DAG.getLoad(MVT::i32, DAG.getEntryNode(), GA, NULL, 0); |
Bruno Cardoso Lopes | 7ff6fa2 | 2007-08-18 02:16:30 +0000 | [diff] [blame] | 165 | |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 166 | // On functions and global targets not internal linked only |
| 167 | // a load from got/GP is necessary for PIC to work. |
| 168 | if ((isPIC) && ((!GV->hasInternalLinkage()) || (isa<Function>(GV)))) |
| 169 | return HiPart; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 170 | |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 171 | SDOperand Lo = DAG.getNode(MipsISD::Lo, MVT::i32, GA); |
| 172 | ResNode = DAG.getNode(ISD::ADD, MVT::i32, HiPart, Lo); |
Bruno Cardoso Lopes | 8262df3 | 2007-10-09 03:15:11 +0000 | [diff] [blame] | 173 | |
| 174 | return ResNode; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 175 | } |
| 176 | |
| 177 | SDOperand MipsTargetLowering:: |
Lauro Ramos Venancio | 75ce010 | 2007-07-11 17:19:51 +0000 | [diff] [blame] | 178 | LowerGlobalTLSAddress(SDOperand Op, SelectionDAG &DAG) |
| 179 | { |
| 180 | assert(0 && "TLS not implemented for MIPS."); |
Chris Lattner | d27c991 | 2008-03-30 18:22:13 +0000 | [diff] [blame] | 181 | return SDOperand(); // Not reached |
Lauro Ramos Venancio | 75ce010 | 2007-07-11 17:19:51 +0000 | [diff] [blame] | 182 | } |
| 183 | |
Bruno Cardoso Lopes | 753a987 | 2007-11-12 19:49:57 +0000 | [diff] [blame] | 184 | SDOperand MipsTargetLowering:: |
| 185 | LowerJumpTable(SDOperand Op, SelectionDAG &DAG) |
| 186 | { |
| 187 | SDOperand ResNode; |
| 188 | SDOperand HiPart; |
| 189 | |
| 190 | MVT::ValueType PtrVT = Op.getValueType(); |
| 191 | JumpTableSDNode *JT = cast<JumpTableSDNode>(Op); |
| 192 | SDOperand JTI = DAG.getTargetJumpTable(JT->getIndex(), PtrVT); |
| 193 | |
| 194 | if (getTargetMachine().getRelocationModel() != Reloc::PIC_) { |
| 195 | const MVT::ValueType *VTs = DAG.getNodeValueTypes(MVT::i32); |
| 196 | SDOperand Ops[] = { JTI }; |
| 197 | HiPart = DAG.getNode(MipsISD::Hi, VTs, 1, Ops, 1); |
| 198 | } else // Emit Load from Global Pointer |
| 199 | HiPart = DAG.getLoad(MVT::i32, DAG.getEntryNode(), JTI, NULL, 0); |
| 200 | |
| 201 | SDOperand Lo = DAG.getNode(MipsISD::Lo, MVT::i32, JTI); |
| 202 | ResNode = DAG.getNode(ISD::ADD, MVT::i32, HiPart, Lo); |
| 203 | |
| 204 | return ResNode; |
| 205 | } |
| 206 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 207 | //===----------------------------------------------------------------------===// |
| 208 | // Calling Convention Implementation |
| 209 | // |
| 210 | // The lower operations present on calling convention works on this order: |
| 211 | // LowerCALL (virt regs --> phys regs, virt regs --> stack) |
| 212 | // LowerFORMAL_ARGUMENTS (phys --> virt regs, stack --> virt regs) |
| 213 | // LowerRET (virt regs --> phys regs) |
| 214 | // LowerCALL (phys regs --> virt regs) |
| 215 | // |
| 216 | //===----------------------------------------------------------------------===// |
| 217 | |
| 218 | #include "MipsGenCallingConv.inc" |
| 219 | |
| 220 | //===----------------------------------------------------------------------===// |
| 221 | // CALL Calling Convention Implementation |
| 222 | //===----------------------------------------------------------------------===// |
| 223 | |
| 224 | /// Mips custom CALL implementation |
| 225 | SDOperand MipsTargetLowering:: |
| 226 | LowerCALL(SDOperand Op, SelectionDAG &DAG) |
| 227 | { |
Chris Lattner | e0b1215 | 2008-03-17 06:57:02 +0000 | [diff] [blame] | 228 | unsigned CallingConv = cast<ConstantSDNode>(Op.getOperand(1))->getValue(); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 229 | |
| 230 | // By now, only CallingConv::C implemented |
Chris Lattner | e0b1215 | 2008-03-17 06:57:02 +0000 | [diff] [blame] | 231 | switch (CallingConv) { |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 232 | default: |
| 233 | assert(0 && "Unsupported calling convention"); |
| 234 | case CallingConv::Fast: |
| 235 | case CallingConv::C: |
| 236 | return LowerCCCCallTo(Op, DAG, CallingConv); |
| 237 | } |
| 238 | } |
| 239 | |
| 240 | /// LowerCCCCallTo - functions arguments are copied from virtual |
| 241 | /// regs to (physical regs)/(stack frame), CALLSEQ_START and |
| 242 | /// CALLSEQ_END are emitted. |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 243 | /// TODO: isVarArg, isTailCall, sret. |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 244 | SDOperand MipsTargetLowering:: |
| 245 | LowerCCCCallTo(SDOperand Op, SelectionDAG &DAG, unsigned CC) |
| 246 | { |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 247 | MachineFunction &MF = DAG.getMachineFunction(); |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 248 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 249 | SDOperand Chain = Op.getOperand(0); |
| 250 | SDOperand Callee = Op.getOperand(4); |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 251 | bool isVarArg = cast<ConstantSDNode>(Op.getOperand(2))->getValue() != 0; |
| 252 | |
| 253 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 254 | |
| 255 | // Analyze operands of the call, assigning locations to each operand. |
| 256 | SmallVector<CCValAssign, 16> ArgLocs; |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 257 | CCState CCInfo(CC, isVarArg, getTargetMachine(), ArgLocs); |
| 258 | |
| 259 | // To meet ABI, Mips must always allocate 16 bytes on |
| 260 | // the stack (even if less than 4 are used as arguments) |
| 261 | int VTsize = MVT::getSizeInBits(MVT::i32)/8; |
Bruno Cardoso Lopes | a2b1bb5 | 2007-08-28 05:08:16 +0000 | [diff] [blame] | 262 | MFI->CreateFixedObject(VTsize, (VTsize*3)); |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 263 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 264 | CCInfo.AnalyzeCallOperands(Op.Val, CC_Mips); |
| 265 | |
| 266 | // Get a count of how many bytes are to be pushed on the stack. |
| 267 | unsigned NumBytes = CCInfo.getNextStackOffset(); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 268 | Chain = DAG.getCALLSEQ_START(Chain,DAG.getConstant(NumBytes, |
| 269 | getPointerTy())); |
| 270 | |
| 271 | SmallVector<std::pair<unsigned, SDOperand>, 8> RegsToPass; |
| 272 | SmallVector<SDOperand, 8> MemOpChains; |
| 273 | |
Chris Lattner | e0b1215 | 2008-03-17 06:57:02 +0000 | [diff] [blame] | 274 | int LastStackLoc = 0; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 275 | |
| 276 | // Walk the register/memloc assignments, inserting copies/loads. |
| 277 | for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) { |
| 278 | CCValAssign &VA = ArgLocs[i]; |
| 279 | |
| 280 | // Arguments start after the 5 first operands of ISD::CALL |
| 281 | SDOperand Arg = Op.getOperand(5+2*VA.getValNo()); |
| 282 | |
| 283 | // Promote the value if needed. |
| 284 | switch (VA.getLocInfo()) { |
Chris Lattner | e0b1215 | 2008-03-17 06:57:02 +0000 | [diff] [blame] | 285 | default: assert(0 && "Unknown loc info!"); |
| 286 | case CCValAssign::Full: break; |
| 287 | case CCValAssign::SExt: |
| 288 | Arg = DAG.getNode(ISD::SIGN_EXTEND, VA.getLocVT(), Arg); |
| 289 | break; |
| 290 | case CCValAssign::ZExt: |
| 291 | Arg = DAG.getNode(ISD::ZERO_EXTEND, VA.getLocVT(), Arg); |
| 292 | break; |
| 293 | case CCValAssign::AExt: |
| 294 | Arg = DAG.getNode(ISD::ANY_EXTEND, VA.getLocVT(), Arg); |
| 295 | break; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 296 | } |
| 297 | |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 298 | // Arguments that can be passed on register must be kept at |
| 299 | // RegsToPass vector |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 300 | if (VA.isRegLoc()) { |
| 301 | RegsToPass.push_back(std::make_pair(VA.getLocReg(), Arg)); |
Chris Lattner | e0b1215 | 2008-03-17 06:57:02 +0000 | [diff] [blame] | 302 | continue; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 303 | } |
Chris Lattner | e0b1215 | 2008-03-17 06:57:02 +0000 | [diff] [blame] | 304 | |
| 305 | assert(VA.isMemLoc()); |
| 306 | |
| 307 | // Create the frame index object for this incoming parameter |
| 308 | // This guarantees that when allocating Local Area the firsts |
| 309 | // 16 bytes which are alwayes reserved won't be overwritten. |
| 310 | LastStackLoc = (16 + VA.getLocMemOffset()); |
| 311 | int FI = MFI->CreateFixedObject(MVT::getSizeInBits(VA.getValVT())/8, |
| 312 | LastStackLoc); |
| 313 | |
| 314 | SDOperand PtrOff = DAG.getFrameIndex(FI,getPointerTy()); |
| 315 | |
| 316 | // emit ISD::STORE whichs stores the |
| 317 | // parameter value to a stack Location |
| 318 | MemOpChains.push_back(DAG.getStore(Chain, Arg, PtrOff, NULL, 0)); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 319 | } |
| 320 | |
| 321 | // Transform all store nodes into one single node because |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 322 | // all store nodes are independent of each other. |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 323 | if (!MemOpChains.empty()) |
| 324 | Chain = DAG.getNode(ISD::TokenFactor, MVT::Other, |
| 325 | &MemOpChains[0], MemOpChains.size()); |
| 326 | |
| 327 | // Build a sequence of copy-to-reg nodes chained together with token |
| 328 | // chain and flag operands which copy the outgoing args into registers. |
| 329 | // The InFlag in necessary since all emited instructions must be |
| 330 | // stuck together. |
| 331 | SDOperand InFlag; |
| 332 | for (unsigned i = 0, e = RegsToPass.size(); i != e; ++i) { |
| 333 | Chain = DAG.getCopyToReg(Chain, RegsToPass[i].first, |
| 334 | RegsToPass[i].second, InFlag); |
| 335 | InFlag = Chain.getValue(1); |
| 336 | } |
| 337 | |
Bruno Cardoso Lopes | 8262df3 | 2007-10-09 03:15:11 +0000 | [diff] [blame] | 338 | // If the callee is a GlobalAddress/ExternalSymbol node (quite common, every |
| 339 | // direct call is) turn it into a TargetGlobalAddress/TargetExternalSymbol |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 340 | // node so that legalize doesn't hack it. |
| 341 | if (GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(Callee)) |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 342 | Callee = DAG.getTargetGlobalAddress(G->getGlobal(), getPointerTy()); |
Bruno Cardoso Lopes | 8262df3 | 2007-10-09 03:15:11 +0000 | [diff] [blame] | 343 | else if (ExternalSymbolSDNode *S = dyn_cast<ExternalSymbolSDNode>(Callee)) |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 344 | Callee = DAG.getTargetExternalSymbol(S->getSymbol(), getPointerTy()); |
| 345 | |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 346 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 347 | // MipsJmpLink = #chain, #target_address, #opt_in_flags... |
| 348 | // = Chain, Callee, Reg#1, Reg#2, ... |
| 349 | // |
| 350 | // Returns a chain & a flag for retval copy to use. |
| 351 | SDVTList NodeTys = DAG.getVTList(MVT::Other, MVT::Flag); |
| 352 | SmallVector<SDOperand, 8> Ops; |
| 353 | Ops.push_back(Chain); |
| 354 | Ops.push_back(Callee); |
| 355 | |
| 356 | // Add argument registers to the end of the list so that they are |
| 357 | // known live into the call. |
| 358 | for (unsigned i = 0, e = RegsToPass.size(); i != e; ++i) |
| 359 | Ops.push_back(DAG.getRegister(RegsToPass[i].first, |
| 360 | RegsToPass[i].second.getValueType())); |
| 361 | |
| 362 | if (InFlag.Val) |
| 363 | Ops.push_back(InFlag); |
| 364 | |
| 365 | Chain = DAG.getNode(MipsISD::JmpLink, NodeTys, &Ops[0], Ops.size()); |
| 366 | InFlag = Chain.getValue(1); |
| 367 | |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 368 | // Create a stack location to hold GP when PIC is used. This stack |
| 369 | // location is used on function prologue to save GP and also after all |
| 370 | // emited CALL's to restore GP. |
| 371 | if (getTargetMachine().getRelocationModel() == Reloc::PIC_) { |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 372 | // Function can have an arbitrary number of calls, so |
| 373 | // hold the LastStackLoc with the biggest offset. |
| 374 | int FI; |
| 375 | MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>(); |
| 376 | if (LastStackLoc >= MipsFI->getGPStackOffset()) { |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 377 | LastStackLoc = (!LastStackLoc) ? (16) : (LastStackLoc+4); |
| 378 | // Create the frame index only once. SPOffset here can be anything |
| 379 | // (this will be fixed on processFunctionBeforeFrameFinalized) |
| 380 | if (MipsFI->getGPStackOffset() == -1) { |
| 381 | FI = MFI->CreateFixedObject(4, 0); |
| 382 | MipsFI->setGPFI(FI); |
| 383 | } |
| 384 | MipsFI->setGPStackOffset(LastStackLoc); |
| 385 | } |
| 386 | |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 387 | // Reload GP value. |
| 388 | FI = MipsFI->getGPFI(); |
| 389 | SDOperand FIN = DAG.getFrameIndex(FI,getPointerTy()); |
| 390 | SDOperand GPLoad = DAG.getLoad(MVT::i32, Chain, FIN, NULL, 0); |
| 391 | Chain = GPLoad.getValue(1); |
| 392 | Chain = DAG.getCopyToReg(Chain, DAG.getRegister(Mips::GP, MVT::i32), |
| 393 | GPLoad, SDOperand(0,0)); |
| 394 | } |
| 395 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 396 | // Create the CALLSEQ_END node. |
Bill Wendling | 0f8d9c0 | 2007-11-13 00:44:25 +0000 | [diff] [blame] | 397 | Chain = DAG.getCALLSEQ_END(Chain, |
| 398 | DAG.getConstant(NumBytes, getPointerTy()), |
| 399 | DAG.getConstant(0, getPointerTy()), |
| 400 | InFlag); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 401 | InFlag = Chain.getValue(1); |
| 402 | |
| 403 | // Handle result values, copying them out of physregs into vregs that we |
| 404 | // return. |
| 405 | return SDOperand(LowerCallResult(Chain, InFlag, Op.Val, CC, DAG), Op.ResNo); |
| 406 | } |
| 407 | |
| 408 | /// LowerCallResult - Lower the result values of an ISD::CALL into the |
| 409 | /// appropriate copies out of appropriate physical registers. This assumes that |
| 410 | /// Chain/InFlag are the input chain/flag to use, and that TheCall is the call |
| 411 | /// being lowered. Returns a SDNode with the same number of values as the |
| 412 | /// ISD::CALL. |
| 413 | SDNode *MipsTargetLowering:: |
| 414 | LowerCallResult(SDOperand Chain, SDOperand InFlag, SDNode *TheCall, |
| 415 | unsigned CallingConv, SelectionDAG &DAG) { |
| 416 | |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 417 | bool isVarArg = cast<ConstantSDNode>(TheCall->getOperand(2))->getValue() != 0; |
| 418 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 419 | // Assign locations to each value returned by this call. |
| 420 | SmallVector<CCValAssign, 16> RVLocs; |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 421 | CCState CCInfo(CallingConv, isVarArg, getTargetMachine(), RVLocs); |
| 422 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 423 | CCInfo.AnalyzeCallResult(TheCall, RetCC_Mips); |
| 424 | SmallVector<SDOperand, 8> ResultVals; |
| 425 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 426 | // Copy all of the result registers out of their specified physreg. |
| 427 | for (unsigned i = 0; i != RVLocs.size(); ++i) { |
| 428 | Chain = DAG.getCopyFromReg(Chain, RVLocs[i].getLocReg(), |
| 429 | RVLocs[i].getValVT(), InFlag).getValue(1); |
| 430 | InFlag = Chain.getValue(2); |
| 431 | ResultVals.push_back(Chain.getValue(0)); |
| 432 | } |
| 433 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 434 | ResultVals.push_back(Chain); |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 435 | |
| 436 | // Merge everything together with a MERGE_VALUES node. |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 437 | return DAG.getNode(ISD::MERGE_VALUES, TheCall->getVTList(), |
Bruno Cardoso Lopes | c7db561 | 2007-11-05 03:02:32 +0000 | [diff] [blame] | 438 | &ResultVals[0], ResultVals.size()).Val; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 439 | } |
| 440 | |
| 441 | //===----------------------------------------------------------------------===// |
| 442 | // FORMAL_ARGUMENTS Calling Convention Implementation |
| 443 | //===----------------------------------------------------------------------===// |
| 444 | |
| 445 | /// Mips custom FORMAL_ARGUMENTS implementation |
| 446 | SDOperand MipsTargetLowering:: |
| 447 | LowerFORMAL_ARGUMENTS(SDOperand Op, SelectionDAG &DAG) |
| 448 | { |
| 449 | unsigned CC = cast<ConstantSDNode>(Op.getOperand(1))->getValue(); |
| 450 | switch(CC) |
| 451 | { |
| 452 | default: |
| 453 | assert(0 && "Unsupported calling convention"); |
| 454 | case CallingConv::C: |
| 455 | return LowerCCCArguments(Op, DAG); |
| 456 | } |
| 457 | } |
| 458 | |
| 459 | /// LowerCCCArguments - transform physical registers into |
| 460 | /// virtual registers and generate load operations for |
| 461 | /// arguments places on the stack. |
| 462 | /// TODO: isVarArg, sret |
| 463 | SDOperand MipsTargetLowering:: |
| 464 | LowerCCCArguments(SDOperand Op, SelectionDAG &DAG) |
| 465 | { |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 466 | SDOperand Root = Op.getOperand(0); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 467 | MachineFunction &MF = DAG.getMachineFunction(); |
| 468 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
Bruno Cardoso Lopes | a2b1bb5 | 2007-08-28 05:08:16 +0000 | [diff] [blame] | 469 | MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>(); |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 470 | |
| 471 | bool isVarArg = cast<ConstantSDNode>(Op.getOperand(2))->getValue() != 0; |
| 472 | unsigned CC = DAG.getMachineFunction().getFunction()->getCallingConv(); |
| 473 | |
| 474 | unsigned StackReg = MF.getTarget().getRegisterInfo()->getFrameRegister(MF); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 475 | |
Bruno Cardoso Lopes | 753a987 | 2007-11-12 19:49:57 +0000 | [diff] [blame] | 476 | // GP holds the GOT address on PIC calls. |
| 477 | if (getTargetMachine().getRelocationModel() == Reloc::PIC_) |
| 478 | AddLiveIn(MF, Mips::GP, Mips::CPURegsRegisterClass); |
| 479 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 480 | // Assign locations to all of the incoming arguments. |
| 481 | SmallVector<CCValAssign, 16> ArgLocs; |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 482 | CCState CCInfo(CC, isVarArg, getTargetMachine(), ArgLocs); |
| 483 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 484 | CCInfo.AnalyzeFormalArguments(Op.Val, CC_Mips); |
| 485 | SmallVector<SDOperand, 8> ArgValues; |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 486 | SDOperand StackPtr; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 487 | |
| 488 | for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) { |
| 489 | |
| 490 | CCValAssign &VA = ArgLocs[i]; |
| 491 | |
| 492 | // Arguments stored on registers |
| 493 | if (VA.isRegLoc()) { |
| 494 | MVT::ValueType RegVT = VA.getLocVT(); |
| 495 | TargetRegisterClass *RC; |
| 496 | |
| 497 | if (RegVT == MVT::i32) |
| 498 | RC = Mips::CPURegsRegisterClass; |
| 499 | else |
| 500 | assert(0 && "support only Mips::CPURegsRegisterClass"); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 501 | |
| 502 | // Transform the arguments stored on |
| 503 | // physical registers into virtual ones |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 504 | unsigned Reg = AddLiveIn(DAG.getMachineFunction(), VA.getLocReg(), RC); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 505 | SDOperand ArgValue = DAG.getCopyFromReg(Root, Reg, RegVT); |
| 506 | |
| 507 | // If this is an 8 or 16-bit value, it is really passed promoted |
| 508 | // to 32 bits. Insert an assert[sz]ext to capture this, then |
| 509 | // truncate to the right size. |
| 510 | if (VA.getLocInfo() == CCValAssign::SExt) |
| 511 | ArgValue = DAG.getNode(ISD::AssertSext, RegVT, ArgValue, |
| 512 | DAG.getValueType(VA.getValVT())); |
| 513 | else if (VA.getLocInfo() == CCValAssign::ZExt) |
| 514 | ArgValue = DAG.getNode(ISD::AssertZext, RegVT, ArgValue, |
| 515 | DAG.getValueType(VA.getValVT())); |
| 516 | |
| 517 | if (VA.getLocInfo() != CCValAssign::Full) |
| 518 | ArgValue = DAG.getNode(ISD::TRUNCATE, VA.getValVT(), ArgValue); |
| 519 | |
| 520 | ArgValues.push_back(ArgValue); |
| 521 | |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 522 | // To meet ABI, when VARARGS are passed on registers, the registers |
Bruno Cardoso Lopes | a2b1bb5 | 2007-08-28 05:08:16 +0000 | [diff] [blame] | 523 | // must have their values written to the caller stack frame. |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 524 | if (isVarArg) { |
| 525 | |
| 526 | if (StackPtr.Val == 0) |
| 527 | StackPtr = DAG.getRegister(StackReg, getPointerTy()); |
| 528 | |
Bruno Cardoso Lopes | a2b1bb5 | 2007-08-28 05:08:16 +0000 | [diff] [blame] | 529 | // The stack pointer offset is relative to the caller stack frame. |
| 530 | // Since the real stack size is unknown here, a negative SPOffset |
| 531 | // is used so there's a way to adjust these offsets when the stack |
| 532 | // size get known (on EliminateFrameIndex). A dummy SPOffset is |
| 533 | // used instead of a direct negative address (which is recorded to |
| 534 | // be used on emitPrologue) to avoid mis-calc of the first stack |
| 535 | // offset on PEI::calculateFrameObjectOffsets. |
| 536 | // Arguments are always 32-bit. |
| 537 | int FI = MFI->CreateFixedObject(4, 0); |
| 538 | MipsFI->recordStoreVarArgsFI(FI, -(4+(i*4))); |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 539 | SDOperand PtrOff = DAG.getFrameIndex(FI, getPointerTy()); |
| 540 | |
| 541 | // emit ISD::STORE whichs stores the |
| 542 | // parameter value to a stack Location |
| 543 | ArgValues.push_back(DAG.getStore(Root, ArgValue, PtrOff, NULL, 0)); |
| 544 | } |
| 545 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 546 | } else { |
| 547 | // sanity check |
| 548 | assert(VA.isMemLoc()); |
| 549 | |
Bruno Cardoso Lopes | a2b1bb5 | 2007-08-28 05:08:16 +0000 | [diff] [blame] | 550 | // The stack pointer offset is relative to the caller stack frame. |
| 551 | // Since the real stack size is unknown here, a negative SPOffset |
| 552 | // is used so there's a way to adjust these offsets when the stack |
| 553 | // size get known (on EliminateFrameIndex). A dummy SPOffset is |
| 554 | // used instead of a direct negative address (which is recorded to |
| 555 | // be used on emitPrologue) to avoid mis-calc of the first stack |
| 556 | // offset on PEI::calculateFrameObjectOffsets. |
| 557 | // Arguments are always 32-bit. |
| 558 | int FI = MFI->CreateFixedObject(4, 0); |
| 559 | MipsFI->recordLoadArgsFI(FI, -(4+(16+VA.getLocMemOffset()))); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 560 | |
| 561 | // Create load nodes to retrieve arguments from the stack |
| 562 | SDOperand FIN = DAG.getFrameIndex(FI, getPointerTy()); |
| 563 | ArgValues.push_back(DAG.getLoad(VA.getValVT(), Root, FIN, NULL, 0)); |
| 564 | } |
| 565 | } |
| 566 | ArgValues.push_back(Root); |
| 567 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 568 | // Return the new list of results. |
| 569 | return DAG.getNode(ISD::MERGE_VALUES, Op.Val->getVTList(), |
| 570 | &ArgValues[0], ArgValues.size()).getValue(Op.ResNo); |
| 571 | } |
| 572 | |
| 573 | //===----------------------------------------------------------------------===// |
| 574 | // Return Value Calling Convention Implementation |
| 575 | //===----------------------------------------------------------------------===// |
| 576 | |
| 577 | SDOperand MipsTargetLowering:: |
| 578 | LowerRET(SDOperand Op, SelectionDAG &DAG) |
| 579 | { |
| 580 | // CCValAssign - represent the assignment of |
| 581 | // the return value to a location |
| 582 | SmallVector<CCValAssign, 16> RVLocs; |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 583 | unsigned CC = DAG.getMachineFunction().getFunction()->getCallingConv(); |
| 584 | bool isVarArg = DAG.getMachineFunction().getFunction()->isVarArg(); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 585 | |
| 586 | // CCState - Info about the registers and stack slot. |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 587 | CCState CCInfo(CC, isVarArg, getTargetMachine(), RVLocs); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 588 | |
| 589 | // Analize return values of ISD::RET |
| 590 | CCInfo.AnalyzeReturn(Op.Val, RetCC_Mips); |
| 591 | |
| 592 | // If this is the first return lowered for this function, add |
| 593 | // the regs to the liveout set for the function. |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 594 | if (DAG.getMachineFunction().getRegInfo().liveout_empty()) { |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 595 | for (unsigned i = 0; i != RVLocs.size(); ++i) |
Bruno Cardoso Lopes | 2ab22d1 | 2007-07-11 23:16:16 +0000 | [diff] [blame] | 596 | if (RVLocs[i].isRegLoc()) |
Chris Lattner | 84bc542 | 2007-12-31 04:13:23 +0000 | [diff] [blame] | 597 | DAG.getMachineFunction().getRegInfo().addLiveOut(RVLocs[i].getLocReg()); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 598 | } |
| 599 | |
| 600 | // The chain is always operand #0 |
| 601 | SDOperand Chain = Op.getOperand(0); |
| 602 | SDOperand Flag; |
| 603 | |
| 604 | // Copy the result values into the output registers. |
| 605 | for (unsigned i = 0; i != RVLocs.size(); ++i) { |
| 606 | CCValAssign &VA = RVLocs[i]; |
| 607 | assert(VA.isRegLoc() && "Can only return in registers!"); |
| 608 | |
| 609 | // ISD::RET => ret chain, (regnum1,val1), ... |
| 610 | // So i*2+1 index only the regnums |
Bruno Cardoso Lopes | 8262df3 | 2007-10-09 03:15:11 +0000 | [diff] [blame] | 611 | Chain = DAG.getCopyToReg(Chain, VA.getLocReg(), Op.getOperand(i*2+1), Flag); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 612 | |
| 613 | // guarantee that all emitted copies are |
| 614 | // stuck together, avoiding something bad |
| 615 | Flag = Chain.getValue(1); |
| 616 | } |
| 617 | |
| 618 | // Return on Mips is always a "jr $ra" |
| 619 | if (Flag.Val) |
| 620 | return DAG.getNode(MipsISD::Ret, MVT::Other, |
Bruno Cardoso Lopes | 8262df3 | 2007-10-09 03:15:11 +0000 | [diff] [blame] | 621 | Chain, DAG.getRegister(Mips::RA, MVT::i32), Flag); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 622 | else // Return Void |
| 623 | return DAG.getNode(MipsISD::Ret, MVT::Other, |
Bruno Cardoso Lopes | 8262df3 | 2007-10-09 03:15:11 +0000 | [diff] [blame] | 624 | Chain, DAG.getRegister(Mips::RA, MVT::i32)); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 625 | } |
Bruno Cardoso Lopes | 84f47c5 | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 626 | |
| 627 | //===----------------------------------------------------------------------===// |
| 628 | // Mips Inline Assembly Support |
| 629 | //===----------------------------------------------------------------------===// |
| 630 | |
| 631 | /// getConstraintType - Given a constraint letter, return the type of |
| 632 | /// constraint it is for this target. |
| 633 | MipsTargetLowering::ConstraintType MipsTargetLowering:: |
| 634 | getConstraintType(const std::string &Constraint) const |
| 635 | { |
| 636 | if (Constraint.size() == 1) { |
| 637 | // Mips specific constrainy |
| 638 | // GCC config/mips/constraints.md |
| 639 | // |
| 640 | // 'd' : An address register. Equivalent to r |
| 641 | // unless generating MIPS16 code. |
| 642 | // 'y' : Equivalent to r; retained for |
| 643 | // backwards compatibility. |
| 644 | // |
| 645 | switch (Constraint[0]) { |
| 646 | default : break; |
| 647 | case 'd': |
| 648 | case 'y': |
| 649 | return C_RegisterClass; |
| 650 | break; |
| 651 | } |
| 652 | } |
| 653 | return TargetLowering::getConstraintType(Constraint); |
| 654 | } |
| 655 | |
| 656 | std::pair<unsigned, const TargetRegisterClass*> MipsTargetLowering:: |
| 657 | getRegForInlineAsmConstraint(const std::string &Constraint, |
| 658 | MVT::ValueType VT) const |
| 659 | { |
| 660 | if (Constraint.size() == 1) { |
| 661 | switch (Constraint[0]) { |
| 662 | case 'r': |
| 663 | return std::make_pair(0U, Mips::CPURegsRegisterClass); |
| 664 | break; |
| 665 | } |
| 666 | } |
| 667 | return TargetLowering::getRegForInlineAsmConstraint(Constraint, VT); |
| 668 | } |
| 669 | |
| 670 | std::vector<unsigned> MipsTargetLowering:: |
| 671 | getRegClassForInlineAsmConstraint(const std::string &Constraint, |
| 672 | MVT::ValueType VT) const |
| 673 | { |
| 674 | if (Constraint.size() != 1) |
| 675 | return std::vector<unsigned>(); |
| 676 | |
| 677 | switch (Constraint[0]) { |
| 678 | default : break; |
| 679 | case 'r': |
| 680 | // GCC Mips Constraint Letters |
| 681 | case 'd': |
| 682 | case 'y': |
| 683 | return make_vector<unsigned>(Mips::V0, Mips::V1, Mips::A0, |
| 684 | Mips::A1, Mips::A2, Mips::A3, |
| 685 | Mips::T0, Mips::T1, Mips::T2, |
| 686 | Mips::T3, Mips::T4, Mips::T5, |
| 687 | Mips::T6, Mips::T7, Mips::S0, |
| 688 | Mips::S1, Mips::S2, Mips::S3, |
| 689 | Mips::S4, Mips::S5, Mips::S6, |
| 690 | Mips::S7, Mips::T8, Mips::T9, 0); |
| 691 | break; |
| 692 | } |
| 693 | return std::vector<unsigned>(); |
| 694 | } |