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 | |
| 15 | #ifndef LLVM_TARGET_POWERPC_PPC32ISELLOWERING_H |
| 16 | #define LLVM_TARGET_POWERPC_PPC32ISELLOWERING_H |
| 17 | |
Chris Lattner | bfca1ab | 2005-10-14 23:51:18 +0000 | [diff] [blame] | 18 | #include "PPC.h" |
Chris Lattner | 584a11a | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 19 | #include "PPCSubtarget.h" |
Craig Topper | b25fda9 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/SelectionDAG.h" |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 21 | #include "llvm/Target/TargetLowering.h" |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 22 | |
| 23 | namespace llvm { |
Chris Lattner | b2854fa | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 24 | namespace PPCISD { |
| 25 | enum NodeType { |
Nate Begeman | debcb55 | 2007-01-26 22:40:50 +0000 | [diff] [blame] | 26 | // Start the numbering where the builtin ops and target ops leave off. |
Dan Gohman | ed1cf1a | 2008-09-23 18:42:32 +0000 | [diff] [blame] | 27 | FIRST_NUMBER = ISD::BUILTIN_OP_END, |
Chris Lattner | b2854fa | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 28 | |
| 29 | /// FSEL - Traditional three-operand fsel node. |
| 30 | /// |
| 31 | FSEL, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 32 | |
Nate Begeman | 6095214 | 2005-09-06 22:03:27 +0000 | [diff] [blame] | 33 | /// FCFID - The FCFID instruction, taking an f64 operand and producing |
| 34 | /// and f64 value containing the FP representation of the integer that |
| 35 | /// was temporarily in the f64 operand. |
| 36 | FCFID, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 37 | |
| 38 | /// FCTI[D,W]Z - The FCTIDZ and FCTIWZ instructions, taking an f32 or f64 |
Nate Begeman | 6095214 | 2005-09-06 22:03:27 +0000 | [diff] [blame] | 39 | /// operand, producing an f64 value containing the integer representation |
| 40 | /// of that FP value. |
| 41 | FCTIDZ, FCTIWZ, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 42 | |
Chris Lattner | 27f5345 | 2006-03-01 05:50:56 +0000 | [diff] [blame] | 43 | /// STFIWX - The STFIWX instruction. The first operand is an input token |
Dan Gohman | 48b185d | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 44 | /// chain, then an f64 value to store, then an address to store it to. |
Chris Lattner | 27f5345 | 2006-03-01 05:50:56 +0000 | [diff] [blame] | 45 | STFIWX, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 46 | |
Nate Begeman | 69caef2 | 2005-12-13 22:55:22 +0000 | [diff] [blame] | 47 | // VMADDFP, VNMSUBFP - The VMADDFP and VNMSUBFP instructions, taking |
| 48 | // three v4f32 operands and producing a v4f32 result. |
| 49 | VMADDFP, VNMSUBFP, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 50 | |
Chris Lattner | a8713b1 | 2006-03-20 01:53:53 +0000 | [diff] [blame] | 51 | /// VPERM - The PPC VPERM Instruction. |
| 52 | /// |
| 53 | VPERM, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 54 | |
Chris Lattner | 595088a | 2005-11-17 07:30:41 +0000 | [diff] [blame] | 55 | /// Hi/Lo - These represent the high and low 16-bit parts of a global |
| 56 | /// address respectively. These nodes have two operands, the first of |
| 57 | /// which must be a TargetGlobalAddress, and the second of which must be a |
| 58 | /// Constant. Selected naively, these turn into 'lis G+C' and 'li G+C', |
| 59 | /// though these are usually folded into other nodes. |
| 60 | Hi, Lo, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 61 | |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 62 | TOC_ENTRY, |
| 63 | |
Tilmann Scheller | 79fef93 | 2009-12-18 13:00:15 +0000 | [diff] [blame] | 64 | /// The following three target-specific nodes are used for calls through |
| 65 | /// function pointers in the 64-bit SVR4 ABI. |
| 66 | |
| 67 | /// Restore the TOC from the TOC save area of the current stack frame. |
| 68 | /// This is basically a hard coded load instruction which additionally |
| 69 | /// takes/produces a flag. |
| 70 | TOC_RESTORE, |
| 71 | |
| 72 | /// Like a regular LOAD but additionally taking/producing a flag. |
| 73 | LOAD, |
| 74 | |
| 75 | /// LOAD into r2 (also taking/producing a flag). Like TOC_RESTORE, this is |
| 76 | /// a hard coded load instruction. |
| 77 | LOAD_TOC, |
| 78 | |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 79 | /// OPRC, CHAIN = DYNALLOC(CHAIN, NEGSIZE, FRAME_INDEX) |
| 80 | /// This instruction is lowered in PPCRegisterInfo::eliminateFrameIndex to |
| 81 | /// compute an allocation on the stack. |
| 82 | DYNALLOC, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 83 | |
Chris Lattner | 595088a | 2005-11-17 07:30:41 +0000 | [diff] [blame] | 84 | /// GlobalBaseReg - On Darwin, this node represents the result of the mflr |
| 85 | /// at function entry, used for PIC code. |
| 86 | GlobalBaseReg, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 87 | |
Chris Lattner | fea33f7 | 2005-12-06 02:10:38 +0000 | [diff] [blame] | 88 | /// These nodes represent the 32-bit PPC shifts that operate on 6-bit |
| 89 | /// shift amounts. These nodes are generated by the multi-precision shift |
| 90 | /// code. |
| 91 | SRL, SRA, SHL, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 92 | |
Chris Lattner | 4a66d69 | 2006-03-22 05:30:33 +0000 | [diff] [blame] | 93 | /// EXTSW_32 - This is the EXTSW instruction for use with "32-bit" |
| 94 | /// registers. |
| 95 | EXTSW_32, |
Nate Begeman | b11b8e4 | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 96 | |
Chris Lattner | eb755fc | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 97 | /// CALL - A direct function call. |
Hal Finkel | 51861b4 | 2012-03-31 14:45:15 +0000 | [diff] [blame] | 98 | /// CALL_NOP_SVR4 is a call with the special NOP which follows 64-bit |
| 99 | /// SVR4 calls. |
| 100 | CALL_Darwin, CALL_SVR4, CALL_NOP_SVR4, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 101 | |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 102 | /// NOP - Special NOP which follows 64-bit SVR4 calls. |
| 103 | NOP, |
| 104 | |
Chris Lattner | eb755fc | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 105 | /// CHAIN,FLAG = MTCTR(VAL, CHAIN[, INFLAG]) - Directly corresponds to a |
| 106 | /// MTCTR instruction. |
| 107 | MTCTR, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 108 | |
Chris Lattner | eb755fc | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 109 | /// CHAIN,FLAG = BCTRL(CHAIN, INFLAG) - Directly corresponds to a |
| 110 | /// BCTRL instruction. |
Tilmann Scheller | 773f14c | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 111 | BCTRL_Darwin, BCTRL_SVR4, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 112 | |
Nate Begeman | b11b8e4 | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 113 | /// Return with a flag operand, matched by 'blr' |
| 114 | RET_FLAG, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 115 | |
Dale Johannesen | d7d6638 | 2010-05-20 17:48:26 +0000 | [diff] [blame] | 116 | /// R32 = MFCR(CRREG, INFLAG) - Represents the MFCRpseud/MFOCRF |
| 117 | /// instructions. This copies the bits corresponding to the specified |
| 118 | /// CRREG into the resultant GPR. Bits corresponding to other CR regs |
| 119 | /// are undefined. |
Chris Lattner | 6961fc7 | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 120 | MFCR, |
Chris Lattner | d7495ae | 2006-03-31 05:13:27 +0000 | [diff] [blame] | 121 | |
| 122 | /// RESVEC = VCMP(LHS, RHS, OPC) - Represents one of the altivec VCMP* |
| 123 | /// instructions. For lack of better number, we use the opcode number |
| 124 | /// encoding for the OPC field to identify the compare. For example, 838 |
| 125 | /// is VCMPGTSH. |
| 126 | VCMP, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 127 | |
Chris Lattner | 6961fc7 | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 128 | /// RESVEC, OUTFLAG = VCMPo(LHS, RHS, OPC) - Represents one of the |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 129 | /// altivec VCMP*o instructions. For lack of better number, we use the |
Chris Lattner | 6961fc7 | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 130 | /// opcode number encoding for the OPC field to identify the compare. For |
| 131 | /// example, 838 is VCMPGTSH. |
Chris Lattner | 9754d14 | 2006-04-18 17:59:36 +0000 | [diff] [blame] | 132 | VCMPo, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 133 | |
Chris Lattner | 9754d14 | 2006-04-18 17:59:36 +0000 | [diff] [blame] | 134 | /// CHAIN = COND_BRANCH CHAIN, CRRC, OPC, DESTBB [, INFLAG] - This |
| 135 | /// corresponds to the COND_BRANCH pseudo instruction. CRRC is the |
| 136 | /// condition register to branch on, OPC is the branch opcode to use (e.g. |
| 137 | /// PPC::BLE), DESTBB is the destination block to branch to, and INFLAG is |
| 138 | /// an optional input flag argument. |
Chris Lattner | a7976d3 | 2006-07-10 20:56:58 +0000 | [diff] [blame] | 139 | COND_BRANCH, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 140 | |
Dale Johannesen | 666323e | 2007-10-10 01:01:31 +0000 | [diff] [blame] | 141 | // The following 5 instructions are used only as part of the |
| 142 | // long double-to-int conversion sequence. |
| 143 | |
| 144 | /// OUTFLAG = MFFS F8RC - This moves the FPSCR (not modelled) into the |
| 145 | /// register. |
| 146 | MFFS, |
| 147 | |
| 148 | /// OUTFLAG = MTFSB0 INFLAG - This clears a bit in the FPSCR. |
| 149 | MTFSB0, |
| 150 | |
| 151 | /// OUTFLAG = MTFSB1 INFLAG - This sets a bit in the FPSCR. |
| 152 | MTFSB1, |
| 153 | |
| 154 | /// F8RC, OUTFLAG = FADDRTZ F8RC, F8RC, INFLAG - This is an FADD done with |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 155 | /// rounding towards zero. It has flags added so it won't move past the |
Dale Johannesen | 666323e | 2007-10-10 01:01:31 +0000 | [diff] [blame] | 156 | /// FPSCR-setting instructions. |
| 157 | FADDRTZ, |
| 158 | |
| 159 | /// MTFSF = F8RC, INFLAG - This moves the register into the FPSCR. |
Evan Cheng | 51096af | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 160 | MTFSF, |
| 161 | |
Evan Cheng | 5102bd9 | 2008-04-19 02:30:38 +0000 | [diff] [blame] | 162 | /// LARX = This corresponds to PPC l{w|d}arx instrcution: load and |
Evan Cheng | 51096af | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 163 | /// reserve indexed. This is used to implement atomic operations. |
Evan Cheng | 5102bd9 | 2008-04-19 02:30:38 +0000 | [diff] [blame] | 164 | LARX, |
Evan Cheng | 51096af | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 165 | |
Evan Cheng | 5102bd9 | 2008-04-19 02:30:38 +0000 | [diff] [blame] | 166 | /// STCX = This corresponds to PPC stcx. instrcution: store conditional |
| 167 | /// indexed. This is used to implement atomic operations. |
| 168 | STCX, |
Evan Cheng | 51096af | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 169 | |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 170 | /// TC_RETURN - A tail call return. |
| 171 | /// operand #0 chain |
| 172 | /// operand #1 callee (register or absolute) |
| 173 | /// operand #2 stack adjustment |
| 174 | /// operand #3 optional in flag |
Dan Gohman | 48b185d | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 175 | TC_RETURN, |
| 176 | |
Hal Finkel | 5ab3780 | 2012-08-28 02:10:27 +0000 | [diff] [blame] | 177 | /// ch, gl = CR6[UN]SET ch, inglue - Toggle CR bit 6 for SVR4 vararg calls |
| 178 | CR6SET, |
| 179 | CR6UNSET, |
| 180 | |
Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 181 | /// G8RC = ADDIS_GOT_TPREL_HA %X2, Symbol - Used by the initial-exec |
| 182 | /// TLS model, produces an ADDIS8 instruction that adds the GOT |
| 183 | /// base to sym@got@tprel@ha. |
| 184 | ADDIS_GOT_TPREL_HA, |
| 185 | |
| 186 | /// G8RC = LD_GOT_TPREL_L Symbol, G8RReg - Used by the initial-exec |
Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 187 | /// TLS model, produces a LD instruction with base register G8RReg |
Bill Schmidt | 9f0b4ec | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 188 | /// and offset sym@got@tprel@l. This completes the addition that |
| 189 | /// finds the offset of "sym" relative to the thread pointer. |
| 190 | LD_GOT_TPREL_L, |
Bill Schmidt | ca4a0c9 | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 191 | |
| 192 | /// G8RC = ADD_TLS G8RReg, Symbol - Used by the initial-exec TLS |
| 193 | /// model, produces an ADD instruction that adds the contents of |
| 194 | /// G8RReg to the thread pointer. Symbol contains a relocation |
| 195 | /// sym@tls which is to be replaced by the thread pointer and |
| 196 | /// identifies to the linker that the instruction is part of a |
| 197 | /// TLS sequence. |
| 198 | ADD_TLS, |
| 199 | |
Bill Schmidt | c56f1d3 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 200 | /// G8RC = ADDIS_TLSGD_HA %X2, Symbol - For the general-dynamic TLS |
| 201 | /// model, produces an ADDIS8 instruction that adds the GOT base |
| 202 | /// register to sym@got@tlsgd@ha. |
| 203 | ADDIS_TLSGD_HA, |
| 204 | |
| 205 | /// G8RC = ADDI_TLSGD_L G8RReg, Symbol - For the general-dynamic TLS |
| 206 | /// model, produces an ADDI8 instruction that adds G8RReg to |
| 207 | /// sym@got@tlsgd@l. |
| 208 | ADDI_TLSGD_L, |
| 209 | |
| 210 | /// G8RC = GET_TLS_ADDR %X3, Symbol - For the general-dynamic TLS |
| 211 | /// model, produces a call to __tls_get_addr(sym@tlsgd). |
| 212 | GET_TLS_ADDR, |
| 213 | |
Bill Schmidt | 24b8dd6 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 214 | /// G8RC = ADDIS_TLSLD_HA %X2, Symbol - For the local-dynamic TLS |
| 215 | /// model, produces an ADDIS8 instruction that adds the GOT base |
| 216 | /// register to sym@got@tlsld@ha. |
| 217 | ADDIS_TLSLD_HA, |
| 218 | |
| 219 | /// G8RC = ADDI_TLSLD_L G8RReg, Symbol - For the local-dynamic TLS |
| 220 | /// model, produces an ADDI8 instruction that adds G8RReg to |
| 221 | /// sym@got@tlsld@l. |
| 222 | ADDI_TLSLD_L, |
| 223 | |
| 224 | /// G8RC = GET_TLSLD_ADDR %X3, Symbol - For the local-dynamic TLS |
| 225 | /// model, produces a call to __tls_get_addr(sym@tlsld). |
| 226 | GET_TLSLD_ADDR, |
| 227 | |
| 228 | /// G8RC = ADDIS_DTPREL_HA %X3, Symbol, Chain - For the |
| 229 | /// local-dynamic TLS model, produces an ADDIS8 instruction |
| 230 | /// that adds X3 to sym@dtprel@ha. The Chain operand is needed |
| 231 | /// to tie this in place following a copy to %X3 from the result |
| 232 | /// of a GET_TLSLD_ADDR. |
| 233 | ADDIS_DTPREL_HA, |
| 234 | |
| 235 | /// G8RC = ADDI_DTPREL_L G8RReg, Symbol - For the local-dynamic TLS |
| 236 | /// model, produces an ADDI8 instruction that adds G8RReg to |
| 237 | /// sym@got@dtprel@l. |
| 238 | ADDI_DTPREL_L, |
| 239 | |
Bill Schmidt | 51e7951 | 2013-02-20 15:50:31 +0000 | [diff] [blame] | 240 | /// VRRC = VADD_SPLAT Elt, EltSize - Temporary node to be expanded |
| 241 | /// into an ADD of a VSPLTI with itself during instruction selection. |
| 242 | /// Necessary to avoid losing this optimization due to constant folds. |
| 243 | VADD_SPLAT, |
| 244 | |
Dan Gohman | 48b185d | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 245 | /// STD_32 - This is the STD instruction for use with "32-bit" registers. |
| 246 | STD_32 = ISD::FIRST_TARGET_MEMORY_OPCODE, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 247 | |
| 248 | /// CHAIN = STBRX CHAIN, GPRC, Ptr, Type - This is a |
Dan Gohman | 48b185d | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 249 | /// byte-swapping store instruction. It byte-swaps the low "Type" bits of |
| 250 | /// the GPRC input, then stores it through Ptr. Type can be either i16 or |
| 251 | /// i32. |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 252 | STBRX, |
| 253 | |
| 254 | /// GPRC, CHAIN = LBRX CHAIN, Ptr, Type - This is a |
Dan Gohman | 48b185d | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 255 | /// byte-swapping load instruction. It loads "Type" bits, byte swaps it, |
| 256 | /// then puts it in the bottom bits of the GPRC. TYPE can be either i16 |
| 257 | /// or i32. |
Bill Schmidt | 34627e3 | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 258 | LBRX, |
| 259 | |
| 260 | /// G8RC = ADDIS_TOC_HA %X2, Symbol - For medium code model, produces |
| 261 | /// an ADDIS8 instruction that adds the TOC base register to sym@toc@ha. |
| 262 | ADDIS_TOC_HA, |
| 263 | |
| 264 | /// G8RC = LD_TOC_L Symbol, G8RReg - For medium code model, produces a |
| 265 | /// LD instruction with base register G8RReg and offset sym@toc@l. |
| 266 | /// Preceded by an ADDIS_TOC_HA to form a full 32-bit offset. |
| 267 | LD_TOC_L, |
| 268 | |
| 269 | /// G8RC = ADDI_TOC_L G8RReg, Symbol - For medium code model, produces |
| 270 | /// an ADDI8 instruction that adds G8RReg to sym@toc@l. |
| 271 | /// Preceded by an ADDIS_TOC_HA to form a full 32-bit offset. |
| 272 | ADDI_TOC_L |
Chris Lattner | f424a66 | 2006-01-27 23:34:02 +0000 | [diff] [blame] | 273 | }; |
Chris Lattner | 382f356 | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 274 | } |
| 275 | |
| 276 | /// Define some predicates that are used for node matching. |
| 277 | namespace PPC { |
Chris Lattner | e8b83b4 | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 278 | /// isVPKUHUMShuffleMask - Return true if this is the shuffle mask for a |
| 279 | /// VPKUHUM instruction. |
Nate Begeman | 8d6d4b9 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 280 | bool isVPKUHUMShuffleMask(ShuffleVectorSDNode *N, bool isUnary); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 281 | |
Chris Lattner | e8b83b4 | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 282 | /// isVPKUWUMShuffleMask - Return true if this is the shuffle mask for a |
| 283 | /// VPKUWUM instruction. |
Nate Begeman | 8d6d4b9 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 284 | bool isVPKUWUMShuffleMask(ShuffleVectorSDNode *N, bool isUnary); |
Chris Lattner | d1dcb52 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 285 | |
| 286 | /// isVMRGLShuffleMask - Return true if this is a shuffle mask suitable for |
| 287 | /// 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] | 288 | bool isVMRGLShuffleMask(ShuffleVectorSDNode *N, unsigned UnitSize, |
| 289 | bool isUnary); |
Chris Lattner | d1dcb52 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 290 | |
| 291 | /// isVMRGHShuffleMask - Return true if this is a shuffle mask suitable for |
| 292 | /// 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] | 293 | bool isVMRGHShuffleMask(ShuffleVectorSDNode *N, unsigned UnitSize, |
| 294 | bool isUnary); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 295 | |
Chris Lattner | 1d33819 | 2006-04-06 18:26:28 +0000 | [diff] [blame] | 296 | /// isVSLDOIShuffleMask - If this is a vsldoi shuffle mask, return the shift |
| 297 | /// amount, otherwise return -1. |
Chris Lattner | a4bbfae | 2006-04-06 22:28:36 +0000 | [diff] [blame] | 298 | int isVSLDOIShuffleMask(SDNode *N, bool isUnary); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 299 | |
Chris Lattner | 382f356 | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 300 | /// isSplatShuffleMask - Return true if the specified VECTOR_SHUFFLE operand |
| 301 | /// specifies a splat of a single element that is suitable for input to |
| 302 | /// VSPLTB/VSPLTH/VSPLTW. |
Nate Begeman | 8d6d4b9 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 303 | bool isSplatShuffleMask(ShuffleVectorSDNode *N, unsigned EltSize); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 304 | |
Evan Cheng | 581d279 | 2007-07-30 07:51:22 +0000 | [diff] [blame] | 305 | /// isAllNegativeZeroVector - Returns true if all elements of build_vector |
| 306 | /// are -0.0. |
| 307 | bool isAllNegativeZeroVector(SDNode *N); |
| 308 | |
Chris Lattner | 382f356 | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 309 | /// getVSPLTImmediate - Return the appropriate VSPLT* immediate to splat the |
| 310 | /// specified isSplatShuffleMask VECTOR_SHUFFLE mask. |
Chris Lattner | 95c7adc | 2006-04-04 17:25:31 +0000 | [diff] [blame] | 311 | unsigned getVSPLTImmediate(SDNode *N, unsigned EltSize); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 312 | |
Chris Lattner | 74cf9ff | 2006-04-12 17:37:20 +0000 | [diff] [blame] | 313 | /// 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] | 314 | /// formed by using a vspltis[bhw] instruction of the specified element |
| 315 | /// size, return the constant being splatted. The ByteSize field indicates |
| 316 | /// the number of bytes of each element [124] -> [bhw]. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 317 | SDValue get_VSPLTI_elt(SDNode *N, unsigned ByteSize, SelectionDAG &DAG); |
Chris Lattner | 382f356 | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 318 | } |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 319 | |
Nate Begeman | 6cca84e | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 320 | class PPCTargetLowering : public TargetLowering { |
Chris Lattner | 584a11a | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 321 | const PPCSubtarget &PPCSubTarget; |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 322 | |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 323 | public: |
Dan Gohman | 5f6a9da5 | 2007-08-02 21:21:54 +0000 | [diff] [blame] | 324 | explicit PPCTargetLowering(PPCTargetMachine &TM); |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 325 | |
Chris Lattner | 347ed8a | 2006-01-09 23:52:17 +0000 | [diff] [blame] | 326 | /// getTargetNodeName() - This method returns the name of a target specific |
| 327 | /// DAG node. |
| 328 | virtual const char *getTargetNodeName(unsigned Opcode) const; |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 329 | |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 330 | virtual MVT getShiftAmountTy(EVT LHSTy) const { return MVT::i32; } |
| 331 | |
Scott Michel | a6729e8 | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 332 | /// getSetCCResultType - Return the ISD::SETCC ValueType |
Duncan Sands | f2641e1 | 2011-09-06 19:07:46 +0000 | [diff] [blame] | 333 | virtual EVT getSetCCResultType(EVT VT) const; |
Scott Michel | a6729e8 | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 334 | |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 335 | /// getPreIndexedAddressParts - returns true by value, base pointer and |
| 336 | /// offset pointer and addressing mode by reference if the node's address |
| 337 | /// can be legally represented as pre-indexed load / store address. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 338 | virtual bool getPreIndexedAddressParts(SDNode *N, SDValue &Base, |
| 339 | SDValue &Offset, |
Evan Cheng | b150007 | 2006-11-09 17:55:04 +0000 | [diff] [blame] | 340 | ISD::MemIndexedMode &AM, |
Dan Gohman | 02b9313 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 341 | SelectionDAG &DAG) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 342 | |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 343 | /// SelectAddressRegReg - Given the specified addressed, check to see if it |
| 344 | /// can be represented as an indexed [r+r] operation. Returns false if it |
| 345 | /// can be more efficiently represented with [r+imm]. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 346 | bool SelectAddressRegReg(SDValue N, SDValue &Base, SDValue &Index, |
Dan Gohman | 02b9313 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 347 | SelectionDAG &DAG) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 348 | |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 349 | /// SelectAddressRegImm - Returns true if the address N can be represented |
| 350 | /// by a base register plus a signed 16-bit displacement [r+imm], and if it |
| 351 | /// is not better represented as reg+reg. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 352 | bool SelectAddressRegImm(SDValue N, SDValue &Disp, SDValue &Base, |
Dan Gohman | 02b9313 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 353 | SelectionDAG &DAG) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 354 | |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 355 | /// SelectAddressRegRegOnly - Given the specified addressed, force it to be |
| 356 | /// represented as an indexed [r+r] operation. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 357 | bool SelectAddressRegRegOnly(SDValue N, SDValue &Base, SDValue &Index, |
Dan Gohman | 02b9313 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 358 | SelectionDAG &DAG) const; |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 359 | |
| 360 | /// SelectAddressRegImmShift - Returns true if the address N can be |
| 361 | /// represented by a base register plus a signed 14-bit displacement |
| 362 | /// [r+imm*4]. Suitable for use by STD and friends. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 363 | bool SelectAddressRegImmShift(SDValue N, SDValue &Disp, SDValue &Base, |
Dan Gohman | 02b9313 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 364 | SelectionDAG &DAG) const; |
Chris Lattner | a801fced | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 365 | |
Hal Finkel | 88ed4e3 | 2012-04-01 19:23:08 +0000 | [diff] [blame] | 366 | Sched::Preference getSchedulingPreference(SDNode *N) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 367 | |
Chris Lattner | f3d06c6 | 2005-08-26 00:52:45 +0000 | [diff] [blame] | 368 | /// LowerOperation - Provide custom lowering hooks for some operations. |
| 369 | /// |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 370 | virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const; |
Chris Lattner | 57ee7c6 | 2007-11-28 18:44:47 +0000 | [diff] [blame] | 371 | |
Duncan Sands | 6ed4014 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 372 | /// ReplaceNodeResults - Replace the results of node with an illegal result |
| 373 | /// type with new values built out of custom code. |
| 374 | /// |
| 375 | virtual void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 376 | SelectionDAG &DAG) const; |
Duncan Sands | 6ed4014 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 377 | |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 378 | virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 379 | |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 380 | virtual void computeMaskedBitsForTargetNode(const SDValue Op, |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 381 | APInt &KnownZero, |
Dan Gohman | f990faf | 2008-02-13 00:35:47 +0000 | [diff] [blame] | 382 | APInt &KnownOne, |
Dan Gohman | 309d3d5 | 2007-06-22 14:59:07 +0000 | [diff] [blame] | 383 | const SelectionDAG &DAG, |
Chris Lattner | c5287c0 | 2006-04-02 06:26:07 +0000 | [diff] [blame] | 384 | unsigned Depth = 0) const; |
Nate Begeman | 78afac2 | 2005-10-18 23:23:37 +0000 | [diff] [blame] | 385 | |
Dan Gohman | 25c1653 | 2010-05-01 00:01:06 +0000 | [diff] [blame] | 386 | virtual MachineBasicBlock * |
| 387 | EmitInstrWithCustomInserter(MachineInstr *MI, |
| 388 | MachineBasicBlock *MBB) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 389 | MachineBasicBlock *EmitAtomicBinary(MachineInstr *MI, |
Dale Johannesen | d4eb052 | 2008-08-25 22:34:37 +0000 | [diff] [blame] | 390 | MachineBasicBlock *MBB, bool is64Bit, |
Dan Gohman | 747e55b | 2009-02-07 16:15:20 +0000 | [diff] [blame] | 391 | unsigned BinOpcode) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 392 | MachineBasicBlock *EmitPartwordAtomicBinary(MachineInstr *MI, |
| 393 | MachineBasicBlock *MBB, |
Dan Gohman | 747e55b | 2009-02-07 16:15:20 +0000 | [diff] [blame] | 394 | bool is8bit, unsigned Opcode) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 395 | |
Chris Lattner | d685514 | 2007-03-25 02:14:49 +0000 | [diff] [blame] | 396 | ConstraintType getConstraintType(const std::string &Constraint) const; |
John Thompson | e8360b7 | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 397 | |
| 398 | /// Examine constraint string and operand type and determine a weight value. |
| 399 | /// The operand object must already have been set up with the operand type. |
| 400 | ConstraintWeight getSingleConstraintMatchWeight( |
| 401 | AsmOperandInfo &info, const char *constraint) const; |
| 402 | |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 403 | std::pair<unsigned, const TargetRegisterClass*> |
Chris Lattner | 584a11a | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 404 | getRegForInlineAsmConstraint(const std::string &Constraint, |
Owen Anderson | 53aa7a9 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 405 | EVT VT) const; |
Evan Cheng | 2dd2c65 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 406 | |
Dale Johannesen | cbde4c2 | 2008-02-28 22:31:51 +0000 | [diff] [blame] | 407 | /// getByValTypeAlignment - Return the desired alignment for ByVal aggregate |
| 408 | /// function arguments in the caller parameter area. This is the actual |
| 409 | /// alignment, not its logarithm. |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 410 | unsigned getByValTypeAlignment(Type *Ty) const; |
Dale Johannesen | cbde4c2 | 2008-02-28 22:31:51 +0000 | [diff] [blame] | 411 | |
Chris Lattner | d8c9cb9 | 2007-08-25 00:47:38 +0000 | [diff] [blame] | 412 | /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops |
Dale Johannesen | ce97d55 | 2010-06-25 21:55:36 +0000 | [diff] [blame] | 413 | /// vector. If it is invalid, don't add anything to Ops. |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 414 | virtual void LowerAsmOperandForConstraint(SDValue Op, |
Eric Christopher | de9399b | 2011-06-02 23:16:42 +0000 | [diff] [blame] | 415 | std::string &Constraint, |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 416 | std::vector<SDValue> &Ops, |
Chris Lattner | 724539c | 2008-04-26 23:02:14 +0000 | [diff] [blame] | 417 | SelectionDAG &DAG) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 418 | |
Chris Lattner | 1eb94d9 | 2007-03-30 23:15:24 +0000 | [diff] [blame] | 419 | /// isLegalAddressingMode - Return true if the addressing mode represented |
| 420 | /// by AM is legal for this target, for a load/store of the specified type. |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 421 | virtual bool isLegalAddressingMode(const AddrMode &AM, Type *Ty)const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 422 | |
Evan Cheng | 2dd2c65 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 423 | /// isLegalAddressImmediate - Return true if the integer value can be used |
Evan Cheng | b9dce9d | 2007-03-12 23:29:01 +0000 | [diff] [blame] | 424 | /// as the offset of the target addressing mode for load / store of the |
| 425 | /// given type. |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 426 | virtual bool isLegalAddressImmediate(int64_t V, Type *Ty) const; |
Evan Cheng | b9dce9d | 2007-03-12 23:29:01 +0000 | [diff] [blame] | 427 | |
| 428 | /// isLegalAddressImmediate - Return true if the GlobalValue can be used as |
| 429 | /// the offset of the target addressing mode. |
| 430 | virtual bool isLegalAddressImmediate(GlobalValue *GV) const; |
Nicolas Geoffray | 75ab979 | 2007-03-01 13:11:38 +0000 | [diff] [blame] | 431 | |
Dan Gohman | c14e522 | 2008-10-21 03:41:46 +0000 | [diff] [blame] | 432 | virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const; |
Owen Anderson | b2c80da | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 433 | |
Evan Cheng | d9929f0 | 2010-04-01 20:10:42 +0000 | [diff] [blame] | 434 | /// getOptimalMemOpType - Returns the target specific optimal type for load |
Evan Cheng | 6139937 | 2010-04-02 19:36:14 +0000 | [diff] [blame] | 435 | /// and store operations as a result of memset, memcpy, and memmove |
| 436 | /// lowering. If DstAlign is zero that means it's safe to destination |
| 437 | /// alignment can satisfy any constraint. Similarly if SrcAlign is zero it |
| 438 | /// means there isn't a need to check it against alignment requirement, |
Evan Cheng | 962711e | 2012-12-12 02:34:41 +0000 | [diff] [blame] | 439 | /// probably because the source does not need to be loaded. If 'IsMemset' is |
| 440 | /// true, that means it's expanding a memset. If 'ZeroMemset' is true, that |
| 441 | /// means it's a memset of zero. 'MemcpyStrSrc' indicates whether the memcpy |
| 442 | /// source is constant so it does not need to be loaded. |
Dan Gohman | 148c69a | 2010-04-16 20:11:05 +0000 | [diff] [blame] | 443 | /// It returns EVT::Other if the type should be determined using generic |
| 444 | /// target-independent logic. |
Evan Cheng | 6139937 | 2010-04-02 19:36:14 +0000 | [diff] [blame] | 445 | virtual EVT |
Evan Cheng | 962711e | 2012-12-12 02:34:41 +0000 | [diff] [blame] | 446 | getOptimalMemOpType(uint64_t Size, unsigned DstAlign, unsigned SrcAlign, |
| 447 | bool IsMemset, bool ZeroMemset, bool MemcpyStrSrc, |
Dan Gohman | 148c69a | 2010-04-16 20:11:05 +0000 | [diff] [blame] | 448 | MachineFunction &MF) const; |
Dan Gohman | c14e522 | 2008-10-21 03:41:46 +0000 | [diff] [blame] | 449 | |
Hal Finkel | 0a479ae | 2012-06-22 00:49:52 +0000 | [diff] [blame] | 450 | /// isFMAFasterThanMulAndAdd - Return true if an FMA operation is faster than |
| 451 | /// a pair of mul and add instructions. fmuladd intrinsics will be expanded to |
| 452 | /// FMAs when this method returns true (and FMAs are legal), otherwise fmuladd |
| 453 | /// is expanded to mul + add. |
| 454 | virtual bool isFMAFasterThanMulAndAdd(EVT VT) const; |
| 455 | |
Evan Cheng | 51096af | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 456 | private: |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 457 | SDValue getFramePointerFrameIndex(SelectionDAG & DAG) const; |
| 458 | SDValue getReturnAddrFrameIndex(SelectionDAG & DAG) const; |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 459 | |
Evan Cheng | 67a69dd | 2010-01-27 00:07:07 +0000 | [diff] [blame] | 460 | bool |
| 461 | IsEligibleForTailCallOptimization(SDValue Callee, |
| 462 | CallingConv::ID CalleeCC, |
| 463 | bool isVarArg, |
| 464 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 465 | SelectionDAG& DAG) const; |
| 466 | |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 467 | SDValue EmitTailCallLoadFPAndRetAddr(SelectionDAG & DAG, |
Dale Johannesen | 021052a | 2009-02-04 20:06:27 +0000 | [diff] [blame] | 468 | int SPDiff, |
| 469 | SDValue Chain, |
| 470 | SDValue &LROpOut, |
| 471 | SDValue &FPOpOut, |
Tilmann Scheller | 773f14c | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 472 | bool isDarwinABI, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 473 | DebugLoc dl) const; |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 474 | |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 475 | SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; |
| 476 | SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; |
| 477 | SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const; |
| 478 | SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; |
Roman Divacky | e3f15c98 | 2012-06-04 17:36:38 +0000 | [diff] [blame] | 479 | SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 480 | SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 481 | SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const; |
| 482 | SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const; |
Duncan Sands | a098436 | 2011-09-06 13:37:06 +0000 | [diff] [blame] | 483 | SDValue LowerINIT_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; |
| 484 | SDValue LowerADJUST_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 485 | SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 486 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 487 | SDValue LowerVAARG(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 488 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 489 | SDValue LowerSTACKRESTORE(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 490 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 2ce6f2a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 491 | SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 492 | const PPCSubtarget &Subtarget) const; |
| 493 | SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const; |
| 494 | SDValue LowerFP_TO_INT(SDValue Op, SelectionDAG &DAG, DebugLoc dl) const; |
| 495 | SDValue LowerSINT_TO_FP(SDValue Op, SelectionDAG &DAG) const; |
| 496 | SDValue LowerFLT_ROUNDS_(SDValue Op, SelectionDAG &DAG) const; |
| 497 | SDValue LowerSHL_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 498 | SDValue LowerSRL_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 499 | SDValue LowerSRA_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 500 | SDValue LowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const; |
| 501 | SDValue LowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG) const; |
| 502 | SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const; |
| 503 | SDValue LowerSCALAR_TO_VECTOR(SDValue Op, SelectionDAG &DAG) const; |
| 504 | SDValue LowerMUL(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 505 | |
| 506 | SDValue LowerCallResult(SDValue Chain, SDValue InFlag, |
Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 507 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 508 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 509 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 510 | SmallVectorImpl<SDValue> &InVals) const; |
Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 511 | SDValue FinishCall(CallingConv::ID CallConv, DebugLoc dl, bool isTailCall, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 512 | bool isVarArg, |
| 513 | SelectionDAG &DAG, |
| 514 | SmallVector<std::pair<unsigned, SDValue>, 8> |
| 515 | &RegsToPass, |
| 516 | SDValue InFlag, SDValue Chain, |
| 517 | SDValue &Callee, |
| 518 | int SPDiff, unsigned NumBytes, |
| 519 | const SmallVectorImpl<ISD::InputArg> &Ins, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 520 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 521 | |
| 522 | virtual SDValue |
| 523 | LowerFormalArguments(SDValue Chain, |
Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 524 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 525 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 526 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 527 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 528 | |
| 529 | virtual SDValue |
Justin Holewinski | aa58397 | 2012-05-25 16:35:28 +0000 | [diff] [blame] | 530 | LowerCall(TargetLowering::CallLoweringInfo &CLI, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 531 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 532 | |
Hal Finkel | 450128a | 2011-10-14 19:51:36 +0000 | [diff] [blame] | 533 | virtual bool |
| 534 | CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, |
| 535 | bool isVarArg, |
| 536 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 537 | LLVMContext &Context) const; |
| 538 | |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 539 | virtual SDValue |
| 540 | LowerReturn(SDValue Chain, |
Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 541 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 542 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | fe7532a | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 543 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 544 | DebugLoc dl, SelectionDAG &DAG) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 545 | |
| 546 | SDValue |
Bill Schmidt | 57d6de5 | 2012-10-23 15:51:16 +0000 | [diff] [blame] | 547 | extendArgForPPC64(ISD::ArgFlagsTy Flags, EVT ObjectVT, SelectionDAG &DAG, |
| 548 | SDValue ArgVal, DebugLoc dl) const; |
| 549 | |
| 550 | void |
| 551 | setMinReservedArea(MachineFunction &MF, SelectionDAG &DAG, |
| 552 | unsigned nAltivecParamsAtEnd, |
| 553 | unsigned MinReservedArea, bool isPPC64) const; |
| 554 | |
| 555 | SDValue |
Bill Schmidt | d1fa36f | 2012-10-05 21:27:08 +0000 | [diff] [blame] | 556 | LowerFormalArguments_Darwin(SDValue Chain, |
| 557 | CallingConv::ID CallConv, bool isVarArg, |
| 558 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 559 | DebugLoc dl, SelectionDAG &DAG, |
| 560 | SmallVectorImpl<SDValue> &InVals) const; |
| 561 | SDValue |
| 562 | LowerFormalArguments_64SVR4(SDValue Chain, |
Sandeep Patel | 68c5f47 | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 563 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 564 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 565 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 566 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 567 | SDValue |
Bill Schmidt | 019cc6f | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 568 | LowerFormalArguments_32SVR4(SDValue Chain, |
| 569 | CallingConv::ID CallConv, bool isVarArg, |
| 570 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 571 | DebugLoc dl, SelectionDAG &DAG, |
| 572 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 573 | |
| 574 | SDValue |
Bill Schmidt | 57d6de5 | 2012-10-23 15:51:16 +0000 | [diff] [blame] | 575 | createMemcpyOutsideCallSeq(SDValue Arg, SDValue PtrOff, |
| 576 | SDValue CallSeqStart, ISD::ArgFlagsTy Flags, |
| 577 | SelectionDAG &DAG, DebugLoc dl) const; |
| 578 | |
| 579 | SDValue |
| 580 | LowerCall_Darwin(SDValue Chain, SDValue Callee, |
| 581 | CallingConv::ID CallConv, |
| 582 | bool isVarArg, bool isTailCall, |
| 583 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 584 | const SmallVectorImpl<SDValue> &OutVals, |
| 585 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 586 | DebugLoc dl, SelectionDAG &DAG, |
| 587 | SmallVectorImpl<SDValue> &InVals) const; |
| 588 | SDValue |
| 589 | LowerCall_64SVR4(SDValue Chain, SDValue Callee, |
Bill Schmidt | 019cc6f | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 590 | CallingConv::ID CallConv, |
Evan Cheng | 65f9d19 | 2012-02-28 18:51:51 +0000 | [diff] [blame] | 591 | bool isVarArg, bool isTailCall, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 592 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | fe7532a | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 593 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 594 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 595 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 596 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | f9bbcd1 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 597 | SDValue |
Bill Schmidt | 019cc6f | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 598 | LowerCall_32SVR4(SDValue Chain, SDValue Callee, CallingConv::ID CallConv, |
| 599 | bool isVarArg, bool isTailCall, |
| 600 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 601 | const SmallVectorImpl<SDValue> &OutVals, |
| 602 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 603 | DebugLoc dl, SelectionDAG &DAG, |
| 604 | SmallVectorImpl<SDValue> &InVals) const; |
Chris Lattner | f22556d | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 605 | }; |
| 606 | } |
| 607 | |
| 608 | #endif // LLVM_TARGET_POWERPC_PPC32ISELLOWERING_H |