Jakob Stoklund Olesen | 2cfddbb | 2009-08-02 17:32:10 +0000 | [diff] [blame^] | 1 | //===- BlackfinISelLowering.cpp - Blackfin DAG Lowering Implementation ----===// |
| 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 implements the interfaces that Blackfin uses to lower LLVM code |
| 11 | // into a selection DAG. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "BlackfinISelLowering.h" |
| 16 | #include "BlackfinTargetMachine.h" |
| 17 | #include "llvm/Function.h" |
| 18 | #include "llvm/CodeGen/CallingConvLower.h" |
| 19 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 20 | #include "llvm/CodeGen/MachineFunction.h" |
| 21 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 22 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 23 | #include "llvm/CodeGen/PseudoSourceValue.h" |
| 24 | #include "llvm/CodeGen/SelectionDAG.h" |
| 25 | #include "llvm/Target/TargetLoweringObjectFile.h" |
| 26 | #include "llvm/ADT/VectorExtras.h" |
| 27 | #include "llvm/Support/Debug.h" |
| 28 | |
| 29 | using namespace llvm; |
| 30 | |
| 31 | //===----------------------------------------------------------------------===// |
| 32 | // Calling Convention Implementation |
| 33 | //===----------------------------------------------------------------------===// |
| 34 | |
| 35 | #include "BlackfinGenCallingConv.inc" |
| 36 | |
| 37 | //===----------------------------------------------------------------------===// |
| 38 | // TargetLowering Implementation |
| 39 | //===----------------------------------------------------------------------===// |
| 40 | |
| 41 | BlackfinTargetLowering::BlackfinTargetLowering(TargetMachine &TM) |
| 42 | : TargetLowering(TM, new TargetLoweringObjectFileELF()) { |
| 43 | setShiftAmountType(MVT::i16); |
| 44 | setBooleanContents(ZeroOrOneBooleanContent); |
| 45 | setStackPointerRegisterToSaveRestore(BF::SP); |
| 46 | setIntDivIsCheap(false); |
| 47 | |
| 48 | // Set up the legal register classes. |
| 49 | addRegisterClass(MVT::i32, BF::DRegisterClass); |
| 50 | addRegisterClass(MVT::i16, BF::D16RegisterClass); |
| 51 | |
| 52 | computeRegisterProperties(); |
| 53 | |
| 54 | // Blackfin doesn't have i1 loads or stores |
| 55 | setLoadExtAction(ISD::EXTLOAD, MVT::i1, Promote); |
| 56 | setLoadExtAction(ISD::ZEXTLOAD, MVT::i1, Promote); |
| 57 | setLoadExtAction(ISD::SEXTLOAD, MVT::i1, Promote); |
| 58 | |
| 59 | setOperationAction(ISD::GlobalAddress, MVT::i32, Custom); |
| 60 | setOperationAction(ISD::JumpTable, MVT::i32, Custom); |
| 61 | |
| 62 | setOperationAction(ISD::SELECT_CC, MVT::Other, Expand); |
| 63 | setOperationAction(ISD::BR_JT, MVT::Other, Expand); |
| 64 | setOperationAction(ISD::BR_CC, MVT::Other, Expand); |
| 65 | |
| 66 | // i16 registers don't do much |
| 67 | setOperationAction(ISD::AND, MVT::i16, Promote); |
| 68 | setOperationAction(ISD::OR, MVT::i16, Promote); |
| 69 | setOperationAction(ISD::XOR, MVT::i16, Promote); |
| 70 | setOperationAction(ISD::CTPOP, MVT::i16, Promote); |
| 71 | // The expansion of CTLZ/CTTZ uses AND/OR, so we might as well promote |
| 72 | // immediately. |
| 73 | setOperationAction(ISD::CTLZ, MVT::i16, Promote); |
| 74 | setOperationAction(ISD::CTTZ, MVT::i16, Promote); |
| 75 | setOperationAction(ISD::SETCC, MVT::i16, Promote); |
| 76 | |
| 77 | // Blackfin has no division |
| 78 | setOperationAction(ISD::SDIV, MVT::i16, Expand); |
| 79 | setOperationAction(ISD::SDIV, MVT::i32, Expand); |
| 80 | setOperationAction(ISD::SDIVREM, MVT::i16, Expand); |
| 81 | setOperationAction(ISD::SDIVREM, MVT::i32, Expand); |
| 82 | setOperationAction(ISD::SREM, MVT::i16, Expand); |
| 83 | setOperationAction(ISD::SREM, MVT::i32, Expand); |
| 84 | setOperationAction(ISD::UDIV, MVT::i16, Expand); |
| 85 | setOperationAction(ISD::UDIV, MVT::i32, Expand); |
| 86 | setOperationAction(ISD::UDIVREM, MVT::i16, Expand); |
| 87 | setOperationAction(ISD::UDIVREM, MVT::i32, Expand); |
| 88 | setOperationAction(ISD::UREM, MVT::i16, Expand); |
| 89 | setOperationAction(ISD::UREM, MVT::i32, Expand); |
| 90 | |
| 91 | setOperationAction(ISD::SMUL_LOHI, MVT::i32, Expand); |
| 92 | setOperationAction(ISD::UMUL_LOHI, MVT::i32, Expand); |
| 93 | setOperationAction(ISD::MULHU, MVT::i32, Expand); |
| 94 | setOperationAction(ISD::MULHS, MVT::i32, Expand); |
| 95 | |
| 96 | // No carry-in operations. |
| 97 | setOperationAction(ISD::ADDE, MVT::i32, Custom); |
| 98 | setOperationAction(ISD::SUBE, MVT::i32, Custom); |
| 99 | |
| 100 | // Blackfin has no intrinsics for these particular operations. |
| 101 | setOperationAction(ISD::MEMBARRIER, MVT::Other, Expand); |
| 102 | setOperationAction(ISD::BSWAP, MVT::i32, Expand); |
| 103 | |
| 104 | setOperationAction(ISD::SHL_PARTS, MVT::i32, Expand); |
| 105 | setOperationAction(ISD::SRA_PARTS, MVT::i32, Expand); |
| 106 | setOperationAction(ISD::SRL_PARTS, MVT::i32, Expand); |
| 107 | |
| 108 | setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i1, Expand); |
| 109 | |
| 110 | // i32 has native CTPOP, but not CTLZ/CTTZ |
| 111 | setOperationAction(ISD::CTLZ, MVT::i32, Expand); |
| 112 | setOperationAction(ISD::CTTZ, MVT::i32, Expand); |
| 113 | |
| 114 | // We don't have line number support yet. |
| 115 | setOperationAction(ISD::DBG_STOPPOINT, MVT::Other, Expand); |
| 116 | setOperationAction(ISD::DEBUG_LOC, MVT::Other, Expand); |
| 117 | setOperationAction(ISD::DBG_LABEL, MVT::Other, Expand); |
| 118 | setOperationAction(ISD::EH_LABEL, MVT::Other, Expand); |
| 119 | setOperationAction(ISD::DECLARE, MVT::Other, Expand); |
| 120 | |
| 121 | // Use the default implementation. |
| 122 | setOperationAction(ISD::VACOPY, MVT::Other, Expand); |
| 123 | setOperationAction(ISD::VAEND, MVT::Other, Expand); |
| 124 | setOperationAction(ISD::STACKSAVE, MVT::Other, Expand); |
| 125 | setOperationAction(ISD::STACKRESTORE, MVT::Other, Expand); |
| 126 | |
| 127 | // RET must be custom lowered, to meet ABI requirements |
| 128 | setOperationAction(ISD::RET, MVT::Other, Custom); |
| 129 | } |
| 130 | |
| 131 | const char *BlackfinTargetLowering::getTargetNodeName(unsigned Opcode) const { |
| 132 | switch (Opcode) { |
| 133 | default: return 0; |
| 134 | case BFISD::CALL: return "BFISD::CALL"; |
| 135 | case BFISD::RET_FLAG: return "BFISD::RET_FLAG"; |
| 136 | case BFISD::Wrapper: return "BFISD::Wrapper"; |
| 137 | } |
| 138 | } |
| 139 | |
| 140 | MVT BlackfinTargetLowering::getSetCCResultType(MVT VT) const { |
| 141 | // SETCC always sets the CC register. Technically that is an i1 register, but |
| 142 | // that type is not legal, so we treat it as an i32 register. |
| 143 | return MVT::i32; |
| 144 | } |
| 145 | |
| 146 | SDValue BlackfinTargetLowering::LowerGlobalAddress(SDValue Op, |
| 147 | SelectionDAG &DAG) { |
| 148 | DebugLoc DL = Op.getDebugLoc(); |
| 149 | GlobalValue *GV = cast<GlobalAddressSDNode>(Op)->getGlobal(); |
| 150 | |
| 151 | Op = DAG.getTargetGlobalAddress(GV, MVT::i32); |
| 152 | return DAG.getNode(BFISD::Wrapper, DL, MVT::i32, Op); |
| 153 | } |
| 154 | |
| 155 | SDValue BlackfinTargetLowering::LowerJumpTable(SDValue Op, SelectionDAG &DAG) { |
| 156 | DebugLoc DL = Op.getDebugLoc(); |
| 157 | int JTI = cast<JumpTableSDNode>(Op)->getIndex(); |
| 158 | |
| 159 | Op = DAG.getTargetJumpTable(JTI, MVT::i32); |
| 160 | return DAG.getNode(BFISD::Wrapper, DL, MVT::i32, Op); |
| 161 | } |
| 162 | |
| 163 | // FORMAL_ARGUMENTS(CHAIN, CC#, ISVARARG, FLAG0, ..., FLAGn) - This node |
| 164 | // represents the formal arguments for a function. CC# is a Constant value |
| 165 | // indicating the calling convention of the function, and ISVARARG is a |
| 166 | // flag that indicates whether the function is varargs or not. This node |
| 167 | // has one result value for each incoming argument, plus one for the output |
| 168 | // chain. |
| 169 | SDValue BlackfinTargetLowering::LowerFORMAL_ARGUMENTS(SDValue Op, |
| 170 | SelectionDAG &DAG) { |
| 171 | DebugLoc dl = Op.getDebugLoc(); |
| 172 | SDValue Root = Op.getOperand(0); |
| 173 | unsigned CC = Op.getConstantOperandVal(1); |
| 174 | bool isVarArg = Op.getConstantOperandVal(2); |
| 175 | MachineFunction &MF = DAG.getMachineFunction(); |
| 176 | MachineFrameInfo *MFI = MF.getFrameInfo(); |
| 177 | |
| 178 | SmallVector<CCValAssign, 16> ArgLocs; |
| 179 | CCState CCInfo(CC, isVarArg, getTargetMachine(), ArgLocs, *DAG.getContext()); |
| 180 | CCInfo.AllocateStack(12, 4); // ABI requires 12 bytes stack space |
| 181 | CCInfo.AnalyzeFormalArguments(Op.getNode(), CC_Blackfin); |
| 182 | |
| 183 | SmallVector<SDValue, 8> ArgValues; |
| 184 | for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) { |
| 185 | CCValAssign &VA = ArgLocs[i]; |
| 186 | |
| 187 | if (VA.isRegLoc()) { |
| 188 | MVT RegVT = VA.getLocVT(); |
| 189 | TargetRegisterClass *RC = VA.getLocReg() == BF::P0 ? |
| 190 | BF::PRegisterClass : BF::DRegisterClass; |
| 191 | assert(RC->contains(VA.getLocReg())); |
| 192 | assert(RC->hasType(RegVT)); |
| 193 | |
| 194 | unsigned Reg = MF.getRegInfo().createVirtualRegister(RC); |
| 195 | MF.getRegInfo().addLiveIn(VA.getLocReg(), Reg); |
| 196 | SDValue ArgValue = DAG.getCopyFromReg(Root, dl, Reg, RegVT); |
| 197 | |
| 198 | // If this is an 8 or 16-bit value, it is really passed promoted to 32 |
| 199 | // bits. Insert an assert[sz]ext to capture this, then truncate to the |
| 200 | // right size. |
| 201 | if (VA.getLocInfo() == CCValAssign::SExt) |
| 202 | ArgValue = DAG.getNode(ISD::AssertSext, dl, RegVT, ArgValue, |
| 203 | DAG.getValueType(VA.getValVT())); |
| 204 | else if (VA.getLocInfo() == CCValAssign::ZExt) |
| 205 | ArgValue = DAG.getNode(ISD::AssertZext, dl, RegVT, ArgValue, |
| 206 | DAG.getValueType(VA.getValVT())); |
| 207 | |
| 208 | if (VA.getLocInfo() != CCValAssign::Full) |
| 209 | ArgValue = DAG.getNode(ISD::TRUNCATE, dl, VA.getValVT(), ArgValue); |
| 210 | |
| 211 | ArgValues.push_back(ArgValue); |
| 212 | } else { |
| 213 | assert(VA.isMemLoc()); |
| 214 | unsigned ObjSize = VA.getLocVT().getStoreSizeInBits()/8; |
| 215 | int FI = MFI->CreateFixedObject(ObjSize, VA.getLocMemOffset()); |
| 216 | SDValue FIN = DAG.getFrameIndex(FI, MVT::i32); |
| 217 | ArgValues.push_back(DAG.getLoad(VA.getValVT(), dl, Root, FIN, NULL, 0)); |
| 218 | } |
| 219 | } |
| 220 | |
| 221 | ArgValues.push_back(Root); |
| 222 | |
| 223 | // Return the new list of results. |
| 224 | return DAG.getNode(ISD::MERGE_VALUES, dl, Op.getNode()->getVTList(), |
| 225 | &ArgValues[0], ArgValues.size()).getValue(Op.getResNo()); |
| 226 | } |
| 227 | |
| 228 | SDValue BlackfinTargetLowering::LowerRET(SDValue Op, SelectionDAG &DAG) { |
| 229 | // CCValAssign - represent the assignment of the return value to locations. |
| 230 | SmallVector<CCValAssign, 16> RVLocs; |
| 231 | unsigned CC = DAG.getMachineFunction().getFunction()->getCallingConv(); |
| 232 | bool isVarArg = DAG.getMachineFunction().getFunction()->isVarArg(); |
| 233 | DebugLoc dl = Op.getDebugLoc(); |
| 234 | |
| 235 | // CCState - Info about the registers and stack slot. |
| 236 | CCState CCInfo(CC, isVarArg, DAG.getTarget(), RVLocs, *DAG.getContext()); |
| 237 | |
| 238 | // Analize return values of ISD::RET |
| 239 | CCInfo.AnalyzeReturn(Op.getNode(), RetCC_Blackfin); |
| 240 | |
| 241 | // If this is the first return lowered for this function, add the regs to the |
| 242 | // liveout set for the function. |
| 243 | if (DAG.getMachineFunction().getRegInfo().liveout_empty()) { |
| 244 | for (unsigned i = 0; i != RVLocs.size(); ++i) |
| 245 | DAG.getMachineFunction().getRegInfo().addLiveOut(RVLocs[i].getLocReg()); |
| 246 | } |
| 247 | |
| 248 | SDValue Chain = Op.getOperand(0); |
| 249 | SDValue Flag; |
| 250 | |
| 251 | // Copy the result values into the output registers. |
| 252 | for (unsigned i = 0; i != RVLocs.size(); ++i) { |
| 253 | CCValAssign &VA = RVLocs[i]; |
| 254 | assert(VA.isRegLoc() && "Can only return in registers!"); |
| 255 | SDValue Opi = Op.getOperand(i*2+1); |
| 256 | |
| 257 | // Expand to i32 if necessary |
| 258 | switch (VA.getLocInfo()) { |
| 259 | default: llvm_unreachable("Unknown loc info!"); |
| 260 | case CCValAssign::Full: break; |
| 261 | case CCValAssign::SExt: |
| 262 | Opi = DAG.getNode(ISD::SIGN_EXTEND, dl, VA.getLocVT(), Opi); |
| 263 | break; |
| 264 | case CCValAssign::ZExt: |
| 265 | Opi = DAG.getNode(ISD::ZERO_EXTEND, dl, VA.getLocVT(), Opi); |
| 266 | break; |
| 267 | case CCValAssign::AExt: |
| 268 | Opi = DAG.getNode(ISD::ANY_EXTEND, dl, VA.getLocVT(), Opi); |
| 269 | break; |
| 270 | } |
| 271 | // ISD::RET => ret chain, (regnum1,val1), ... |
| 272 | // So i*2+1 index only the regnums. |
| 273 | Chain = DAG.getCopyToReg(Chain, dl, VA.getLocReg(), Opi, SDValue()); |
| 274 | // Guarantee that all emitted copies are stuck together with flags. |
| 275 | Flag = Chain.getValue(1); |
| 276 | } |
| 277 | |
| 278 | if (Flag.getNode()) { |
| 279 | return DAG.getNode(BFISD::RET_FLAG, dl, MVT::Other, Chain, Flag); |
| 280 | } else { |
| 281 | return DAG.getNode(BFISD::RET_FLAG, dl, MVT::Other, Chain); |
| 282 | } |
| 283 | } |
| 284 | |
| 285 | SDValue BlackfinTargetLowering::LowerCALL(SDValue Op, SelectionDAG &DAG) { |
| 286 | CallSDNode *TheCall = cast<CallSDNode>(Op.getNode()); |
| 287 | unsigned CallingConv = TheCall->getCallingConv(); |
| 288 | SDValue Chain = TheCall->getChain(); |
| 289 | SDValue Callee = TheCall->getCallee(); |
| 290 | bool isVarArg = TheCall->isVarArg(); |
| 291 | DebugLoc dl = TheCall->getDebugLoc(); |
| 292 | |
| 293 | // Analyze operands of the call, assigning locations to each operand. |
| 294 | SmallVector<CCValAssign, 16> ArgLocs; |
| 295 | CCState CCInfo(CallingConv, isVarArg, DAG.getTarget(), ArgLocs, |
| 296 | *DAG.getContext()); |
| 297 | CCInfo.AllocateStack(12, 4); // ABI requires 12 bytes stack space |
| 298 | CCInfo.AnalyzeCallOperands(TheCall, CC_Blackfin); |
| 299 | |
| 300 | // Get the size of the outgoing arguments stack space requirement. |
| 301 | unsigned ArgsSize = CCInfo.getNextStackOffset(); |
| 302 | |
| 303 | Chain = DAG.getCALLSEQ_START(Chain, DAG.getIntPtrConstant(ArgsSize, true)); |
| 304 | SmallVector<std::pair<unsigned, SDValue>, 8> RegsToPass; |
| 305 | SmallVector<SDValue, 8> MemOpChains; |
| 306 | |
| 307 | // Walk the register/memloc assignments, inserting copies/loads. |
| 308 | for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) { |
| 309 | CCValAssign &VA = ArgLocs[i]; |
| 310 | |
| 311 | // Arguments start after the 5 first operands of ISD::CALL |
| 312 | SDValue Arg = TheCall->getArg(i); |
| 313 | |
| 314 | // Promote the value if needed. |
| 315 | switch (VA.getLocInfo()) { |
| 316 | default: llvm_unreachable("Unknown loc info!"); |
| 317 | case CCValAssign::Full: break; |
| 318 | case CCValAssign::SExt: |
| 319 | Arg = DAG.getNode(ISD::SIGN_EXTEND, dl, VA.getLocVT(), Arg); |
| 320 | break; |
| 321 | case CCValAssign::ZExt: |
| 322 | Arg = DAG.getNode(ISD::ZERO_EXTEND, dl, VA.getLocVT(), Arg); |
| 323 | break; |
| 324 | case CCValAssign::AExt: |
| 325 | Arg = DAG.getNode(ISD::ANY_EXTEND, dl, VA.getLocVT(), Arg); |
| 326 | break; |
| 327 | } |
| 328 | |
| 329 | // Arguments that can be passed on register must be kept at |
| 330 | // RegsToPass vector |
| 331 | if (VA.isRegLoc()) { |
| 332 | RegsToPass.push_back(std::make_pair(VA.getLocReg(), Arg)); |
| 333 | } else { |
| 334 | assert(VA.isMemLoc()); |
| 335 | int Offset = VA.getLocMemOffset(); |
| 336 | assert(Offset%4 == 0); |
| 337 | assert(VA.getLocVT()==MVT::i32); |
| 338 | SDValue SPN = DAG.getCopyFromReg(Chain, dl, BF::SP, MVT::i32); |
| 339 | SDValue OffsetN = DAG.getIntPtrConstant(Offset); |
| 340 | OffsetN = DAG.getNode(ISD::ADD, dl, MVT::i32, SPN, OffsetN); |
| 341 | MemOpChains.push_back(DAG.getStore(Chain, dl, Arg, OffsetN, |
| 342 | PseudoSourceValue::getStack(), |
| 343 | Offset)); |
| 344 | } |
| 345 | } |
| 346 | |
| 347 | // Transform all store nodes into one single node because |
| 348 | // all store nodes are independent of each other. |
| 349 | if (!MemOpChains.empty()) |
| 350 | Chain = DAG.getNode(ISD::TokenFactor, dl, MVT::Other, |
| 351 | &MemOpChains[0], MemOpChains.size()); |
| 352 | |
| 353 | // Build a sequence of copy-to-reg nodes chained together with token |
| 354 | // chain and flag operands which copy the outgoing args into registers. |
| 355 | // The InFlag in necessary since all emited instructions must be |
| 356 | // stuck together. |
| 357 | SDValue InFlag; |
| 358 | for (unsigned i = 0, e = RegsToPass.size(); i != e; ++i) { |
| 359 | Chain = DAG.getCopyToReg(Chain, dl, RegsToPass[i].first, |
| 360 | RegsToPass[i].second, InFlag); |
| 361 | InFlag = Chain.getValue(1); |
| 362 | } |
| 363 | |
| 364 | // If the callee is a GlobalAddress node (quite common, every direct call is) |
| 365 | // turn it into a TargetGlobalAddress node so that legalize doesn't hack it. |
| 366 | // Likewise ExternalSymbol -> TargetExternalSymbol. |
| 367 | if (GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(Callee)) |
| 368 | Callee = DAG.getTargetGlobalAddress(G->getGlobal(), MVT::i32); |
| 369 | else if (ExternalSymbolSDNode *E = dyn_cast<ExternalSymbolSDNode>(Callee)) |
| 370 | Callee = DAG.getTargetExternalSymbol(E->getSymbol(), MVT::i32); |
| 371 | |
| 372 | std::vector<MVT> NodeTys; |
| 373 | NodeTys.push_back(MVT::Other); // Returns a chain |
| 374 | NodeTys.push_back(MVT::Flag); // Returns a flag for retval copy to use. |
| 375 | SDValue Ops[] = { Chain, Callee, InFlag }; |
| 376 | Chain = DAG.getNode(BFISD::CALL, dl, NodeTys, Ops, |
| 377 | InFlag.getNode() ? 3 : 2); |
| 378 | InFlag = Chain.getValue(1); |
| 379 | |
| 380 | Chain = DAG.getCALLSEQ_END(Chain, DAG.getIntPtrConstant(ArgsSize, true), |
| 381 | DAG.getIntPtrConstant(0, true), InFlag); |
| 382 | InFlag = Chain.getValue(1); |
| 383 | |
| 384 | // Assign locations to each value returned by this call. |
| 385 | SmallVector<CCValAssign, 16> RVLocs; |
| 386 | CCState RVInfo(CallingConv, isVarArg, DAG.getTarget(), RVLocs, |
| 387 | *DAG.getContext()); |
| 388 | |
| 389 | RVInfo.AnalyzeCallResult(TheCall, RetCC_Blackfin); |
| 390 | SmallVector<SDValue, 8> ResultVals; |
| 391 | |
| 392 | // Copy all of the result registers out of their specified physreg. |
| 393 | for (unsigned i = 0; i != RVLocs.size(); ++i) { |
| 394 | CCValAssign &RV = RVLocs[i]; |
| 395 | unsigned Reg = RV.getLocReg(); |
| 396 | |
| 397 | Chain = DAG.getCopyFromReg(Chain, dl, Reg, |
| 398 | RVLocs[i].getLocVT(), InFlag); |
| 399 | SDValue Val = Chain.getValue(0); |
| 400 | InFlag = Chain.getValue(2); |
| 401 | Chain = Chain.getValue(1); |
| 402 | |
| 403 | // Callee is responsible for extending any i16 return values. |
| 404 | switch (RV.getLocInfo()) { |
| 405 | case CCValAssign::SExt: |
| 406 | Val = DAG.getNode(ISD::AssertSext, dl, RV.getLocVT(), Val, |
| 407 | DAG.getValueType(RV.getValVT())); |
| 408 | break; |
| 409 | case CCValAssign::ZExt: |
| 410 | Val = DAG.getNode(ISD::AssertZext, dl, RV.getLocVT(), Val, |
| 411 | DAG.getValueType(RV.getValVT())); |
| 412 | break; |
| 413 | default: |
| 414 | break; |
| 415 | } |
| 416 | |
| 417 | // Truncate to valtype |
| 418 | if (RV.getLocInfo() != CCValAssign::Full) |
| 419 | Val = DAG.getNode(ISD::TRUNCATE, dl, RV.getValVT(), Val); |
| 420 | ResultVals.push_back(Val); |
| 421 | } |
| 422 | |
| 423 | ResultVals.push_back(Chain); |
| 424 | |
| 425 | // Merge everything together with a MERGE_VALUES node. |
| 426 | SDValue merge = DAG.getNode(ISD::MERGE_VALUES, dl, |
| 427 | TheCall->getVTList(), &ResultVals[0], |
| 428 | ResultVals.size()); |
| 429 | return merge; |
| 430 | } |
| 431 | |
| 432 | // Expansion of ADDE / SUBE. This is a bit involved since blackfin doesn't have |
| 433 | // add-with-carry instructions. |
| 434 | SDValue BlackfinTargetLowering::LowerADDE(SDValue Op, SelectionDAG &DAG) { |
| 435 | // Operands: lhs, rhs, carry-in (AC0 flag) |
| 436 | // Results: sum, carry-out (AC0 flag) |
| 437 | DebugLoc dl = Op.getDebugLoc(); |
| 438 | |
| 439 | unsigned Opcode = Op.getOpcode()==ISD::ADDE ? BF::ADD : BF::SUB; |
| 440 | |
| 441 | // zext incoming carry flag in AC0 to 32 bits |
| 442 | SDNode* CarryIn = DAG.getTargetNode(BF::MOVE_cc_ac0, dl, MVT::i32, |
| 443 | /* flag= */ Op.getOperand(2)); |
| 444 | CarryIn = DAG.getTargetNode(BF::MOVECC_zext, dl, MVT::i32, |
| 445 | SDValue(CarryIn, 0)); |
| 446 | |
| 447 | // Add operands, produce sum and carry flag |
| 448 | SDNode *Sum = DAG.getTargetNode(Opcode, dl, MVT::i32, MVT::Flag, |
| 449 | Op.getOperand(0), Op.getOperand(1)); |
| 450 | |
| 451 | // Store intermediate carry from Sum |
| 452 | SDNode* Carry1 = DAG.getTargetNode(BF::MOVE_cc_ac0, dl, MVT::i32, |
| 453 | /* flag= */ SDValue(Sum, 1)); |
| 454 | |
| 455 | // Add incoming carry, again producing an output flag |
| 456 | Sum = DAG.getTargetNode(Opcode, dl, MVT::i32, MVT::Flag, |
| 457 | SDValue(Sum, 0), SDValue(CarryIn, 0)); |
| 458 | |
| 459 | // Update AC0 with the intermediate carry, producing a flag. |
| 460 | SDNode *CarryOut = DAG.getTargetNode(BF::OR_ac0_cc, dl, MVT::Flag, |
| 461 | SDValue(Carry1, 0)); |
| 462 | |
| 463 | // Compose (i32, flag) pair |
| 464 | SDValue ops[2] = { SDValue(Sum, 0), SDValue(CarryOut, 0) }; |
| 465 | return DAG.getMergeValues(ops, 2, dl); |
| 466 | } |
| 467 | |
| 468 | SDValue BlackfinTargetLowering::LowerOperation(SDValue Op, SelectionDAG &DAG) { |
| 469 | switch (Op.getOpcode()) { |
| 470 | default: |
| 471 | Op.getNode()->dump(); |
| 472 | llvm_unreachable("Should not custom lower this!"); |
| 473 | case ISD::GlobalAddress: return LowerGlobalAddress(Op, DAG); |
| 474 | case ISD::GlobalTLSAddress: |
| 475 | llvm_unreachable("TLS not implemented for Blackfin."); |
| 476 | case ISD::JumpTable: return LowerJumpTable(Op, DAG); |
| 477 | // Frame & Return address. Currently unimplemented |
| 478 | case ISD::FRAMEADDR: return SDValue(); |
| 479 | case ISD::RETURNADDR: return SDValue(); |
| 480 | case ISD::FORMAL_ARGUMENTS: return LowerFORMAL_ARGUMENTS(Op, DAG); |
| 481 | case ISD::CALL: return LowerCALL(Op, DAG); |
| 482 | case ISD::RET: return LowerRET(Op, DAG); |
| 483 | case ISD::ADDE: |
| 484 | case ISD::SUBE: return LowerADDE(Op, DAG); |
| 485 | } |
| 486 | } |
| 487 | |
| 488 | /// getFunctionAlignment - Return the Log2 alignment of this function. |
| 489 | unsigned BlackfinTargetLowering::getFunctionAlignment(const Function *F) const { |
| 490 | return 2; |
| 491 | } |
| 492 | |
| 493 | //===----------------------------------------------------------------------===// |
| 494 | // Blackfin Inline Assembly Support |
| 495 | //===----------------------------------------------------------------------===// |
| 496 | |
| 497 | /// getConstraintType - Given a constraint letter, return the type of |
| 498 | /// constraint it is for this target. |
| 499 | BlackfinTargetLowering::ConstraintType |
| 500 | BlackfinTargetLowering::getConstraintType(const std::string &Constraint) const { |
| 501 | if (Constraint.size() == 1) { |
| 502 | switch (Constraint[0]) { |
| 503 | default: break; |
| 504 | case 'r': return C_RegisterClass; |
| 505 | } |
| 506 | } |
| 507 | |
| 508 | return TargetLowering::getConstraintType(Constraint); |
| 509 | } |
| 510 | |
| 511 | std::pair<unsigned, const TargetRegisterClass*> BlackfinTargetLowering:: |
| 512 | getRegForInlineAsmConstraint(const std::string &Constraint, MVT VT) const { |
| 513 | if (Constraint.size() == 1) { |
| 514 | switch (Constraint[0]) { |
| 515 | case 'r': |
| 516 | return std::make_pair(0U, BF::DRegisterClass); |
| 517 | } |
| 518 | } |
| 519 | |
| 520 | return TargetLowering::getRegForInlineAsmConstraint(Constraint, VT); |
| 521 | } |
| 522 | |
| 523 | std::vector<unsigned> BlackfinTargetLowering:: |
| 524 | getRegClassForInlineAsmConstraint(const std::string &Constraint, |
| 525 | MVT VT) const { |
| 526 | if (Constraint.size() != 1) |
| 527 | return std::vector<unsigned>(); |
| 528 | |
| 529 | return std::vector<unsigned>(); |
| 530 | } |
| 531 | |
| 532 | bool BlackfinTargetLowering:: |
| 533 | isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const { |
| 534 | // The Blackfin target isn't yet aware of offsets. |
| 535 | return false; |
| 536 | } |