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