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" |
Hal Finkel | 7ee74a6 | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 19 | #include "PPCRegisterInfo.h" |
Chris Lattner | 331d1bc | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 20 | #include "PPCSubtarget.h" |
Craig Topper | 79aa341 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/SelectionDAG.h" |
Chandler Carruth | a1514e2 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 22 | #include "llvm/Target/TargetLowering.h" |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 23 | |
| 24 | namespace llvm { |
Chris Lattner | 0bbea95 | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 25 | namespace PPCISD { |
| 26 | enum NodeType { |
Nate Begeman | 3c983c3 | 2007-01-26 22:40:50 +0000 | [diff] [blame] | 27 | // Start the numbering where the builtin ops and target ops leave off. |
Dan Gohman | 0ba2bcf | 2008-09-23 18:42:32 +0000 | [diff] [blame] | 28 | FIRST_NUMBER = ISD::BUILTIN_OP_END, |
Chris Lattner | 0bbea95 | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 29 | |
| 30 | /// FSEL - Traditional three-operand fsel node. |
| 31 | /// |
| 32 | FSEL, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 33 | |
Nate Begeman | c09eeec | 2005-09-06 22:03:27 +0000 | [diff] [blame] | 34 | /// FCFID - The FCFID instruction, taking an f64 operand and producing |
| 35 | /// and f64 value containing the FP representation of the integer that |
| 36 | /// was temporarily in the f64 operand. |
| 37 | FCFID, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 38 | |
Hal Finkel | 4647919 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 39 | /// Newer FCFID[US] integer-to-floating-point conversion instructions for |
| 40 | /// unsigned integers and single-precision outputs. |
| 41 | FCFIDU, FCFIDS, FCFIDUS, |
| 42 | |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 43 | /// 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] | 44 | /// operand, producing an f64 value containing the integer representation |
| 45 | /// of that FP value. |
| 46 | FCTIDZ, FCTIWZ, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 47 | |
Hal Finkel | 4647919 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 48 | /// Newer FCTI[D,W]UZ floating-point-to-integer conversion instructions for |
| 49 | /// unsigned integers. |
| 50 | FCTIDUZ, FCTIWUZ, |
| 51 | |
Hal Finkel | 827307b | 2013-04-03 04:01:11 +0000 | [diff] [blame] | 52 | /// Reciprocal estimate instructions (unary FP ops). |
| 53 | FRE, FRSQRTE, |
| 54 | |
Nate Begeman | 993aeb2 | 2005-12-13 22:55:22 +0000 | [diff] [blame] | 55 | // VMADDFP, VNMSUBFP - The VMADDFP and VNMSUBFP instructions, taking |
| 56 | // three v4f32 operands and producing a v4f32 result. |
| 57 | VMADDFP, VNMSUBFP, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 58 | |
Chris Lattner | f1d0b2b | 2006-03-20 01:53:53 +0000 | [diff] [blame] | 59 | /// VPERM - The PPC VPERM Instruction. |
| 60 | /// |
| 61 | VPERM, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 62 | |
Chris Lattner | 860e886 | 2005-11-17 07:30:41 +0000 | [diff] [blame] | 63 | /// Hi/Lo - These represent the high and low 16-bit parts of a global |
| 64 | /// address respectively. These nodes have two operands, the first of |
| 65 | /// which must be a TargetGlobalAddress, and the second of which must be a |
| 66 | /// Constant. Selected naively, these turn into 'lis G+C' and 'li G+C', |
| 67 | /// though these are usually folded into other nodes. |
| 68 | Hi, Lo, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 69 | |
Tilmann Scheller | 6b16eff | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 70 | TOC_ENTRY, |
| 71 | |
Tilmann Scheller | 3a84dae | 2009-12-18 13:00:15 +0000 | [diff] [blame] | 72 | /// The following three target-specific nodes are used for calls through |
| 73 | /// function pointers in the 64-bit SVR4 ABI. |
| 74 | |
| 75 | /// Restore the TOC from the TOC save area of the current stack frame. |
| 76 | /// This is basically a hard coded load instruction which additionally |
| 77 | /// takes/produces a flag. |
| 78 | TOC_RESTORE, |
| 79 | |
| 80 | /// Like a regular LOAD but additionally taking/producing a flag. |
| 81 | LOAD, |
| 82 | |
| 83 | /// LOAD into r2 (also taking/producing a flag). Like TOC_RESTORE, this is |
| 84 | /// a hard coded load instruction. |
| 85 | LOAD_TOC, |
| 86 | |
Jim Laskey | 2f616bf | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 87 | /// OPRC, CHAIN = DYNALLOC(CHAIN, NEGSIZE, FRAME_INDEX) |
| 88 | /// This instruction is lowered in PPCRegisterInfo::eliminateFrameIndex to |
| 89 | /// compute an allocation on the stack. |
| 90 | DYNALLOC, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 91 | |
Chris Lattner | 860e886 | 2005-11-17 07:30:41 +0000 | [diff] [blame] | 92 | /// GlobalBaseReg - On Darwin, this node represents the result of the mflr |
| 93 | /// at function entry, used for PIC code. |
| 94 | GlobalBaseReg, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 95 | |
Chris Lattner | 4172b10 | 2005-12-06 02:10:38 +0000 | [diff] [blame] | 96 | /// These nodes represent the 32-bit PPC shifts that operate on 6-bit |
| 97 | /// shift amounts. These nodes are generated by the multi-precision shift |
| 98 | /// code. |
| 99 | SRL, SRA, SHL, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 100 | |
Chris Lattner | c703a8f | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 101 | /// CALL - A direct function call. |
Ulrich Weigand | 86765fb | 2013-03-22 15:24:13 +0000 | [diff] [blame] | 102 | /// CALL_NOP is a call with the special NOP which follows 64-bit |
Hal Finkel | 5b00cea | 2012-03-31 14:45:15 +0000 | [diff] [blame] | 103 | /// SVR4 calls. |
Ulrich Weigand | 86765fb | 2013-03-22 15:24:13 +0000 | [diff] [blame] | 104 | CALL, CALL_NOP, |
Tilmann Scheller | 6b16eff | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 105 | |
Chris Lattner | c703a8f | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 106 | /// CHAIN,FLAG = MTCTR(VAL, CHAIN[, INFLAG]) - Directly corresponds to a |
| 107 | /// MTCTR instruction. |
| 108 | MTCTR, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 109 | |
Chris Lattner | c703a8f | 2006-05-17 19:00:46 +0000 | [diff] [blame] | 110 | /// CHAIN,FLAG = BCTRL(CHAIN, INFLAG) - Directly corresponds to a |
| 111 | /// BCTRL instruction. |
Ulrich Weigand | 86765fb | 2013-03-22 15:24:13 +0000 | [diff] [blame] | 112 | BCTRL, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 113 | |
Nate Begeman | 9e4dd9d | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 114 | /// Return with a flag operand, matched by 'blr' |
| 115 | RET_FLAG, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 116 | |
Dale Johannesen | 5f07d52 | 2010-05-20 17:48:26 +0000 | [diff] [blame] | 117 | /// R32 = MFCR(CRREG, INFLAG) - Represents the MFCRpseud/MFOCRF |
| 118 | /// instructions. This copies the bits corresponding to the specified |
| 119 | /// CRREG into the resultant GPR. Bits corresponding to other CR regs |
| 120 | /// are undefined. |
Chris Lattner | 6d92cad | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 121 | MFCR, |
Chris Lattner | a17b155 | 2006-03-31 05:13:27 +0000 | [diff] [blame] | 122 | |
Hal Finkel | 7ee74a6 | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 123 | // EH_SJLJ_SETJMP - SjLj exception handling setjmp. |
| 124 | EH_SJLJ_SETJMP, |
| 125 | |
| 126 | // EH_SJLJ_LONGJMP - SjLj exception handling longjmp. |
| 127 | EH_SJLJ_LONGJMP, |
| 128 | |
Chris Lattner | a17b155 | 2006-03-31 05:13:27 +0000 | [diff] [blame] | 129 | /// RESVEC = VCMP(LHS, RHS, OPC) - Represents one of the altivec VCMP* |
| 130 | /// instructions. For lack of better number, we use the opcode number |
| 131 | /// encoding for the OPC field to identify the compare. For example, 838 |
| 132 | /// is VCMPGTSH. |
| 133 | VCMP, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 134 | |
Chris Lattner | 6d92cad | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 135 | /// RESVEC, OUTFLAG = VCMPo(LHS, RHS, OPC) - Represents one of the |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 136 | /// altivec VCMP*o instructions. For lack of better number, we use the |
Chris Lattner | 6d92cad | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 137 | /// opcode number encoding for the OPC field to identify the compare. For |
| 138 | /// example, 838 is VCMPGTSH. |
Chris Lattner | 90564f2 | 2006-04-18 17:59:36 +0000 | [diff] [blame] | 139 | VCMPo, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 140 | |
Chris Lattner | 90564f2 | 2006-04-18 17:59:36 +0000 | [diff] [blame] | 141 | /// CHAIN = COND_BRANCH CHAIN, CRRC, OPC, DESTBB [, INFLAG] - This |
| 142 | /// corresponds to the COND_BRANCH pseudo instruction. CRRC is the |
| 143 | /// condition register to branch on, OPC is the branch opcode to use (e.g. |
| 144 | /// PPC::BLE), DESTBB is the destination block to branch to, and INFLAG is |
| 145 | /// an optional input flag argument. |
Chris Lattner | d998938 | 2006-07-10 20:56:58 +0000 | [diff] [blame] | 146 | COND_BRANCH, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 147 | |
Ulrich Weigand | 7d35d3f | 2013-03-26 10:56:22 +0000 | [diff] [blame] | 148 | /// F8RC = FADDRTZ F8RC, F8RC - This is an FADD done with rounding |
| 149 | /// towards zero. Used only as part of the long double-to-int |
| 150 | /// conversion sequence. |
Dale Johannesen | 6eaeff2 | 2007-10-10 01:01:31 +0000 | [diff] [blame] | 151 | FADDRTZ, |
| 152 | |
Ulrich Weigand | 7d35d3f | 2013-03-26 10:56:22 +0000 | [diff] [blame] | 153 | /// F8RC = MFFS - This moves the FPSCR (not modeled) into the register. |
| 154 | MFFS, |
Evan Cheng | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 155 | |
Evan Cheng | 8608f2e | 2008-04-19 02:30:38 +0000 | [diff] [blame] | 156 | /// LARX = This corresponds to PPC l{w|d}arx instrcution: load and |
Evan Cheng | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 157 | /// reserve indexed. This is used to implement atomic operations. |
Evan Cheng | 8608f2e | 2008-04-19 02:30:38 +0000 | [diff] [blame] | 158 | LARX, |
Evan Cheng | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 159 | |
Evan Cheng | 8608f2e | 2008-04-19 02:30:38 +0000 | [diff] [blame] | 160 | /// STCX = This corresponds to PPC stcx. instrcution: store conditional |
| 161 | /// indexed. This is used to implement atomic operations. |
| 162 | STCX, |
Evan Cheng | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 163 | |
Arnold Schwaighofer | 30e62c0 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 164 | /// TC_RETURN - A tail call return. |
| 165 | /// operand #0 chain |
| 166 | /// operand #1 callee (register or absolute) |
| 167 | /// operand #2 stack adjustment |
| 168 | /// operand #3 optional in flag |
Dan Gohman | c76909a | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 169 | TC_RETURN, |
| 170 | |
Hal Finkel | 82b3821 | 2012-08-28 02:10:27 +0000 | [diff] [blame] | 171 | /// ch, gl = CR6[UN]SET ch, inglue - Toggle CR bit 6 for SVR4 vararg calls |
| 172 | CR6SET, |
| 173 | CR6UNSET, |
| 174 | |
Bill Schmidt | b453e16 | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 175 | /// G8RC = ADDIS_GOT_TPREL_HA %X2, Symbol - Used by the initial-exec |
| 176 | /// TLS model, produces an ADDIS8 instruction that adds the GOT |
| 177 | /// base to sym@got@tprel@ha. |
| 178 | ADDIS_GOT_TPREL_HA, |
| 179 | |
| 180 | /// G8RC = LD_GOT_TPREL_L Symbol, G8RReg - Used by the initial-exec |
Bill Schmidt | d7802bf | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 181 | /// TLS model, produces a LD instruction with base register G8RReg |
Bill Schmidt | b453e16 | 2012-12-14 17:02:38 +0000 | [diff] [blame] | 182 | /// and offset sym@got@tprel@l. This completes the addition that |
| 183 | /// finds the offset of "sym" relative to the thread pointer. |
| 184 | LD_GOT_TPREL_L, |
Bill Schmidt | d7802bf | 2012-12-04 16:18:08 +0000 | [diff] [blame] | 185 | |
| 186 | /// G8RC = ADD_TLS G8RReg, Symbol - Used by the initial-exec TLS |
| 187 | /// model, produces an ADD instruction that adds the contents of |
| 188 | /// G8RReg to the thread pointer. Symbol contains a relocation |
| 189 | /// sym@tls which is to be replaced by the thread pointer and |
| 190 | /// identifies to the linker that the instruction is part of a |
| 191 | /// TLS sequence. |
| 192 | ADD_TLS, |
| 193 | |
Bill Schmidt | 57ac1f4 | 2012-12-11 20:30:11 +0000 | [diff] [blame] | 194 | /// G8RC = ADDIS_TLSGD_HA %X2, Symbol - For the general-dynamic TLS |
| 195 | /// model, produces an ADDIS8 instruction that adds the GOT base |
| 196 | /// register to sym@got@tlsgd@ha. |
| 197 | ADDIS_TLSGD_HA, |
| 198 | |
| 199 | /// G8RC = ADDI_TLSGD_L G8RReg, Symbol - For the general-dynamic TLS |
| 200 | /// model, produces an ADDI8 instruction that adds G8RReg to |
| 201 | /// sym@got@tlsgd@l. |
| 202 | ADDI_TLSGD_L, |
| 203 | |
| 204 | /// G8RC = GET_TLS_ADDR %X3, Symbol - For the general-dynamic TLS |
| 205 | /// model, produces a call to __tls_get_addr(sym@tlsgd). |
| 206 | GET_TLS_ADDR, |
| 207 | |
Bill Schmidt | 349c278 | 2012-12-12 19:29:35 +0000 | [diff] [blame] | 208 | /// G8RC = ADDIS_TLSLD_HA %X2, Symbol - For the local-dynamic TLS |
| 209 | /// model, produces an ADDIS8 instruction that adds the GOT base |
| 210 | /// register to sym@got@tlsld@ha. |
| 211 | ADDIS_TLSLD_HA, |
| 212 | |
| 213 | /// G8RC = ADDI_TLSLD_L G8RReg, Symbol - For the local-dynamic TLS |
| 214 | /// model, produces an ADDI8 instruction that adds G8RReg to |
| 215 | /// sym@got@tlsld@l. |
| 216 | ADDI_TLSLD_L, |
| 217 | |
| 218 | /// G8RC = GET_TLSLD_ADDR %X3, Symbol - For the local-dynamic TLS |
| 219 | /// model, produces a call to __tls_get_addr(sym@tlsld). |
| 220 | GET_TLSLD_ADDR, |
| 221 | |
| 222 | /// G8RC = ADDIS_DTPREL_HA %X3, Symbol, Chain - For the |
| 223 | /// local-dynamic TLS model, produces an ADDIS8 instruction |
| 224 | /// that adds X3 to sym@dtprel@ha. The Chain operand is needed |
| 225 | /// to tie this in place following a copy to %X3 from the result |
| 226 | /// of a GET_TLSLD_ADDR. |
| 227 | ADDIS_DTPREL_HA, |
| 228 | |
| 229 | /// G8RC = ADDI_DTPREL_L G8RReg, Symbol - For the local-dynamic TLS |
| 230 | /// model, produces an ADDI8 instruction that adds G8RReg to |
| 231 | /// sym@got@dtprel@l. |
| 232 | ADDI_DTPREL_L, |
| 233 | |
Bill Schmidt | b34c79e | 2013-02-20 15:50:31 +0000 | [diff] [blame] | 234 | /// VRRC = VADD_SPLAT Elt, EltSize - Temporary node to be expanded |
Bill Schmidt | abc4028 | 2013-02-20 20:41:42 +0000 | [diff] [blame] | 235 | /// during instruction selection to optimize a BUILD_VECTOR into |
| 236 | /// operations on splats. This is necessary to avoid losing these |
| 237 | /// optimizations due to constant folding. |
Bill Schmidt | b34c79e | 2013-02-20 15:50:31 +0000 | [diff] [blame] | 238 | VADD_SPLAT, |
| 239 | |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 240 | /// CHAIN = STBRX CHAIN, GPRC, Ptr, Type - This is a |
Dan Gohman | c76909a | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 241 | /// byte-swapping store instruction. It byte-swaps the low "Type" bits of |
| 242 | /// the GPRC input, then stores it through Ptr. Type can be either i16 or |
| 243 | /// i32. |
Hal Finkel | 9ad0f49 | 2013-03-31 01:58:02 +0000 | [diff] [blame] | 244 | STBRX = ISD::FIRST_TARGET_MEMORY_OPCODE, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 245 | |
| 246 | /// GPRC, CHAIN = LBRX CHAIN, Ptr, Type - This is a |
Dan Gohman | c76909a | 2009-09-25 20:36:54 +0000 | [diff] [blame] | 247 | /// byte-swapping load instruction. It loads "Type" bits, byte swaps it, |
| 248 | /// then puts it in the bottom bits of the GPRC. TYPE can be either i16 |
| 249 | /// or i32. |
Bill Schmidt | 34a9d4b | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 250 | LBRX, |
| 251 | |
Hal Finkel | f170cc9 | 2013-04-01 15:37:53 +0000 | [diff] [blame] | 252 | /// STFIWX - The STFIWX instruction. The first operand is an input token |
| 253 | /// chain, then an f64 value to store, then an address to store it to. |
| 254 | STFIWX, |
| 255 | |
Hal Finkel | 8049ab1 | 2013-03-31 10:12:51 +0000 | [diff] [blame] | 256 | /// GPRC, CHAIN = LFIWAX CHAIN, Ptr - This is a floating-point |
| 257 | /// load which sign-extends from a 32-bit integer value into the |
| 258 | /// destination 64-bit register. |
| 259 | LFIWAX, |
| 260 | |
Hal Finkel | 4647919 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 261 | /// GPRC, CHAIN = LFIWZX CHAIN, Ptr - This is a floating-point |
| 262 | /// load which zero-extends from a 32-bit integer value into the |
| 263 | /// destination 64-bit register. |
| 264 | LFIWZX, |
| 265 | |
Bill Schmidt | 53b0b0e | 2013-02-21 17:12:27 +0000 | [diff] [blame] | 266 | /// G8RC = ADDIS_TOC_HA %X2, Symbol - For medium and large code model, |
| 267 | /// produces an ADDIS8 instruction that adds the TOC base register to |
| 268 | /// sym@toc@ha. |
Bill Schmidt | 34a9d4b | 2012-11-27 17:35:46 +0000 | [diff] [blame] | 269 | ADDIS_TOC_HA, |
| 270 | |
Bill Schmidt | 53b0b0e | 2013-02-21 17:12:27 +0000 | [diff] [blame] | 271 | /// G8RC = LD_TOC_L Symbol, G8RReg - For medium and large code model, |
| 272 | /// produces a LD instruction with base register G8RReg and offset |
| 273 | /// 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] | 274 | LD_TOC_L, |
| 275 | |
| 276 | /// G8RC = ADDI_TOC_L G8RReg, Symbol - For medium code model, produces |
| 277 | /// an ADDI8 instruction that adds G8RReg to sym@toc@l. |
| 278 | /// Preceded by an ADDIS_TOC_HA to form a full 32-bit offset. |
| 279 | ADDI_TOC_L |
Chris Lattner | 281b55e | 2006-01-27 23:34:02 +0000 | [diff] [blame] | 280 | }; |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 281 | } |
| 282 | |
| 283 | /// Define some predicates that are used for node matching. |
| 284 | namespace PPC { |
Chris Lattner | ddb739e | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 285 | /// isVPKUHUMShuffleMask - Return true if this is the shuffle mask for a |
| 286 | /// VPKUHUM instruction. |
Nate Begeman | 9008ca6 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 287 | bool isVPKUHUMShuffleMask(ShuffleVectorSDNode *N, bool isUnary); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 288 | |
Chris Lattner | ddb739e | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 289 | /// isVPKUWUMShuffleMask - Return true if this is the shuffle mask for a |
| 290 | /// VPKUWUM instruction. |
Nate Begeman | 9008ca6 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 291 | bool isVPKUWUMShuffleMask(ShuffleVectorSDNode *N, bool isUnary); |
Chris Lattner | 116cc48 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 292 | |
| 293 | /// isVMRGLShuffleMask - Return true if this is a shuffle mask suitable for |
| 294 | /// 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] | 295 | bool isVMRGLShuffleMask(ShuffleVectorSDNode *N, unsigned UnitSize, |
| 296 | bool isUnary); |
Chris Lattner | 116cc48 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 297 | |
| 298 | /// isVMRGHShuffleMask - Return true if this is a shuffle mask suitable for |
| 299 | /// 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] | 300 | bool isVMRGHShuffleMask(ShuffleVectorSDNode *N, unsigned UnitSize, |
| 301 | bool isUnary); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 302 | |
Chris Lattner | d0608e1 | 2006-04-06 18:26:28 +0000 | [diff] [blame] | 303 | /// isVSLDOIShuffleMask - If this is a vsldoi shuffle mask, return the shift |
| 304 | /// amount, otherwise return -1. |
Chris Lattner | f24380e | 2006-04-06 22:28:36 +0000 | [diff] [blame] | 305 | int isVSLDOIShuffleMask(SDNode *N, bool isUnary); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 306 | |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 307 | /// isSplatShuffleMask - Return true if the specified VECTOR_SHUFFLE operand |
| 308 | /// specifies a splat of a single element that is suitable for input to |
| 309 | /// VSPLTB/VSPLTH/VSPLTW. |
Nate Begeman | 9008ca6 | 2009-04-27 18:41:29 +0000 | [diff] [blame] | 310 | bool isSplatShuffleMask(ShuffleVectorSDNode *N, unsigned EltSize); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 311 | |
Evan Cheng | 66ffe6b | 2007-07-30 07:51:22 +0000 | [diff] [blame] | 312 | /// isAllNegativeZeroVector - Returns true if all elements of build_vector |
| 313 | /// are -0.0. |
| 314 | bool isAllNegativeZeroVector(SDNode *N); |
| 315 | |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 316 | /// getVSPLTImmediate - Return the appropriate VSPLT* immediate to splat the |
| 317 | /// specified isSplatShuffleMask VECTOR_SHUFFLE mask. |
Chris Lattner | 7ff7e67 | 2006-04-04 17:25:31 +0000 | [diff] [blame] | 318 | unsigned getVSPLTImmediate(SDNode *N, unsigned EltSize); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 319 | |
Chris Lattner | e87192a | 2006-04-12 17:37:20 +0000 | [diff] [blame] | 320 | /// 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] | 321 | /// formed by using a vspltis[bhw] instruction of the specified element |
| 322 | /// size, return the constant being splatted. The ByteSize field indicates |
| 323 | /// the number of bytes of each element [124] -> [bhw]. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 324 | SDValue get_VSPLTI_elt(SDNode *N, unsigned ByteSize, SelectionDAG &DAG); |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 325 | } |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 326 | |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 327 | class PPCTargetLowering : public TargetLowering { |
Chris Lattner | 331d1bc | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 328 | const PPCSubtarget &PPCSubTarget; |
Hal Finkel | 7ee74a6 | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 329 | const PPCRegisterInfo *PPCRegInfo; |
Dan Gohman | 1e93df6 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 330 | |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 331 | public: |
Dan Gohman | 61e729e | 2007-08-02 21:21:54 +0000 | [diff] [blame] | 332 | explicit PPCTargetLowering(PPCTargetMachine &TM); |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 333 | |
Chris Lattner | da6d20f | 2006-01-09 23:52:17 +0000 | [diff] [blame] | 334 | /// getTargetNodeName() - This method returns the name of a target specific |
| 335 | /// DAG node. |
| 336 | virtual const char *getTargetNodeName(unsigned Opcode) const; |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 337 | |
Michael Liao | a6b20ce | 2013-03-01 18:40:30 +0000 | [diff] [blame] | 338 | virtual MVT getScalarShiftAmountTy(EVT LHSTy) const { return MVT::i32; } |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 339 | |
Scott Michel | 5b8f82e | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 340 | /// getSetCCResultType - Return the ISD::SETCC ValueType |
Duncan Sands | 28b77e9 | 2011-09-06 19:07:46 +0000 | [diff] [blame] | 341 | virtual EVT getSetCCResultType(EVT VT) const; |
Scott Michel | 5b8f82e | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 342 | |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 343 | /// getPreIndexedAddressParts - returns true by value, base pointer and |
| 344 | /// offset pointer and addressing mode by reference if the node's address |
| 345 | /// can be legally represented as pre-indexed load / store address. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 346 | virtual bool getPreIndexedAddressParts(SDNode *N, SDValue &Base, |
| 347 | SDValue &Offset, |
Evan Cheng | 144d8f0 | 2006-11-09 17:55:04 +0000 | [diff] [blame] | 348 | ISD::MemIndexedMode &AM, |
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 | /// SelectAddressRegReg - Given the specified addressed, check to see if it |
| 352 | /// can be represented as an indexed [r+r] operation. Returns false if it |
| 353 | /// can be more efficiently represented with [r+imm]. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 354 | bool SelectAddressRegReg(SDValue N, SDValue &Base, SDValue &Index, |
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 | /// SelectAddressRegImm - Returns true if the address N can be represented |
| 358 | /// by a base register plus a signed 16-bit displacement [r+imm], and if it |
| 359 | /// is not better represented as reg+reg. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 360 | bool SelectAddressRegImm(SDValue N, SDValue &Disp, SDValue &Base, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 361 | SelectionDAG &DAG) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 362 | |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 363 | /// SelectAddressRegRegOnly - Given the specified addressed, force it to be |
| 364 | /// represented as an indexed [r+r] operation. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 365 | bool SelectAddressRegRegOnly(SDValue N, SDValue &Base, SDValue &Index, |
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 | |
| 368 | /// SelectAddressRegImmShift - Returns true if the address N can be |
| 369 | /// represented by a base register plus a signed 14-bit displacement |
| 370 | /// [r+imm*4]. Suitable for use by STD and friends. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 371 | bool SelectAddressRegImmShift(SDValue N, SDValue &Disp, SDValue &Base, |
Dan Gohman | 73e0914 | 2009-01-15 16:29:45 +0000 | [diff] [blame] | 372 | SelectionDAG &DAG) const; |
Chris Lattner | fc5b1ab | 2006-11-08 02:15:41 +0000 | [diff] [blame] | 373 | |
Hal Finkel | 3f31d49 | 2012-04-01 19:23:08 +0000 | [diff] [blame] | 374 | Sched::Preference getSchedulingPreference(SDNode *N) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 375 | |
Chris Lattner | e4bc9ea | 2005-08-26 00:52:45 +0000 | [diff] [blame] | 376 | /// LowerOperation - Provide custom lowering hooks for some operations. |
| 377 | /// |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 378 | virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const; |
Chris Lattner | 1f87300 | 2007-11-28 18:44:47 +0000 | [diff] [blame] | 379 | |
Duncan Sands | 1607f05 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 380 | /// ReplaceNodeResults - Replace the results of node with an illegal result |
| 381 | /// type with new values built out of custom code. |
| 382 | /// |
| 383 | virtual void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 384 | SelectionDAG &DAG) const; |
Duncan Sands | 1607f05 | 2008-12-01 11:39:25 +0000 | [diff] [blame] | 385 | |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 386 | virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 387 | |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 388 | virtual void computeMaskedBitsForTargetNode(const SDValue Op, |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 389 | APInt &KnownZero, |
Dan Gohman | fd29e0e | 2008-02-13 00:35:47 +0000 | [diff] [blame] | 390 | APInt &KnownOne, |
Dan Gohman | ea859be | 2007-06-22 14:59:07 +0000 | [diff] [blame] | 391 | const SelectionDAG &DAG, |
Chris Lattner | bbe77de | 2006-04-02 06:26:07 +0000 | [diff] [blame] | 392 | unsigned Depth = 0) const; |
Nate Begeman | 4a95945 | 2005-10-18 23:23:37 +0000 | [diff] [blame] | 393 | |
Dan Gohman | af1d8ca | 2010-05-01 00:01:06 +0000 | [diff] [blame] | 394 | virtual MachineBasicBlock * |
| 395 | EmitInstrWithCustomInserter(MachineInstr *MI, |
| 396 | MachineBasicBlock *MBB) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 397 | MachineBasicBlock *EmitAtomicBinary(MachineInstr *MI, |
Dale Johannesen | bdab93a | 2008-08-25 22:34:37 +0000 | [diff] [blame] | 398 | MachineBasicBlock *MBB, bool is64Bit, |
Dan Gohman | 1fdbc1d | 2009-02-07 16:15:20 +0000 | [diff] [blame] | 399 | unsigned BinOpcode) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 400 | MachineBasicBlock *EmitPartwordAtomicBinary(MachineInstr *MI, |
| 401 | MachineBasicBlock *MBB, |
Dan Gohman | 1fdbc1d | 2009-02-07 16:15:20 +0000 | [diff] [blame] | 402 | bool is8bit, unsigned Opcode) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 403 | |
Hal Finkel | 7ee74a6 | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 404 | MachineBasicBlock *emitEHSjLjSetJmp(MachineInstr *MI, |
| 405 | MachineBasicBlock *MBB) const; |
| 406 | |
| 407 | MachineBasicBlock *emitEHSjLjLongJmp(MachineInstr *MI, |
| 408 | MachineBasicBlock *MBB) const; |
| 409 | |
Chris Lattner | 4234f57 | 2007-03-25 02:14:49 +0000 | [diff] [blame] | 410 | ConstraintType getConstraintType(const std::string &Constraint) const; |
John Thompson | 44ab89e | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 411 | |
| 412 | /// Examine constraint string and operand type and determine a weight value. |
| 413 | /// The operand object must already have been set up with the operand type. |
| 414 | ConstraintWeight getSingleConstraintMatchWeight( |
| 415 | AsmOperandInfo &info, const char *constraint) const; |
| 416 | |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 417 | std::pair<unsigned, const TargetRegisterClass*> |
Chris Lattner | 331d1bc | 2006-11-02 01:44:04 +0000 | [diff] [blame] | 418 | getRegForInlineAsmConstraint(const std::string &Constraint, |
Owen Anderson | e50ed30 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 419 | EVT VT) const; |
Evan Cheng | c4c6257 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 420 | |
Dale Johannesen | 28d08fd | 2008-02-28 22:31:51 +0000 | [diff] [blame] | 421 | /// getByValTypeAlignment - Return the desired alignment for ByVal aggregate |
| 422 | /// function arguments in the caller parameter area. This is the actual |
| 423 | /// alignment, not its logarithm. |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 424 | unsigned getByValTypeAlignment(Type *Ty) const; |
Dale Johannesen | 28d08fd | 2008-02-28 22:31:51 +0000 | [diff] [blame] | 425 | |
Chris Lattner | 48884cd | 2007-08-25 00:47:38 +0000 | [diff] [blame] | 426 | /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops |
Dale Johannesen | 1784d16 | 2010-06-25 21:55:36 +0000 | [diff] [blame] | 427 | /// vector. If it is invalid, don't add anything to Ops. |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 428 | virtual void LowerAsmOperandForConstraint(SDValue Op, |
Eric Christopher | 100c833 | 2011-06-02 23:16:42 +0000 | [diff] [blame] | 429 | std::string &Constraint, |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 430 | std::vector<SDValue> &Ops, |
Chris Lattner | 5e76423 | 2008-04-26 23:02:14 +0000 | [diff] [blame] | 431 | SelectionDAG &DAG) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 432 | |
Chris Lattner | c9addb7 | 2007-03-30 23:15:24 +0000 | [diff] [blame] | 433 | /// isLegalAddressingMode - Return true if the addressing mode represented |
| 434 | /// 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] | 435 | virtual bool isLegalAddressingMode(const AddrMode &AM, Type *Ty)const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 436 | |
Evan Cheng | c4c6257 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 437 | /// isLegalAddressImmediate - Return true if the integer value can be used |
Evan Cheng | 8619391 | 2007-03-12 23:29:01 +0000 | [diff] [blame] | 438 | /// as the offset of the target addressing mode for load / store of the |
| 439 | /// given type. |
Chris Lattner | db125cf | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 440 | virtual bool isLegalAddressImmediate(int64_t V, Type *Ty) const; |
Evan Cheng | 8619391 | 2007-03-12 23:29:01 +0000 | [diff] [blame] | 441 | |
| 442 | /// isLegalAddressImmediate - Return true if the GlobalValue can be used as |
| 443 | /// the offset of the target addressing mode. |
| 444 | virtual bool isLegalAddressImmediate(GlobalValue *GV) const; |
Nicolas Geoffray | 43c6e7c | 2007-03-01 13:11:38 +0000 | [diff] [blame] | 445 | |
Dan Gohman | 54aeea3 | 2008-10-21 03:41:46 +0000 | [diff] [blame] | 446 | virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const; |
Owen Anderson | 95771af | 2011-02-25 21:41:48 +0000 | [diff] [blame] | 447 | |
Evan Cheng | 42642d0 | 2010-04-01 20:10:42 +0000 | [diff] [blame] | 448 | /// getOptimalMemOpType - Returns the target specific optimal type for load |
Evan Cheng | f28f8bc | 2010-04-02 19:36:14 +0000 | [diff] [blame] | 449 | /// and store operations as a result of memset, memcpy, and memmove |
| 450 | /// lowering. If DstAlign is zero that means it's safe to destination |
| 451 | /// alignment can satisfy any constraint. Similarly if SrcAlign is zero it |
| 452 | /// means there isn't a need to check it against alignment requirement, |
Evan Cheng | 946a3a9 | 2012-12-12 02:34:41 +0000 | [diff] [blame] | 453 | /// probably because the source does not need to be loaded. If 'IsMemset' is |
| 454 | /// true, that means it's expanding a memset. If 'ZeroMemset' is true, that |
| 455 | /// means it's a memset of zero. 'MemcpyStrSrc' indicates whether the memcpy |
| 456 | /// source is constant so it does not need to be loaded. |
Dan Gohman | 37f32ee | 2010-04-16 20:11:05 +0000 | [diff] [blame] | 457 | /// It returns EVT::Other if the type should be determined using generic |
| 458 | /// target-independent logic. |
Evan Cheng | f28f8bc | 2010-04-02 19:36:14 +0000 | [diff] [blame] | 459 | virtual EVT |
Evan Cheng | 946a3a9 | 2012-12-12 02:34:41 +0000 | [diff] [blame] | 460 | getOptimalMemOpType(uint64_t Size, unsigned DstAlign, unsigned SrcAlign, |
| 461 | bool IsMemset, bool ZeroMemset, bool MemcpyStrSrc, |
Dan Gohman | 37f32ee | 2010-04-16 20:11:05 +0000 | [diff] [blame] | 462 | MachineFunction &MF) const; |
Dan Gohman | 54aeea3 | 2008-10-21 03:41:46 +0000 | [diff] [blame] | 463 | |
Hal Finkel | 2d37f7b | 2013-03-15 15:27:13 +0000 | [diff] [blame] | 464 | /// Is unaligned memory access allowed for the given type, and is it fast |
| 465 | /// relative to software emulation. |
| 466 | virtual bool allowsUnalignedMemoryAccesses(EVT VT, bool *Fast = 0) const; |
| 467 | |
Hal Finkel | 070b8db | 2012-06-22 00:49:52 +0000 | [diff] [blame] | 468 | /// isFMAFasterThanMulAndAdd - Return true if an FMA operation is faster than |
| 469 | /// a pair of mul and add instructions. fmuladd intrinsics will be expanded to |
| 470 | /// FMAs when this method returns true (and FMAs are legal), otherwise fmuladd |
| 471 | /// is expanded to mul + add. |
| 472 | virtual bool isFMAFasterThanMulAndAdd(EVT VT) const; |
| 473 | |
Evan Cheng | 54fc97d | 2008-04-19 01:30:48 +0000 | [diff] [blame] | 474 | private: |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 475 | SDValue getFramePointerFrameIndex(SelectionDAG & DAG) const; |
| 476 | SDValue getReturnAddrFrameIndex(SelectionDAG & DAG) const; |
Arnold Schwaighofer | 30e62c0 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 477 | |
Evan Cheng | 0c439eb | 2010-01-27 00:07:07 +0000 | [diff] [blame] | 478 | bool |
| 479 | IsEligibleForTailCallOptimization(SDValue Callee, |
| 480 | CallingConv::ID CalleeCC, |
| 481 | bool isVarArg, |
| 482 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 483 | SelectionDAG& DAG) const; |
| 484 | |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 485 | SDValue EmitTailCallLoadFPAndRetAddr(SelectionDAG & DAG, |
Dale Johannesen | 33c960f | 2009-02-04 20:06:27 +0000 | [diff] [blame] | 486 | int SPDiff, |
| 487 | SDValue Chain, |
| 488 | SDValue &LROpOut, |
| 489 | SDValue &FPOpOut, |
Tilmann Scheller | 2a9ddfb | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 490 | bool isDarwinABI, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 491 | DebugLoc dl) const; |
Arnold Schwaighofer | 30e62c0 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 492 | |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 493 | SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; |
| 494 | SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; |
| 495 | SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const; |
| 496 | SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; |
Roman Divacky | fd42ed6 | 2012-06-04 17:36:38 +0000 | [diff] [blame] | 497 | SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 498 | SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 499 | SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const; |
| 500 | SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const; |
Duncan Sands | 4a544a7 | 2011-09-06 13:37:06 +0000 | [diff] [blame] | 501 | SDValue LowerINIT_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; |
| 502 | SDValue LowerADJUST_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 503 | SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 504 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 1e93df6 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 505 | SDValue LowerVAARG(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 506 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 507 | SDValue LowerSTACKRESTORE(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 508 | const PPCSubtarget &Subtarget) const; |
Dan Gohman | 475871a | 2008-07-27 21:46:04 +0000 | [diff] [blame] | 509 | SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 510 | const PPCSubtarget &Subtarget) const; |
| 511 | SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const; |
| 512 | SDValue LowerFP_TO_INT(SDValue Op, SelectionDAG &DAG, DebugLoc dl) const; |
Hal Finkel | 4647919 | 2013-04-01 17:52:07 +0000 | [diff] [blame] | 513 | SDValue LowerINT_TO_FP(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 514 | SDValue LowerFLT_ROUNDS_(SDValue Op, SelectionDAG &DAG) const; |
| 515 | SDValue LowerSHL_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 516 | SDValue LowerSRL_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 517 | SDValue LowerSRA_PARTS(SDValue Op, SelectionDAG &DAG) const; |
| 518 | SDValue LowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const; |
| 519 | SDValue LowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG) const; |
| 520 | SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const; |
| 521 | SDValue LowerSCALAR_TO_VECTOR(SDValue Op, SelectionDAG &DAG) const; |
| 522 | SDValue LowerMUL(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 523 | |
| 524 | SDValue LowerCallResult(SDValue Chain, SDValue InFlag, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 525 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 526 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 527 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 528 | SmallVectorImpl<SDValue> &InVals) const; |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 529 | SDValue FinishCall(CallingConv::ID CallConv, DebugLoc dl, bool isTailCall, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 530 | bool isVarArg, |
| 531 | SelectionDAG &DAG, |
| 532 | SmallVector<std::pair<unsigned, SDValue>, 8> |
| 533 | &RegsToPass, |
| 534 | SDValue InFlag, SDValue Chain, |
| 535 | SDValue &Callee, |
| 536 | int SPDiff, unsigned NumBytes, |
| 537 | const SmallVectorImpl<ISD::InputArg> &Ins, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 538 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 539 | |
| 540 | virtual SDValue |
| 541 | LowerFormalArguments(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 542 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 543 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 544 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 545 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 546 | |
| 547 | virtual SDValue |
Justin Holewinski | d2ea0e1 | 2012-05-25 16:35:28 +0000 | [diff] [blame] | 548 | LowerCall(TargetLowering::CallLoweringInfo &CLI, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 549 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 550 | |
Hal Finkel | d712f93 | 2011-10-14 19:51:36 +0000 | [diff] [blame] | 551 | virtual bool |
| 552 | CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, |
| 553 | bool isVarArg, |
| 554 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 555 | LLVMContext &Context) const; |
| 556 | |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 557 | virtual SDValue |
| 558 | LowerReturn(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 559 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 560 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | c940365 | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 561 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 562 | DebugLoc dl, SelectionDAG &DAG) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 563 | |
| 564 | SDValue |
Bill Schmidt | 726c237 | 2012-10-23 15:51:16 +0000 | [diff] [blame] | 565 | extendArgForPPC64(ISD::ArgFlagsTy Flags, EVT ObjectVT, SelectionDAG &DAG, |
| 566 | SDValue ArgVal, DebugLoc dl) const; |
| 567 | |
| 568 | void |
| 569 | setMinReservedArea(MachineFunction &MF, SelectionDAG &DAG, |
| 570 | unsigned nAltivecParamsAtEnd, |
| 571 | unsigned MinReservedArea, bool isPPC64) const; |
| 572 | |
| 573 | SDValue |
Bill Schmidt | b2544ec | 2012-10-05 21:27:08 +0000 | [diff] [blame] | 574 | LowerFormalArguments_Darwin(SDValue Chain, |
| 575 | CallingConv::ID CallConv, bool isVarArg, |
| 576 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 577 | DebugLoc dl, SelectionDAG &DAG, |
| 578 | SmallVectorImpl<SDValue> &InVals) const; |
| 579 | SDValue |
| 580 | LowerFormalArguments_64SVR4(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 581 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 582 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 583 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 584 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 585 | SDValue |
Bill Schmidt | 419f376 | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 586 | LowerFormalArguments_32SVR4(SDValue Chain, |
| 587 | CallingConv::ID CallConv, bool isVarArg, |
| 588 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 589 | DebugLoc dl, SelectionDAG &DAG, |
| 590 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 591 | |
| 592 | SDValue |
Bill Schmidt | 726c237 | 2012-10-23 15:51:16 +0000 | [diff] [blame] | 593 | createMemcpyOutsideCallSeq(SDValue Arg, SDValue PtrOff, |
| 594 | SDValue CallSeqStart, ISD::ArgFlagsTy Flags, |
| 595 | SelectionDAG &DAG, DebugLoc dl) const; |
| 596 | |
| 597 | SDValue |
| 598 | LowerCall_Darwin(SDValue Chain, SDValue Callee, |
| 599 | CallingConv::ID CallConv, |
| 600 | bool isVarArg, bool isTailCall, |
| 601 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 602 | const SmallVectorImpl<SDValue> &OutVals, |
| 603 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 604 | DebugLoc dl, SelectionDAG &DAG, |
| 605 | SmallVectorImpl<SDValue> &InVals) const; |
| 606 | SDValue |
| 607 | LowerCall_64SVR4(SDValue Chain, SDValue Callee, |
Bill Schmidt | 419f376 | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 608 | CallingConv::ID CallConv, |
Evan Cheng | 4bfcd4a | 2012-02-28 18:51:51 +0000 | [diff] [blame] | 609 | bool isVarArg, bool isTailCall, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 610 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | c940365 | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 611 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 612 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 613 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 614 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 615 | SDValue |
Bill Schmidt | 419f376 | 2012-09-19 15:42:13 +0000 | [diff] [blame] | 616 | LowerCall_32SVR4(SDValue Chain, SDValue Callee, CallingConv::ID CallConv, |
| 617 | bool isVarArg, bool isTailCall, |
| 618 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
| 619 | const SmallVectorImpl<SDValue> &OutVals, |
| 620 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 621 | DebugLoc dl, SelectionDAG &DAG, |
| 622 | SmallVectorImpl<SDValue> &InVals) const; |
Hal Finkel | 7ee74a6 | 2013-03-21 21:37:52 +0000 | [diff] [blame] | 623 | |
| 624 | SDValue lowerEH_SJLJ_SETJMP(SDValue Op, SelectionDAG &DAG) const; |
| 625 | SDValue lowerEH_SJLJ_LONGJMP(SDValue Op, SelectionDAG &DAG) const; |
Hal Finkel | 827307b | 2013-04-03 04:01:11 +0000 | [diff] [blame] | 626 | |
Hal Finkel | 63c32a7 | 2013-04-03 17:44:56 +0000 | [diff] [blame^] | 627 | SDValue DAGCombineFastRecip(SDValue Op, DAGCombinerInfo &DCI) const; |
| 628 | SDValue DAGCombineFastRecipFSQRT(SDValue Op, DAGCombinerInfo &DCI) const; |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 629 | }; |
| 630 | } |
| 631 | |
| 632 | #endif // LLVM_TARGET_POWERPC_PPC32ISELLOWERING_H |