Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 1 | //===-- PPCISelLowering.h - PPC32 DAG Lowering Interface --------*- C++ -*-===// |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 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 | 7c5a3d3 | 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 | 2668959 | 2005-10-14 23:51:18 +0000 | [diff] [blame] | 18 | #include "PPC.h" |
Chris Lattner | 331d1bc | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 19 | #include "PPCSubtarget.h" |
Craig Topper | 79aa341 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/SelectionDAG.h" |
Chandler Carruth | a1514e2 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 21 | #include "llvm/Target/TargetLowering.h" |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 22 | |
| 23 | namespace llvm { |
Chris Lattner | 0bbea95 | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 24 | namespace PPCISD { |
| 25 | enum NodeType { |
Nate Begeman | 3c983c3 | 2007-01-26 22:40:50 +0000 | [diff] [blame] | 26 | // Start the numbering where the builtin ops and target ops leave off. |
Dan Gohman | 0ba2bcf | 2008-09-23 18:42:32 +0000 | [diff] [blame] | 27 | FIRST_NUMBER = ISD::BUILTIN_OP_END, |
Chris Lattner | 0bbea95 | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 28 | |
| 29 | /// FSEL - Traditional three-operand fsel node. |
| 30 | /// |
| 31 | FSEL, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 32 | |
Nate Begeman | c09eeec | 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 | 95771af | 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 | c09eeec | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 42 | |
Chris Lattner | 5126984 | 2006-03-01 05:50:56 +0000 | [diff] [blame] | 43 | /// STFIWX - The STFIWX instruction. The first operand is an input token |
Dan Gohman | c76909a | 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 | 5126984 | 2006-03-01 05:50:56 +0000 | [diff] [blame] | 45 | STFIWX, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 46 | |
Nate Begeman | 993aeb2 | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 50 | |
Chris Lattner | f1d0b2b | 2006-03-20 01:53:53 +0000 | [diff] [blame] | 51 | /// VPERM - The PPC VPERM Instruction. |
| 52 | /// |
| 53 | VPERM, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 54 | |
Chris Lattner | 860e886 | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 61 | |
Tilmann Scheller | 6b16eff | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 62 | TOC_ENTRY, |
| 63 | |
Tilmann Scheller | 3a84dae | 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 | 2f616bf | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 83 | |
Chris Lattner | 860e886 | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 87 | |
Chris Lattner | 4172b10 | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 92 | |
Chris Lattner | ecfe55e | 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 | 9e4dd9d | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 96 | |
Chris Lattner | c703a8f | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 97 | /// CALL - A direct function call. |
Hal Finkel | 5b00cea | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 101 | |
Tilmann Scheller | 6b16eff | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 102 | /// NOP - Special NOP which follows 64-bit SVR4 calls. |
| 103 | NOP, |
| 104 | |
Chris Lattner | c703a8f | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 108 | |
Chris Lattner | c703a8f | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 109 | /// CHAIN,FLAG = BCTRL(CHAIN, INFLAG) - Directly corresponds to a |
| 110 | /// BCTRL instruction. |
Tilmann Scheller | 2a9ddfb | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 111 | BCTRL_Darwin, BCTRL_SVR4, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 112 | |
Nate Begeman | 9e4dd9d | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 113 | /// Return with a flag operand, matched by 'blr' |
| 114 | RET_FLAG, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 115 | |
Dale Johannesen | 5f07d52 | 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 | 6d92cad | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 120 | MFCR, |
Chris Lattner | a17b155 | 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 | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 127 | |
Chris Lattner | 6d92cad | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 128 | /// RESVEC, OUTFLAG = VCMPo(LHS, RHS, OPC) - Represents one of the |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 129 | /// altivec VCMP*o instructions. For lack of better number, we use the |
Chris Lattner | 6d92cad | 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 | 90564f2 | 2006-04-18 17:59:36 +0000 | [diff] [blame] | 132 | VCMPo, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 133 | |
Chris Lattner | 90564f2 | 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 | d998938 | 2006-07-10 20:56:58 +0000 | [diff] [blame] | 139 | COND_BRANCH, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 140 | |
Dale Johannesen | 6eaeff2 | 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 | 95771af | 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 | 6eaeff2 | 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 | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 160 | MTFSF, |
| 161 | |
Evan Cheng | 8608f2e | 2008-04-19 02:30:38 +0000 | [diff] [blame] | 162 | /// LARX = This corresponds to PPC l{w|d}arx instrcution: load and |
Evan Cheng | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 163 | /// reserve indexed. This is used to implement atomic operations. |
Evan Cheng | 8608f2e | 2008-04-19 02:30:38 +0000 | [diff] [blame] | 164 | LARX, |
Evan Cheng | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 165 | |
Evan Cheng | 8608f2e | 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 | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 169 | |
Arnold Schwaighofer | 30e62c0 | 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 | c76909a | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 175 | TC_RETURN, |
| 176 | |
Hal Finkel | 82b3821 | 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 | b453e16 | 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 | d7802bf | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 187 | /// TLS model, produces a LD instruction with base register G8RReg |
Bill Schmidt | b453e16 | 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 | d7802bf | 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 | 57ac1f4 | 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 | 349c278 | 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 | b34c79e | 2013-02-20 15:50:31 +0000 | [diff] [blame] | 240 | /// VRRC = VADD_SPLAT Elt, EltSize - Temporary node to be expanded |
Bill Schmidt | abc4028 | 2013-02-20 20:41:42 +0000 | [diff] [blame] | 241 | /// during instruction selection to optimize a BUILD_VECTOR into |
| 242 | /// operations on splats. This is necessary to avoid losing these |
| 243 | /// optimizations due to constant folding. |
Bill Schmidt | b34c79e | 2013-02-20 15:50:31 +0000 | [diff] [blame] | 244 | VADD_SPLAT, |
| 245 | |
Dan Gohman | c76909a | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 246 | /// STD_32 - This is the STD instruction for use with "32-bit" registers. |
| 247 | STD_32 = ISD::FIRST_TARGET_MEMORY_OPCODE, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 248 | |
| 249 | /// CHAIN = STBRX CHAIN, GPRC, Ptr, Type - This is a |
Dan Gohman | c76909a | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 250 | /// byte-swapping store instruction. It byte-swaps the low "Type" bits of |
| 251 | /// the GPRC input, then stores it through Ptr. Type can be either i16 or |
| 252 | /// i32. |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 253 | STBRX, |
| 254 | |
| 255 | /// GPRC, CHAIN = LBRX CHAIN, Ptr, Type - This is a |
Dan Gohman | c76909a | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 256 | /// byte-swapping load instruction. It loads "Type" bits, byte swaps it, |
| 257 | /// then puts it in the bottom bits of the GPRC. TYPE can be either i16 |
| 258 | /// or i32. |
Bill Schmidt | 34a9d4b | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 259 | LBRX, |
| 260 | |
Bill Schmidt | 53b0b0e | 2013-02-21 17:12:27 +0000 | [diff] [blame] | 261 | /// G8RC = ADDIS_TOC_HA %X2, Symbol - For medium and large code model, |
| 262 | /// produces an ADDIS8 instruction that adds the TOC base register to |
| 263 | /// sym@toc@ha. |
Bill Schmidt | 34a9d4b | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 264 | ADDIS_TOC_HA, |
| 265 | |
Bill Schmidt | 53b0b0e | 2013-02-21 17:12:27 +0000 | [diff] [blame] | 266 | /// G8RC = LD_TOC_L Symbol, G8RReg - For medium and large code model, |
| 267 | /// produces a LD instruction with base register G8RReg and offset |
| 268 | /// sym@toc@l. Preceded by an ADDIS_TOC_HA to form a full 32-bit offset. |
Bill Schmidt | 34a9d4b | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 269 | LD_TOC_L, |
| 270 | |
| 271 | /// G8RC = ADDI_TOC_L G8RReg, Symbol - For medium code model, produces |
| 272 | /// an ADDI8 instruction that adds G8RReg to sym@toc@l. |
| 273 | /// Preceded by an ADDIS_TOC_HA to form a full 32-bit offset. |
| 274 | ADDI_TOC_L |
Chris Lattner | 281b55e | 2006-01-27 23:34:02 +0000 | [diff] [blame] | 275 | }; |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 276 | } |
| 277 | |
| 278 | /// Define some predicates that are used for node matching. |
| 279 | namespace PPC { |
Chris Lattner | ddb739e | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 280 | /// isVPKUHUMShuffleMask - Return true if this is the shuffle mask for a |
| 281 | /// VPKUHUM instruction. |
Nate Begeman | 9008ca6 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 282 | bool isVPKUHUMShuffleMask(ShuffleVectorSDNode *N, bool isUnary); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 283 | |
Chris Lattner | ddb739e | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 284 | /// isVPKUWUMShuffleMask - Return true if this is the shuffle mask for a |
| 285 | /// VPKUWUM instruction. |
Nate Begeman | 9008ca6 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 286 | bool isVPKUWUMShuffleMask(ShuffleVectorSDNode *N, bool isUnary); |
Chris Lattner | 116cc48 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 287 | |
| 288 | /// isVMRGLShuffleMask - Return true if this is a shuffle mask suitable for |
| 289 | /// a VRGL* instruction with the specified unit size (1,2 or 4 bytes). |
Nate Begeman | 9008ca6 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 290 | bool isVMRGLShuffleMask(ShuffleVectorSDNode *N, unsigned UnitSize, |
| 291 | bool isUnary); |
Chris Lattner | 116cc48 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 292 | |
| 293 | /// isVMRGHShuffleMask - Return true if this is a shuffle mask suitable for |
| 294 | /// a VRGH* instruction with the specified unit size (1,2 or 4 bytes). |
Nate Begeman | 9008ca6 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 295 | bool isVMRGHShuffleMask(ShuffleVectorSDNode *N, unsigned UnitSize, |
| 296 | bool isUnary); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 297 | |
Chris Lattner | d0608e1 | 2006-04-06 18:26:28 +0000 | [diff] [blame] | 298 | /// isVSLDOIShuffleMask - If this is a vsldoi shuffle mask, return the shift |
| 299 | /// amount, otherwise return -1. |
Chris Lattner | f24380e | 2006-04-06 22:28:36 +0000 | [diff] [blame] | 300 | int isVSLDOIShuffleMask(SDNode *N, bool isUnary); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 301 | |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 302 | /// isSplatShuffleMask - Return true if the specified VECTOR_SHUFFLE operand |
| 303 | /// specifies a splat of a single element that is suitable for input to |
| 304 | /// VSPLTB/VSPLTH/VSPLTW. |
Nate Begeman | 9008ca6 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 305 | bool isSplatShuffleMask(ShuffleVectorSDNode *N, unsigned EltSize); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 306 | |
Evan Cheng | 66ffe6b | 2007-07-30 07:51:22 +0000 | [diff] [blame] | 307 | /// isAllNegativeZeroVector - Returns true if all elements of build_vector |
| 308 | /// are -0.0. |
| 309 | bool isAllNegativeZeroVector(SDNode *N); |
| 310 | |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 311 | /// getVSPLTImmediate - Return the appropriate VSPLT* immediate to splat the |
| 312 | /// specified isSplatShuffleMask VECTOR_SHUFFLE mask. |
Chris Lattner | 7ff7e67 | 2006-04-04 17:25:31 +0000 | [diff] [blame] | 313 | unsigned getVSPLTImmediate(SDNode *N, unsigned EltSize); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 314 | |
Chris Lattner | e87192a | 2006-04-12 17:37:20 +0000 | [diff] [blame] | 315 | /// get_VSPLTI_elt - If this is a build_vector of constants which can be |
Chris Lattner | 140a58f | 2006-04-08 06:46:53 +0000 | [diff] [blame] | 316 | /// formed by using a vspltis[bhw] instruction of the specified element |
| 317 | /// size, return the constant being splatted. The ByteSize field indicates |
| 318 | /// the number of bytes of each element [124] -> [bhw]. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 319 | SDValue get_VSPLTI_elt(SDNode *N, unsigned ByteSize, SelectionDAG &DAG); |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 320 | } |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 321 | |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 322 | class PPCTargetLowering : public TargetLowering { |
Chris Lattner | 331d1bc | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 323 | const PPCSubtarget &PPCSubTarget; |
Dan Gohman | 1e93df6 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 324 | |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 325 | public: |
Dan Gohman | 61e729e | 2007-08-02 21:21:54 +0000 | [diff] [blame] | 326 | explicit PPCTargetLowering(PPCTargetMachine &TM); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 327 | |
Chris Lattner | da6d20f | 2006-01-09 23:52:17 +0000 | [diff] [blame] | 328 | /// getTargetNodeName() - This method returns the name of a target specific |
| 329 | /// DAG node. |
| 330 | virtual const char *getTargetNodeName(unsigned Opcode) const; |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 331 | |
Michael Liao | a6b20ce | 2013-03-01 18:40:30 +0000 | [diff] [blame^] | 332 | virtual MVT getScalarShiftAmountTy(EVT LHSTy) const { return MVT::i32; } |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 333 | |
Scott Michel | 5b8f82e | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 334 | /// getSetCCResultType - Return the ISD::SETCC ValueType |
Duncan Sands | 28b77e9 | 2011-09-06 19:07:46 +0000 | [diff] [blame] | 335 | virtual EVT getSetCCResultType(EVT VT) const; |
Scott Michel | 5b8f82e | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 336 | |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 337 | /// getPreIndexedAddressParts - returns true by value, base pointer and |
| 338 | /// offset pointer and addressing mode by reference if the node's address |
| 339 | /// can be legally represented as pre-indexed load / store address. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 340 | virtual bool getPreIndexedAddressParts(SDNode *N, SDValue &Base, |
| 341 | SDValue &Offset, |
Evan Cheng | 144d8f0 | 2006-11-09 17:55:04 +0000 | [diff] [blame] | 342 | ISD::MemIndexedMode &AM, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 343 | SelectionDAG &DAG) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 344 | |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 345 | /// SelectAddressRegReg - Given the specified addressed, check to see if it |
| 346 | /// can be represented as an indexed [r+r] operation. Returns false if it |
| 347 | /// can be more efficiently represented with [r+imm]. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 348 | bool SelectAddressRegReg(SDValue N, SDValue &Base, SDValue &Index, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 349 | SelectionDAG &DAG) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 350 | |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 351 | /// SelectAddressRegImm - Returns true if the address N can be represented |
| 352 | /// by a base register plus a signed 16-bit displacement [r+imm], and if it |
| 353 | /// is not better represented as reg+reg. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 354 | bool SelectAddressRegImm(SDValue N, SDValue &Disp, SDValue &Base, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 355 | SelectionDAG &DAG) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 356 | |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 357 | /// SelectAddressRegRegOnly - Given the specified addressed, force it to be |
| 358 | /// represented as an indexed [r+r] operation. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 359 | bool SelectAddressRegRegOnly(SDValue N, SDValue &Base, SDValue &Index, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 360 | SelectionDAG &DAG) const; |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 361 | |
| 362 | /// SelectAddressRegImmShift - Returns true if the address N can be |
| 363 | /// represented by a base register plus a signed 14-bit displacement |
| 364 | /// [r+imm*4]. Suitable for use by STD and friends. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 365 | bool SelectAddressRegImmShift(SDValue N, SDValue &Disp, SDValue &Base, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 366 | SelectionDAG &DAG) const; |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 367 | |
Hal Finkel | 3f31d49 | 2012-04-01 19:23:08 +0000 | [diff] [blame] | 368 | Sched::Preference getSchedulingPreference(SDNode *N) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 369 | |
Chris Lattner | e4bc9ea | 2005-08-26 00:52:45 +0000 | [diff] [blame] | 370 | /// LowerOperation - Provide custom lowering hooks for some operations. |
| 371 | /// |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 372 | virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const; |
Chris Lattner | 1f87300 | 2007-11-28 18:44:47 +0000 | [diff] [blame] | 373 | |
Duncan Sands | 1607f05 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 374 | /// ReplaceNodeResults - Replace the results of node with an illegal result |
| 375 | /// type with new values built out of custom code. |
| 376 | /// |
| 377 | virtual void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 378 | SelectionDAG &DAG) const; |
Duncan Sands | 1607f05 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 379 | |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 380 | virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 381 | |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 382 | virtual void computeMaskedBitsForTargetNode(const SDValue Op, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 383 | APInt &KnownZero, |
Dan Gohman | fd29e0e | 2008-02-13 00:35:47 +0000 | [diff] [blame] | 384 | APInt &KnownOne, |
Dan Gohman | ea859be | 2007-06-22 14:59:07 +0000 | [diff] [blame] | 385 | const SelectionDAG &DAG, |
Chris Lattner | bbe77de | 2006-04-02 06:26:07 +0000 | [diff] [blame] | 386 | unsigned Depth = 0) const; |
Nate Begeman | 4a95945 | 2005-10-18 23:23:37 +0000 | [diff] [blame] | 387 | |
Dan Gohman | af1d8ca | 2010-05-01 00:01:06 +0000 | [diff] [blame] | 388 | virtual MachineBasicBlock * |
| 389 | EmitInstrWithCustomInserter(MachineInstr *MI, |
| 390 | MachineBasicBlock *MBB) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 391 | MachineBasicBlock *EmitAtomicBinary(MachineInstr *MI, |
Dale Johannesen | bdab93a | 2008-08-25 22:34:37 +0000 | [diff] [blame] | 392 | MachineBasicBlock *MBB, bool is64Bit, |
Dan Gohman | 1fdbc1d | 2009-02-07 16:15:20 +0000 | [diff] [blame] | 393 | unsigned BinOpcode) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 394 | MachineBasicBlock *EmitPartwordAtomicBinary(MachineInstr *MI, |
| 395 | MachineBasicBlock *MBB, |
Dan Gohman | 1fdbc1d | 2009-02-07 16:15:20 +0000 | [diff] [blame] | 396 | bool is8bit, unsigned Opcode) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 397 | |
Chris Lattner | 4234f57 | 2007-03-25 02:14:49 +0000 | [diff] [blame] | 398 | ConstraintType getConstraintType(const std::string &Constraint) const; |
John Thompson | 44ab89e | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 399 | |
| 400 | /// Examine constraint string and operand type and determine a weight value. |
| 401 | /// The operand object must already have been set up with the operand type. |
| 402 | ConstraintWeight getSingleConstraintMatchWeight( |
| 403 | AsmOperandInfo &info, const char *constraint) const; |
| 404 | |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 405 | std::pair<unsigned, const TargetRegisterClass*> |
Chris Lattner | 331d1bc | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 406 | getRegForInlineAsmConstraint(const std::string &Constraint, |
Owen Anderson | e50ed30 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 407 | EVT VT) const; |
Evan Cheng | c4c6257 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 408 | |
Dale Johannesen | 28d08fd | 2008-02-28 22:31:51 +0000 | [diff] [blame] | 409 | /// getByValTypeAlignment - Return the desired alignment for ByVal aggregate |
| 410 | /// function arguments in the caller parameter area. This is the actual |
| 411 | /// alignment, not its logarithm. |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 412 | unsigned getByValTypeAlignment(Type *Ty) const; |
Dale Johannesen | 28d08fd | 2008-02-28 22:31:51 +0000 | [diff] [blame] | 413 | |
Chris Lattner | 48884cd | 2007-08-25 00:47:38 +0000 | [diff] [blame] | 414 | /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops |
Dale Johannesen | 1784d16 | 2010-06-25 21:55:36 +0000 | [diff] [blame] | 415 | /// vector. If it is invalid, don't add anything to Ops. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 416 | virtual void LowerAsmOperandForConstraint(SDValue Op, |
Eric Christopher | 100c833 | 2011-06-02 23:16:42 +0000 | [diff] [blame] | 417 | std::string &Constraint, |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 418 | std::vector<SDValue> &Ops, |
Chris Lattner | 5e76423 | 2008-04-26 23:02:14 +0000 | [diff] [blame] | 419 | SelectionDAG &DAG) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 420 | |
Chris Lattner | c9addb7 | 2007-03-30 23:15:24 +0000 | [diff] [blame] | 421 | /// isLegalAddressingMode - Return true if the addressing mode represented |
| 422 | /// by AM is legal for this target, for a load/store of the specified type. |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 423 | virtual bool isLegalAddressingMode(const AddrMode &AM, Type *Ty)const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 424 | |
Evan Cheng | c4c6257 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 425 | /// isLegalAddressImmediate - Return true if the integer value can be used |
Evan Cheng | 8619391 | 2007-03-12 23:29:01 +0000 | [diff] [blame] | 426 | /// as the offset of the target addressing mode for load / store of the |
| 427 | /// given type. |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 428 | virtual bool isLegalAddressImmediate(int64_t V, Type *Ty) const; |
Evan Cheng | 8619391 | 2007-03-12 23:29:01 +0000 | [diff] [blame] | 429 | |
| 430 | /// isLegalAddressImmediate - Return true if the GlobalValue can be used as |
| 431 | /// the offset of the target addressing mode. |
| 432 | virtual bool isLegalAddressImmediate(GlobalValue *GV) const; |
Nicolas Geoffray | 43c6e7c | 2007-03-01 13:11:38 +0000 | [diff] [blame] | 433 | |
Dan Gohman | 54aeea3 | 2008-10-21 03:41:46 +0000 | [diff] [blame] | 434 | virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 435 | |
Evan Cheng | 42642d0 | 2010-04-01 20:10:42 +0000 | [diff] [blame] | 436 | /// getOptimalMemOpType - Returns the target specific optimal type for load |
Evan Cheng | f28f8bc | 2010-04-02 19:36:14 +0000 | [diff] [blame] | 437 | /// and store operations as a result of memset, memcpy, and memmove |
| 438 | /// lowering. If DstAlign is zero that means it's safe to destination |
| 439 | /// alignment can satisfy any constraint. Similarly if SrcAlign is zero it |
| 440 | /// means there isn't a need to check it against alignment requirement, |
Evan Cheng | 946a3a9 | 2012-12-12 02:34:41 +0000 | [diff] [blame] | 441 | /// probably because the source does not need to be loaded. If 'IsMemset' is |
| 442 | /// true, that means it's expanding a memset. If 'ZeroMemset' is true, that |
| 443 | /// means it's a memset of zero. 'MemcpyStrSrc' indicates whether the memcpy |
| 444 | /// source is constant so it does not need to be loaded. |
Dan Gohman | 37f32ee | 2010-04-16 20:11:05 +0000 | [diff] [blame] | 445 | /// It returns EVT::Other if the type should be determined using generic |
| 446 | /// target-independent logic. |
Evan Cheng | f28f8bc | 2010-04-02 19:36:14 +0000 | [diff] [blame] | 447 | virtual EVT |
Evan Cheng | 946a3a9 | 2012-12-12 02:34:41 +0000 | [diff] [blame] | 448 | getOptimalMemOpType(uint64_t Size, unsigned DstAlign, unsigned SrcAlign, |
| 449 | bool IsMemset, bool ZeroMemset, bool MemcpyStrSrc, |
Dan Gohman | 37f32ee | 2010-04-16 20:11:05 +0000 | [diff] [blame] | 450 | MachineFunction &MF) const; |
Dan Gohman | 54aeea3 | 2008-10-21 03:41:46 +0000 | [diff] [blame] | 451 | |
Hal Finkel | 070b8db | 2012-06-22 00:49:52 +0000 | [diff] [blame] | 452 | /// isFMAFasterThanMulAndAdd - Return true if an FMA operation is faster than |
| 453 | /// a pair of mul and add instructions. fmuladd intrinsics will be expanded to |
| 454 | /// FMAs when this method returns true (and FMAs are legal), otherwise fmuladd |
| 455 | /// is expanded to mul + add. |
| 456 | virtual bool isFMAFasterThanMulAndAdd(EVT VT) const; |
| 457 | |
Evan Cheng | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 458 | private: |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 459 | SDValue getFramePointerFrameIndex(SelectionDAG & DAG) const; |
| 460 | SDValue getReturnAddrFrameIndex(SelectionDAG & DAG) const; |
Arnold Schwaighofer | 30e62c0 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 461 | |
Evan Cheng | 0c439eb | 2010-01-27 00:07:07 +0000 | [diff] [blame] | 462 | bool |
| 463 | IsEligibleForTailCallOptimization(SDValue Callee, |
| 464 | CallingConv::ID CalleeCC, |
| 465 | bool isVarArg, |
| 466 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 467 | SelectionDAG& DAG) const; |
| 468 | |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 469 | SDValue EmitTailCallLoadFPAndRetAddr(SelectionDAG & DAG, |
Dale Johannesen | 33c960f | 2009-02-04 20:06:27 +0000 | [diff] [blame] | 470 | int SPDiff, |
| 471 | SDValue Chain, |
| 472 | SDValue &LROpOut, |
| 473 | SDValue &FPOpOut, |
Tilmann Scheller | 2a9ddfb | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 474 | bool isDarwinABI, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 475 | DebugLoc dl) const; |
Arnold Schwaighofer | 30e62c0 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 476 | |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 477 | SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; |
| 478 | SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; |
| 479 | SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const; |
| 480 | SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; |
Roman Divacky | fd42ed6 | 2012-06-04 17:36:38 +0000 | [diff] [blame] | 481 | SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 482 | SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 483 | SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const; |
| 484 | SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const; |
Duncan Sands | 4a544a7 | 2011-09-06 13:37:06 +0000 | [diff] [blame] | 485 | SDValue LowerINIT_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; |
| 486 | SDValue LowerADJUST_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 487 | SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 488 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 1e93df6 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 489 | SDValue LowerVAARG(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 490 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 491 | SDValue LowerSTACKRESTORE(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 492 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 493 | SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 494 | const PPCSubtarget &Subtarget) const; |
| 495 | SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const; |
| 496 | SDValue LowerFP_TO_INT(SDValue Op, SelectionDAG &DAG, DebugLoc dl) const; |
| 497 | SDValue LowerSINT_TO_FP(SDValue Op, SelectionDAG &DAG) const; |
| 498 | SDValue LowerFLT_ROUNDS_(SDValue Op, SelectionDAG &DAG) const; |
| 499 | SDValue LowerSHL_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 500 | SDValue LowerSRL_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 501 | SDValue LowerSRA_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 502 | SDValue LowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const; |
| 503 | SDValue LowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG) const; |
| 504 | SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const; |
| 505 | SDValue LowerSCALAR_TO_VECTOR(SDValue Op, SelectionDAG &DAG) const; |
| 506 | SDValue LowerMUL(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 507 | |
| 508 | SDValue LowerCallResult(SDValue Chain, SDValue InFlag, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 509 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 510 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 511 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 512 | SmallVectorImpl<SDValue> &InVals) const; |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 513 | SDValue FinishCall(CallingConv::ID CallConv, DebugLoc dl, bool isTailCall, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 514 | bool isVarArg, |
| 515 | SelectionDAG &DAG, |
| 516 | SmallVector<std::pair<unsigned, SDValue>, 8> |
| 517 | &RegsToPass, |
| 518 | SDValue InFlag, SDValue Chain, |
| 519 | SDValue &Callee, |
| 520 | int SPDiff, unsigned NumBytes, |
| 521 | const SmallVectorImpl<ISD::InputArg> &Ins, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 522 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 523 | |
| 524 | virtual SDValue |
| 525 | LowerFormalArguments(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 526 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 527 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 528 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 529 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 530 | |
| 531 | virtual SDValue |
Justin Holewinski | d2ea0e1 | 2012-05-25 16:35:28 +0000 | [diff] [blame] | 532 | LowerCall(TargetLowering::CallLoweringInfo &CLI, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 533 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 534 | |
Hal Finkel | d712f93 | 2011-10-14 19:51:36 +0000 | [diff] [blame] | 535 | virtual bool |
| 536 | CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, |
| 537 | bool isVarArg, |
| 538 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 539 | LLVMContext &Context) const; |
| 540 | |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 541 | virtual SDValue |
| 542 | LowerReturn(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 543 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 544 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | c940365 | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 545 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 546 | DebugLoc dl, SelectionDAG &DAG) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 547 | |
| 548 | SDValue |
Bill Schmidt | 726c237 | 2012-10-23 15:51:16 +0000 | [diff] [blame] | 549 | extendArgForPPC64(ISD::ArgFlagsTy Flags, EVT ObjectVT, SelectionDAG &DAG, |
| 550 | SDValue ArgVal, DebugLoc dl) const; |
| 551 | |
| 552 | void |
| 553 | setMinReservedArea(MachineFunction &MF, SelectionDAG &DAG, |
| 554 | unsigned nAltivecParamsAtEnd, |
| 555 | unsigned MinReservedArea, bool isPPC64) const; |
| 556 | |
| 557 | SDValue |
Bill Schmidt | b2544ec | 2012-10-05 21:27:08 +0000 | [diff] [blame] | 558 | LowerFormalArguments_Darwin(SDValue Chain, |
| 559 | CallingConv::ID CallConv, bool isVarArg, |
| 560 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 561 | DebugLoc dl, SelectionDAG &DAG, |
| 562 | SmallVectorImpl<SDValue> &InVals) const; |
| 563 | SDValue |
| 564 | LowerFormalArguments_64SVR4(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 565 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 566 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 567 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 568 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 569 | SDValue |
Bill Schmidt | 419f376 | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 570 | LowerFormalArguments_32SVR4(SDValue Chain, |
| 571 | CallingConv::ID CallConv, bool isVarArg, |
| 572 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 573 | DebugLoc dl, SelectionDAG &DAG, |
| 574 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 575 | |
| 576 | SDValue |
Bill Schmidt | 726c237 | 2012-10-23 15:51:16 +0000 | [diff] [blame] | 577 | createMemcpyOutsideCallSeq(SDValue Arg, SDValue PtrOff, |
| 578 | SDValue CallSeqStart, ISD::ArgFlagsTy Flags, |
| 579 | SelectionDAG &DAG, DebugLoc dl) const; |
| 580 | |
| 581 | SDValue |
| 582 | LowerCall_Darwin(SDValue Chain, SDValue Callee, |
| 583 | CallingConv::ID CallConv, |
| 584 | bool isVarArg, bool isTailCall, |
| 585 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 586 | const SmallVectorImpl<SDValue> &OutVals, |
| 587 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 588 | DebugLoc dl, SelectionDAG &DAG, |
| 589 | SmallVectorImpl<SDValue> &InVals) const; |
| 590 | SDValue |
| 591 | LowerCall_64SVR4(SDValue Chain, SDValue Callee, |
Bill Schmidt | 419f376 | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 592 | CallingConv::ID CallConv, |
Evan Cheng | 4bfcd4a | 2012-02-28 18:51:51 +0000 | [diff] [blame] | 593 | bool isVarArg, bool isTailCall, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 594 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | c940365 | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 595 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 596 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 597 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 598 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 599 | SDValue |
Bill Schmidt | 419f376 | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 600 | LowerCall_32SVR4(SDValue Chain, SDValue Callee, CallingConv::ID CallConv, |
| 601 | bool isVarArg, bool isTailCall, |
| 602 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 603 | const SmallVectorImpl<SDValue> &OutVals, |
| 604 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 605 | DebugLoc dl, SelectionDAG &DAG, |
| 606 | SmallVectorImpl<SDValue> &InVals) const; |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 607 | }; |
| 608 | } |
| 609 | |
| 610 | #endif // LLVM_TARGET_POWERPC_PPC32ISELLOWERING_H |