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