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 | // |
| 5 | // This file was developed by Chris Lattner and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| 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 | |
| 18 | #include "llvm/Target/TargetLowering.h" |
Chris Lattner | 0bbea95 | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/SelectionDAG.h" |
Chris Lattner | 2668959 | 2005-10-14 23:51:18 +0000 | [diff] [blame] | 20 | #include "PPC.h" |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 21 | |
| 22 | namespace llvm { |
Chris Lattner | 0bbea95 | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 23 | namespace PPCISD { |
| 24 | enum NodeType { |
| 25 | // Start the numbering where the builting ops and target ops leave off. |
| 26 | FIRST_NUMBER = ISD::BUILTIN_OP_END+PPC::INSTRUCTION_LIST_END, |
| 27 | |
| 28 | /// FSEL - Traditional three-operand fsel node. |
| 29 | /// |
| 30 | FSEL, |
Chris Lattner | f760532 | 2005-08-31 21:09:52 +0000 | [diff] [blame] | 31 | |
Nate Begeman | c09eeec | 2005-09-06 22:03:27 +0000 | [diff] [blame] | 32 | /// FCFID - The FCFID instruction, taking an f64 operand and producing |
| 33 | /// and f64 value containing the FP representation of the integer that |
| 34 | /// was temporarily in the f64 operand. |
| 35 | FCFID, |
| 36 | |
| 37 | /// FCTI[D,W]Z - The FCTIDZ and FCTIWZ instructions, taking an f32 or f64 |
| 38 | /// operand, producing an f64 value containing the integer representation |
| 39 | /// of that FP value. |
| 40 | FCTIDZ, FCTIWZ, |
Chris Lattner | 860e886 | 2005-11-17 07:30:41 +0000 | [diff] [blame] | 41 | |
Chris Lattner | 5126984 | 2006-03-01 05:50:56 +0000 | [diff] [blame] | 42 | /// STFIWX - The STFIWX instruction. The first operand is an input token |
| 43 | /// chain, then an f64 value to store, then an address to store it to, |
| 44 | /// then a SRCVALUE for the address. |
| 45 | STFIWX, |
| 46 | |
Nate Begeman | 993aeb2 | 2005-12-13 22:55:22 +0000 | [diff] [blame] | 47 | // VMADDFP, VNMSUBFP - The VMADDFP and VNMSUBFP instructions, taking |
| 48 | // three v4f32 operands and producing a v4f32 result. |
| 49 | VMADDFP, VNMSUBFP, |
| 50 | |
Chris Lattner | f1d0b2b | 2006-03-20 01:53:53 +0000 | [diff] [blame] | 51 | /// VPERM - The PPC VPERM Instruction. |
| 52 | /// |
| 53 | VPERM, |
| 54 | |
Chris Lattner | 860e886 | 2005-11-17 07:30:41 +0000 | [diff] [blame] | 55 | /// Hi/Lo - These represent the high and low 16-bit parts of a global |
| 56 | /// address respectively. These nodes have two operands, the first of |
| 57 | /// which must be a TargetGlobalAddress, and the second of which must be a |
| 58 | /// Constant. Selected naively, these turn into 'lis G+C' and 'li G+C', |
| 59 | /// though these are usually folded into other nodes. |
| 60 | Hi, Lo, |
| 61 | |
| 62 | /// GlobalBaseReg - On Darwin, this node represents the result of the mflr |
| 63 | /// at function entry, used for PIC code. |
| 64 | GlobalBaseReg, |
Chris Lattner | 4172b10 | 2005-12-06 02:10:38 +0000 | [diff] [blame] | 65 | |
Chris Lattner | 4172b10 | 2005-12-06 02:10:38 +0000 | [diff] [blame] | 66 | /// These nodes represent the 32-bit PPC shifts that operate on 6-bit |
| 67 | /// shift amounts. These nodes are generated by the multi-precision shift |
| 68 | /// code. |
| 69 | SRL, SRA, SHL, |
Chris Lattner | ecfe55e | 2006-03-22 05:30:33 +0000 | [diff] [blame] | 70 | |
| 71 | /// EXTSW_32 - This is the EXTSW instruction for use with "32-bit" |
| 72 | /// registers. |
| 73 | EXTSW_32, |
Nate Begeman | 9e4dd9d | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 74 | |
Chris Lattner | ecfe55e | 2006-03-22 05:30:33 +0000 | [diff] [blame] | 75 | /// STD_32 - This is the STD instruction for use with "32-bit" registers. |
| 76 | STD_32, |
| 77 | |
Chris Lattner | 281b55e | 2006-01-27 23:34:02 +0000 | [diff] [blame] | 78 | /// CALL - A function call. |
| 79 | CALL, |
| 80 | |
Nate Begeman | 9e4dd9d | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 81 | /// Return with a flag operand, matched by 'blr' |
| 82 | RET_FLAG, |
Chris Lattner | 6d92cad | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 83 | |
| 84 | /// R32 = MFCR(CRREG, INFLAG) - Represents the MFCR/MFOCRF instructions. |
| 85 | /// This copies the bits corresponding to the specified CRREG into the |
| 86 | /// resultant GPR. Bits corresponding to other CR regs are undefined. |
| 87 | MFCR, |
Chris Lattner | a17b155 | 2006-03-31 05:13:27 +0000 | [diff] [blame] | 88 | |
| 89 | /// RESVEC = VCMP(LHS, RHS, OPC) - Represents one of the altivec VCMP* |
| 90 | /// instructions. For lack of better number, we use the opcode number |
| 91 | /// encoding for the OPC field to identify the compare. For example, 838 |
| 92 | /// is VCMPGTSH. |
| 93 | VCMP, |
Chris Lattner | 6d92cad | 2006-03-26 10:06:40 +0000 | [diff] [blame] | 94 | |
| 95 | /// RESVEC, OUTFLAG = VCMPo(LHS, RHS, OPC) - Represents one of the |
| 96 | /// altivec VCMP*o instructions. For lack of better number, we use the |
| 97 | /// opcode number encoding for the OPC field to identify the compare. For |
| 98 | /// example, 838 is VCMPGTSH. |
| 99 | VCMPo |
Chris Lattner | 281b55e | 2006-01-27 23:34:02 +0000 | [diff] [blame] | 100 | }; |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 101 | } |
| 102 | |
| 103 | /// Define some predicates that are used for node matching. |
| 104 | namespace PPC { |
Chris Lattner | ddb739e | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 105 | /// isVPKUHUMShuffleMask - Return true if this is the shuffle mask for a |
| 106 | /// VPKUHUM instruction. |
Chris Lattner | f24380e | 2006-04-06 22:28:36 +0000 | [diff] [blame] | 107 | bool isVPKUHUMShuffleMask(SDNode *N, bool isUnary); |
Chris Lattner | ddb739e | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 108 | |
| 109 | /// isVPKUWUMShuffleMask - Return true if this is the shuffle mask for a |
| 110 | /// VPKUWUM instruction. |
Chris Lattner | f24380e | 2006-04-06 22:28:36 +0000 | [diff] [blame] | 111 | bool isVPKUWUMShuffleMask(SDNode *N, bool isUnary); |
Chris Lattner | 116cc48 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 112 | |
| 113 | /// isVMRGLShuffleMask - Return true if this is a shuffle mask suitable for |
| 114 | /// a VRGL* instruction with the specified unit size (1,2 or 4 bytes). |
Chris Lattner | caad163 | 2006-04-06 22:02:42 +0000 | [diff] [blame] | 115 | bool isVMRGLShuffleMask(SDNode *N, unsigned UnitSize, bool isUnary); |
Chris Lattner | 116cc48 | 2006-04-06 21:11:54 +0000 | [diff] [blame] | 116 | |
| 117 | /// isVMRGHShuffleMask - Return true if this is a shuffle mask suitable for |
| 118 | /// a VRGH* instruction with the specified unit size (1,2 or 4 bytes). |
Chris Lattner | caad163 | 2006-04-06 22:02:42 +0000 | [diff] [blame] | 119 | bool isVMRGHShuffleMask(SDNode *N, unsigned UnitSize, bool isUnary); |
Chris Lattner | ddb739e | 2006-04-06 17:23:16 +0000 | [diff] [blame] | 120 | |
Chris Lattner | d0608e1 | 2006-04-06 18:26:28 +0000 | [diff] [blame] | 121 | /// isVSLDOIShuffleMask - If this is a vsldoi shuffle mask, return the shift |
| 122 | /// amount, otherwise return -1. |
Chris Lattner | f24380e | 2006-04-06 22:28:36 +0000 | [diff] [blame] | 123 | int isVSLDOIShuffleMask(SDNode *N, bool isUnary); |
Chris Lattner | d0608e1 | 2006-04-06 18:26:28 +0000 | [diff] [blame] | 124 | |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 125 | /// isSplatShuffleMask - Return true if the specified VECTOR_SHUFFLE operand |
| 126 | /// specifies a splat of a single element that is suitable for input to |
| 127 | /// VSPLTB/VSPLTH/VSPLTW. |
Chris Lattner | 7ff7e67 | 2006-04-04 17:25:31 +0000 | [diff] [blame] | 128 | bool isSplatShuffleMask(SDNode *N, unsigned EltSize); |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 129 | |
| 130 | /// getVSPLTImmediate - Return the appropriate VSPLT* immediate to splat the |
| 131 | /// specified isSplatShuffleMask VECTOR_SHUFFLE mask. |
Chris Lattner | 7ff7e67 | 2006-04-04 17:25:31 +0000 | [diff] [blame] | 132 | unsigned getVSPLTImmediate(SDNode *N, unsigned EltSize); |
Chris Lattner | 64b3a08 | 2006-03-24 07:48:08 +0000 | [diff] [blame] | 133 | |
Chris Lattner | 140a58f | 2006-04-08 06:46:53 +0000 | [diff] [blame^] | 134 | /// get_VSPLI_elt - If this is a build_vector of constants which can be |
| 135 | /// formed by using a vspltis[bhw] instruction of the specified element |
| 136 | /// size, return the constant being splatted. The ByteSize field indicates |
| 137 | /// the number of bytes of each element [124] -> [bhw]. |
| 138 | SDOperand get_VSPLI_elt(SDNode *N, unsigned ByteSize, SelectionDAG &DAG); |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 139 | } |
Chris Lattner | 0bbea95 | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 140 | |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 141 | class PPCTargetLowering : public TargetLowering { |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 142 | int VarArgsFrameIndex; // FrameIndex for start of varargs area. |
| 143 | int ReturnAddrIndex; // FrameIndex for return slot. |
| 144 | public: |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 145 | PPCTargetLowering(TargetMachine &TM); |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 146 | |
Chris Lattner | da6d20f | 2006-01-09 23:52:17 +0000 | [diff] [blame] | 147 | /// getTargetNodeName() - This method returns the name of a target specific |
| 148 | /// DAG node. |
| 149 | virtual const char *getTargetNodeName(unsigned Opcode) const; |
| 150 | |
Chris Lattner | e4bc9ea | 2005-08-26 00:52:45 +0000 | [diff] [blame] | 151 | /// LowerOperation - Provide custom lowering hooks for some operations. |
| 152 | /// |
| 153 | virtual SDOperand LowerOperation(SDOperand Op, SelectionDAG &DAG); |
| 154 | |
Chris Lattner | 8c13d0a | 2006-03-01 04:57:39 +0000 | [diff] [blame] | 155 | virtual SDOperand PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
| 156 | |
Chris Lattner | bbe77de | 2006-04-02 06:26:07 +0000 | [diff] [blame] | 157 | virtual void computeMaskedBitsForTargetNode(const SDOperand Op, |
| 158 | uint64_t Mask, |
| 159 | uint64_t &KnownZero, |
| 160 | uint64_t &KnownOne, |
| 161 | unsigned Depth = 0) const; |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 162 | /// LowerArguments - This hook must be implemented to indicate how we should |
| 163 | /// lower the arguments for the specified function, into the specified DAG. |
| 164 | virtual std::vector<SDOperand> |
| 165 | LowerArguments(Function &F, SelectionDAG &DAG); |
| 166 | |
| 167 | /// LowerCallTo - This hook lowers an abstract call to a function into an |
| 168 | /// actual call. |
| 169 | virtual std::pair<SDOperand, SDOperand> |
| 170 | LowerCallTo(SDOperand Chain, const Type *RetTy, bool isVarArg, |
| 171 | unsigned CC, |
| 172 | bool isTailCall, SDOperand Callee, ArgListTy &Args, |
| 173 | SelectionDAG &DAG); |
Nate Begeman | 4a95945 | 2005-10-18 23:23:37 +0000 | [diff] [blame] | 174 | |
Chris Lattner | 8a2d3ca | 2005-08-26 21:23:58 +0000 | [diff] [blame] | 175 | virtual MachineBasicBlock *InsertAtEndOfBasicBlock(MachineInstr *MI, |
| 176 | MachineBasicBlock *MBB); |
Chris Lattner | ddc787d | 2006-01-31 19:20:21 +0000 | [diff] [blame] | 177 | |
Chris Lattner | ad3bc8d | 2006-02-07 20:16:30 +0000 | [diff] [blame] | 178 | ConstraintType getConstraintType(char ConstraintLetter) const; |
Chris Lattner | ddc787d | 2006-01-31 19:20:21 +0000 | [diff] [blame] | 179 | std::vector<unsigned> |
Chris Lattner | 1efa40f | 2006-02-22 00:56:39 +0000 | [diff] [blame] | 180 | getRegClassForInlineAsmConstraint(const std::string &Constraint, |
| 181 | MVT::ValueType VT) const; |
Chris Lattner | 763317d | 2006-02-07 00:47:13 +0000 | [diff] [blame] | 182 | bool isOperandValidForConstraint(SDOperand Op, char ConstraintLetter); |
Evan Cheng | c4c6257 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 183 | |
| 184 | /// isLegalAddressImmediate - Return true if the integer value can be used |
| 185 | /// as the offset of the target addressing mode. |
| 186 | virtual bool isLegalAddressImmediate(int64_t V) const; |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 187 | }; |
| 188 | } |
| 189 | |
| 190 | #endif // LLVM_TARGET_POWERPC_PPC32ISELLOWERING_H |