Nate Begeman | 6cca84e | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 1 | //===-- PPCISelLowering.h - PPC32 DAG Lowering Interface --------*- C++ -*-===// |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +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. |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines the interfaces that PPC uses to lower LLVM code into a |
| 11 | // selection DAG. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 15 | #ifndef LLVM_LIB_TARGET_POWERPC_PPCISELLOWERING_H |
| 16 | #define LLVM_LIB_TARGET_POWERPC_PPCISELLOWERING_H |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 17 | |
Chris Lattner | bfca1ab | 2005-10-14 23:51:18 +0000 | [diff] [blame] | 18 | #include "PPC.h" |
Hal Finkel | ed6a285 | 2013-04-05 23:29:01 +0000 | [diff] [blame] | 19 | #include "PPCInstrInfo.h" |
Bill Schmidt | 230b451 | 2013-06-12 16:39:22 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/CallingConvLower.h" |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineFunction.h" |
| 22 | #include "llvm/CodeGen/MachineMemOperand.h" |
| 23 | #include "llvm/CodeGen/MachineValueType.h" |
Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 24 | #include "llvm/CodeGen/SelectionDAG.h" |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 25 | #include "llvm/CodeGen/SelectionDAGNodes.h" |
| 26 | #include "llvm/CodeGen/ValueTypes.h" |
| 27 | #include "llvm/IR/Attributes.h" |
| 28 | #include "llvm/IR/CallingConv.h" |
| 29 | #include "llvm/IR/Function.h" |
| 30 | #include "llvm/IR/InlineAsm.h" |
| 31 | #include "llvm/IR/Metadata.h" |
| 32 | #include "llvm/IR/Type.h" |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 33 | #include "llvm/Target/TargetLowering.h" |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 34 | #include <utility> |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 35 | |
| 36 | namespace llvm { |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 37 | |
Chris Lattner | b2854fa | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 38 | namespace PPCISD { |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 39 | |
Matthias Braun | d04893f | 2015-05-07 21:33:59 +0000 | [diff] [blame] | 40 | enum NodeType : unsigned { |
Nate Begeman | debcb55 | 2007-01-26 22:40:50 +0000 | [diff] [blame] | 41 | // Start the numbering where the builtin ops and target ops leave off. |
Dan Gohman | ed1cf1a | 2008-09-23 18:42:32 +0000 | [diff] [blame] | 42 | FIRST_NUMBER = ISD::BUILTIN_OP_END, |
Chris Lattner | b2854fa | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 43 | |
| 44 | /// FSEL - Traditional three-operand fsel node. |
| 45 | /// |
| 46 | FSEL, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 47 | |
Nate Begeman | 6095214 | 2005-09-06 22:03:27 +0000 | [diff] [blame] | 48 | /// FCFID - The FCFID instruction, taking an f64 operand and producing |
| 49 | /// and f64 value containing the FP representation of the integer that |
| 50 | /// was temporarily in the f64 operand. |
| 51 | FCFID, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 52 | |
Hal Finkel | f6d45f2 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 53 | /// Newer FCFID[US] integer-to-floating-point conversion instructions for |
| 54 | /// unsigned integers and single-precision outputs. |
| 55 | FCFIDU, FCFIDS, FCFIDUS, |
| 56 | |
David Majnemer | 08249a3 | 2013-09-26 05:22:11 +0000 | [diff] [blame] | 57 | /// FCTI[D,W]Z - The FCTIDZ and FCTIWZ instructions, taking an f32 or f64 |
| 58 | /// operand, producing an f64 value containing the integer representation |
| 59 | /// of that FP value. |
| 60 | FCTIDZ, FCTIWZ, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 61 | |
Hal Finkel | f6d45f2 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 62 | /// Newer FCTI[D,W]UZ floating-point-to-integer conversion instructions for |
Tony Jiang | 3a2f00b | 2017-01-05 15:00:45 +0000 | [diff] [blame] | 63 | /// unsigned integers with round toward zero. |
Hal Finkel | f6d45f2 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 64 | FCTIDUZ, FCTIWUZ, |
| 65 | |
Nemanja Ivanovic | 11049f8 | 2016-10-04 06:59:23 +0000 | [diff] [blame] | 66 | /// VEXTS, ByteWidth - takes an input in VSFRC and produces an output in |
| 67 | /// VSFRC that is sign-extended from ByteWidth to a 64-byte integer. |
| 68 | VEXTS, |
| 69 | |
Tony Jiang | 9a91a18 | 2017-07-05 16:00:38 +0000 | [diff] [blame^] | 70 | /// SExtVElems, takes an input vector of a smaller type and sign |
| 71 | /// extends to an output vector of a larger type. |
| 72 | SExtVElems, |
| 73 | |
Hal Finkel | 2e10331 | 2013-04-03 04:01:11 +0000 | [diff] [blame] | 74 | /// Reciprocal estimate instructions (unary FP ops). |
| 75 | FRE, FRSQRTE, |
| 76 | |
Nate Begeman | 69caef2 | 2005-12-13 22:55:22 +0000 | [diff] [blame] | 77 | // VMADDFP, VNMSUBFP - The VMADDFP and VNMSUBFP instructions, taking |
| 78 | // three v4f32 operands and producing a v4f32 result. |
| 79 | VMADDFP, VNMSUBFP, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 80 | |
Chris Lattner | a8713b1 | 2006-03-20 01:53:53 +0000 | [diff] [blame] | 81 | /// VPERM - The PPC VPERM Instruction. |
| 82 | /// |
| 83 | VPERM, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 84 | |
Nemanja Ivanovic | 1a2b2f0 | 2016-05-04 16:04:02 +0000 | [diff] [blame] | 85 | /// XXSPLT - The PPC VSX splat instructions |
| 86 | /// |
| 87 | XXSPLT, |
| 88 | |
Nemanja Ivanovic | b43bb61 | 2016-07-12 21:00:10 +0000 | [diff] [blame] | 89 | /// XXINSERT - The PPC VSX insert instruction |
| 90 | /// |
| 91 | XXINSERT, |
| 92 | |
Tony Jiang | 1a8eec1 | 2017-06-12 18:24:36 +0000 | [diff] [blame] | 93 | /// XXREVERSE - The PPC VSX reverse instruction |
| 94 | /// |
| 95 | XXREVERSE, |
| 96 | |
Nemanja Ivanovic | b43bb61 | 2016-07-12 21:00:10 +0000 | [diff] [blame] | 97 | /// VECSHL - The PPC VSX shift left instruction |
| 98 | /// |
| 99 | VECSHL, |
| 100 | |
Tony Jiang | 60c247d | 2017-05-31 13:09:57 +0000 | [diff] [blame] | 101 | /// XXPERMDI - The PPC XXPERMDI instruction |
| 102 | /// |
| 103 | XXPERMDI, |
| 104 | |
Hal Finkel | 4edc66b | 2015-01-03 01:16:37 +0000 | [diff] [blame] | 105 | /// The CMPB instruction (takes two operands of i32 or i64). |
| 106 | CMPB, |
| 107 | |
Chris Lattner | 595088a | 2005-11-17 07:30:41 +0000 | [diff] [blame] | 108 | /// Hi/Lo - These represent the high and low 16-bit parts of a global |
| 109 | /// address respectively. These nodes have two operands, the first of |
| 110 | /// which must be a TargetGlobalAddress, and the second of which must be a |
| 111 | /// Constant. Selected naively, these turn into 'lis G+C' and 'li G+C', |
| 112 | /// though these are usually folded into other nodes. |
| 113 | Hi, Lo, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 114 | |
Ulrich Weigand | ad0cb91 | 2014-06-18 17:52:49 +0000 | [diff] [blame] | 115 | /// The following two target-specific nodes are used for calls through |
Tilmann Scheller | 79fef93 | 2009-12-18 13:00:15 +0000 | [diff] [blame] | 116 | /// function pointers in the 64-bit SVR4 ABI. |
| 117 | |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 118 | /// OPRC, CHAIN = DYNALLOC(CHAIN, NEGSIZE, FRAME_INDEX) |
| 119 | /// This instruction is lowered in PPCRegisterInfo::eliminateFrameIndex to |
| 120 | /// compute an allocation on the stack. |
| 121 | DYNALLOC, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 122 | |
Yury Gribov | d7dbb66 | 2015-12-01 11:40:55 +0000 | [diff] [blame] | 123 | /// This instruction is lowered in PPCRegisterInfo::eliminateFrameIndex to |
| 124 | /// compute an offset from native SP to the address of the most recent |
| 125 | /// dynamic alloca. |
| 126 | DYNAREAOFFSET, |
| 127 | |
Chris Lattner | 595088a | 2005-11-17 07:30:41 +0000 | [diff] [blame] | 128 | /// GlobalBaseReg - On Darwin, this node represents the result of the mflr |
| 129 | /// at function entry, used for PIC code. |
| 130 | GlobalBaseReg, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 131 | |
Tim Shen | 10c64e6 | 2017-05-12 19:25:37 +0000 | [diff] [blame] | 132 | /// These nodes represent PPC shifts. |
| 133 | /// |
| 134 | /// For scalar types, only the last `n + 1` bits of the shift amounts |
| 135 | /// are used, where n is log2(sizeof(element) * 8). See sld/slw, etc. |
| 136 | /// for exact behaviors. |
| 137 | /// |
| 138 | /// For vector types, only the last n bits are used. See vsld. |
Chris Lattner | fea33f7 | 2005-12-06 02:10:38 +0000 | [diff] [blame] | 139 | SRL, SRA, SHL, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 140 | |
Hal Finkel | 13d104b | 2014-12-11 18:37:52 +0000 | [diff] [blame] | 141 | /// The combination of sra[wd]i and addze used to implemented signed |
| 142 | /// integer division by a power of 2. The first operand is the dividend, |
| 143 | /// and the second is the constant shift amount (representing the |
| 144 | /// divisor). |
| 145 | SRA_ADDZE, |
| 146 | |
Chris Lattner | eb755fc | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 147 | /// CALL - A direct function call. |
Ulrich Weigand | f62e83f | 2013-03-22 15:24:13 +0000 | [diff] [blame] | 148 | /// CALL_NOP is a call with the special NOP which follows 64-bit |
Hal Finkel | 51861b4 | 2012-03-31 14:45:15 +0000 | [diff] [blame] | 149 | /// SVR4 calls. |
Ulrich Weigand | f62e83f | 2013-03-22 15:24:13 +0000 | [diff] [blame] | 150 | CALL, CALL_NOP, |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 151 | |
Chris Lattner | eb755fc | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 152 | /// CHAIN,FLAG = MTCTR(VAL, CHAIN[, INFLAG]) - Directly corresponds to a |
| 153 | /// MTCTR instruction. |
| 154 | MTCTR, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 155 | |
Chris Lattner | eb755fc | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 156 | /// CHAIN,FLAG = BCTRL(CHAIN, INFLAG) - Directly corresponds to a |
| 157 | /// BCTRL instruction. |
Ulrich Weigand | f62e83f | 2013-03-22 15:24:13 +0000 | [diff] [blame] | 158 | BCTRL, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 159 | |
Hal Finkel | fc096c9 | 2014-12-23 22:29:40 +0000 | [diff] [blame] | 160 | /// CHAIN,FLAG = BCTRL(CHAIN, ADDR, INFLAG) - The combination of a bctrl |
| 161 | /// instruction and the TOC reload required on SVR4 PPC64. |
| 162 | BCTRL_LOAD_TOC, |
| 163 | |
Nate Begeman | b11b8e4 | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 164 | /// Return with a flag operand, matched by 'blr' |
| 165 | RET_FLAG, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 166 | |
Ulrich Weigand | d5ebc62 | 2013-07-03 17:05:42 +0000 | [diff] [blame] | 167 | /// R32 = MFOCRF(CRREG, INFLAG) - Represents the MFOCRF instruction. |
| 168 | /// This copies the bits corresponding to the specified CRREG into the |
| 169 | /// resultant GPR. Bits corresponding to other CR regs are undefined. |
| 170 | MFOCRF, |
Chris Lattner | d7495ae | 2006-03-31 05:13:27 +0000 | [diff] [blame] | 171 | |
Nemanja Ivanovic | c38b531 | 2015-04-11 10:40:42 +0000 | [diff] [blame] | 172 | /// Direct move from a VSX register to a GPR |
| 173 | MFVSR, |
| 174 | |
| 175 | /// Direct move from a GPR to a VSX register (algebraic) |
| 176 | MTVSRA, |
| 177 | |
| 178 | /// Direct move from a GPR to a VSX register (zero) |
| 179 | MTVSRZ, |
| 180 | |
Nemanja Ivanovic | 44513e5 | 2016-07-05 09:22:29 +0000 | [diff] [blame] | 181 | /// Extract a subvector from signed integer vector and convert to FP. |
| 182 | /// It is primarily used to convert a (widened) illegal integer vector |
| 183 | /// type to a legal floating point vector type. |
| 184 | /// For example v2i32 -> widened to v4i32 -> v2f64 |
| 185 | SINT_VEC_TO_FP, |
| 186 | |
| 187 | /// Extract a subvector from unsigned integer vector and convert to FP. |
| 188 | /// As with SINT_VEC_TO_FP, used for converting illegal types. |
| 189 | UINT_VEC_TO_FP, |
| 190 | |
Hal Finkel | 940ab93 | 2014-02-28 00:27:01 +0000 | [diff] [blame] | 191 | // FIXME: Remove these once the ANDI glue bug is fixed: |
| 192 | /// i1 = ANDIo_1_[EQ|GT]_BIT(i32 or i64 x) - Represents the result of the |
| 193 | /// eq or gt bit of CR0 after executing andi. x, 1. This is used to |
| 194 | /// implement truncation of i32 or i64 to i1. |
| 195 | ANDIo_1_EQ_BIT, ANDIo_1_GT_BIT, |
| 196 | |
Hal Finkel | bbdee93 | 2014-12-02 22:01:00 +0000 | [diff] [blame] | 197 | // READ_TIME_BASE - A read of the 64-bit time-base register on a 32-bit |
| 198 | // target (returns (Lo, Hi)). It takes a chain operand. |
| 199 | READ_TIME_BASE, |
| 200 | |
Hal Finkel | 756810f | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 201 | // EH_SJLJ_SETJMP - SjLj exception handling setjmp. |
| 202 | EH_SJLJ_SETJMP, |
| 203 | |
| 204 | // EH_SJLJ_LONGJMP - SjLj exception handling longjmp. |
| 205 | EH_SJLJ_LONGJMP, |
| 206 | |
Chris Lattner | d7495ae | 2006-03-31 05:13:27 +0000 | [diff] [blame] | 207 | /// RESVEC = VCMP(LHS, RHS, OPC) - Represents one of the altivec VCMP* |
| 208 | /// instructions. For lack of better number, we use the opcode number |
| 209 | /// encoding for the OPC field to identify the compare. For example, 838 |
| 210 | /// is VCMPGTSH. |
| 211 | VCMP, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 212 | |
Chris Lattner | 6961fc7 | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 213 | /// RESVEC, OUTFLAG = VCMPo(LHS, RHS, OPC) - Represents one of the |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 214 | /// altivec VCMP*o instructions. For lack of better number, we use the |
Chris Lattner | 6961fc7 | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 215 | /// opcode number encoding for the OPC field to identify the compare. For |
| 216 | /// example, 838 is VCMPGTSH. |
Chris Lattner | 9754d14 | 2006-04-18 17:59:36 +0000 | [diff] [blame] | 217 | VCMPo, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 218 | |
Chris Lattner | 9754d14 | 2006-04-18 17:59:36 +0000 | [diff] [blame] | 219 | /// CHAIN = COND_BRANCH CHAIN, CRRC, OPC, DESTBB [, INFLAG] - This |
| 220 | /// corresponds to the COND_BRANCH pseudo instruction. CRRC is the |
| 221 | /// condition register to branch on, OPC is the branch opcode to use (e.g. |
| 222 | /// PPC::BLE), DESTBB is the destination block to branch to, and INFLAG is |
| 223 | /// an optional input flag argument. |
Chris Lattner | a7976d3 | 2006-07-10 20:56:58 +0000 | [diff] [blame] | 224 | COND_BRANCH, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 225 | |
Hal Finkel | 25c1992 | 2013-05-15 21:37:41 +0000 | [diff] [blame] | 226 | /// CHAIN = BDNZ CHAIN, DESTBB - These are used to create counter-based |
| 227 | /// loops. |
| 228 | BDNZ, BDZ, |
| 229 | |
Ulrich Weigand | 874fc62 | 2013-03-26 10:56:22 +0000 | [diff] [blame] | 230 | /// F8RC = FADDRTZ F8RC, F8RC - This is an FADD done with rounding |
| 231 | /// towards zero. Used only as part of the long double-to-int |
| 232 | /// conversion sequence. |
Dale Johannesen | 666323e | 2007-10-10 01:01:31 +0000 | [diff] [blame] | 233 | FADDRTZ, |
| 234 | |
Ulrich Weigand | 874fc62 | 2013-03-26 10:56:22 +0000 | [diff] [blame] | 235 | /// F8RC = MFFS - This moves the FPSCR (not modeled) into the register. |
| 236 | MFFS, |
Evan Cheng | 51096af | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 237 | |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 238 | /// TC_RETURN - A tail call return. |
| 239 | /// operand #0 chain |
| 240 | /// operand #1 callee (register or absolute) |
| 241 | /// operand #2 stack adjustment |
| 242 | /// operand #3 optional in flag |
Dan Gohman | 48b185d | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 243 | TC_RETURN, |
| 244 | |
Hal Finkel | 5ab3780 | 2012-08-28 02:10:27 +0000 | [diff] [blame] | 245 | /// ch, gl = CR6[UN]SET ch, inglue - Toggle CR bit 6 for SVR4 vararg calls |
| 246 | CR6SET, |
| 247 | CR6UNSET, |
| 248 | |
Roman Divacky | 8854e76 | 2013-12-22 09:48:38 +0000 | [diff] [blame] | 249 | /// GPRC = address of _GLOBAL_OFFSET_TABLE_. Used by initial-exec TLS |
| 250 | /// on PPC32. |
Roman Divacky | 32143e2 | 2013-12-20 18:08:54 +0000 | [diff] [blame] | 251 | PPC32_GOT, |
| 252 | |
Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 253 | /// GPRC = address of _GLOBAL_OFFSET_TABLE_. Used by general dynamic and |
Hal Finkel | 0746211 | 2015-02-25 18:06:45 +0000 | [diff] [blame] | 254 | /// local dynamic TLS on PPC32. |
Hal Finkel | 7c8ae53 | 2014-07-25 17:47:22 +0000 | [diff] [blame] | 255 | PPC32_PICGOT, |
| 256 | |
Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 257 | /// G8RC = ADDIS_GOT_TPREL_HA %X2, Symbol - Used by the initial-exec |
| 258 | /// TLS model, produces an ADDIS8 instruction that adds the GOT |
NAKAMURA Takumi | dc9f013 | 2013-05-15 18:01:35 +0000 | [diff] [blame] | 259 | /// base to sym\@got\@tprel\@ha. |
Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 260 | ADDIS_GOT_TPREL_HA, |
| 261 | |
| 262 | /// G8RC = LD_GOT_TPREL_L Symbol, G8RReg - Used by the initial-exec |
Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 263 | /// TLS model, produces a LD instruction with base register G8RReg |
NAKAMURA Takumi | dc9f013 | 2013-05-15 18:01:35 +0000 | [diff] [blame] | 264 | /// and offset sym\@got\@tprel\@l. This completes the addition that |
Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 265 | /// finds the offset of "sym" relative to the thread pointer. |
| 266 | LD_GOT_TPREL_L, |
Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 267 | |
| 268 | /// G8RC = ADD_TLS G8RReg, Symbol - Used by the initial-exec TLS |
| 269 | /// model, produces an ADD instruction that adds the contents of |
| 270 | /// G8RReg to the thread pointer. Symbol contains a relocation |
NAKAMURA Takumi | dc9f013 | 2013-05-15 18:01:35 +0000 | [diff] [blame] | 271 | /// sym\@tls which is to be replaced by the thread pointer and |
Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 272 | /// identifies to the linker that the instruction is part of a |
| 273 | /// TLS sequence. |
| 274 | ADD_TLS, |
| 275 | |
Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 276 | /// G8RC = ADDIS_TLSGD_HA %X2, Symbol - For the general-dynamic TLS |
| 277 | /// model, produces an ADDIS8 instruction that adds the GOT base |
NAKAMURA Takumi | dc9f013 | 2013-05-15 18:01:35 +0000 | [diff] [blame] | 278 | /// register to sym\@got\@tlsgd\@ha. |
Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 279 | ADDIS_TLSGD_HA, |
| 280 | |
Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 281 | /// %X3 = ADDI_TLSGD_L G8RReg, Symbol - For the general-dynamic TLS |
Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 282 | /// model, produces an ADDI8 instruction that adds G8RReg to |
Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 283 | /// sym\@got\@tlsgd\@l and stores the result in X3. Hidden by |
| 284 | /// ADDIS_TLSGD_L_ADDR until after register assignment. |
Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 285 | ADDI_TLSGD_L, |
| 286 | |
Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 287 | /// %X3 = GET_TLS_ADDR %X3, Symbol - For the general-dynamic TLS |
| 288 | /// model, produces a call to __tls_get_addr(sym\@tlsgd). Hidden by |
| 289 | /// ADDIS_TLSGD_L_ADDR until after register assignment. |
| 290 | GET_TLS_ADDR, |
| 291 | |
| 292 | /// G8RC = ADDI_TLSGD_L_ADDR G8RReg, Symbol, Symbol - Op that |
| 293 | /// combines ADDI_TLSGD_L and GET_TLS_ADDR until expansion following |
| 294 | /// register assignment. |
| 295 | ADDI_TLSGD_L_ADDR, |
| 296 | |
Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 297 | /// G8RC = ADDIS_TLSLD_HA %X2, Symbol - For the local-dynamic TLS |
| 298 | /// model, produces an ADDIS8 instruction that adds the GOT base |
NAKAMURA Takumi | dc9f013 | 2013-05-15 18:01:35 +0000 | [diff] [blame] | 299 | /// register to sym\@got\@tlsld\@ha. |
Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 300 | ADDIS_TLSLD_HA, |
| 301 | |
Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 302 | /// %X3 = ADDI_TLSLD_L G8RReg, Symbol - For the local-dynamic TLS |
Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 303 | /// model, produces an ADDI8 instruction that adds G8RReg to |
Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 304 | /// sym\@got\@tlsld\@l and stores the result in X3. Hidden by |
| 305 | /// ADDIS_TLSLD_L_ADDR until after register assignment. |
Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 306 | ADDI_TLSLD_L, |
| 307 | |
Bill Schmidt | 82f1c77 | 2015-02-10 19:09:05 +0000 | [diff] [blame] | 308 | /// %X3 = GET_TLSLD_ADDR %X3, Symbol - For the local-dynamic TLS |
| 309 | /// model, produces a call to __tls_get_addr(sym\@tlsld). Hidden by |
| 310 | /// ADDIS_TLSLD_L_ADDR until after register assignment. |
| 311 | GET_TLSLD_ADDR, |
| 312 | |
| 313 | /// G8RC = ADDI_TLSLD_L_ADDR G8RReg, Symbol, Symbol - Op that |
| 314 | /// combines ADDI_TLSLD_L and GET_TLSLD_ADDR until expansion |
| 315 | /// following register assignment. |
| 316 | ADDI_TLSLD_L_ADDR, |
| 317 | |
| 318 | /// G8RC = ADDIS_DTPREL_HA %X3, Symbol - For the local-dynamic TLS |
| 319 | /// model, produces an ADDIS8 instruction that adds X3 to |
| 320 | /// sym\@dtprel\@ha. |
Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 321 | ADDIS_DTPREL_HA, |
| 322 | |
| 323 | /// G8RC = ADDI_DTPREL_L G8RReg, Symbol - For the local-dynamic TLS |
| 324 | /// model, produces an ADDI8 instruction that adds G8RReg to |
NAKAMURA Takumi | dc9f013 | 2013-05-15 18:01:35 +0000 | [diff] [blame] | 325 | /// sym\@got\@dtprel\@l. |
Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 326 | ADDI_DTPREL_L, |
| 327 | |
Bill Schmidt | 51e7951 | 2013-02-20 15:50:31 +0000 | [diff] [blame] | 328 | /// VRRC = VADD_SPLAT Elt, EltSize - Temporary node to be expanded |
Bill Schmidt | c6cbecc | 2013-02-20 20:41:42 +0000 | [diff] [blame] | 329 | /// during instruction selection to optimize a BUILD_VECTOR into |
| 330 | /// operations on splats. This is necessary to avoid losing these |
| 331 | /// optimizations due to constant folding. |
Bill Schmidt | 51e7951 | 2013-02-20 15:50:31 +0000 | [diff] [blame] | 332 | VADD_SPLAT, |
| 333 | |
Bill Schmidt | a87a7e2 | 2013-05-14 19:35:45 +0000 | [diff] [blame] | 334 | /// CHAIN = SC CHAIN, Imm128 - System call. The 7-bit unsigned |
| 335 | /// operand identifies the operating system entry point. |
| 336 | SC, |
| 337 | |
Bill Schmidt | e26236e | 2015-05-22 16:44:10 +0000 | [diff] [blame] | 338 | /// CHAIN = CLRBHRB CHAIN - Clear branch history rolling buffer. |
| 339 | CLRBHRB, |
| 340 | |
| 341 | /// GPRC, CHAIN = MFBHRBE CHAIN, Entry, Dummy - Move from branch |
| 342 | /// history rolling buffer entry. |
| 343 | MFBHRBE, |
| 344 | |
| 345 | /// CHAIN = RFEBB CHAIN, State - Return from event-based branch. |
| 346 | RFEBB, |
| 347 | |
Bill Schmidt | fae5d71 | 2014-12-09 16:35:51 +0000 | [diff] [blame] | 348 | /// VSRC, CHAIN = XXSWAPD CHAIN, VSRC - Occurs only for little |
| 349 | /// endian. Maps to an xxswapd instruction that corrects an lxvd2x |
| 350 | /// or stxvd2x instruction. The chain is necessary because the |
| 351 | /// sequence replaces a load and needs to provide the same number |
| 352 | /// of outputs. |
| 353 | XXSWAPD, |
| 354 | |
Nemanja Ivanovic | eebbcb6 | 2016-07-12 12:16:27 +0000 | [diff] [blame] | 355 | /// An SDNode for swaps that are not associated with any loads/stores |
| 356 | /// and thereby have no chain. |
| 357 | SWAP_NO_CHAIN, |
| 358 | |
Hal Finkel | c93a9a2 | 2015-02-25 01:06:45 +0000 | [diff] [blame] | 359 | /// QVFPERM = This corresponds to the QPX qvfperm instruction. |
| 360 | QVFPERM, |
| 361 | |
| 362 | /// QVGPCI = This corresponds to the QPX qvgpci instruction. |
| 363 | QVGPCI, |
| 364 | |
| 365 | /// QVALIGNI = This corresponds to the QPX qvaligni instruction. |
| 366 | QVALIGNI, |
| 367 | |
| 368 | /// QVESPLATI = This corresponds to the QPX qvesplati instruction. |
| 369 | QVESPLATI, |
| 370 | |
| 371 | /// QBFLT = Access the underlying QPX floating-point boolean |
| 372 | /// representation. |
| 373 | QBFLT, |
| 374 | |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 375 | /// CHAIN = STBRX CHAIN, GPRC, Ptr, Type - This is a |
Dan Gohman | 48b185d | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 376 | /// byte-swapping store instruction. It byte-swaps the low "Type" bits of |
| 377 | /// the GPRC input, then stores it through Ptr. Type can be either i16 or |
| 378 | /// i32. |
Hal Finkel | e53429a | 2013-03-31 01:58:02 +0000 | [diff] [blame] | 379 | STBRX = ISD::FIRST_TARGET_MEMORY_OPCODE, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 380 | |
| 381 | /// GPRC, CHAIN = LBRX CHAIN, Ptr, Type - This is a |
Dan Gohman | 48b185d | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 382 | /// byte-swapping load instruction. It loads "Type" bits, byte swaps it, |
| 383 | /// then puts it in the bottom bits of the GPRC. TYPE can be either i16 |
| 384 | /// or i32. |
Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 385 | LBRX, |
| 386 | |
Hal Finkel | 60c7510 | 2013-04-01 15:37:53 +0000 | [diff] [blame] | 387 | /// STFIWX - The STFIWX instruction. The first operand is an input token |
| 388 | /// chain, then an f64 value to store, then an address to store it to. |
| 389 | STFIWX, |
| 390 | |
Hal Finkel | beb296b | 2013-03-31 10:12:51 +0000 | [diff] [blame] | 391 | /// GPRC, CHAIN = LFIWAX CHAIN, Ptr - This is a floating-point |
| 392 | /// load which sign-extends from a 32-bit integer value into the |
| 393 | /// destination 64-bit register. |
| 394 | LFIWAX, |
| 395 | |
Hal Finkel | f6d45f2 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 396 | /// GPRC, CHAIN = LFIWZX CHAIN, Ptr - This is a floating-point |
| 397 | /// load which zero-extends from a 32-bit integer value into the |
| 398 | /// destination 64-bit register. |
| 399 | LFIWZX, |
| 400 | |
Nemanja Ivanovic | 11049f8 | 2016-10-04 06:59:23 +0000 | [diff] [blame] | 401 | /// GPRC, CHAIN = LXSIZX, CHAIN, Ptr, ByteWidth - This is a load of an |
| 402 | /// integer smaller than 64 bits into a VSR. The integer is zero-extended. |
| 403 | /// This can be used for converting loaded integers to floating point. |
| 404 | LXSIZX, |
| 405 | |
| 406 | /// STXSIX - The STXSI[bh]X instruction. The first operand is an input |
| 407 | /// chain, then an f64 value to store, then an address to store it to, |
| 408 | /// followed by a byte-width for the store. |
| 409 | STXSIX, |
| 410 | |
Bill Schmidt | fae5d71 | 2014-12-09 16:35:51 +0000 | [diff] [blame] | 411 | /// VSRC, CHAIN = LXVD2X_LE CHAIN, Ptr - Occurs only for little endian. |
| 412 | /// Maps directly to an lxvd2x instruction that will be followed by |
| 413 | /// an xxswapd. |
| 414 | LXVD2X, |
| 415 | |
| 416 | /// CHAIN = STXVD2X CHAIN, VSRC, Ptr - Occurs only for little endian. |
| 417 | /// Maps directly to an stxvd2x instruction that will be preceded by |
| 418 | /// an xxswapd. |
Hal Finkel | c93a9a2 | 2015-02-25 01:06:45 +0000 | [diff] [blame] | 419 | STXVD2X, |
| 420 | |
| 421 | /// QBRC, CHAIN = QVLFSb CHAIN, Ptr |
| 422 | /// The 4xf32 load used for v4i1 constants. |
Hal Finkel | cf59921 | 2015-02-25 21:36:59 +0000 | [diff] [blame] | 423 | QVLFSb, |
| 424 | |
| 425 | /// GPRC = TOC_ENTRY GA, TOC |
| 426 | /// Loads the entry for GA from the TOC, where the TOC base is given by |
| 427 | /// the last operand. |
| 428 | TOC_ENTRY |
Chris Lattner | f424a66 | 2006-01-27 23:34:02 +0000 | [diff] [blame] | 429 | }; |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 430 | |
| 431 | } // end namespace PPCISD |
Chris Lattner | 382f356 | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 432 | |
| 433 | /// Define some predicates that are used for node matching. |
| 434 | namespace PPC { |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 435 | |
Chris Lattner | e8b83b4 | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 436 | /// isVPKUHUMShuffleMask - Return true if this is the shuffle mask for a |
| 437 | /// VPKUHUM instruction. |
Ulrich Weigand | cc9909b | 2014-08-04 13:53:40 +0000 | [diff] [blame] | 438 | bool isVPKUHUMShuffleMask(ShuffleVectorSDNode *N, unsigned ShuffleKind, |
Bill Schmidt | f910a06 | 2014-06-10 14:35:01 +0000 | [diff] [blame] | 439 | SelectionDAG &DAG); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 440 | |
Chris Lattner | e8b83b4 | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 441 | /// isVPKUWUMShuffleMask - Return true if this is the shuffle mask for a |
| 442 | /// VPKUWUM instruction. |
Ulrich Weigand | cc9909b | 2014-08-04 13:53:40 +0000 | [diff] [blame] | 443 | bool isVPKUWUMShuffleMask(ShuffleVectorSDNode *N, unsigned ShuffleKind, |
Bill Schmidt | f910a06 | 2014-06-10 14:35:01 +0000 | [diff] [blame] | 444 | SelectionDAG &DAG); |
Chris Lattner | d1dcb52 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 445 | |
Bill Schmidt | 5ed84cd | 2015-05-16 01:02:12 +0000 | [diff] [blame] | 446 | /// isVPKUDUMShuffleMask - Return true if this is the shuffle mask for a |
| 447 | /// VPKUDUM instruction. |
| 448 | bool isVPKUDUMShuffleMask(ShuffleVectorSDNode *N, unsigned ShuffleKind, |
| 449 | SelectionDAG &DAG); |
| 450 | |
Chris Lattner | d1dcb52 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 451 | /// isVMRGLShuffleMask - Return true if this is a shuffle mask suitable for |
| 452 | /// a VRGL* instruction with the specified unit size (1,2 or 4 bytes). |
Nate Begeman | 8d6d4b9 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 453 | bool isVMRGLShuffleMask(ShuffleVectorSDNode *N, unsigned UnitSize, |
Bill Schmidt | c9fa5dd | 2014-07-25 01:55:55 +0000 | [diff] [blame] | 454 | unsigned ShuffleKind, SelectionDAG &DAG); |
Chris Lattner | d1dcb52 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 455 | |
| 456 | /// isVMRGHShuffleMask - Return true if this is a shuffle mask suitable for |
| 457 | /// a VRGH* instruction with the specified unit size (1,2 or 4 bytes). |
Nate Begeman | 8d6d4b9 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 458 | bool isVMRGHShuffleMask(ShuffleVectorSDNode *N, unsigned UnitSize, |
Bill Schmidt | c9fa5dd | 2014-07-25 01:55:55 +0000 | [diff] [blame] | 459 | unsigned ShuffleKind, SelectionDAG &DAG); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 460 | |
Kit Barton | 13894c7 | 2015-06-25 15:17:40 +0000 | [diff] [blame] | 461 | /// isVMRGEOShuffleMask - Return true if this is a shuffle mask suitable for |
| 462 | /// a VMRGEW or VMRGOW instruction |
| 463 | bool isVMRGEOShuffleMask(ShuffleVectorSDNode *N, bool CheckEven, |
| 464 | unsigned ShuffleKind, SelectionDAG &DAG); |
Tony Jiang | 0a429f0 | 2017-05-24 23:48:29 +0000 | [diff] [blame] | 465 | /// isXXSLDWIShuffleMask - Return true if this is a shuffle mask suitable |
| 466 | /// for a XXSLDWI instruction. |
| 467 | bool isXXSLDWIShuffleMask(ShuffleVectorSDNode *N, unsigned &ShiftElts, |
| 468 | bool &Swap, bool IsLE); |
Tony Jiang | 1a8eec1 | 2017-06-12 18:24:36 +0000 | [diff] [blame] | 469 | |
| 470 | /// isXXBRHShuffleMask - Return true if this is a shuffle mask suitable |
| 471 | /// for a XXBRH instruction. |
| 472 | bool isXXBRHShuffleMask(ShuffleVectorSDNode *N); |
| 473 | |
| 474 | /// isXXBRWShuffleMask - Return true if this is a shuffle mask suitable |
| 475 | /// for a XXBRW instruction. |
| 476 | bool isXXBRWShuffleMask(ShuffleVectorSDNode *N); |
| 477 | |
| 478 | /// isXXBRDShuffleMask - Return true if this is a shuffle mask suitable |
| 479 | /// for a XXBRD instruction. |
| 480 | bool isXXBRDShuffleMask(ShuffleVectorSDNode *N); |
| 481 | |
| 482 | /// isXXBRQShuffleMask - Return true if this is a shuffle mask suitable |
| 483 | /// for a XXBRQ instruction. |
| 484 | bool isXXBRQShuffleMask(ShuffleVectorSDNode *N); |
| 485 | |
Tony Jiang | 60c247d | 2017-05-31 13:09:57 +0000 | [diff] [blame] | 486 | /// isXXPERMDIShuffleMask - Return true if this is a shuffle mask suitable |
| 487 | /// for a XXPERMDI instruction. |
| 488 | bool isXXPERMDIShuffleMask(ShuffleVectorSDNode *N, unsigned &ShiftElts, |
| 489 | bool &Swap, bool IsLE); |
Tony Jiang | 0a429f0 | 2017-05-24 23:48:29 +0000 | [diff] [blame] | 490 | |
Bill Schmidt | 42a6936 | 2014-08-05 20:47:25 +0000 | [diff] [blame] | 491 | /// isVSLDOIShuffleMask - If this is a vsldoi shuffle mask, return the |
| 492 | /// shift amount, otherwise return -1. |
| 493 | int isVSLDOIShuffleMask(SDNode *N, unsigned ShuffleKind, |
| 494 | SelectionDAG &DAG); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 495 | |
Chris Lattner | 382f356 | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 496 | /// isSplatShuffleMask - Return true if the specified VECTOR_SHUFFLE operand |
| 497 | /// specifies a splat of a single element that is suitable for input to |
| 498 | /// VSPLTB/VSPLTH/VSPLTW. |
Nate Begeman | 8d6d4b9 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 499 | bool isSplatShuffleMask(ShuffleVectorSDNode *N, unsigned EltSize); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 500 | |
Nemanja Ivanovic | b43bb61 | 2016-07-12 21:00:10 +0000 | [diff] [blame] | 501 | /// isXXINSERTWMask - Return true if this VECTOR_SHUFFLE can be handled by |
| 502 | /// the XXINSERTW instruction introduced in ISA 3.0. This is essentially any |
| 503 | /// shuffle of v4f32/v4i32 vectors that just inserts one element from one |
| 504 | /// vector into the other. This function will also set a couple of |
| 505 | /// output parameters for how much the source vector needs to be shifted and |
| 506 | /// what byte number needs to be specified for the instruction to put the |
| 507 | /// element in the desired location of the target vector. |
| 508 | bool isXXINSERTWMask(ShuffleVectorSDNode *N, unsigned &ShiftElts, |
| 509 | unsigned &InsertAtByte, bool &Swap, bool IsLE); |
| 510 | |
Chris Lattner | 382f356 | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 511 | /// getVSPLTImmediate - Return the appropriate VSPLT* immediate to splat the |
| 512 | /// specified isSplatShuffleMask VECTOR_SHUFFLE mask. |
Bill Schmidt | f910a06 | 2014-06-10 14:35:01 +0000 | [diff] [blame] | 513 | unsigned getVSPLTImmediate(SDNode *N, unsigned EltSize, SelectionDAG &DAG); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 514 | |
Chris Lattner | 74cf9ff | 2006-04-12 17:37:20 +0000 | [diff] [blame] | 515 | /// get_VSPLTI_elt - If this is a build_vector of constants which can be |
Chris Lattner | d71a1f9 | 2006-04-08 06:46:53 +0000 | [diff] [blame] | 516 | /// formed by using a vspltis[bhw] instruction of the specified element |
| 517 | /// size, return the constant being splatted. The ByteSize field indicates |
| 518 | /// the number of bytes of each element [124] -> [bhw]. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 519 | SDValue get_VSPLTI_elt(SDNode *N, unsigned ByteSize, SelectionDAG &DAG); |
Hal Finkel | c93a9a2 | 2015-02-25 01:06:45 +0000 | [diff] [blame] | 520 | |
| 521 | /// If this is a qvaligni shuffle mask, return the shift |
| 522 | /// amount, otherwise return -1. |
| 523 | int isQVALIGNIShuffleMask(SDNode *N); |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 524 | |
| 525 | } // end namespace PPC |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 526 | |
Nate Begeman | 6cca84e | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 527 | class PPCTargetLowering : public TargetLowering { |
Eric Christopher | b1aaebe | 2014-06-12 22:38:18 +0000 | [diff] [blame] | 528 | const PPCSubtarget &Subtarget; |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 529 | |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 530 | public: |
Eric Christopher | cccae79 | 2015-01-30 22:02:31 +0000 | [diff] [blame] | 531 | explicit PPCTargetLowering(const PPCTargetMachine &TM, |
| 532 | const PPCSubtarget &STI); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 533 | |
Chris Lattner | 347ed8a | 2006-01-09 23:52:17 +0000 | [diff] [blame] | 534 | /// getTargetNodeName() - This method returns the name of a target specific |
| 535 | /// DAG node. |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 536 | const char *getTargetNodeName(unsigned Opcode) const override; |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 537 | |
Nemanja Ivanovic | 44513e5 | 2016-07-05 09:22:29 +0000 | [diff] [blame] | 538 | /// getPreferredVectorAction - The code we generate when vector types are |
| 539 | /// legalized by promoting the integer element type is often much worse |
| 540 | /// than code we generate if we widen the type for applicable vector types. |
| 541 | /// The issue with promoting is that the vector is scalaraized, individual |
| 542 | /// elements promoted and then the vector is rebuilt. So say we load a pair |
| 543 | /// of v4i8's and shuffle them. This will turn into a mess of 8 extending |
| 544 | /// loads, moves back into VSR's (or memory ops if we don't have moves) and |
| 545 | /// then the VPERM for the shuffle. All in all a very slow sequence. |
| 546 | TargetLoweringBase::LegalizeTypeAction getPreferredVectorAction(EVT VT) |
| 547 | const override { |
Sanjay Patel | 1ed771f | 2016-09-14 16:37:15 +0000 | [diff] [blame] | 548 | if (VT.getScalarSizeInBits() % 8 == 0) |
Nemanja Ivanovic | 44513e5 | 2016-07-05 09:22:29 +0000 | [diff] [blame] | 549 | return TypeWidenVector; |
| 550 | return TargetLoweringBase::getPreferredVectorAction(VT); |
| 551 | } |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 552 | |
Petar Jovanovic | 280f710 | 2015-12-14 17:57:33 +0000 | [diff] [blame] | 553 | bool useSoftFloat() const override; |
| 554 | |
Mehdi Amini | eaabc51 | 2015-07-09 15:12:23 +0000 | [diff] [blame] | 555 | MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override { |
Mehdi Amini | 9639d65 | 2015-07-09 02:09:20 +0000 | [diff] [blame] | 556 | return MVT::i32; |
| 557 | } |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 558 | |
Hal Finkel | 9bb61de | 2015-01-05 05:24:42 +0000 | [diff] [blame] | 559 | bool isCheapToSpeculateCttz() const override { |
| 560 | return true; |
| 561 | } |
| 562 | |
| 563 | bool isCheapToSpeculateCtlz() const override { |
| 564 | return true; |
| 565 | } |
| 566 | |
Pierre Gousseau | 051db7d | 2016-08-16 13:53:53 +0000 | [diff] [blame] | 567 | bool isCtlzFast() const override { |
| 568 | return true; |
| 569 | } |
| 570 | |
Hal Finkel | 5ef4b03 | 2016-09-02 02:58:25 +0000 | [diff] [blame] | 571 | bool hasAndNotCompare(SDValue) const override { |
| 572 | return true; |
| 573 | } |
| 574 | |
Sanjay Patel | b2f1621 | 2017-04-05 14:09:39 +0000 | [diff] [blame] | 575 | bool convertSetCCLogicToBitwiseLogic(EVT VT) const override { |
| 576 | return VT.isScalarInteger(); |
| 577 | } |
| 578 | |
Chuang-Yu Cheng | 98c1894 | 2016-04-08 12:04:32 +0000 | [diff] [blame] | 579 | bool supportSplitCSR(MachineFunction *MF) const override { |
| 580 | return |
| 581 | MF->getFunction()->getCallingConv() == CallingConv::CXX_FAST_TLS && |
| 582 | MF->getFunction()->hasFnAttribute(Attribute::NoUnwind); |
| 583 | } |
| 584 | |
| 585 | void initializeSplitCSR(MachineBasicBlock *Entry) const override; |
| 586 | |
| 587 | void insertCopiesSplitCSR( |
| 588 | MachineBasicBlock *Entry, |
| 589 | const SmallVectorImpl<MachineBasicBlock *> &Exits) const override; |
| 590 | |
Scott Michel | a6729e8 | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 591 | /// getSetCCResultType - Return the ISD::SETCC ValueType |
Mehdi Amini | 44ede33 | 2015-07-09 02:09:04 +0000 | [diff] [blame] | 592 | EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, |
| 593 | EVT VT) const override; |
Scott Michel | a6729e8 | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 594 | |
Hal Finkel | 62ac736 | 2014-09-19 11:42:56 +0000 | [diff] [blame] | 595 | /// Return true if target always beneficiates from combining into FMA for a |
| 596 | /// given value type. This must typically return false on targets where FMA |
| 597 | /// takes more cycles to execute than FADD. |
| 598 | bool enableAggressiveFMAFusion(EVT VT) const override; |
| 599 | |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 600 | /// getPreIndexedAddressParts - returns true by value, base pointer and |
| 601 | /// offset pointer and addressing mode by reference if the node's address |
| 602 | /// can be legally represented as pre-indexed load / store address. |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 603 | bool getPreIndexedAddressParts(SDNode *N, SDValue &Base, |
| 604 | SDValue &Offset, |
| 605 | ISD::MemIndexedMode &AM, |
| 606 | SelectionDAG &DAG) const override; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 607 | |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 608 | /// SelectAddressRegReg - Given the specified addressed, check to see if it |
| 609 | /// can be represented as an indexed [r+r] operation. Returns false if it |
| 610 | /// can be more efficiently represented with [r+imm]. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 611 | bool SelectAddressRegReg(SDValue N, SDValue &Base, SDValue &Index, |
Dan Gohman | 02b9313 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 612 | SelectionDAG &DAG) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 613 | |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 614 | /// SelectAddressRegImm - Returns true if the address N can be represented |
| 615 | /// by a base register plus a signed 16-bit displacement [r+imm], and if it |
Ulrich Weigand | 9d980cb | 2013-05-16 17:58:02 +0000 | [diff] [blame] | 616 | /// is not better represented as reg+reg. If Aligned is true, only accept |
| 617 | /// displacements suitable for STD and friends, i.e. multiples of 4. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 618 | bool SelectAddressRegImm(SDValue N, SDValue &Disp, SDValue &Base, |
Ulrich Weigand | 9d980cb | 2013-05-16 17:58:02 +0000 | [diff] [blame] | 619 | SelectionDAG &DAG, bool Aligned) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 620 | |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 621 | /// SelectAddressRegRegOnly - Given the specified addressed, force it to be |
| 622 | /// represented as an indexed [r+r] operation. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 623 | bool SelectAddressRegRegOnly(SDValue N, SDValue &Base, SDValue &Index, |
Dan Gohman | 02b9313 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 624 | SelectionDAG &DAG) const; |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 625 | |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 626 | Sched::Preference getSchedulingPreference(SDNode *N) const override; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 627 | |
Chris Lattner | f3d06c6 | 2005-08-26 00:52:45 +0000 | [diff] [blame] | 628 | /// LowerOperation - Provide custom lowering hooks for some operations. |
| 629 | /// |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 630 | SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override; |
Chris Lattner | 57ee7c6 | 2007-11-28 18:44:47 +0000 | [diff] [blame] | 631 | |
Duncan Sands | 6ed4014 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 632 | /// ReplaceNodeResults - Replace the results of node with an illegal result |
| 633 | /// type with new values built out of custom code. |
| 634 | /// |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 635 | void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results, |
| 636 | SelectionDAG &DAG) const override; |
Duncan Sands | 6ed4014 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 637 | |
Bill Schmidt | fae5d71 | 2014-12-09 16:35:51 +0000 | [diff] [blame] | 638 | SDValue expandVSXLoadForLE(SDNode *N, DAGCombinerInfo &DCI) const; |
| 639 | SDValue expandVSXStoreForLE(SDNode *N, DAGCombinerInfo &DCI) const; |
| 640 | |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 641 | SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 642 | |
Hal Finkel | 13d104b | 2014-12-11 18:37:52 +0000 | [diff] [blame] | 643 | SDValue BuildSDIVPow2(SDNode *N, const APInt &Divisor, SelectionDAG &DAG, |
| 644 | std::vector<SDNode *> *Created) const override; |
| 645 | |
Pat Gavlin | a717f25 | 2015-07-09 17:40:29 +0000 | [diff] [blame] | 646 | unsigned getRegisterByName(const char* RegName, EVT VT, |
| 647 | SelectionDAG &DAG) const override; |
Hal Finkel | 0d8db46 | 2014-05-11 19:29:11 +0000 | [diff] [blame] | 648 | |
Jay Foad | a0653a3 | 2014-05-14 21:14:37 +0000 | [diff] [blame] | 649 | void computeKnownBitsForTargetNode(const SDValue Op, |
Craig Topper | d0af7e8 | 2017-04-28 05:31:46 +0000 | [diff] [blame] | 650 | KnownBits &Known, |
Simon Pilgrim | 37b536e | 2017-03-31 11:24:16 +0000 | [diff] [blame] | 651 | const APInt &DemandedElts, |
Jay Foad | a0653a3 | 2014-05-14 21:14:37 +0000 | [diff] [blame] | 652 | const SelectionDAG &DAG, |
| 653 | unsigned Depth = 0) const override; |
Nate Begeman | 78afac2 | 2005-10-18 23:23:37 +0000 | [diff] [blame] | 654 | |
Hal Finkel | 5772566 | 2015-01-03 17:58:24 +0000 | [diff] [blame] | 655 | unsigned getPrefLoopAlignment(MachineLoop *ML) const override; |
| 656 | |
James Y Knight | f44fc52 | 2016-03-16 22:12:04 +0000 | [diff] [blame] | 657 | bool shouldInsertFencesForAtomic(const Instruction *I) const override { |
| 658 | return true; |
| 659 | } |
| 660 | |
Tim Shen | 04de70d | 2017-05-09 15:27:17 +0000 | [diff] [blame] | 661 | Instruction *emitLeadingFence(IRBuilder<> &Builder, Instruction *Inst, |
| 662 | AtomicOrdering Ord) const override; |
| 663 | Instruction *emitTrailingFence(IRBuilder<> &Builder, Instruction *Inst, |
| 664 | AtomicOrdering Ord) const override; |
Robin Morisset | 2212996 | 2014-09-23 20:46:49 +0000 | [diff] [blame] | 665 | |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 666 | MachineBasicBlock * |
Duncan P. N. Exon Smith | e4f5e4f | 2016-06-30 22:52:52 +0000 | [diff] [blame] | 667 | EmitInstrWithCustomInserter(MachineInstr &MI, |
| 668 | MachineBasicBlock *MBB) const override; |
| 669 | MachineBasicBlock *EmitAtomicBinary(MachineInstr &MI, |
Nemanja Ivanovic | 0adf26b | 2015-03-10 20:51:07 +0000 | [diff] [blame] | 670 | MachineBasicBlock *MBB, |
| 671 | unsigned AtomicSize, |
Hal Finkel | 5728200 | 2016-08-28 16:17:58 +0000 | [diff] [blame] | 672 | unsigned BinOpcode, |
| 673 | unsigned CmpOpcode = 0, |
| 674 | unsigned CmpPred = 0) const; |
Duncan P. N. Exon Smith | e4f5e4f | 2016-06-30 22:52:52 +0000 | [diff] [blame] | 675 | MachineBasicBlock *EmitPartwordAtomicBinary(MachineInstr &MI, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 676 | MachineBasicBlock *MBB, |
Duncan P. N. Exon Smith | e4f5e4f | 2016-06-30 22:52:52 +0000 | [diff] [blame] | 677 | bool is8bit, |
Hal Finkel | 5728200 | 2016-08-28 16:17:58 +0000 | [diff] [blame] | 678 | unsigned Opcode, |
| 679 | unsigned CmpOpcode = 0, |
| 680 | unsigned CmpPred = 0) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 681 | |
Duncan P. N. Exon Smith | e4f5e4f | 2016-06-30 22:52:52 +0000 | [diff] [blame] | 682 | MachineBasicBlock *emitEHSjLjSetJmp(MachineInstr &MI, |
Hal Finkel | 756810f | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 683 | MachineBasicBlock *MBB) const; |
| 684 | |
Duncan P. N. Exon Smith | e4f5e4f | 2016-06-30 22:52:52 +0000 | [diff] [blame] | 685 | MachineBasicBlock *emitEHSjLjLongJmp(MachineInstr &MI, |
Hal Finkel | 756810f | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 686 | MachineBasicBlock *MBB) const; |
| 687 | |
Benjamin Kramer | 9bfb627 | 2015-07-05 19:29:18 +0000 | [diff] [blame] | 688 | ConstraintType getConstraintType(StringRef Constraint) const override; |
John Thompson | e8360b7 | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 689 | |
| 690 | /// Examine constraint string and operand type and determine a weight value. |
| 691 | /// The operand object must already have been set up with the operand type. |
| 692 | ConstraintWeight getSingleConstraintMatchWeight( |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 693 | AsmOperandInfo &info, const char *constraint) const override; |
John Thompson | e8360b7 | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 694 | |
Eric Christopher | 11e4df7 | 2015-02-26 22:38:43 +0000 | [diff] [blame] | 695 | std::pair<unsigned, const TargetRegisterClass *> |
| 696 | getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, |
Benjamin Kramer | 9bfb627 | 2015-07-05 19:29:18 +0000 | [diff] [blame] | 697 | StringRef Constraint, MVT VT) const override; |
Evan Cheng | 2dd2c65 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 698 | |
Dale Johannesen | cbde4c2 | 2008-02-28 22:31:51 +0000 | [diff] [blame] | 699 | /// getByValTypeAlignment - Return the desired alignment for ByVal aggregate |
| 700 | /// function arguments in the caller parameter area. This is the actual |
| 701 | /// alignment, not its logarithm. |
Mehdi Amini | 5c183d5 | 2015-07-09 02:09:28 +0000 | [diff] [blame] | 702 | unsigned getByValTypeAlignment(Type *Ty, |
| 703 | const DataLayout &DL) const override; |
Dale Johannesen | cbde4c2 | 2008-02-28 22:31:51 +0000 | [diff] [blame] | 704 | |
Chris Lattner | d8c9cb9 | 2007-08-25 00:47:38 +0000 | [diff] [blame] | 705 | /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops |
Dale Johannesen | ce97d55 | 2010-06-25 21:55:36 +0000 | [diff] [blame] | 706 | /// vector. If it is invalid, don't add anything to Ops. |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 707 | void LowerAsmOperandForConstraint(SDValue Op, |
| 708 | std::string &Constraint, |
| 709 | std::vector<SDValue> &Ops, |
| 710 | SelectionDAG &DAG) const override; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 711 | |
Benjamin Kramer | 9bfb627 | 2015-07-05 19:29:18 +0000 | [diff] [blame] | 712 | unsigned |
| 713 | getInlineAsmMemConstraint(StringRef ConstraintCode) const override { |
Daniel Sanders | 0828860 | 2015-03-17 11:09:13 +0000 | [diff] [blame] | 714 | if (ConstraintCode == "es") |
| 715 | return InlineAsm::Constraint_es; |
| 716 | else if (ConstraintCode == "o") |
| 717 | return InlineAsm::Constraint_o; |
| 718 | else if (ConstraintCode == "Q") |
| 719 | return InlineAsm::Constraint_Q; |
| 720 | else if (ConstraintCode == "Z") |
| 721 | return InlineAsm::Constraint_Z; |
| 722 | else if (ConstraintCode == "Zy") |
| 723 | return InlineAsm::Constraint_Zy; |
| 724 | return TargetLowering::getInlineAsmMemConstraint(ConstraintCode); |
Daniel Sanders | bf5b80f | 2015-03-16 13:13:41 +0000 | [diff] [blame] | 725 | } |
| 726 | |
Chris Lattner | 1eb94d9 | 2007-03-30 23:15:24 +0000 | [diff] [blame] | 727 | /// isLegalAddressingMode - Return true if the addressing mode represented |
| 728 | /// by AM is legal for this target, for a load/store of the specified type. |
Mehdi Amini | 0cdec1e | 2015-07-09 02:09:40 +0000 | [diff] [blame] | 729 | bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, |
| 730 | Type *Ty, unsigned AS) const override; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 731 | |
Hal Finkel | 34974ed | 2014-04-12 21:52:38 +0000 | [diff] [blame] | 732 | /// isLegalICmpImmediate - Return true if the specified immediate is legal |
| 733 | /// icmp immediate, that is the target has icmp instructions which can |
| 734 | /// compare a register against the immediate without having to materialize |
| 735 | /// the immediate into a register. |
| 736 | bool isLegalICmpImmediate(int64_t Imm) const override; |
| 737 | |
| 738 | /// isLegalAddImmediate - Return true if the specified immediate is legal |
| 739 | /// add immediate, that is the target has add instructions which can |
| 740 | /// add a register and the immediate without having to materialize |
| 741 | /// the immediate into a register. |
| 742 | bool isLegalAddImmediate(int64_t Imm) const override; |
| 743 | |
| 744 | /// isTruncateFree - Return true if it's free to truncate a value of |
| 745 | /// type Ty1 to type Ty2. e.g. On PPC it's free to truncate a i64 value in |
| 746 | /// register X1 to i32 by referencing its sub-register R1. |
| 747 | bool isTruncateFree(Type *Ty1, Type *Ty2) const override; |
| 748 | bool isTruncateFree(EVT VT1, EVT VT2) const override; |
| 749 | |
Hal Finkel | 5d5d153 | 2015-01-10 08:21:59 +0000 | [diff] [blame] | 750 | bool isZExtFree(SDValue Val, EVT VT2) const override; |
| 751 | |
Olivier Sallenave | 3250969 | 2015-01-13 15:06:36 +0000 | [diff] [blame] | 752 | bool isFPExtFree(EVT VT) const override; |
| 753 | |
Hal Finkel | 34974ed | 2014-04-12 21:52:38 +0000 | [diff] [blame] | 754 | /// \brief Returns true if it is beneficial to convert a load of a constant |
| 755 | /// to just the constant itself. |
| 756 | bool shouldConvertConstantLoadToIntImm(const APInt &Imm, |
| 757 | Type *Ty) const override; |
| 758 | |
Sanjay Patel | 066f320 | 2017-03-04 19:18:09 +0000 | [diff] [blame] | 759 | bool convertSelectOfConstantsToMath() const override { |
| 760 | return true; |
| 761 | } |
| 762 | |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 763 | bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 764 | |
Hal Finkel | 46ef7ce | 2014-08-13 01:15:40 +0000 | [diff] [blame] | 765 | bool getTgtMemIntrinsic(IntrinsicInfo &Info, |
| 766 | const CallInst &I, |
| 767 | unsigned Intrinsic) const override; |
| 768 | |
Evan Cheng | d9929f0 | 2010-04-01 20:10:42 +0000 | [diff] [blame] | 769 | /// getOptimalMemOpType - Returns the target specific optimal type for load |
Evan Cheng | 6139937 | 2010-04-02 19:36:14 +0000 | [diff] [blame] | 770 | /// and store operations as a result of memset, memcpy, and memmove |
| 771 | /// lowering. If DstAlign is zero that means it's safe to destination |
| 772 | /// alignment can satisfy any constraint. Similarly if SrcAlign is zero it |
| 773 | /// means there isn't a need to check it against alignment requirement, |
Evan Cheng | 962711e | 2012-12-12 02:34:41 +0000 | [diff] [blame] | 774 | /// probably because the source does not need to be loaded. If 'IsMemset' is |
| 775 | /// true, that means it's expanding a memset. If 'ZeroMemset' is true, that |
| 776 | /// means it's a memset of zero. 'MemcpyStrSrc' indicates whether the memcpy |
| 777 | /// source is constant so it does not need to be loaded. |
Dan Gohman | 148c69a | 2010-04-16 20:11:05 +0000 | [diff] [blame] | 778 | /// It returns EVT::Other if the type should be determined using generic |
| 779 | /// target-independent logic. |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 780 | EVT |
NAKAMURA Takumi | dcc6645 | 2013-05-15 18:01:28 +0000 | [diff] [blame] | 781 | getOptimalMemOpType(uint64_t Size, unsigned DstAlign, unsigned SrcAlign, |
Evan Cheng | 962711e | 2012-12-12 02:34:41 +0000 | [diff] [blame] | 782 | bool IsMemset, bool ZeroMemset, bool MemcpyStrSrc, |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 783 | MachineFunction &MF) const override; |
Dan Gohman | c14e522 | 2008-10-21 03:41:46 +0000 | [diff] [blame] | 784 | |
Hal Finkel | 8d7fbc9 | 2013-03-15 15:27:13 +0000 | [diff] [blame] | 785 | /// Is unaligned memory access allowed for the given type, and is it fast |
| 786 | /// relative to software emulation. |
Matt Arsenault | 6f2a526 | 2014-07-27 17:46:40 +0000 | [diff] [blame] | 787 | bool allowsMisalignedMemoryAccesses(EVT VT, |
| 788 | unsigned AddrSpace, |
| 789 | unsigned Align = 1, |
| 790 | bool *Fast = nullptr) const override; |
Hal Finkel | 8d7fbc9 | 2013-03-15 15:27:13 +0000 | [diff] [blame] | 791 | |
Stephen Lin | 73de7bf | 2013-07-09 18:16:56 +0000 | [diff] [blame] | 792 | /// isFMAFasterThanFMulAndFAdd - Return true if an FMA operation is faster |
| 793 | /// than a pair of fmul and fadd instructions. fmuladd intrinsics will be |
| 794 | /// expanded to FMAs when this method returns true, otherwise fmuladd is |
| 795 | /// expanded to fmul + fadd. |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 796 | bool isFMAFasterThanFMulAndFAdd(EVT VT) const override; |
Hal Finkel | 0a479ae | 2012-06-22 00:49:52 +0000 | [diff] [blame] | 797 | |
Hal Finkel | 934361a | 2015-01-14 01:07:51 +0000 | [diff] [blame] | 798 | const MCPhysReg *getScratchRegisters(CallingConv::ID CC) const override; |
| 799 | |
Hal Finkel | b4240ca | 2014-03-31 17:48:16 +0000 | [diff] [blame] | 800 | // Should we expand the build vector with shuffles? |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 801 | bool |
Hal Finkel | b4240ca | 2014-03-31 17:48:16 +0000 | [diff] [blame] | 802 | shouldExpandBuildVectorWithShuffles(EVT VT, |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 803 | unsigned DefinedValues) const override; |
Hal Finkel | b4240ca | 2014-03-31 17:48:16 +0000 | [diff] [blame] | 804 | |
Bill Schmidt | 0cf702f | 2013-07-30 00:50:39 +0000 | [diff] [blame] | 805 | /// createFastISel - This method returns a target-specific FastISel object, |
| 806 | /// or null if the target does not support "fast" instruction selection. |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 807 | FastISel *createFastISel(FunctionLoweringInfo &FuncInfo, |
| 808 | const TargetLibraryInfo *LibInfo) const override; |
Bill Schmidt | 0cf702f | 2013-07-30 00:50:39 +0000 | [diff] [blame] | 809 | |
Ulrich Weigand | 85d5df2 | 2014-07-21 00:13:26 +0000 | [diff] [blame] | 810 | /// \brief Returns true if an argument of type Ty needs to be passed in a |
| 811 | /// contiguous block of registers in calling convention CallConv. |
| 812 | bool functionArgumentNeedsConsecutiveRegisters( |
| 813 | Type *Ty, CallingConv::ID CallConv, bool isVarArg) const override { |
| 814 | // We support any array type as "consecutive" block in the parameter |
| 815 | // save area. The element type defines the alignment requirement and |
| 816 | // whether the argument should go in GPRs, FPRs, or VRs if available. |
| 817 | // |
| 818 | // Note that clang uses this capability both to implement the ELFv2 |
| 819 | // homogeneous float/vector aggregate ABI, and to avoid having to use |
| 820 | // "byval" when passing aggregates that might fully fit in registers. |
| 821 | return Ty->isArrayTy(); |
| 822 | } |
| 823 | |
Joseph Tremoulet | f748c89 | 2015-11-07 01:11:31 +0000 | [diff] [blame] | 824 | /// If a physical register, this returns the register that receives the |
| 825 | /// exception address on entry to an EH pad. |
| 826 | unsigned |
| 827 | getExceptionPointerRegister(const Constant *PersonalityFn) const override; |
Hal Finkel | ed844c4 | 2015-01-06 22:31:02 +0000 | [diff] [blame] | 828 | |
Joseph Tremoulet | f748c89 | 2015-11-07 01:11:31 +0000 | [diff] [blame] | 829 | /// If a physical register, this returns the register that receives the |
| 830 | /// exception typeid on entry to a landing pad. |
| 831 | unsigned |
| 832 | getExceptionSelectorRegister(const Constant *PersonalityFn) const override; |
| 833 | |
Tim Shen | a1d8bc5 | 2016-04-19 20:14:52 +0000 | [diff] [blame] | 834 | /// Override to support customized stack guard loading. |
| 835 | bool useLoadStackGuardNode() const override; |
| 836 | void insertSSPDeclarations(Module &M) const override; |
| 837 | |
Ehsan Amiri | c90b02c | 2016-10-24 17:31:09 +0000 | [diff] [blame] | 838 | bool isFPImmLegal(const APFloat &Imm, EVT VT) const override; |
Joerg Sonnenberger | 8c1a9ac | 2016-11-16 00:37:30 +0000 | [diff] [blame] | 839 | |
| 840 | unsigned getJumpTableEncoding() const override; |
| 841 | bool isJumpTableRelative() const override; |
| 842 | SDValue getPICJumpTableRelocBase(SDValue Table, |
| 843 | SelectionDAG &DAG) const override; |
| 844 | const MCExpr *getPICJumpTableRelocBaseExpr(const MachineFunction *MF, |
| 845 | unsigned JTI, |
| 846 | MCContext &Ctx) const override; |
| 847 | |
Joseph Tremoulet | f748c89 | 2015-11-07 01:11:31 +0000 | [diff] [blame] | 848 | private: |
Hal Finkel | ed844c4 | 2015-01-06 22:31:02 +0000 | [diff] [blame] | 849 | struct ReuseLoadInfo { |
| 850 | SDValue Ptr; |
| 851 | SDValue Chain; |
| 852 | SDValue ResChain; |
| 853 | MachinePointerInfo MPI; |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 854 | bool IsDereferenceable = false; |
| 855 | bool IsInvariant = false; |
| 856 | unsigned Alignment = 0; |
Hal Finkel | ed844c4 | 2015-01-06 22:31:02 +0000 | [diff] [blame] | 857 | AAMDNodes AAInfo; |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 858 | const MDNode *Ranges = nullptr; |
Hal Finkel | ed844c4 | 2015-01-06 22:31:02 +0000 | [diff] [blame] | 859 | |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 860 | ReuseLoadInfo() = default; |
Justin Lebar | adbf09e | 2016-09-11 01:38:58 +0000 | [diff] [blame] | 861 | |
| 862 | MachineMemOperand::Flags MMOFlags() const { |
| 863 | MachineMemOperand::Flags F = MachineMemOperand::MONone; |
| 864 | if (IsDereferenceable) |
| 865 | F |= MachineMemOperand::MODereferenceable; |
| 866 | if (IsInvariant) |
| 867 | F |= MachineMemOperand::MOInvariant; |
| 868 | return F; |
| 869 | } |
Hal Finkel | ed844c4 | 2015-01-06 22:31:02 +0000 | [diff] [blame] | 870 | }; |
| 871 | |
| 872 | bool canReuseLoadAddress(SDValue Op, EVT MemVT, ReuseLoadInfo &RLI, |
Hal Finkel | 6c39269 | 2015-01-09 01:34:30 +0000 | [diff] [blame] | 873 | SelectionDAG &DAG, |
| 874 | ISD::LoadExtType ET = ISD::NON_EXTLOAD) const; |
Hal Finkel | ed844c4 | 2015-01-06 22:31:02 +0000 | [diff] [blame] | 875 | void spliceIntoChain(SDValue ResChain, SDValue NewResChain, |
| 876 | SelectionDAG &DAG) const; |
| 877 | |
| 878 | void LowerFP_TO_INTForReuse(SDValue Op, ReuseLoadInfo &RLI, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 879 | SelectionDAG &DAG, const SDLoc &dl) const; |
Nemanja Ivanovic | c38b531 | 2015-04-11 10:40:42 +0000 | [diff] [blame] | 880 | SDValue LowerFP_TO_INTDirectMove(SDValue Op, SelectionDAG &DAG, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 881 | const SDLoc &dl) const; |
Guozhi Wei | 1fd553c | 2016-12-12 22:09:02 +0000 | [diff] [blame] | 882 | |
| 883 | bool directMoveIsProfitable(const SDValue &Op) const; |
Nemanja Ivanovic | c38b531 | 2015-04-11 10:40:42 +0000 | [diff] [blame] | 884 | SDValue LowerINT_TO_FPDirectMove(SDValue Op, SelectionDAG &DAG, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 885 | const SDLoc &dl) const; |
Hal Finkel | ed844c4 | 2015-01-06 22:31:02 +0000 | [diff] [blame] | 886 | |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 887 | SDValue getFramePointerFrameIndex(SelectionDAG & DAG) const; |
| 888 | SDValue getReturnAddrFrameIndex(SelectionDAG & DAG) const; |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 889 | |
Evan Cheng | 67a69dd | 2010-01-27 00:07:07 +0000 | [diff] [blame] | 890 | bool |
| 891 | IsEligibleForTailCallOptimization(SDValue Callee, |
| 892 | CallingConv::ID CalleeCC, |
| 893 | bool isVarArg, |
| 894 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 895 | SelectionDAG& DAG) const; |
| 896 | |
Chuang-Yu Cheng | 2e5973e | 2016-04-06 02:04:38 +0000 | [diff] [blame] | 897 | bool |
| 898 | IsEligibleForTailCallOptimization_64SVR4( |
| 899 | SDValue Callee, |
| 900 | CallingConv::ID CalleeCC, |
| 901 | ImmutableCallSite *CS, |
| 902 | bool isVarArg, |
| 903 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 904 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 905 | SelectionDAG& DAG) const; |
| 906 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 907 | SDValue EmitTailCallLoadFPAndRetAddr(SelectionDAG &DAG, int SPDiff, |
| 908 | SDValue Chain, SDValue &LROpOut, |
Eric Christopher | e0d09ba | 2016-07-07 01:08:21 +0000 | [diff] [blame] | 909 | SDValue &FPOpOut, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 910 | const SDLoc &dl) const; |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 911 | |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 912 | SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; |
| 913 | SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; |
| 914 | SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const; |
| 915 | SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; |
Roman Divacky | e3f15c98 | 2012-06-04 17:36:38 +0000 | [diff] [blame] | 916 | SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 917 | SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 918 | SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const; |
| 919 | SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const; |
Duncan Sands | a098436 | 2011-09-06 13:37:06 +0000 | [diff] [blame] | 920 | SDValue LowerINIT_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; |
| 921 | SDValue LowerADJUST_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; |
Eric Christopher | b976a39 | 2016-07-07 00:39:27 +0000 | [diff] [blame] | 922 | SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const; |
| 923 | SDValue LowerVAARG(SDValue Op, SelectionDAG &DAG) const; |
| 924 | SDValue LowerVACOPY(SDValue Op, SelectionDAG &DAG) const; |
| 925 | SDValue LowerSTACKRESTORE(SDValue Op, SelectionDAG &DAG) const; |
| 926 | SDValue LowerGET_DYNAMIC_AREA_OFFSET(SDValue Op, SelectionDAG &DAG) const; |
| 927 | SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const; |
Hal Finkel | 5081ac2 | 2016-09-01 10:28:47 +0000 | [diff] [blame] | 928 | SDValue LowerEH_DWARF_CFA(SDValue Op, SelectionDAG &DAG) const; |
Hal Finkel | 940ab93 | 2014-02-28 00:27:01 +0000 | [diff] [blame] | 929 | SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const; |
| 930 | SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const; |
| 931 | SDValue LowerTRUNCATE(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 932 | SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const; |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 933 | SDValue LowerFP_TO_INT(SDValue Op, SelectionDAG &DAG, |
| 934 | const SDLoc &dl) const; |
Hal Finkel | f6d45f2 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 935 | SDValue LowerINT_TO_FP(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 936 | SDValue LowerFLT_ROUNDS_(SDValue Op, SelectionDAG &DAG) const; |
| 937 | SDValue LowerSHL_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 938 | SDValue LowerSRL_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 939 | SDValue LowerSRA_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 940 | SDValue LowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const; |
| 941 | SDValue LowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG) const; |
Nemanja Ivanovic | d5deb48 | 2016-09-14 14:19:09 +0000 | [diff] [blame] | 942 | SDValue LowerINSERT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const; |
Hal Finkel | c93a9a2 | 2015-02-25 01:06:45 +0000 | [diff] [blame] | 943 | SDValue LowerEXTRACT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 944 | SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const; |
Tim Shen | 3bef27c | 2017-05-16 20:18:06 +0000 | [diff] [blame] | 945 | SDValue LowerINTRINSIC_VOID(SDValue Op, SelectionDAG &DAG) const; |
Tony Jiang | 30a49d1 | 2017-06-12 17:58:42 +0000 | [diff] [blame] | 946 | SDValue LowerREM(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 947 | SDValue LowerSCALAR_TO_VECTOR(SDValue Op, SelectionDAG &DAG) const; |
Hal Finkel | 5c0d145 | 2014-03-30 13:22:59 +0000 | [diff] [blame] | 948 | SDValue LowerSIGN_EXTEND_INREG(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 949 | SDValue LowerMUL(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 950 | |
Hal Finkel | c93a9a2 | 2015-02-25 01:06:45 +0000 | [diff] [blame] | 951 | SDValue LowerVectorLoad(SDValue Op, SelectionDAG &DAG) const; |
| 952 | SDValue LowerVectorStore(SDValue Op, SelectionDAG &DAG) const; |
| 953 | |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 954 | SDValue LowerCallResult(SDValue Chain, SDValue InFlag, |
Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 955 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 956 | const SmallVectorImpl<ISD::InputArg> &Ins, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 957 | const SDLoc &dl, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 958 | SmallVectorImpl<SDValue> &InVals) const; |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 959 | SDValue FinishCall(CallingConv::ID CallConv, const SDLoc &dl, |
Eric Christopher | 2454a3b | 2016-07-07 01:08:23 +0000 | [diff] [blame] | 960 | bool isTailCall, bool isVarArg, bool isPatchPoint, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 961 | bool hasNest, SelectionDAG &DAG, |
| 962 | SmallVector<std::pair<unsigned, SDValue>, 8> &RegsToPass, |
Hal Finkel | e2ab0f1 | 2015-01-15 21:17:34 +0000 | [diff] [blame] | 963 | SDValue InFlag, SDValue Chain, SDValue CallSeqStart, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 964 | SDValue &Callee, int SPDiff, unsigned NumBytes, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 965 | const SmallVectorImpl<ISD::InputArg> &Ins, |
Hal Finkel | e2ab0f1 | 2015-01-15 21:17:34 +0000 | [diff] [blame] | 966 | SmallVectorImpl<SDValue> &InVals, |
| 967 | ImmutableCallSite *CS) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 968 | |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 969 | SDValue |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 970 | LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
| 971 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 972 | const SDLoc &dl, SelectionDAG &DAG, |
| 973 | SmallVectorImpl<SDValue> &InVals) const override; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 974 | |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 975 | SDValue LowerCall(TargetLowering::CallLoweringInfo &CLI, |
| 976 | SmallVectorImpl<SDValue> &InVals) const override; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 977 | |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 978 | bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, |
| 979 | bool isVarArg, |
| 980 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 981 | LLVMContext &Context) const override; |
Hal Finkel | 450128a | 2011-10-14 19:51:36 +0000 | [diff] [blame] | 982 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 983 | SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
| 984 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 985 | const SmallVectorImpl<SDValue> &OutVals, |
| 986 | const SDLoc &dl, SelectionDAG &DAG) const override; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 987 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 988 | SDValue extendArgForPPC64(ISD::ArgFlagsTy Flags, EVT ObjectVT, |
| 989 | SelectionDAG &DAG, SDValue ArgVal, |
| 990 | const SDLoc &dl) const; |
Bill Schmidt | 57d6de5 | 2012-10-23 15:51:16 +0000 | [diff] [blame] | 991 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 992 | SDValue LowerFormalArguments_Darwin( |
| 993 | SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
| 994 | const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &dl, |
| 995 | SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const; |
| 996 | SDValue LowerFormalArguments_64SVR4( |
| 997 | SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
| 998 | const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &dl, |
| 999 | SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const; |
| 1000 | SDValue LowerFormalArguments_32SVR4( |
| 1001 | SDValue Chain, CallingConv::ID CallConv, bool isVarArg, |
| 1002 | const SmallVectorImpl<ISD::InputArg> &Ins, const SDLoc &dl, |
| 1003 | SelectionDAG &DAG, SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 1004 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 1005 | SDValue createMemcpyOutsideCallSeq(SDValue Arg, SDValue PtrOff, |
| 1006 | SDValue CallSeqStart, |
| 1007 | ISD::ArgFlagsTy Flags, SelectionDAG &DAG, |
| 1008 | const SDLoc &dl) const; |
Bill Schmidt | 57d6de5 | 2012-10-23 15:51:16 +0000 | [diff] [blame] | 1009 | |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 1010 | SDValue LowerCall_Darwin(SDValue Chain, SDValue Callee, |
| 1011 | CallingConv::ID CallConv, bool isVarArg, |
Eric Christopher | 2454a3b | 2016-07-07 01:08:23 +0000 | [diff] [blame] | 1012 | bool isTailCall, bool isPatchPoint, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 1013 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 1014 | const SmallVectorImpl<SDValue> &OutVals, |
| 1015 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 1016 | const SDLoc &dl, SelectionDAG &DAG, |
| 1017 | SmallVectorImpl<SDValue> &InVals, |
| 1018 | ImmutableCallSite *CS) const; |
| 1019 | SDValue LowerCall_64SVR4(SDValue Chain, SDValue Callee, |
| 1020 | CallingConv::ID CallConv, bool isVarArg, |
Eric Christopher | 2454a3b | 2016-07-07 01:08:23 +0000 | [diff] [blame] | 1021 | bool isTailCall, bool isPatchPoint, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 1022 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 1023 | const SmallVectorImpl<SDValue> &OutVals, |
| 1024 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 1025 | const SDLoc &dl, SelectionDAG &DAG, |
| 1026 | SmallVectorImpl<SDValue> &InVals, |
| 1027 | ImmutableCallSite *CS) const; |
| 1028 | SDValue LowerCall_32SVR4(SDValue Chain, SDValue Callee, |
| 1029 | CallingConv::ID CallConv, bool isVarArg, |
Eric Christopher | 2454a3b | 2016-07-07 01:08:23 +0000 | [diff] [blame] | 1030 | bool isTailCall, bool isPatchPoint, |
Benjamin Kramer | bdc4956 | 2016-06-12 15:39:02 +0000 | [diff] [blame] | 1031 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 1032 | const SmallVectorImpl<SDValue> &OutVals, |
| 1033 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 1034 | const SDLoc &dl, SelectionDAG &DAG, |
| 1035 | SmallVectorImpl<SDValue> &InVals, |
| 1036 | ImmutableCallSite *CS) const; |
Hal Finkel | 756810f | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 1037 | |
| 1038 | SDValue lowerEH_SJLJ_SETJMP(SDValue Op, SelectionDAG &DAG) const; |
| 1039 | SDValue lowerEH_SJLJ_LONGJMP(SDValue Op, SelectionDAG &DAG) const; |
Hal Finkel | 2e10331 | 2013-04-03 04:01:11 +0000 | [diff] [blame] | 1040 | |
Hal Finkel | 940ab93 | 2014-02-28 00:27:01 +0000 | [diff] [blame] | 1041 | SDValue DAGCombineExtBoolTrunc(SDNode *N, DAGCombinerInfo &DCI) const; |
Nemanja Ivanovic | 44513e5 | 2016-07-05 09:22:29 +0000 | [diff] [blame] | 1042 | SDValue DAGCombineBuildVector(SDNode *N, DAGCombinerInfo &DCI) const; |
Hal Finkel | 940ab93 | 2014-02-28 00:27:01 +0000 | [diff] [blame] | 1043 | SDValue DAGCombineTruncBoolExt(SDNode *N, DAGCombinerInfo &DCI) const; |
Hal Finkel | 5efb918 | 2015-01-06 06:01:57 +0000 | [diff] [blame] | 1044 | SDValue combineFPToIntToFP(SDNode *N, DAGCombinerInfo &DCI) const; |
Tim Shen | 10c64e6 | 2017-05-12 19:25:37 +0000 | [diff] [blame] | 1045 | SDValue combineSHL(SDNode *N, DAGCombinerInfo &DCI) const; |
| 1046 | SDValue combineSRA(SDNode *N, DAGCombinerInfo &DCI) const; |
| 1047 | SDValue combineSRL(SDNode *N, DAGCombinerInfo &DCI) const; |
Sanjay Patel | bdf1e38 | 2014-09-26 23:01:47 +0000 | [diff] [blame] | 1048 | |
Ehsan Amiri | 8581868 | 2016-11-18 10:41:44 +0000 | [diff] [blame] | 1049 | /// ConvertSETCCToSubtract - looks at SETCC that compares ints. It replaces |
| 1050 | /// SETCC with integer subtraction when (1) there is a legal way of doing it |
| 1051 | /// (2) keeping the result of comparison in GPR has performance benefit. |
| 1052 | SDValue ConvertSETCCToSubtract(SDNode *N, DAGCombinerInfo &DCI) const; |
| 1053 | |
Evandro Menezes | 21f9ce1 | 2016-11-10 23:31:06 +0000 | [diff] [blame] | 1054 | SDValue getSqrtEstimate(SDValue Operand, SelectionDAG &DAG, int Enabled, |
| 1055 | int &RefinementSteps, bool &UseOneConstNR, |
| 1056 | bool Reciprocal) const override; |
Sanjay Patel | 0051efc | 2016-10-20 16:55:45 +0000 | [diff] [blame] | 1057 | SDValue getRecipEstimate(SDValue Operand, SelectionDAG &DAG, int Enabled, |
| 1058 | int &RefinementSteps) const override; |
Sanjay Patel | 1dd1559 | 2015-07-28 23:05:48 +0000 | [diff] [blame] | 1059 | unsigned combineRepeatedFPDivisors() const override; |
Bill Schmidt | 8c3976e | 2013-08-26 20:11:46 +0000 | [diff] [blame] | 1060 | |
| 1061 | CCAssignFn *useFastISelCCs(unsigned Flag) const; |
Nemanja Ivanovic | 8c11e79 | 2016-11-29 23:36:03 +0000 | [diff] [blame] | 1062 | |
| 1063 | SDValue |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 1064 | combineElementTruncationToVectorTruncation(SDNode *N, |
| 1065 | DAGCombinerInfo &DCI) const; |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 1066 | }; |
Bill Schmidt | 230b451 | 2013-06-12 16:39:22 +0000 | [diff] [blame] | 1067 | |
Bill Schmidt | 0cf702f | 2013-07-30 00:50:39 +0000 | [diff] [blame] | 1068 | namespace PPC { |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 1069 | |
Bill Schmidt | 0cf702f | 2013-07-30 00:50:39 +0000 | [diff] [blame] | 1070 | FastISel *createFastISel(FunctionLoweringInfo &FuncInfo, |
| 1071 | const TargetLibraryInfo *LibInfo); |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 1072 | |
| 1073 | } // end namespace PPC |
Bill Schmidt | 0cf702f | 2013-07-30 00:50:39 +0000 | [diff] [blame] | 1074 | |
Bill Schmidt | 230b451 | 2013-06-12 16:39:22 +0000 | [diff] [blame] | 1075 | bool CC_PPC32_SVR4_Custom_Dummy(unsigned &ValNo, MVT &ValVT, MVT &LocVT, |
| 1076 | CCValAssign::LocInfo &LocInfo, |
| 1077 | ISD::ArgFlagsTy &ArgFlags, |
| 1078 | CCState &State); |
| 1079 | |
| 1080 | bool CC_PPC32_SVR4_Custom_AlignArgRegs(unsigned &ValNo, MVT &ValVT, |
| 1081 | MVT &LocVT, |
| 1082 | CCValAssign::LocInfo &LocInfo, |
| 1083 | ISD::ArgFlagsTy &ArgFlags, |
| 1084 | CCState &State); |
| 1085 | |
Strahinja Petrovic | 30e0ce8 | 2016-08-05 08:47:26 +0000 | [diff] [blame] | 1086 | bool |
| 1087 | CC_PPC32_SVR4_Custom_SkipLastArgRegsPPCF128(unsigned &ValNo, MVT &ValVT, |
| 1088 | MVT &LocVT, |
| 1089 | CCValAssign::LocInfo &LocInfo, |
| 1090 | ISD::ArgFlagsTy &ArgFlags, |
| 1091 | CCState &State); |
| 1092 | |
Bill Schmidt | 230b451 | 2013-06-12 16:39:22 +0000 | [diff] [blame] | 1093 | bool CC_PPC32_SVR4_Custom_AlignFPArgRegs(unsigned &ValNo, MVT &ValVT, |
| 1094 | MVT &LocVT, |
| 1095 | CCValAssign::LocInfo &LocInfo, |
| 1096 | ISD::ArgFlagsTy &ArgFlags, |
| 1097 | CCState &State); |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 1098 | |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 1099 | } // end namespace llvm |
| 1100 | |
| 1101 | #endif // LLVM_TARGET_POWERPC_PPC32ISELLOWERING_H |