| 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 | |
| Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 15 | #ifndef LLVM_LIB_TARGET_MIPS_MIPSISELLOWERING_H |
| 16 | #define LLVM_LIB_TARGET_MIPS_MIPSISELLOWERING_H |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 17 | |
| Eric Christopher | 96e72c6 | 2015-01-29 23:27:36 +0000 | [diff] [blame] | 18 | #include "MCTargetDesc/MipsABIInfo.h" |
| Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 19 | #include "MCTargetDesc/MipsBaseInfo.h" |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 20 | #include "Mips.h" |
| Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/CallingConvLower.h" |
| Craig Topper | b25fda9 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/SelectionDAG.h" |
| Akira Hatanaka | 4b634fa | 2013-03-05 22:13:04 +0000 | [diff] [blame] | 23 | #include "llvm/IR/Function.h" |
| Craig Topper | b25fda9 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetLowering.h" |
| Akira Hatanaka | f7d16d0 | 2013-01-22 20:05:56 +0000 | [diff] [blame] | 25 | #include <deque> |
| Reed Kotler | a2d76bc | 2013-01-24 04:24:02 +0000 | [diff] [blame] | 26 | #include <string> |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 27 | |
| 28 | namespace llvm { |
| 29 | namespace MipsISD { |
| Matthias Braun | d04893f | 2015-05-07 21:33:59 +0000 | [diff] [blame] | 30 | enum NodeType : unsigned { |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 31 | // Start the numbering from where ISD NodeType finishes. |
| Dan Gohman | ed1cf1a | 2008-09-23 18:42:32 +0000 | [diff] [blame] | 32 | FIRST_NUMBER = ISD::BUILTIN_OP_END, |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 33 | |
| 34 | // Jump and link (call) |
| 35 | JmpLink, |
| 36 | |
| Akira Hatanaka | 91318df | 2012-10-19 20:59:39 +0000 | [diff] [blame] | 37 | // Tail call |
| 38 | TailCall, |
| 39 | |
| Simon Dardis | ca74dd7 | 2017-01-27 11:36:52 +0000 | [diff] [blame] | 40 | // Get the Highest (63-48) 16 bits from a 64-bit immediate |
| 41 | Highest, |
| 42 | |
| 43 | // Get the Higher (47-32) 16 bits from a 64-bit immediate |
| 44 | Higher, |
| 45 | |
| 46 | // Get the High 16 bits from a 32/64-bit immediate |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 47 | // No relation with Mips Hi register |
| Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 48 | Hi, |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 49 | |
| Simon Dardis | ca74dd7 | 2017-01-27 11:36:52 +0000 | [diff] [blame] | 50 | // Get the Lower 16 bits from a 32/64-bit immediate |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 51 | // No relation with Mips Lo register |
| Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 52 | Lo, |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 53 | |
| Simon Dardis | ca74dd7 | 2017-01-27 11:36:52 +0000 | [diff] [blame] | 54 | // Get the High 16 bits from a 32 bit immediate for accessing the GOT. |
| 55 | GotHi, |
| 56 | |
| Bruno Cardoso Lopes | e5d1fcf | 2008-07-21 18:52:34 +0000 | [diff] [blame] | 57 | // Handle gp_rel (small data/bss sections) relocation. |
| 58 | GPRel, |
| 59 | |
| Bruno Cardoso Lopes | bf3c125 | 2011-05-31 02:53:58 +0000 | [diff] [blame] | 60 | // Thread Pointer |
| 61 | ThreadPointer, |
| 62 | |
| Bruno Cardoso Lopes | 7ceec57 | 2008-07-09 04:45:36 +0000 | [diff] [blame] | 63 | // Floating Point Branch Conditional |
| Bruno Cardoso Lopes | c9c3f49 | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 64 | FPBrcond, |
| 65 | |
| Bruno Cardoso Lopes | 7ceec57 | 2008-07-09 04:45:36 +0000 | [diff] [blame] | 66 | // Floating Point Compare |
| Bruno Cardoso Lopes | c9c3f49 | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 67 | FPCmp, |
| 68 | |
| Akira Hatanaka | a535270 | 2011-03-31 18:26:17 +0000 | [diff] [blame] | 69 | // Floating Point Conditional Moves |
| 70 | CMovFP_T, |
| 71 | CMovFP_F, |
| 72 | |
| Akira Hatanaka | 252f54f | 2013-05-16 21:17:15 +0000 | [diff] [blame] | 73 | // FP-to-int truncation node. |
| 74 | TruncIntFP, |
| 75 | |
| Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 76 | // Return |
| Bruno Cardoso Lopes | 4dc73fa | 2011-01-18 19:29:17 +0000 | [diff] [blame] | 77 | Ret, |
| 78 | |
| Vasileios Kalintiris | 43dff0c | 2015-10-26 12:38:43 +0000 | [diff] [blame] | 79 | // Interrupt, exception, error trap Return |
| 80 | ERet, |
| 81 | |
| 82 | // Software Exception Return. |
| Akira Hatanaka | c0b0206 | 2013-01-30 00:26:49 +0000 | [diff] [blame] | 83 | EH_RETURN, |
| 84 | |
| Akira Hatanaka | 28721bd | 2013-03-30 01:14:04 +0000 | [diff] [blame] | 85 | // Node used to extract integer from accumulator. |
| Akira Hatanaka | d98c99f | 2013-10-15 01:12:50 +0000 | [diff] [blame] | 86 | MFHI, |
| 87 | MFLO, |
| Akira Hatanaka | 28721bd | 2013-03-30 01:14:04 +0000 | [diff] [blame] | 88 | |
| 89 | // Node used to insert integers to accumulator. |
| Akira Hatanaka | d98c99f | 2013-10-15 01:12:50 +0000 | [diff] [blame] | 90 | MTLOHI, |
| Akira Hatanaka | 28721bd | 2013-03-30 01:14:04 +0000 | [diff] [blame] | 91 | |
| 92 | // Mult nodes. |
| 93 | Mult, |
| 94 | Multu, |
| 95 | |
| Bruno Cardoso Lopes | 4dc73fa | 2011-01-18 19:29:17 +0000 | [diff] [blame] | 96 | // MAdd/Sub nodes |
| 97 | MAdd, |
| 98 | MAddu, |
| 99 | MSub, |
| Bruno Cardoso Lopes | 434248a6 | 2011-03-04 21:03:24 +0000 | [diff] [blame] | 100 | MSubu, |
| 101 | |
| 102 | // DivRem(u) |
| 103 | DivRem, |
| Akira Hatanaka | 2791697 | 2011-04-15 19:52:08 +0000 | [diff] [blame] | 104 | DivRemU, |
| Akira Hatanaka | 28721bd | 2013-03-30 01:14:04 +0000 | [diff] [blame] | 105 | DivRem16, |
| 106 | DivRemU16, |
| Akira Hatanaka | 2791697 | 2011-04-15 19:52:08 +0000 | [diff] [blame] | 107 | |
| 108 | BuildPairF64, |
| Akira Hatanaka | b406843 | 2011-05-28 01:07:07 +0000 | [diff] [blame] | 109 | ExtractElementF64, |
| 110 | |
| Akira Hatanaka | 5ee8464 | 2011-12-09 01:53:17 +0000 | [diff] [blame] | 111 | Wrapper, |
| Akira Hatanaka | 4c406e7 | 2011-06-21 00:40:49 +0000 | [diff] [blame] | 112 | |
| Akira Hatanaka | a4c09bc | 2011-07-19 23:30:50 +0000 | [diff] [blame] | 113 | DynAlloc, |
| 114 | |
| Akira Hatanaka | 5360f88 | 2011-08-17 02:05:42 +0000 | [diff] [blame] | 115 | Sync, |
| 116 | |
| 117 | Ext, |
| Akira Hatanaka | b9ebf8d | 2012-06-02 00:03:12 +0000 | [diff] [blame] | 118 | Ins, |
| Petar Jovanovic | b71386a | 2017-03-15 13:10:08 +0000 | [diff] [blame^] | 119 | CIns, |
| Akira Hatanaka | b9ebf8d | 2012-06-02 00:03:12 +0000 | [diff] [blame] | 120 | |
| Akira Hatanaka | 233ac53 | 2012-09-21 23:52:47 +0000 | [diff] [blame] | 121 | // EXTR.W instrinsic nodes. |
| 122 | EXTP, |
| 123 | EXTPDP, |
| 124 | EXTR_S_H, |
| 125 | EXTR_W, |
| 126 | EXTR_R_W, |
| 127 | EXTR_RS_W, |
| 128 | SHILO, |
| 129 | MTHLIP, |
| 130 | |
| 131 | // DPA.W intrinsic nodes. |
| 132 | MULSAQ_S_W_PH, |
| 133 | MAQ_S_W_PHL, |
| 134 | MAQ_S_W_PHR, |
| 135 | MAQ_SA_W_PHL, |
| 136 | MAQ_SA_W_PHR, |
| 137 | DPAU_H_QBL, |
| 138 | DPAU_H_QBR, |
| 139 | DPSU_H_QBL, |
| 140 | DPSU_H_QBR, |
| 141 | DPAQ_S_W_PH, |
| 142 | DPSQ_S_W_PH, |
| 143 | DPAQ_SA_L_W, |
| 144 | DPSQ_SA_L_W, |
| 145 | DPA_W_PH, |
| 146 | DPS_W_PH, |
| 147 | DPAQX_S_W_PH, |
| 148 | DPAQX_SA_W_PH, |
| 149 | DPAX_W_PH, |
| 150 | DPSX_W_PH, |
| 151 | DPSQX_S_W_PH, |
| 152 | DPSQX_SA_W_PH, |
| 153 | MULSA_W_PH, |
| 154 | |
| 155 | MULT, |
| 156 | MULTU, |
| 157 | MADD_DSP, |
| 158 | MADDU_DSP, |
| 159 | MSUB_DSP, |
| 160 | MSUBU_DSP, |
| 161 | |
| Akira Hatanaka | 1ebb2a1 | 2013-04-19 23:21:32 +0000 | [diff] [blame] | 162 | // DSP shift nodes. |
| 163 | SHLL_DSP, |
| 164 | SHRA_DSP, |
| 165 | SHRL_DSP, |
| 166 | |
| Akira Hatanaka | 68741cc | 2013-04-30 22:37:26 +0000 | [diff] [blame] | 167 | // DSP setcc and select_cc nodes. |
| 168 | SETCC_DSP, |
| 169 | SELECT_CC_DSP, |
| 170 | |
| Daniel Sanders | 7a289d0 | 2013-09-23 12:02:46 +0000 | [diff] [blame] | 171 | // Vector comparisons. |
| Daniel Sanders | fd538dc | 2013-09-24 10:46:19 +0000 | [diff] [blame] | 172 | // These take a vector and return a boolean. |
| Daniel Sanders | ce09d07 | 2013-08-28 12:14:50 +0000 | [diff] [blame] | 173 | VALL_ZERO, |
| 174 | VANY_ZERO, |
| 175 | VALL_NONZERO, |
| 176 | VANY_NONZERO, |
| 177 | |
| Daniel Sanders | fd538dc | 2013-09-24 10:46:19 +0000 | [diff] [blame] | 178 | // These take a vector and return a vector bitmask. |
| 179 | VCEQ, |
| 180 | VCLE_S, |
| 181 | VCLE_U, |
| 182 | VCLT_S, |
| 183 | VCLT_U, |
| 184 | |
| Daniel Sanders | 3ce5662 | 2013-09-24 12:18:31 +0000 | [diff] [blame] | 185 | // Element-wise vector max/min. |
| 186 | VSMAX, |
| 187 | VSMIN, |
| 188 | VUMAX, |
| 189 | VUMIN, |
| 190 | |
| Daniel Sanders | e508704 | 2013-09-24 14:02:15 +0000 | [diff] [blame] | 191 | // Vector Shuffle with mask as an operand |
| 192 | VSHF, // Generic shuffle |
| Daniel Sanders | 2630718 | 2013-09-24 14:20:00 +0000 | [diff] [blame] | 193 | SHF, // 4-element set shuffle. |
| Daniel Sanders | 2ed228b | 2013-09-24 14:36:12 +0000 | [diff] [blame] | 194 | ILVEV, // Interleave even elements |
| 195 | ILVOD, // Interleave odd elements |
| 196 | ILVL, // Interleave left elements |
| 197 | ILVR, // Interleave right elements |
| Daniel Sanders | fae5f2a | 2013-09-24 14:53:25 +0000 | [diff] [blame] | 198 | PCKEV, // Pack even elements |
| 199 | PCKOD, // Pack odd elements |
| Daniel Sanders | e508704 | 2013-09-24 14:02:15 +0000 | [diff] [blame] | 200 | |
| Daniel Sanders | b50ccf8 | 2014-04-01 10:35:28 +0000 | [diff] [blame] | 201 | // Vector Lane Copy |
| 202 | INSVE, // Copy element from one vector to another |
| 203 | |
| Daniel Sanders | f7456c7 | 2013-09-23 13:22:24 +0000 | [diff] [blame] | 204 | // Combined (XOR (OR $a, $b), -1) |
| 205 | VNOR, |
| 206 | |
| Daniel Sanders | a4c8f3a | 2013-09-23 14:03:12 +0000 | [diff] [blame] | 207 | // Extended vector element extraction |
| 208 | VEXTRACT_SEXT_ELT, |
| 209 | VEXTRACT_ZEXT_ELT, |
| 210 | |
| Akira Hatanaka | b9ebf8d | 2012-06-02 00:03:12 +0000 | [diff] [blame] | 211 | // Load/Store Left/Right nodes. |
| 212 | LWL = ISD::FIRST_TARGET_MEMORY_OPCODE, |
| 213 | LWR, |
| 214 | SWL, |
| 215 | SWR, |
| 216 | LDL, |
| 217 | LDR, |
| 218 | SDL, |
| 219 | SDR |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 220 | }; |
| Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 221 | } |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 222 | |
| Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 223 | //===--------------------------------------------------------------------===// |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 224 | // TargetLowering Implementation |
| Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 225 | //===--------------------------------------------------------------------===// |
| Akira Hatanaka | 9c962c0 | 2012-10-30 20:16:31 +0000 | [diff] [blame] | 226 | class MipsFunctionInfo; |
| Eric Christopher | bf33a3c | 2014-07-02 23:18:40 +0000 | [diff] [blame] | 227 | class MipsSubtarget; |
| Daniel Sanders | 2c6f4b4 | 2014-11-07 15:03:53 +0000 | [diff] [blame] | 228 | class MipsCCState; |
| Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 229 | |
| Chris Lattner | 58e8be8 | 2009-08-13 05:41:27 +0000 | [diff] [blame] | 230 | class MipsTargetLowering : public TargetLowering { |
| Zoran Jovanovic | ff9d5f3 | 2013-12-19 16:12:56 +0000 | [diff] [blame] | 231 | bool isMicroMips; |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 232 | public: |
| Eric Christopher | b152660 | 2014-09-19 23:30:42 +0000 | [diff] [blame] | 233 | explicit MipsTargetLowering(const MipsTargetMachine &TM, |
| Eric Christopher | 8924d27 | 2014-07-18 23:25:04 +0000 | [diff] [blame] | 234 | const MipsSubtarget &STI); |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 235 | |
| Eric Christopher | b152660 | 2014-09-19 23:30:42 +0000 | [diff] [blame] | 236 | static const MipsTargetLowering *create(const MipsTargetMachine &TM, |
| Eric Christopher | 8924d27 | 2014-07-18 23:25:04 +0000 | [diff] [blame] | 237 | const MipsSubtarget &STI); |
| Akira Hatanaka | 770f064 | 2011-11-07 18:59:49 +0000 | [diff] [blame] | 238 | |
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 239 | /// createFastISel - This method returns a target specific FastISel object, |
| 240 | /// or null if the target does not support "fast" ISel. |
| 241 | FastISel *createFastISel(FunctionLoweringInfo &funcInfo, |
| 242 | const TargetLibraryInfo *libInfo) const override; |
| 243 | |
| Mehdi Amini | eaabc51 | 2015-07-09 15:12:23 +0000 | [diff] [blame] | 244 | MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override { |
| Mehdi Amini | 9639d65 | 2015-07-09 02:09:20 +0000 | [diff] [blame] | 245 | return MVT::i32; |
| 246 | } |
| Akira Hatanaka | 2fcc1cf | 2011-08-12 21:30:06 +0000 | [diff] [blame] | 247 | |
| Sanjay Patel | f740129 | 2015-11-11 17:24:56 +0000 | [diff] [blame] | 248 | bool isCheapToSpeculateCttz() const override; |
| 249 | bool isCheapToSpeculateCtlz() const override; |
| 250 | |
| Marcin Koscielnicki | bbac890 | 2016-05-10 16:49:04 +0000 | [diff] [blame] | 251 | ISD::NodeType getExtendForAtomicOps() const override { |
| 252 | return ISD::SIGN_EXTEND; |
| Tim Northover | 4498eff | 2016-03-24 15:38:38 +0000 | [diff] [blame] | 253 | } |
| 254 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 255 | void LowerOperationWrapper(SDNode *N, |
| 256 | SmallVectorImpl<SDValue> &Results, |
| 257 | SelectionDAG &DAG) const override; |
| Akira Hatanaka | fabb8cf | 2012-09-21 23:58:31 +0000 | [diff] [blame] | 258 | |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 259 | /// LowerOperation - Provide custom lowering hooks for some operations. |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 260 | SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override; |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 261 | |
| Akira Hatanaka | fabb8cf | 2012-09-21 23:58:31 +0000 | [diff] [blame] | 262 | /// ReplaceNodeResults - Replace the results of node with an illegal result |
| 263 | /// type with new values built out of custom code. |
| 264 | /// |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 265 | void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results, |
| 266 | SelectionDAG &DAG) const override; |
| Akira Hatanaka | fabb8cf | 2012-09-21 23:58:31 +0000 | [diff] [blame] | 267 | |
| Bruno Cardoso Lopes | ed874ef | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 268 | /// getTargetNodeName - This method returns the name of a target specific |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 269 | // DAG node. |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 270 | const char *getTargetNodeName(unsigned Opcode) const override; |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 271 | |
| Scott Michel | a6729e8 | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 272 | /// getSetCCResultType - get the ISD::SETCC result ValueType |
| Mehdi Amini | 44ede33 | 2015-07-09 02:09:04 +0000 | [diff] [blame] | 273 | EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, |
| 274 | EVT VT) const override; |
| Scott Michel | a6729e8 | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 275 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 276 | SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override; |
| Akira Hatanaka | 4a3711d | 2012-10-26 23:56:38 +0000 | [diff] [blame] | 277 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 278 | MachineBasicBlock * |
| Duncan P. N. Exon Smith | e4f5e4f | 2016-06-30 22:52:52 +0000 | [diff] [blame] | 279 | EmitInstrWithCustomInserter(MachineInstr &MI, |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 280 | MachineBasicBlock *MBB) const override; |
| Reed Kotler | 97f8e2f | 2013-01-28 02:46:49 +0000 | [diff] [blame] | 281 | |
| Daniel Sanders | 23e9877 | 2014-11-02 16:09:29 +0000 | [diff] [blame] | 282 | void HandleByVal(CCState *, unsigned &, unsigned) const override; |
| 283 | |
| Pat Gavlin | a717f25 | 2015-07-09 17:40:29 +0000 | [diff] [blame] | 284 | unsigned getRegisterByName(const char* RegName, EVT VT, |
| 285 | SelectionDAG &DAG) const override; |
| Daniel Sanders | 1440bb2 | 2015-01-09 17:21:30 +0000 | [diff] [blame] | 286 | |
| Joseph Tremoulet | f748c89 | 2015-11-07 01:11:31 +0000 | [diff] [blame] | 287 | /// If a physical register, this returns the register that receives the |
| 288 | /// exception address on entry to an EH pad. |
| 289 | unsigned |
| 290 | getExceptionPointerRegister(const Constant *PersonalityFn) const override { |
| 291 | return ABI.IsN64() ? Mips::A0_64 : Mips::A0; |
| 292 | } |
| 293 | |
| 294 | /// If a physical register, this returns the register that receives the |
| 295 | /// exception typeid on entry to a landing pad. |
| 296 | unsigned |
| 297 | getExceptionSelectorRegister(const Constant *PersonalityFn) const override { |
| 298 | return ABI.IsN64() ? Mips::A1_64 : Mips::A1; |
| 299 | } |
| 300 | |
| Daniel Sanders | 808dfb8 | 2015-09-08 09:07:03 +0000 | [diff] [blame] | 301 | /// Returns true if a cast between SrcAS and DestAS is a noop. |
| 302 | bool isNoopAddrSpaceCast(unsigned SrcAS, unsigned DestAS) const override { |
| 303 | // Mips doesn't have any special address spaces so we just reserve |
| 304 | // the first 256 for software use (e.g. OpenCL) and treat casts |
| 305 | // between them as noops. |
| 306 | return SrcAS < 256 && DestAS < 256; |
| 307 | } |
| 308 | |
| Joerg Sonnenberger | 1a7eec6 | 2016-11-15 12:39:46 +0000 | [diff] [blame] | 309 | bool isJumpTableRelative() const override { |
| Simon Dardis | ca74dd7 | 2017-01-27 11:36:52 +0000 | [diff] [blame] | 310 | return getTargetMachine().isPositionIndependent(); |
| Joerg Sonnenberger | 1a7eec6 | 2016-11-15 12:39:46 +0000 | [diff] [blame] | 311 | } |
| 312 | |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 313 | protected: |
| 314 | SDValue getGlobalReg(SelectionDAG &DAG, EVT Ty) const; |
| Reed Kotler | a2d76bc | 2013-01-24 04:24:02 +0000 | [diff] [blame] | 315 | |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 316 | // This method creates the following nodes, which are necessary for |
| 317 | // computing a local symbol's address: |
| 318 | // |
| 319 | // (add (load (wrapper $gp, %got(sym)), %lo(sym)) |
| Daniel Sanders | 6dd7251 | 2014-03-26 13:59:42 +0000 | [diff] [blame] | 320 | template <class NodeTy> |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 321 | SDValue getAddrLocal(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG, |
| Daniel Sanders | 6dd7251 | 2014-03-26 13:59:42 +0000 | [diff] [blame] | 322 | bool IsN32OrN64) const { |
| Daniel Sanders | 6dd7251 | 2014-03-26 13:59:42 +0000 | [diff] [blame] | 323 | unsigned GOTFlag = IsN32OrN64 ? MipsII::MO_GOT_PAGE : MipsII::MO_GOT; |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 324 | SDValue GOT = DAG.getNode(MipsISD::Wrapper, DL, Ty, getGlobalReg(DAG, Ty), |
| 325 | getTargetNode(N, Ty, DAG, GOTFlag)); |
| Alex Lorenz | e40c8a2 | 2015-08-11 23:09:45 +0000 | [diff] [blame] | 326 | SDValue Load = |
| 327 | DAG.getLoad(Ty, DL, DAG.getEntryNode(), GOT, |
| Justin Lebar | 9c37581 | 2016-07-15 18:27:10 +0000 | [diff] [blame] | 328 | MachinePointerInfo::getGOT(DAG.getMachineFunction())); |
| Daniel Sanders | 6dd7251 | 2014-03-26 13:59:42 +0000 | [diff] [blame] | 329 | unsigned LoFlag = IsN32OrN64 ? MipsII::MO_GOT_OFST : MipsII::MO_ABS_LO; |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 330 | SDValue Lo = DAG.getNode(MipsISD::Lo, DL, Ty, |
| 331 | getTargetNode(N, Ty, DAG, LoFlag)); |
| 332 | return DAG.getNode(ISD::ADD, DL, Ty, Load, Lo); |
| 333 | } |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 334 | |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 335 | // This method creates the following nodes, which are necessary for |
| 336 | // computing a global symbol's address: |
| 337 | // |
| 338 | // (load (wrapper $gp, %got(sym))) |
| Daniel Sanders | 9a4f2c5 | 2015-01-24 14:35:11 +0000 | [diff] [blame] | 339 | template <class NodeTy> |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 340 | SDValue getAddrGlobal(NodeTy *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG, |
| Akira Hatanaka | af4211a | 2013-09-28 00:12:32 +0000 | [diff] [blame] | 341 | unsigned Flag, SDValue Chain, |
| 342 | const MachinePointerInfo &PtrInfo) const { |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 343 | SDValue Tgt = DAG.getNode(MipsISD::Wrapper, DL, Ty, getGlobalReg(DAG, Ty), |
| 344 | getTargetNode(N, Ty, DAG, Flag)); |
| Justin Lebar | 9c37581 | 2016-07-15 18:27:10 +0000 | [diff] [blame] | 345 | return DAG.getLoad(Ty, DL, Chain, Tgt, PtrInfo); |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 346 | } |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 347 | |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 348 | // This method creates the following nodes, which are necessary for |
| 349 | // computing a global symbol's address in large-GOT mode: |
| 350 | // |
| 351 | // (load (wrapper (add %hi(sym), $gp), %lo(sym))) |
| Daniel Sanders | 9a4f2c5 | 2015-01-24 14:35:11 +0000 | [diff] [blame] | 352 | template <class NodeTy> |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 353 | SDValue getAddrGlobalLargeGOT(NodeTy *N, const SDLoc &DL, EVT Ty, |
| Daniel Sanders | 9a4f2c5 | 2015-01-24 14:35:11 +0000 | [diff] [blame] | 354 | SelectionDAG &DAG, unsigned HiFlag, |
| 355 | unsigned LoFlag, SDValue Chain, |
| Akira Hatanaka | af4211a | 2013-09-28 00:12:32 +0000 | [diff] [blame] | 356 | const MachinePointerInfo &PtrInfo) const { |
| Simon Dardis | ca74dd7 | 2017-01-27 11:36:52 +0000 | [diff] [blame] | 357 | SDValue Hi = DAG.getNode(MipsISD::GotHi, DL, Ty, |
| 358 | getTargetNode(N, Ty, DAG, HiFlag)); |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 359 | Hi = DAG.getNode(ISD::ADD, DL, Ty, Hi, getGlobalReg(DAG, Ty)); |
| 360 | SDValue Wrapper = DAG.getNode(MipsISD::Wrapper, DL, Ty, Hi, |
| 361 | getTargetNode(N, Ty, DAG, LoFlag)); |
| Justin Lebar | 9c37581 | 2016-07-15 18:27:10 +0000 | [diff] [blame] | 362 | return DAG.getLoad(Ty, DL, Chain, Wrapper, PtrInfo); |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 363 | } |
| 364 | |
| 365 | // This method creates the following nodes, which are necessary for |
| 366 | // computing a symbol's address in non-PIC mode: |
| 367 | // |
| 368 | // (add %hi(sym), %lo(sym)) |
| Simon Dardis | ca74dd7 | 2017-01-27 11:36:52 +0000 | [diff] [blame] | 369 | // |
| 370 | // This method covers O32, N32 and N64 in sym32 mode. |
| Daniel Sanders | 9a4f2c5 | 2015-01-24 14:35:11 +0000 | [diff] [blame] | 371 | template <class NodeTy> |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 372 | SDValue getAddrNonPIC(NodeTy *N, const SDLoc &DL, EVT Ty, |
| Daniel Sanders | 9a4f2c5 | 2015-01-24 14:35:11 +0000 | [diff] [blame] | 373 | SelectionDAG &DAG) const { |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 374 | SDValue Hi = getTargetNode(N, Ty, DAG, MipsII::MO_ABS_HI); |
| 375 | SDValue Lo = getTargetNode(N, Ty, DAG, MipsII::MO_ABS_LO); |
| 376 | return DAG.getNode(ISD::ADD, DL, Ty, |
| 377 | DAG.getNode(MipsISD::Hi, DL, Ty, Hi), |
| 378 | DAG.getNode(MipsISD::Lo, DL, Ty, Lo)); |
| Simon Dardis | ca74dd7 | 2017-01-27 11:36:52 +0000 | [diff] [blame] | 379 | } |
| 380 | |
| 381 | // This method creates the following nodes, which are necessary for |
| 382 | // computing a symbol's address in non-PIC mode for N64. |
| 383 | // |
| 384 | // (add (shl (add (shl (add %highest(sym), %higher(sim)), 16), %high(sym)), |
| 385 | // 16), %lo(%sym)) |
| 386 | // |
| 387 | // FIXME: This method is not efficent for (micro)MIPS64R6. |
| 388 | template <class NodeTy> |
| 389 | SDValue getAddrNonPICSym64(NodeTy *N, const SDLoc &DL, EVT Ty, |
| 390 | SelectionDAG &DAG) const { |
| 391 | SDValue Hi = getTargetNode(N, Ty, DAG, MipsII::MO_ABS_HI); |
| 392 | SDValue Lo = getTargetNode(N, Ty, DAG, MipsII::MO_ABS_LO); |
| 393 | |
| 394 | SDValue Highest = |
| 395 | DAG.getNode(MipsISD::Highest, DL, Ty, |
| 396 | getTargetNode(N, Ty, DAG, MipsII::MO_HIGHEST)); |
| 397 | SDValue Higher = getTargetNode(N, Ty, DAG, MipsII::MO_HIGHER); |
| 398 | SDValue HigherPart = |
| 399 | DAG.getNode(ISD::ADD, DL, Ty, Highest, |
| 400 | DAG.getNode(MipsISD::Higher, DL, Ty, Higher)); |
| 401 | SDValue Cst = DAG.getConstant(16, DL, MVT::i32); |
| 402 | SDValue Shift = DAG.getNode(ISD::SHL, DL, Ty, HigherPart, Cst); |
| 403 | SDValue Add = DAG.getNode(ISD::ADD, DL, Ty, Shift, |
| 404 | DAG.getNode(MipsISD::Hi, DL, Ty, Hi)); |
| 405 | SDValue Shift2 = DAG.getNode(ISD::SHL, DL, Ty, Add, Cst); |
| 406 | |
| 407 | return DAG.getNode(ISD::ADD, DL, Ty, Shift2, |
| 408 | DAG.getNode(MipsISD::Lo, DL, Ty, Lo)); |
| 409 | } |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 410 | |
| Sasa Stankovic | b38db1e | 2014-11-06 13:20:12 +0000 | [diff] [blame] | 411 | // This method creates the following nodes, which are necessary for |
| 412 | // computing a symbol's address using gp-relative addressing: |
| 413 | // |
| 414 | // (add $gp, %gp_rel(sym)) |
| Daniel Sanders | 9a4f2c5 | 2015-01-24 14:35:11 +0000 | [diff] [blame] | 415 | template <class NodeTy> |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 416 | SDValue getAddrGPRel(NodeTy *N, const SDLoc &DL, EVT Ty, |
| 417 | SelectionDAG &DAG) const { |
| Sasa Stankovic | b38db1e | 2014-11-06 13:20:12 +0000 | [diff] [blame] | 418 | assert(Ty == MVT::i32); |
| 419 | SDValue GPRel = getTargetNode(N, Ty, DAG, MipsII::MO_GPREL); |
| 420 | return DAG.getNode(ISD::ADD, DL, Ty, |
| 421 | DAG.getRegister(Mips::GP, Ty), |
| 422 | DAG.getNode(MipsISD::GPRel, DL, DAG.getVTList(Ty), |
| 423 | GPRel)); |
| 424 | } |
| 425 | |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 426 | /// This function fills Ops, which is the list of operands that will later |
| 427 | /// be used when a function call node is created. It also generates |
| 428 | /// copyToReg nodes to set up argument registers. |
| 429 | virtual void |
| 430 | getOpndList(SmallVectorImpl<SDValue> &Ops, |
| 431 | std::deque< std::pair<unsigned, SDValue> > &RegsToPass, |
| 432 | bool IsPICCall, bool GlobalOrExternal, bool InternalLinkage, |
| Sasa Stankovic | 7072a79 | 2014-10-01 08:22:21 +0000 | [diff] [blame] | 433 | bool IsCallReloc, CallLoweringInfo &CLI, SDValue Callee, |
| 434 | SDValue Chain) const; |
| Reed Kotler | a2d76bc | 2013-01-24 04:24:02 +0000 | [diff] [blame] | 435 | |
| Reed Kotler | 783c794 | 2013-05-10 22:25:39 +0000 | [diff] [blame] | 436 | protected: |
| Akira Hatanaka | 6379121 | 2013-09-07 00:52:30 +0000 | [diff] [blame] | 437 | SDValue lowerLOAD(SDValue Op, SelectionDAG &DAG) const; |
| 438 | SDValue lowerSTORE(SDValue Op, SelectionDAG &DAG) const; |
| 439 | |
| Bruno Cardoso Lopes | c9c3f49 | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 440 | // Subtarget Info |
| Eric Christopher | 1c29a65 | 2014-07-18 22:55:25 +0000 | [diff] [blame] | 441 | const MipsSubtarget &Subtarget; |
| Eric Christopher | 96e72c6 | 2015-01-29 23:27:36 +0000 | [diff] [blame] | 442 | // Cache the ABI from the TargetMachine, we use it everywhere. |
| 443 | const MipsABIInfo &ABI; |
| Jia Liu | f54f60f | 2012-02-28 07:46:26 +0000 | [diff] [blame] | 444 | |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 445 | private: |
| Akira Hatanaka | d8f10ce | 2013-09-27 19:51:35 +0000 | [diff] [blame] | 446 | // Create a TargetGlobalAddress node. |
| 447 | SDValue getTargetNode(GlobalAddressSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 448 | unsigned Flag) const; |
| 449 | |
| 450 | // Create a TargetExternalSymbol node. |
| 451 | SDValue getTargetNode(ExternalSymbolSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 452 | unsigned Flag) const; |
| 453 | |
| 454 | // Create a TargetBlockAddress node. |
| 455 | SDValue getTargetNode(BlockAddressSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 456 | unsigned Flag) const; |
| 457 | |
| 458 | // Create a TargetJumpTable node. |
| 459 | SDValue getTargetNode(JumpTableSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 460 | unsigned Flag) const; |
| 461 | |
| 462 | // Create a TargetConstantPool node. |
| 463 | SDValue getTargetNode(ConstantPoolSDNode *N, EVT Ty, SelectionDAG &DAG, |
| 464 | unsigned Flag) const; |
| Reed Kotler | 783c794 | 2013-05-10 22:25:39 +0000 | [diff] [blame] | 465 | |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 466 | // Lower Operand helpers |
| Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 467 | SDValue LowerCallResult(SDValue Chain, SDValue InFlag, |
| Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 468 | CallingConv::ID CallConv, bool isVarArg, |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 469 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 470 | const SDLoc &dl, SelectionDAG &DAG, |
| 471 | SmallVectorImpl<SDValue> &InVals, |
| Daniel Sanders | b3ca338 | 2014-09-26 10:06:12 +0000 | [diff] [blame] | 472 | TargetLowering::CallLoweringInfo &CLI) const; |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 473 | |
| 474 | // Lower Operand specifics |
| Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 475 | SDValue lowerBRCOND(SDValue Op, SelectionDAG &DAG) const; |
| 476 | SDValue lowerConstantPool(SDValue Op, SelectionDAG &DAG) const; |
| 477 | SDValue lowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; |
| 478 | SDValue lowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; |
| 479 | SDValue lowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; |
| 480 | SDValue lowerJumpTable(SDValue Op, SelectionDAG &DAG) const; |
| 481 | SDValue lowerSELECT(SDValue Op, SelectionDAG &DAG) const; |
| Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 482 | SDValue lowerSETCC(SDValue Op, SelectionDAG &DAG) const; |
| 483 | SDValue lowerVASTART(SDValue Op, SelectionDAG &DAG) const; |
| Daniel Sanders | 2b553d4 | 2014-08-01 09:17:39 +0000 | [diff] [blame] | 484 | SDValue lowerVAARG(SDValue Op, SelectionDAG &DAG) const; |
| Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 485 | SDValue lowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG) const; |
| 486 | SDValue lowerFABS(SDValue Op, SelectionDAG &DAG) const; |
| 487 | SDValue lowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; |
| 488 | SDValue lowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; |
| 489 | SDValue lowerEH_RETURN(SDValue Op, SelectionDAG &DAG) const; |
| Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 490 | SDValue lowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const; |
| 491 | SDValue lowerShiftLeftParts(SDValue Op, SelectionDAG& DAG) const; |
| 492 | SDValue lowerShiftRightParts(SDValue Op, SelectionDAG& DAG, |
| Akira Hatanaka | 5fd2248 | 2012-06-14 21:10:56 +0000 | [diff] [blame] | 493 | bool IsSRA) const; |
| Hal Finkel | 5081ac2 | 2016-09-01 10:28:47 +0000 | [diff] [blame] | 494 | SDValue lowerEH_DWARF_CFA(SDValue Op, SelectionDAG &DAG) const; |
| Akira Hatanaka | 252f54f | 2013-05-16 21:17:15 +0000 | [diff] [blame] | 495 | SDValue lowerFP_TO_SINT(SDValue Op, SelectionDAG &DAG) const; |
| Bruno Cardoso Lopes | 4eed3af | 2008-06-06 00:58:26 +0000 | [diff] [blame] | 496 | |
| Akira Hatanaka | 0bb60d89 | 2013-03-12 00:16:36 +0000 | [diff] [blame] | 497 | /// isEligibleForTailCallOptimization - Check whether the call is eligible |
| Akira Hatanaka | 90131ac | 2012-10-19 21:47:33 +0000 | [diff] [blame] | 498 | /// for tail call optimization. |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 499 | virtual bool |
| Daniel Sanders | 23e9877 | 2014-11-02 16:09:29 +0000 | [diff] [blame] | 500 | isEligibleForTailCallOptimization(const CCState &CCInfo, |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 501 | unsigned NextStackOffset, |
| Daniel Sanders | 23e9877 | 2014-11-02 16:09:29 +0000 | [diff] [blame] | 502 | const MipsFunctionInfo &FI) const = 0; |
| Akira Hatanaka | 90131ac | 2012-10-19 21:47:33 +0000 | [diff] [blame] | 503 | |
| Akira Hatanaka | 25dad19 | 2012-10-27 00:10:18 +0000 | [diff] [blame] | 504 | /// copyByValArg - Copy argument registers which were used to pass a byval |
| 505 | /// argument to the stack. Create a stack frame object for the byval |
| 506 | /// argument. |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 507 | void copyByValRegs(SDValue Chain, const SDLoc &DL, |
| 508 | std::vector<SDValue> &OutChains, SelectionDAG &DAG, |
| 509 | const ISD::ArgFlagsTy &Flags, |
| Akira Hatanaka | 25dad19 | 2012-10-27 00:10:18 +0000 | [diff] [blame] | 510 | SmallVectorImpl<SDValue> &InVals, |
| Daniel Sanders | b315c8c | 2014-11-07 15:33:08 +0000 | [diff] [blame] | 511 | const Argument *FuncArg, unsigned FirstReg, |
| 512 | unsigned LastReg, const CCValAssign &VA, |
| 513 | MipsCCState &State) const; |
| Akira Hatanaka | 25dad19 | 2012-10-27 00:10:18 +0000 | [diff] [blame] | 514 | |
| Akira Hatanaka | 35f55b1 | 2012-10-27 00:16:36 +0000 | [diff] [blame] | 515 | /// passByValArg - Pass a byval argument in registers or on stack. |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 516 | void passByValArg(SDValue Chain, const SDLoc &DL, |
| Daniel Sanders | f43e687 | 2014-11-01 18:44:56 +0000 | [diff] [blame] | 517 | std::deque<std::pair<unsigned, SDValue>> &RegsToPass, |
| Craig Topper | b94011f | 2013-07-14 04:42:23 +0000 | [diff] [blame] | 518 | SmallVectorImpl<SDValue> &MemOpChains, SDValue StackPtr, |
| Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 519 | MachineFrameInfo &MFI, SelectionDAG &DAG, SDValue Arg, |
| Daniel Sanders | b315c8c | 2014-11-07 15:33:08 +0000 | [diff] [blame] | 520 | unsigned FirstReg, unsigned LastReg, |
| Daniel Sanders | f43e687 | 2014-11-01 18:44:56 +0000 | [diff] [blame] | 521 | const ISD::ArgFlagsTy &Flags, bool isLittle, |
| 522 | const CCValAssign &VA) const; |
| Akira Hatanaka | 35f55b1 | 2012-10-27 00:16:36 +0000 | [diff] [blame] | 523 | |
| Akira Hatanaka | 2a13402 | 2012-10-27 00:21:13 +0000 | [diff] [blame] | 524 | /// writeVarArgRegs - Write variable function arguments passed in registers |
| 525 | /// to the stack. Also create a stack frame object for the first variable |
| 526 | /// argument. |
| Daniel Sanders | b315c8c | 2014-11-07 15:33:08 +0000 | [diff] [blame] | 527 | void writeVarArgRegs(std::vector<SDValue> &OutChains, SDValue Chain, |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 528 | const SDLoc &DL, SelectionDAG &DAG, |
| 529 | CCState &State) const; |
| Akira Hatanaka | 2a13402 | 2012-10-27 00:21:13 +0000 | [diff] [blame] | 530 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 531 | SDValue |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 532 | LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
| 533 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 534 | const SDLoc &dl, SelectionDAG &DAG, |
| 535 | SmallVectorImpl<SDValue> &InVals) const override; |
| Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 536 | |
| Akira Hatanaka | 6233cf5 | 2012-10-30 19:23:25 +0000 | [diff] [blame] | 537 | SDValue passArgOnStack(SDValue StackPtr, unsigned Offset, SDValue Chain, |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 538 | SDValue Arg, const SDLoc &DL, bool IsTailCall, |
| Akira Hatanaka | 6233cf5 | 2012-10-30 19:23:25 +0000 | [diff] [blame] | 539 | SelectionDAG &DAG) const; |
| 540 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 541 | SDValue LowerCall(TargetLowering::CallLoweringInfo &CLI, |
| 542 | SmallVectorImpl<SDValue> &InVals) const override; |
| Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 543 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 544 | bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, |
| 545 | bool isVarArg, |
| 546 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 547 | LLVMContext &Context) const override; |
| Akira Hatanaka | 9c8dcfc | 2012-10-10 01:27:09 +0000 | [diff] [blame] | 548 | |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 549 | SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 550 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 551 | const SmallVectorImpl<SDValue> &OutVals, |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 552 | const SDLoc &dl, SelectionDAG &DAG) const override; |
| Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 553 | |
| Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 554 | SDValue LowerInterruptReturn(SmallVectorImpl<SDValue> &RetOps, |
| 555 | const SDLoc &DL, SelectionDAG &DAG) const; |
| Vasileios Kalintiris | 43dff0c | 2015-10-26 12:38:43 +0000 | [diff] [blame] | 556 | |
| Petar Jovanovic | 5b43622 | 2015-03-23 12:28:13 +0000 | [diff] [blame] | 557 | bool shouldSignExtendTypeInLibCall(EVT Type, bool IsSigned) const override; |
| 558 | |
| Bruno Cardoso Lopes | b10580a | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 559 | // Inline asm support |
| Benjamin Kramer | 9bfb627 | 2015-07-05 19:29:18 +0000 | [diff] [blame] | 560 | ConstraintType getConstraintType(StringRef Constraint) const override; |
| Bruno Cardoso Lopes | b10580a | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 561 | |
| Akira Hatanaka | e248912 | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 562 | /// Examine constraint string and operand type and determine a weight value. |
| 563 | /// 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] | 564 | ConstraintWeight getSingleConstraintMatchWeight( |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 565 | AsmOperandInfo &info, const char *constraint) const override; |
| John Thompson | e8360b7 | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 566 | |
| Akira Hatanaka | 7473b47 | 2013-08-14 00:21:25 +0000 | [diff] [blame] | 567 | /// This function parses registers that appear in inline-asm constraints. |
| 568 | /// It returns pair (0, 0) on failure. |
| 569 | std::pair<unsigned, const TargetRegisterClass *> |
| Craig Topper | 6dc4a8bc | 2014-08-30 16:48:02 +0000 | [diff] [blame] | 570 | parseRegForInlineAsmConstraint(StringRef C, MVT VT) const; |
| Akira Hatanaka | 7473b47 | 2013-08-14 00:21:25 +0000 | [diff] [blame] | 571 | |
| Eric Christopher | 11e4df7 | 2015-02-26 22:38:43 +0000 | [diff] [blame] | 572 | std::pair<unsigned, const TargetRegisterClass *> |
| 573 | getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, |
| Benjamin Kramer | 9bfb627 | 2015-07-05 19:29:18 +0000 | [diff] [blame] | 574 | StringRef Constraint, MVT VT) const override; |
| Bruno Cardoso Lopes | b10580a | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 575 | |
| Eric Christopher | 1d6c89e | 2012-05-07 03:13:32 +0000 | [diff] [blame] | 576 | /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops |
| 577 | /// vector. If it is invalid, don't add anything to Ops. If hasMemory is |
| 578 | /// true it means one of the asm constraint of the inline asm instruction |
| 579 | /// being processed is 'm'. |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 580 | void LowerAsmOperandForConstraint(SDValue Op, |
| 581 | std::string &Constraint, |
| 582 | std::vector<SDValue> &Ops, |
| 583 | SelectionDAG &DAG) const override; |
| Eric Christopher | 1d6c89e | 2012-05-07 03:13:32 +0000 | [diff] [blame] | 584 | |
| Benjamin Kramer | 9bfb627 | 2015-07-05 19:29:18 +0000 | [diff] [blame] | 585 | unsigned |
| 586 | getInlineAsmMemConstraint(StringRef ConstraintCode) const override { |
| Daniel Sanders | a73d8fe | 2015-03-24 11:26:34 +0000 | [diff] [blame] | 587 | if (ConstraintCode == "R") |
| 588 | return InlineAsm::Constraint_R; |
| 589 | else if (ConstraintCode == "ZC") |
| 590 | return InlineAsm::Constraint_ZC; |
| 591 | return TargetLowering::getInlineAsmMemConstraint(ConstraintCode); |
| Daniel Sanders | bf5b80f | 2015-03-16 13:13:41 +0000 | [diff] [blame] | 592 | } |
| 593 | |
| Mehdi Amini | 0cdec1e | 2015-07-09 02:09:40 +0000 | [diff] [blame] | 594 | bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, |
| 595 | Type *Ty, unsigned AS) const override; |
| Akira Hatanaka | ef83919 | 2012-11-17 00:25:41 +0000 | [diff] [blame] | 596 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 597 | bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override; |
| Evan Cheng | 16993aa | 2009-10-27 19:56:55 +0000 | [diff] [blame] | 598 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 599 | EVT getOptimalMemOpType(uint64_t Size, unsigned DstAlign, |
| 600 | unsigned SrcAlign, |
| 601 | bool IsMemset, bool ZeroMemset, |
| 602 | bool MemcpyStrSrc, |
| 603 | MachineFunction &MF) const override; |
| Akira Hatanaka | 1daf8c2 | 2012-06-13 19:33:32 +0000 | [diff] [blame] | 604 | |
| Evan Cheng | 16993aa | 2009-10-27 19:56:55 +0000 | [diff] [blame] | 605 | /// isFPImmLegal - Returns true if the target can instruction select the |
| 606 | /// specified FP immediate natively. If false, the legalizer will |
| 607 | /// materialize the FP immediate as a load from a constant pool. |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 608 | bool isFPImmLegal(const APFloat &Imm, EVT VT) const override; |
| Bruno Cardoso Lopes | 98fc4c8 | 2011-05-31 02:54:07 +0000 | [diff] [blame] | 609 | |
| Craig Topper | 56c590a | 2014-04-29 07:58:02 +0000 | [diff] [blame] | 610 | unsigned getJumpTableEncoding() const override; |
| Eric Christopher | 824f42f | 2015-05-12 01:26:05 +0000 | [diff] [blame] | 611 | bool useSoftFloat() const override; |
| Akira Hatanaka | f0b0844 | 2012-02-03 04:33:00 +0000 | [diff] [blame] | 612 | |
| James Y Knight | f44fc52 | 2016-03-16 22:12:04 +0000 | [diff] [blame] | 613 | bool shouldInsertFencesForAtomic(const Instruction *I) const override { |
| 614 | return true; |
| 615 | } |
| 616 | |
| Daniel Sanders | 6a803f6 | 2014-06-16 13:13:03 +0000 | [diff] [blame] | 617 | /// Emit a sign-extension using sll/sra, seb, or seh appropriately. |
| Duncan P. N. Exon Smith | e4f5e4f | 2016-06-30 22:52:52 +0000 | [diff] [blame] | 618 | MachineBasicBlock *emitSignExtendToI32InReg(MachineInstr &MI, |
| Daniel Sanders | 6a803f6 | 2014-06-16 13:13:03 +0000 | [diff] [blame] | 619 | MachineBasicBlock *BB, |
| 620 | unsigned Size, unsigned DstReg, |
| 621 | unsigned SrcRec) const; |
| 622 | |
| Duncan P. N. Exon Smith | e4f5e4f | 2016-06-30 22:52:52 +0000 | [diff] [blame] | 623 | MachineBasicBlock *emitAtomicBinary(MachineInstr &MI, MachineBasicBlock *BB, |
| 624 | unsigned Size, unsigned BinOpcode, |
| 625 | bool Nand = false) const; |
| 626 | MachineBasicBlock *emitAtomicBinaryPartword(MachineInstr &MI, |
| 627 | MachineBasicBlock *BB, |
| 628 | unsigned Size, |
| 629 | unsigned BinOpcode, |
| 630 | bool Nand = false) const; |
| 631 | MachineBasicBlock *emitAtomicCmpSwap(MachineInstr &MI, |
| 632 | MachineBasicBlock *BB, |
| 633 | unsigned Size) const; |
| 634 | MachineBasicBlock *emitAtomicCmpSwapPartword(MachineInstr &MI, |
| 635 | MachineBasicBlock *BB, |
| 636 | unsigned Size) const; |
| 637 | MachineBasicBlock *emitSEL_D(MachineInstr &MI, MachineBasicBlock *BB) const; |
| 638 | MachineBasicBlock *emitPseudoSELECT(MachineInstr &MI, MachineBasicBlock *BB, |
| 639 | bool isFPCmp, unsigned Opc) const; |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 640 | }; |
| Akira Hatanaka | 96ca182 | 2013-03-13 00:54:29 +0000 | [diff] [blame] | 641 | |
| 642 | /// Create MipsTargetLowering objects. |
| Eric Christopher | 8924d27 | 2014-07-18 23:25:04 +0000 | [diff] [blame] | 643 | const MipsTargetLowering * |
| Eric Christopher | b152660 | 2014-09-19 23:30:42 +0000 | [diff] [blame] | 644 | createMips16TargetLowering(const MipsTargetMachine &TM, |
| 645 | const MipsSubtarget &STI); |
| Eric Christopher | 8924d27 | 2014-07-18 23:25:04 +0000 | [diff] [blame] | 646 | const MipsTargetLowering * |
| Eric Christopher | b152660 | 2014-09-19 23:30:42 +0000 | [diff] [blame] | 647 | createMipsSETargetLowering(const MipsTargetMachine &TM, |
| 648 | const MipsSubtarget &STI); |
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 649 | |
| 650 | namespace Mips { |
| 651 | FastISel *createFastISel(FunctionLoweringInfo &funcInfo, |
| 652 | const TargetLibraryInfo *libInfo); |
| 653 | } |
| Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 654 | } |
| Bruno Cardoso Lopes | 35e43c4 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 655 | |
| Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 656 | #endif |