Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 1 | //===-- MipsISelLowering.h - Mips DAG Lowering Interface --------*- C++ -*-===// |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 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 | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 7 | // |
Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file defines the interfaces that Mips uses to lower LLVM code into a |
| 11 | // selection DAG. |
| 12 | // |
Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 13 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 14 | |
| 15 | #ifndef MipsISELLOWERING_H |
| 16 | #define MipsISELLOWERING_H |
| 17 | |
Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 18 | #include "MCTargetDesc/MipsBaseInfo.h" |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 19 | #include "Mips.h" |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/CallingConvLower.h" |
Craig Topper | b25fda9 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/SelectionDAG.h" |
Akira Hatanaka | 4b634fa | 2013-03-05 22:13:04 +0000 | [diff] [blame] | 22 | #include "llvm/IR/Function.h" |
Craig Topper | b25fda9 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 23 | #include "llvm/Target/TargetLowering.h" |
Akira Hatanaka | f7d16d0 | 2013-01-22 20:05:56 +0000 | [diff] [blame] | 24 | #include <deque> |
Reed Kotler | a2d76bc | 2013-01-24 04:24:02 +0000 | [diff] [blame] | 25 | #include <string> |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 26 | |
| 27 | namespace llvm { |
| 28 | namespace MipsISD { |
| 29 | enum NodeType { |
| 30 | // Start the numbering from where ISD NodeType finishes. |
Dan Gohman | ed1cf1a | 2008-09-23 18:42:32 +0000 | [diff] [blame] | 31 | FIRST_NUMBER = ISD::BUILTIN_OP_END, |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 32 | |
| 33 | // Jump and link (call) |
| 34 | JmpLink, |
| 35 | |
Akira Hatanaka | 91318df | 2012-10-19 20:59:39 +0000 | [diff] [blame] | 36 | // Tail call |
| 37 | TailCall, |
| 38 | |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 39 | // Get the Higher 16 bits from a 32-bit immediate |
| 40 | // No relation with Mips Hi register |
Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 41 | Hi, |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 42 | |
| 43 | // Get the Lower 16 bits from a 32-bit immediate |
| 44 | // No relation with Mips Lo register |
Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 45 | Lo, |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 46 | |
Bruno Cardoso Lopes | e5d1fcf | 2008-07-21 18:52:34 +0000 | [diff] [blame] | 47 | // Handle gp_rel (small data/bss sections) relocation. |
| 48 | GPRel, |
| 49 | |
Bruno Cardoso Lopes | bf3c125 | 2011-05-31 02:53:58 +0000 | [diff] [blame] | 50 | // Thread Pointer |
| 51 | ThreadPointer, |
| 52 | |
Bruno Cardoso Lopes | 7ceec57 | 2008-07-09 04:45:36 +0000 | [diff] [blame] | 53 | // Floating Point Branch Conditional |
Bruno Cardoso Lopes | c9c3f49 | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 54 | FPBrcond, |
| 55 | |
Bruno Cardoso Lopes | 7ceec57 | 2008-07-09 04:45:36 +0000 | [diff] [blame] | 56 | // Floating Point Compare |
Bruno Cardoso Lopes | c9c3f49 | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 57 | FPCmp, |
| 58 | |
Akira Hatanaka | a535270 | 2011-03-31 18:26:17 +0000 | [diff] [blame] | 59 | // Floating Point Conditional Moves |
| 60 | CMovFP_T, |
| 61 | CMovFP_F, |
| 62 | |
Akira Hatanaka | 252f54f | 2013-05-16 21:17:15 +0000 | [diff] [blame] | 63 | // FP-to-int truncation node. |
| 64 | TruncIntFP, |
| 65 | |
Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 66 | // Return |
Bruno Cardoso Lopes | 4dc73fa | 2011-01-18 19:29:17 +0000 | [diff] [blame] | 67 | Ret, |
| 68 | |
Akira Hatanaka | c0b0206 | 2013-01-30 00:26:49 +0000 | [diff] [blame] | 69 | EH_RETURN, |
| 70 | |
Akira Hatanaka | 28721bd | 2013-03-30 01:14:04 +0000 | [diff] [blame] | 71 | // Node used to extract integer from accumulator. |
Akira Hatanaka | d98c99f | 2013-10-15 01:12:50 +0000 | [diff] [blame] | 72 | MFHI, |
| 73 | MFLO, |
Akira Hatanaka | 28721bd | 2013-03-30 01:14:04 +0000 | [diff] [blame] | 74 | |
| 75 | // Node used to insert integers to accumulator. |
Akira Hatanaka | d98c99f | 2013-10-15 01:12:50 +0000 | [diff] [blame] | 76 | MTLOHI, |
Akira Hatanaka | 28721bd | 2013-03-30 01:14:04 +0000 | [diff] [blame] | 77 | |
| 78 | // Mult nodes. |
| 79 | Mult, |
| 80 | Multu, |
| 81 | |
Bruno Cardoso Lopes | 4dc73fa | 2011-01-18 19:29:17 +0000 | [diff] [blame] | 82 | // MAdd/Sub nodes |
| 83 | MAdd, |
| 84 | MAddu, |
| 85 | MSub, |
Bruno Cardoso Lopes | 434248a6 | 2011-03-04 21:03:24 +0000 | [diff] [blame] | 86 | MSubu, |
| 87 | |
| 88 | // DivRem(u) |
| 89 | DivRem, |
Akira Hatanaka | 2791697 | 2011-04-15 19:52:08 +0000 | [diff] [blame] | 90 | DivRemU, |
Akira Hatanaka | 28721bd | 2013-03-30 01:14:04 +0000 | [diff] [blame] | 91 | DivRem16, |
| 92 | DivRemU16, |
Akira Hatanaka | 2791697 | 2011-04-15 19:52:08 +0000 | [diff] [blame] | 93 | |
| 94 | BuildPairF64, |
Akira Hatanaka | b406843 | 2011-05-28 01:07:07 +0000 | [diff] [blame] | 95 | ExtractElementF64, |
| 96 | |
Akira Hatanaka | 5ee8464 | 2011-12-09 01:53:17 +0000 | [diff] [blame] | 97 | Wrapper, |
Akira Hatanaka | 4c406e7 | 2011-06-21 00:40:49 +0000 | [diff] [blame] | 98 | |
Akira Hatanaka | a4c09bc | 2011-07-19 23:30:50 +0000 | [diff] [blame] | 99 | DynAlloc, |
| 100 | |
Akira Hatanaka | 5360f88 | 2011-08-17 02:05:42 +0000 | [diff] [blame] | 101 | Sync, |
| 102 | |
| 103 | Ext, |
Akira Hatanaka | b9ebf8d | 2012-06-02 00:03:12 +0000 | [diff] [blame] | 104 | Ins, |
| 105 | |
Akira Hatanaka | 233ac53 | 2012-09-21 23:52:47 +0000 | [diff] [blame] | 106 | // EXTR.W instrinsic nodes. |
| 107 | EXTP, |
| 108 | EXTPDP, |
| 109 | EXTR_S_H, |
| 110 | EXTR_W, |
| 111 | EXTR_R_W, |
| 112 | EXTR_RS_W, |
| 113 | SHILO, |
| 114 | MTHLIP, |
| 115 | |
| 116 | // DPA.W intrinsic nodes. |
| 117 | MULSAQ_S_W_PH, |
| 118 | MAQ_S_W_PHL, |
| 119 | MAQ_S_W_PHR, |
| 120 | MAQ_SA_W_PHL, |
| 121 | MAQ_SA_W_PHR, |
| 122 | DPAU_H_QBL, |
| 123 | DPAU_H_QBR, |
| 124 | DPSU_H_QBL, |
| 125 | DPSU_H_QBR, |
| 126 | DPAQ_S_W_PH, |
| 127 | DPSQ_S_W_PH, |
| 128 | DPAQ_SA_L_W, |
| 129 | DPSQ_SA_L_W, |
| 130 | DPA_W_PH, |
| 131 | DPS_W_PH, |
| 132 | DPAQX_S_W_PH, |
| 133 | DPAQX_SA_W_PH, |
| 134 | DPAX_W_PH, |
| 135 | DPSX_W_PH, |
| 136 | DPSQX_S_W_PH, |
| 137 | DPSQX_SA_W_PH, |
| 138 | MULSA_W_PH, |
| 139 | |
| 140 | MULT, |
| 141 | MULTU, |
| 142 | MADD_DSP, |
| 143 | MADDU_DSP, |
| 144 | MSUB_DSP, |
| 145 | MSUBU_DSP, |
| 146 | |
Akira Hatanaka | 1ebb2a1 | 2013-04-19 23:21:32 +0000 | [diff] [blame] | 147 | // DSP shift nodes. |
| 148 | SHLL_DSP, |
| 149 | SHRA_DSP, |
| 150 | SHRL_DSP, |
| 151 | |
Akira Hatanaka | 68741cc | 2013-04-30 22:37:26 +0000 | [diff] [blame] | 152 | // DSP setcc and select_cc nodes. |
| 153 | SETCC_DSP, |
| 154 | SELECT_CC_DSP, |
| 155 | |
Daniel Sanders | 7a289d0 | 2013-09-23 12:02:46 +0000 | [diff] [blame] | 156 | // Vector comparisons. |
Daniel Sanders | fd538dc | 2013-09-24 10:46:19 +0000 | [diff] [blame] | 157 | // These take a vector and return a boolean. |
Daniel Sanders | ce09d07 | 2013-08-28 12:14:50 +0000 | [diff] [blame] | 158 | VALL_ZERO, |
| 159 | VANY_ZERO, |
| 160 | VALL_NONZERO, |
| 161 | VANY_NONZERO, |
| 162 | |
Daniel Sanders | fd538dc | 2013-09-24 10:46:19 +0000 | [diff] [blame] | 163 | // These take a vector and return a vector bitmask. |
| 164 | VCEQ, |
| 165 | VCLE_S, |
| 166 | VCLE_U, |
| 167 | VCLT_S, |
| 168 | VCLT_U, |
| 169 | |
Daniel Sanders | 3ce5662 | 2013-09-24 12:18:31 +0000 | [diff] [blame] | 170 | // Element-wise vector max/min. |
| 171 | VSMAX, |
| 172 | VSMIN, |
| 173 | VUMAX, |
| 174 | VUMIN, |
| 175 | |
Daniel Sanders | e508704 | 2013-09-24 14:02:15 +0000 | [diff] [blame] | 176 | // Vector Shuffle with mask as an operand |
| 177 | VSHF, // Generic shuffle |
Daniel Sanders | 2630718 | 2013-09-24 14:20:00 +0000 | [diff] [blame] | 178 | SHF, // 4-element set shuffle. |
Daniel Sanders | 2ed228b | 2013-09-24 14:36:12 +0000 | [diff] [blame] | 179 | ILVEV, // Interleave even elements |
| 180 | ILVOD, // Interleave odd elements |
| 181 | ILVL, // Interleave left elements |
| 182 | ILVR, // Interleave right elements |
Daniel Sanders | fae5f2a | 2013-09-24 14:53:25 +0000 | [diff] [blame] | 183 | PCKEV, // Pack even elements |
| 184 | PCKOD, // Pack odd elements |
Daniel Sanders | e508704 | 2013-09-24 14:02:15 +0000 | [diff] [blame] | 185 | |
Daniel Sanders | b50ccf8 | 2014-04-01 10:35:28 +0000 | [diff] [blame] | 186 | // Vector Lane Copy |
| 187 | INSVE, // Copy element from one vector to another |
| 188 | |
Daniel Sanders | f7456c7 | 2013-09-23 13:22:24 +0000 | [diff] [blame] | 189 | // Combined (XOR (OR $a, $b), -1) |
| 190 | VNOR, |
| 191 | |
Daniel Sanders | a4c8f3a | 2013-09-23 14:03:12 +0000 | [diff] [blame] | 192 | // Extended vector element extraction |
| 193 | VEXTRACT_SEXT_ELT, |
| 194 | VEXTRACT_ZEXT_ELT, |
| 195 | |
Akira Hatanaka | b9ebf8d | 2012-06-02 00:03:12 +0000 | [diff] [blame] | 196 | // Load/Store Left/Right nodes. |
| 197 | LWL = ISD::FIRST_TARGET_MEMORY_OPCODE, |
| 198 | LWR, |
| 199 | SWL, |
| 200 | SWR, |
| 201 | LDL, |
| 202 | LDR, |
| 203 | SDL, |
| 204 | SDR |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 205 | }; |
| 206 | } |
| 207 | |
Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 208 | //===--------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 209 | // TargetLowering Implementation |
Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 210 | //===--------------------------------------------------------------------===// |
Akira Hatanaka | 9c962c0 | 2012-10-30 20:16:31 +0000 | [diff] [blame] | 211 | class MipsFunctionInfo; |
Eric Christopher | bf33a3c | 2014-07-02 23:18:40 +0000 | [diff] [blame] | 212 | class MipsSubtarget; |
Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 213 | |
Chris Lattner | 58e8be8 | 2009-08-13 05:41:27 +0000 | [diff] [blame] | 214 | class MipsTargetLowering : public TargetLowering { |
Zoran Jovanovic | ff9d5f3 | 2013-12-19 16:12:56 +0000 | [diff] [blame] | 215 | bool isMicroMips; |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 216 | public: |
Dan Gohman | 5f6a9da5 | 2007-08-02 21:21:54 +0000 | [diff] [blame] | 217 | explicit MipsTargetLowering(MipsTargetMachine &TM); |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 218 | |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 219 | static const MipsTargetLowering *create(MipsTargetMachine &TM); |
Akira Hatanaka | 770f064 | 2011-11-07 18:59:49 +0000 | [diff] [blame] | 220 | |
Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 221 | /// createFastISel - This method returns a target specific FastISel object, |
| 222 | /// or null if the target does not support "fast" ISel. |
| 223 | FastISel *createFastISel(FunctionLoweringInfo &funcInfo, |
| 224 | const TargetLibraryInfo *libInfo) const override; |
| 225 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 226 | MVT getScalarShiftAmountTy(EVT LHSTy) const override { return MVT::i32; } |
Akira Hatanaka | 2fcc1cf | 2011-08-12 21:30:06 +0000 | [diff] [blame] | 227 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 228 | void LowerOperationWrapper(SDNode *N, |
| 229 | SmallVectorImpl<SDValue> &Results, |
| 230 | SelectionDAG &DAG) const override; |
Akira Hatanaka | fabb8cf | 2012-09-21 23:58:31 +0000 | [diff] [blame] | 231 | |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 232 | /// LowerOperation - Provide custom lowering hooks for some operations. |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 233 | SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override; |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 234 | |
Akira Hatanaka | fabb8cf | 2012-09-21 23:58:31 +0000 | [diff] [blame] | 235 | /// ReplaceNodeResults - Replace the results of node with an illegal result |
| 236 | /// type with new values built out of custom code. |
| 237 | /// |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 238 | void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results, |
| 239 | SelectionDAG &DAG) const override; |
Akira Hatanaka | fabb8cf | 2012-09-21 23:58:31 +0000 | [diff] [blame] | 240 | |
Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 241 | /// getTargetNodeName - This method returns the name of a target specific |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 242 | // DAG node. |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 243 | const char *getTargetNodeName(unsigned Opcode) const override; |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 244 | |
Scott Michel | a6729e8 | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 245 | /// getSetCCResultType - get the ISD::SETCC result ValueType |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 246 | EVT getSetCCResultType(LLVMContext &Context, EVT VT) const override; |
Scott Michel | a6729e8 | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 247 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 248 | SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override; |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 249 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 250 | MachineBasicBlock * |
| 251 | EmitInstrWithCustomInserter(MachineInstr *MI, |
| 252 | MachineBasicBlock *MBB) const override; |
Reed Kotler | 97f8e2f | 2013-01-28 02:46:49 +0000 | [diff] [blame] | 253 | |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 254 | struct LTStr { |
| 255 | bool operator()(const char *S1, const char *S2) const { |
| 256 | return strcmp(S1, S2) < 0; |
| 257 | } |
| 258 | }; |
Reed Kotler | 5fdeb21 | 2012-12-15 00:20:05 +0000 | [diff] [blame] | 259 | |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 260 | protected: |
| 261 | SDValue getGlobalReg(SelectionDAG &DAG, EVT Ty) const; |
Reed Kotler | a2d76bc | 2013-01-24 04:24:02 +0000 | [diff] [blame] | 262 | |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 263 | // This method creates the following nodes, which are necessary for |
| 264 | // computing a local symbol's address: |
| 265 | // |
| 266 | // (add (load (wrapper $gp, %got(sym)), %lo(sym)) |
Daniel Sanders | 6dd7251 | 2014-03-26 13:59:42 +0000 | [diff] [blame] | 267 | template <class NodeTy> |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 268 | SDValue getAddrLocal(NodeTy *N, EVT Ty, SelectionDAG &DAG, |
Daniel Sanders | 6dd7251 | 2014-03-26 13:59:42 +0000 | [diff] [blame] | 269 | bool IsN32OrN64) const { |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 270 | SDLoc DL(N); |
Daniel Sanders | 6dd7251 | 2014-03-26 13:59:42 +0000 | [diff] [blame] | 271 | unsigned GOTFlag = IsN32OrN64 ? MipsII::MO_GOT_PAGE : MipsII::MO_GOT; |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 272 | SDValue GOT = DAG.getNode(MipsISD::Wrapper, DL, Ty, getGlobalReg(DAG, Ty), |
| 273 | getTargetNode(N, Ty, DAG, GOTFlag)); |
| 274 | SDValue Load = DAG.getLoad(Ty, DL, DAG.getEntryNode(), GOT, |
| 275 | MachinePointerInfo::getGOT(), false, false, |
| 276 | false, 0); |
Daniel Sanders | 6dd7251 | 2014-03-26 13:59:42 +0000 | [diff] [blame] | 277 | unsigned LoFlag = IsN32OrN64 ? MipsII::MO_GOT_OFST : MipsII::MO_ABS_LO; |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 278 | SDValue Lo = DAG.getNode(MipsISD::Lo, DL, Ty, |
| 279 | getTargetNode(N, Ty, DAG, LoFlag)); |
| 280 | return DAG.getNode(ISD::ADD, DL, Ty, Load, Lo); |
| 281 | } |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 282 | |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 283 | // This method creates the following nodes, which are necessary for |
| 284 | // computing a global symbol's address: |
| 285 | // |
| 286 | // (load (wrapper $gp, %got(sym))) |
| 287 | template<class NodeTy> |
| 288 | SDValue getAddrGlobal(NodeTy *N, EVT Ty, SelectionDAG &DAG, |
Akira Hatanaka | af4211a | 2013-09-28 00:12:32 +0000 | [diff] [blame] | 289 | unsigned Flag, SDValue Chain, |
| 290 | const MachinePointerInfo &PtrInfo) const { |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 291 | SDLoc DL(N); |
| 292 | SDValue Tgt = DAG.getNode(MipsISD::Wrapper, DL, Ty, getGlobalReg(DAG, Ty), |
| 293 | getTargetNode(N, Ty, DAG, Flag)); |
Akira Hatanaka | af4211a | 2013-09-28 00:12:32 +0000 | [diff] [blame] | 294 | return DAG.getLoad(Ty, DL, Chain, Tgt, PtrInfo, false, false, false, 0); |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 295 | } |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 296 | |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 297 | // This method creates the following nodes, which are necessary for |
| 298 | // computing a global symbol's address in large-GOT mode: |
| 299 | // |
| 300 | // (load (wrapper (add %hi(sym), $gp), %lo(sym))) |
| 301 | template<class NodeTy> |
| 302 | SDValue getAddrGlobalLargeGOT(NodeTy *N, EVT Ty, SelectionDAG &DAG, |
Akira Hatanaka | af4211a | 2013-09-28 00:12:32 +0000 | [diff] [blame] | 303 | unsigned HiFlag, unsigned LoFlag, |
| 304 | SDValue Chain, |
| 305 | const MachinePointerInfo &PtrInfo) const { |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 306 | SDLoc DL(N); |
| 307 | SDValue Hi = DAG.getNode(MipsISD::Hi, DL, Ty, |
| 308 | getTargetNode(N, Ty, DAG, HiFlag)); |
| 309 | Hi = DAG.getNode(ISD::ADD, DL, Ty, Hi, getGlobalReg(DAG, Ty)); |
| 310 | SDValue Wrapper = DAG.getNode(MipsISD::Wrapper, DL, Ty, Hi, |
| 311 | getTargetNode(N, Ty, DAG, LoFlag)); |
Akira Hatanaka | af4211a | 2013-09-28 00:12:32 +0000 | [diff] [blame] | 312 | return DAG.getLoad(Ty, DL, Chain, Wrapper, PtrInfo, false, false, false, |
| 313 | 0); |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 314 | } |
| 315 | |
| 316 | // This method creates the following nodes, which are necessary for |
| 317 | // computing a symbol's address in non-PIC mode: |
| 318 | // |
| 319 | // (add %hi(sym), %lo(sym)) |
| 320 | template<class NodeTy> |
| 321 | SDValue getAddrNonPIC(NodeTy *N, EVT Ty, SelectionDAG &DAG) const { |
| 322 | SDLoc DL(N); |
| 323 | SDValue Hi = getTargetNode(N, Ty, DAG, MipsII::MO_ABS_HI); |
| 324 | SDValue Lo = getTargetNode(N, Ty, DAG, MipsII::MO_ABS_LO); |
| 325 | return DAG.getNode(ISD::ADD, DL, Ty, |
| 326 | DAG.getNode(MipsISD::Hi, DL, Ty, Hi), |
| 327 | DAG.getNode(MipsISD::Lo, DL, Ty, Lo)); |
| 328 | } |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 329 | |
| 330 | /// This function fills Ops, which is the list of operands that will later |
| 331 | /// be used when a function call node is created. It also generates |
| 332 | /// copyToReg nodes to set up argument registers. |
| 333 | virtual void |
| 334 | getOpndList(SmallVectorImpl<SDValue> &Ops, |
| 335 | std::deque< std::pair<unsigned, SDValue> > &RegsToPass, |
| 336 | bool IsPICCall, bool GlobalOrExternal, bool InternalLinkage, |
| 337 | CallLoweringInfo &CLI, SDValue Callee, SDValue Chain) const; |
Reed Kotler | a2d76bc | 2013-01-24 04:24:02 +0000 | [diff] [blame] | 338 | |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 339 | /// ByValArgInfo - Byval argument information. |
| 340 | struct ByValArgInfo { |
| 341 | unsigned FirstIdx; // Index of the first register used. |
| 342 | unsigned NumRegs; // Number of registers used for this argument. |
| 343 | unsigned Address; // Offset of the stack area used to pass this argument. |
| 344 | |
| 345 | ByValArgInfo() : FirstIdx(0), NumRegs(0), Address(0) {} |
| 346 | }; |
| 347 | |
| 348 | /// MipsCC - This class provides methods used to analyze formal and call |
| 349 | /// arguments and inquire about calling convention information. |
| 350 | class MipsCC { |
| 351 | public: |
Reed Kotler | 783c794 | 2013-05-10 22:25:39 +0000 | [diff] [blame] | 352 | enum SpecialCallingConvType { |
| 353 | Mips16RetHelperConv, NoSpecialCallingConv |
| 354 | }; |
| 355 | |
Akira Hatanaka | bfb6624 | 2013-08-20 23:38:40 +0000 | [diff] [blame] | 356 | MipsCC(CallingConv::ID CallConv, bool IsO32, bool IsFP64, CCState &Info, |
| 357 | SpecialCallingConvType SpecialCallingConv = NoSpecialCallingConv); |
Reed Kotler | 783c794 | 2013-05-10 22:25:39 +0000 | [diff] [blame] | 358 | |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 359 | |
Akira Hatanaka | 5001be5 | 2013-02-15 21:45:11 +0000 | [diff] [blame] | 360 | void analyzeCallOperands(const SmallVectorImpl<ISD::OutputArg> &Outs, |
Akira Hatanaka | 3b7391d | 2013-03-05 22:20:28 +0000 | [diff] [blame] | 361 | bool IsVarArg, bool IsSoftFloat, |
| 362 | const SDNode *CallNode, |
| 363 | std::vector<ArgListEntry> &FuncArgs); |
Akira Hatanaka | 4b634fa | 2013-03-05 22:13:04 +0000 | [diff] [blame] | 364 | void analyzeFormalArguments(const SmallVectorImpl<ISD::InputArg> &Ins, |
| 365 | bool IsSoftFloat, |
| 366 | Function::const_arg_iterator FuncArg); |
Akira Hatanaka | 5f3ba9e | 2013-03-05 22:41:55 +0000 | [diff] [blame] | 367 | |
| 368 | void analyzeCallResult(const SmallVectorImpl<ISD::InputArg> &Ins, |
| 369 | bool IsSoftFloat, const SDNode *CallNode, |
| 370 | const Type *RetTy) const; |
| 371 | |
| 372 | void analyzeReturn(const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 373 | bool IsSoftFloat, const Type *RetTy) const; |
| 374 | |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 375 | const CCState &getCCInfo() const { return CCInfo; } |
| 376 | |
| 377 | /// hasByValArg - Returns true if function has byval arguments. |
| 378 | bool hasByValArg() const { return !ByValArgs.empty(); } |
| 379 | |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 380 | /// regSize - Size (in number of bits) of integer registers. |
Akira Hatanaka | 5001be5 | 2013-02-15 21:45:11 +0000 | [diff] [blame] | 381 | unsigned regSize() const { return IsO32 ? 4 : 8; } |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 382 | |
| 383 | /// numIntArgRegs - Number of integer registers available for calls. |
Akira Hatanaka | 5001be5 | 2013-02-15 21:45:11 +0000 | [diff] [blame] | 384 | unsigned numIntArgRegs() const; |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 385 | |
| 386 | /// reservedArgArea - The size of the area the caller reserves for |
| 387 | /// register arguments. This is 16-byte if ABI is O32. |
Akira Hatanaka | 5001be5 | 2013-02-15 21:45:11 +0000 | [diff] [blame] | 388 | unsigned reservedArgArea() const; |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 389 | |
Akira Hatanaka | 5001be5 | 2013-02-15 21:45:11 +0000 | [diff] [blame] | 390 | /// Return pointer to array of integer argument registers. |
Craig Topper | 840beec | 2014-04-04 05:16:06 +0000 | [diff] [blame] | 391 | const MCPhysReg *intArgRegs() const; |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 392 | |
Craig Topper | 31ee586 | 2013-07-03 15:07:05 +0000 | [diff] [blame] | 393 | typedef SmallVectorImpl<ByValArgInfo>::const_iterator byval_iterator; |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 394 | byval_iterator byval_begin() const { return ByValArgs.begin(); } |
| 395 | byval_iterator byval_end() const { return ByValArgs.end(); } |
| 396 | |
| 397 | private: |
Akira Hatanaka | 5001be5 | 2013-02-15 21:45:11 +0000 | [diff] [blame] | 398 | void handleByValArg(unsigned ValNo, MVT ValVT, MVT LocVT, |
| 399 | CCValAssign::LocInfo LocInfo, |
| 400 | ISD::ArgFlagsTy ArgFlags); |
| 401 | |
| 402 | /// useRegsForByval - Returns true if the calling convention allows the |
| 403 | /// use of registers to pass byval arguments. |
| 404 | bool useRegsForByval() const { return CallConv != CallingConv::Fast; } |
| 405 | |
| 406 | /// Return the function that analyzes fixed argument list functions. |
| 407 | llvm::CCAssignFn *fixedArgFn() const; |
| 408 | |
| 409 | /// Return the function that analyzes variable argument list functions. |
| 410 | llvm::CCAssignFn *varArgFn() const; |
| 411 | |
Craig Topper | 840beec | 2014-04-04 05:16:06 +0000 | [diff] [blame] | 412 | const MCPhysReg *shadowRegs() const; |
Akira Hatanaka | 5001be5 | 2013-02-15 21:45:11 +0000 | [diff] [blame] | 413 | |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 414 | void allocateRegs(ByValArgInfo &ByVal, unsigned ByValSize, |
| 415 | unsigned Align); |
| 416 | |
Akira Hatanaka | 4b634fa | 2013-03-05 22:13:04 +0000 | [diff] [blame] | 417 | /// Return the type of the register which is used to pass an argument or |
| 418 | /// return a value. This function returns f64 if the argument is an i64 |
| 419 | /// value which has been generated as a result of softening an f128 value. |
| 420 | /// Otherwise, it just returns VT. |
| 421 | MVT getRegVT(MVT VT, const Type *OrigTy, const SDNode *CallNode, |
| 422 | bool IsSoftFloat) const; |
| 423 | |
Akira Hatanaka | 5f3ba9e | 2013-03-05 22:41:55 +0000 | [diff] [blame] | 424 | template<typename Ty> |
| 425 | void analyzeReturn(const SmallVectorImpl<Ty> &RetVals, bool IsSoftFloat, |
| 426 | const SDNode *CallNode, const Type *RetTy) const; |
| 427 | |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 428 | CCState &CCInfo; |
Akira Hatanaka | 5001be5 | 2013-02-15 21:45:11 +0000 | [diff] [blame] | 429 | CallingConv::ID CallConv; |
Akira Hatanaka | bfb6624 | 2013-08-20 23:38:40 +0000 | [diff] [blame] | 430 | bool IsO32, IsFP64; |
Reed Kotler | 783c794 | 2013-05-10 22:25:39 +0000 | [diff] [blame] | 431 | SpecialCallingConvType SpecialCallingConv; |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 432 | SmallVector<ByValArgInfo, 2> ByValArgs; |
Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 433 | }; |
Reed Kotler | 783c794 | 2013-05-10 22:25:39 +0000 | [diff] [blame] | 434 | protected: |
Akira Hatanaka | 6379121 | 2013-09-07 00:52:30 +0000 | [diff] [blame] | 435 | SDValue lowerLOAD(SDValue Op, SelectionDAG &DAG) const; |
| 436 | SDValue lowerSTORE(SDValue Op, SelectionDAG &DAG) const; |
| 437 | |
Bruno Cardoso Lopes | c9c3f49 | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 438 | // Subtarget Info |
Eric Christopher | 1c29a65 | 2014-07-18 22:55:25 +0000 | [diff] [blame] | 439 | const MipsSubtarget &Subtarget; |
Jia Liu | f54f60f | 2012-02-28 07:46:26 +0000 | [diff] [blame] | 440 | |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 441 | private: |
Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 442 | // Create a TargetGlobalAddress node. |
| 443 | SDValue getTargetNode(GlobalAddressSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 444 | unsigned Flag) const; |
| 445 | |
| 446 | // Create a TargetExternalSymbol node. |
| 447 | SDValue getTargetNode(ExternalSymbolSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 448 | unsigned Flag) const; |
| 449 | |
| 450 | // Create a TargetBlockAddress node. |
| 451 | SDValue getTargetNode(BlockAddressSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 452 | unsigned Flag) const; |
| 453 | |
| 454 | // Create a TargetJumpTable node. |
| 455 | SDValue getTargetNode(JumpTableSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 456 | unsigned Flag) const; |
| 457 | |
| 458 | // Create a TargetConstantPool node. |
| 459 | SDValue getTargetNode(ConstantPoolSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 460 | unsigned Flag) const; |
Reed Kotler | 783c794 | 2013-05-10 22:25:39 +0000 | [diff] [blame] | 461 | |
| 462 | MipsCC::SpecialCallingConvType getSpecialCallingConv(SDValue Callee) const; |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 463 | // Lower Operand helpers |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 464 | SDValue LowerCallResult(SDValue Chain, SDValue InFlag, |
Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 465 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 466 | const SmallVectorImpl<ISD::InputArg> &Ins, |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 467 | SDLoc dl, SelectionDAG &DAG, |
Akira Hatanaka | 5f3ba9e | 2013-03-05 22:41:55 +0000 | [diff] [blame] | 468 | SmallVectorImpl<SDValue> &InVals, |
| 469 | const SDNode *CallNode, const Type *RetTy) const; |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 470 | |
| 471 | // Lower Operand specifics |
Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 472 | SDValue lowerBR_JT(SDValue Op, SelectionDAG &DAG) const; |
| 473 | SDValue lowerBRCOND(SDValue Op, SelectionDAG &DAG) const; |
| 474 | SDValue lowerConstantPool(SDValue Op, SelectionDAG &DAG) const; |
| 475 | SDValue lowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; |
| 476 | SDValue lowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; |
| 477 | SDValue lowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; |
| 478 | SDValue lowerJumpTable(SDValue Op, SelectionDAG &DAG) const; |
| 479 | SDValue lowerSELECT(SDValue Op, SelectionDAG &DAG) const; |
| 480 | SDValue lowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const; |
| 481 | SDValue lowerSETCC(SDValue Op, SelectionDAG &DAG) const; |
| 482 | SDValue lowerVASTART(SDValue Op, SelectionDAG &DAG) const; |
| 483 | SDValue lowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG) const; |
| 484 | SDValue lowerFABS(SDValue Op, SelectionDAG &DAG) const; |
| 485 | SDValue lowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; |
| 486 | SDValue lowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; |
| 487 | SDValue lowerEH_RETURN(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 488 | SDValue lowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const; |
| 489 | SDValue lowerShiftLeftParts(SDValue Op, SelectionDAG& DAG) const; |
| 490 | SDValue lowerShiftRightParts(SDValue Op, SelectionDAG& DAG, |
Akira Hatanaka | 5fd2248 | 2012-06-14 21:10:56 +0000 | [diff] [blame] | 491 | bool IsSRA) const; |
Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 492 | SDValue lowerADD(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | 252f54f | 2013-05-16 21:17:15 +0000 | [diff] [blame] | 493 | SDValue lowerFP_TO_SINT(SDValue Op, SelectionDAG &DAG) const; |
Bruno Cardoso Lopes | 4eed3af | 2008-06-06 00:58:26 +0000 | [diff] [blame] | 494 | |
Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 495 | /// isEligibleForTailCallOptimization - Check whether the call is eligible |
Akira Hatanaka | 90131ac | 2012-10-19 21:47:33 +0000 | [diff] [blame] | 496 | /// for tail call optimization. |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 497 | virtual bool |
| 498 | isEligibleForTailCallOptimization(const MipsCC &MipsCCInfo, |
| 499 | unsigned NextStackOffset, |
| 500 | const MipsFunctionInfo& FI) const = 0; |
Akira Hatanaka | 90131ac | 2012-10-19 21:47:33 +0000 | [diff] [blame] | 501 | |
Akira Hatanaka | 25dad19 | 2012-10-27 00:10:18 +0000 | [diff] [blame] | 502 | /// copyByValArg - Copy argument registers which were used to pass a byval |
| 503 | /// argument to the stack. Create a stack frame object for the byval |
| 504 | /// argument. |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 505 | void copyByValRegs(SDValue Chain, SDLoc DL, |
Akira Hatanaka | 25dad19 | 2012-10-27 00:10:18 +0000 | [diff] [blame] | 506 | std::vector<SDValue> &OutChains, SelectionDAG &DAG, |
| 507 | const ISD::ArgFlagsTy &Flags, |
| 508 | SmallVectorImpl<SDValue> &InVals, |
| 509 | const Argument *FuncArg, |
| 510 | const MipsCC &CC, const ByValArgInfo &ByVal) const; |
| 511 | |
Akira Hatanaka | 35f55b1 | 2012-10-27 00:16:36 +0000 | [diff] [blame] | 512 | /// passByValArg - Pass a byval argument in registers or on stack. |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 513 | void passByValArg(SDValue Chain, SDLoc DL, |
Akira Hatanaka | f7d16d0 | 2013-01-22 20:05:56 +0000 | [diff] [blame] | 514 | std::deque< std::pair<unsigned, SDValue> > &RegsToPass, |
Craig Topper | b94011f | 2013-07-14 04:42:23 +0000 | [diff] [blame] | 515 | SmallVectorImpl<SDValue> &MemOpChains, SDValue StackPtr, |
Akira Hatanaka | 35f55b1 | 2012-10-27 00:16:36 +0000 | [diff] [blame] | 516 | MachineFrameInfo *MFI, SelectionDAG &DAG, SDValue Arg, |
| 517 | const MipsCC &CC, const ByValArgInfo &ByVal, |
| 518 | const ISD::ArgFlagsTy &Flags, bool isLittle) const; |
| 519 | |
Akira Hatanaka | 2a13402 | 2012-10-27 00:21:13 +0000 | [diff] [blame] | 520 | /// writeVarArgRegs - Write variable function arguments passed in registers |
| 521 | /// to the stack. Also create a stack frame object for the first variable |
| 522 | /// argument. |
| 523 | void writeVarArgRegs(std::vector<SDValue> &OutChains, const MipsCC &CC, |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 524 | SDValue Chain, SDLoc DL, SelectionDAG &DAG) const; |
Akira Hatanaka | 2a13402 | 2012-10-27 00:21:13 +0000 | [diff] [blame] | 525 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 526 | SDValue |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 527 | LowerFormalArguments(SDValue Chain, |
Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 528 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 529 | const SmallVectorImpl<ISD::InputArg> &Ins, |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 530 | SDLoc dl, SelectionDAG &DAG, |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 531 | SmallVectorImpl<SDValue> &InVals) const override; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 532 | |
Akira Hatanaka | 6233cf5 | 2012-10-30 19:23:25 +0000 | [diff] [blame] | 533 | SDValue passArgOnStack(SDValue StackPtr, unsigned Offset, SDValue Chain, |
Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 534 | SDValue Arg, SDLoc DL, bool IsTailCall, |
Akira Hatanaka | 6233cf5 | 2012-10-30 19:23:25 +0000 | [diff] [blame] | 535 | SelectionDAG &DAG) const; |
| 536 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 537 | SDValue LowerCall(TargetLowering::CallLoweringInfo &CLI, |
| 538 | SmallVectorImpl<SDValue> &InVals) const override; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 539 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 540 | bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, |
| 541 | bool isVarArg, |
| 542 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 543 | LLVMContext &Context) const override; |
Akira Hatanaka | 9c8dcfc | 2012-10-10 01:27:09 +0000 | [diff] [blame] | 544 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 545 | SDValue LowerReturn(SDValue Chain, |
| 546 | CallingConv::ID CallConv, bool isVarArg, |
| 547 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 548 | const SmallVectorImpl<SDValue> &OutVals, |
| 549 | SDLoc dl, SelectionDAG &DAG) const override; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 550 | |
Bruno Cardoso Lopes | b10580a | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 551 | // Inline asm support |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 552 | ConstraintType |
| 553 | getConstraintType(const std::string &Constraint) const override; |
Bruno Cardoso Lopes | b10580a | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 554 | |
Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 555 | /// Examine constraint string and operand type and determine a weight value. |
| 556 | /// The operand object must already have been set up with the operand type. |
John Thompson | e8360b7 | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 557 | ConstraintWeight getSingleConstraintMatchWeight( |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 558 | AsmOperandInfo &info, const char *constraint) const override; |
John Thompson | e8360b7 | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 559 | |
Akira Hatanaka | 7473b47 | 2013-08-14 00:21:25 +0000 | [diff] [blame] | 560 | /// This function parses registers that appear in inline-asm constraints. |
| 561 | /// It returns pair (0, 0) on failure. |
| 562 | std::pair<unsigned, const TargetRegisterClass *> |
| 563 | parseRegForInlineAsmConstraint(const StringRef &C, MVT VT) const; |
| 564 | |
Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 565 | std::pair<unsigned, const TargetRegisterClass*> |
Bruno Cardoso Lopes | b10580a | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 566 | getRegForInlineAsmConstraint(const std::string &Constraint, |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 567 | MVT VT) const override; |
Bruno Cardoso Lopes | b10580a | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 568 | |
Eric Christopher | 1d6c89e | 2012-05-07 03:13:32 +0000 | [diff] [blame] | 569 | /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops |
| 570 | /// vector. If it is invalid, don't add anything to Ops. If hasMemory is |
| 571 | /// true it means one of the asm constraint of the inline asm instruction |
| 572 | /// being processed is 'm'. |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 573 | void LowerAsmOperandForConstraint(SDValue Op, |
| 574 | std::string &Constraint, |
| 575 | std::vector<SDValue> &Ops, |
| 576 | SelectionDAG &DAG) const override; |
Eric Christopher | 1d6c89e | 2012-05-07 03:13:32 +0000 | [diff] [blame] | 577 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 578 | bool isLegalAddressingMode(const AddrMode &AM, Type *Ty) const override; |
Akira Hatanaka | ef83919 | 2012-11-17 00:25:41 +0000 | [diff] [blame] | 579 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 580 | bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override; |
Evan Cheng | 16993aa | 2009-10-27 19:56:55 +0000 | [diff] [blame] | 581 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 582 | EVT getOptimalMemOpType(uint64_t Size, unsigned DstAlign, |
| 583 | unsigned SrcAlign, |
| 584 | bool IsMemset, bool ZeroMemset, |
| 585 | bool MemcpyStrSrc, |
| 586 | MachineFunction &MF) const override; |
Akira Hatanaka | 1daf8c2 | 2012-06-13 19:33:32 +0000 | [diff] [blame] | 587 | |
Evan Cheng | 16993aa | 2009-10-27 19:56:55 +0000 | [diff] [blame] | 588 | /// isFPImmLegal - Returns true if the target can instruction select the |
| 589 | /// specified FP immediate natively. If false, the legalizer will |
| 590 | /// materialize the FP immediate as a load from a constant pool. |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 591 | bool isFPImmLegal(const APFloat &Imm, EVT VT) const override; |
Bruno Cardoso Lopes | 98fc4c8 | 2011-05-31 02:54:07 +0000 | [diff] [blame] | 592 | |
Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 593 | unsigned getJumpTableEncoding() const override; |
Akira Hatanaka | f0b0844 | 2012-02-03 04:33:00 +0000 | [diff] [blame] | 594 | |
Daniel Sanders | 6a803f6 | 2014-06-16 13:13:03 +0000 | [diff] [blame] | 595 | /// Emit a sign-extension using sll/sra, seb, or seh appropriately. |
| 596 | MachineBasicBlock *emitSignExtendToI32InReg(MachineInstr *MI, |
| 597 | MachineBasicBlock *BB, |
| 598 | unsigned Size, unsigned DstReg, |
| 599 | unsigned SrcRec) const; |
| 600 | |
Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 601 | MachineBasicBlock *emitAtomicBinary(MachineInstr *MI, MachineBasicBlock *BB, |
Bruno Cardoso Lopes | 98fc4c8 | 2011-05-31 02:54:07 +0000 | [diff] [blame] | 602 | unsigned Size, unsigned BinOpcode, bool Nand = false) const; |
Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 603 | MachineBasicBlock *emitAtomicBinaryPartword(MachineInstr *MI, |
Bruno Cardoso Lopes | 98fc4c8 | 2011-05-31 02:54:07 +0000 | [diff] [blame] | 604 | MachineBasicBlock *BB, unsigned Size, unsigned BinOpcode, |
| 605 | bool Nand = false) const; |
Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 606 | MachineBasicBlock *emitAtomicCmpSwap(MachineInstr *MI, |
Bruno Cardoso Lopes | 98fc4c8 | 2011-05-31 02:54:07 +0000 | [diff] [blame] | 607 | MachineBasicBlock *BB, unsigned Size) const; |
Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 608 | MachineBasicBlock *emitAtomicCmpSwapPartword(MachineInstr *MI, |
Bruno Cardoso Lopes | 98fc4c8 | 2011-05-31 02:54:07 +0000 | [diff] [blame] | 609 | MachineBasicBlock *BB, unsigned Size) const; |
Daniel Sanders | 0fa6041 | 2014-06-12 13:39:06 +0000 | [diff] [blame] | 610 | MachineBasicBlock *emitSEL_D(MachineInstr *MI, MachineBasicBlock *BB) const; |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 611 | }; |
Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 612 | |
| 613 | /// Create MipsTargetLowering objects. |
| 614 | const MipsTargetLowering *createMips16TargetLowering(MipsTargetMachine &TM); |
| 615 | const MipsTargetLowering *createMipsSETargetLowering(MipsTargetMachine &TM); |
Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 616 | |
| 617 | namespace Mips { |
| 618 | FastISel *createFastISel(FunctionLoweringInfo &funcInfo, |
| 619 | const TargetLibraryInfo *libInfo); |
| 620 | } |
Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 621 | } |
| 622 | |
| 623 | #endif // MipsISELLOWERING_H |