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 | b2177b9 | 2006-03-19 06:55:52 +0000 | [diff] [blame] | 51 | /// LVE_X - The PPC LVE*X instructions. The size of the element loaded is |
| 52 | /// the size of the element type of the vector result. The element loaded |
| 53 | /// depends on the alignment of the input pointer. |
| 54 | /// |
| 55 | /// The first operand is a token chain, the second is the address to load |
| 56 | /// the third is the SRCVALUE node. |
| 57 | LVE_X, |
| 58 | |
Chris Lattner | f1d0b2b | 2006-03-20 01:53:53 +0000 | [diff] [blame] | 59 | /// VPERM - The PPC VPERM Instruction. |
| 60 | /// |
| 61 | VPERM, |
| 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, |
| 69 | |
| 70 | /// GlobalBaseReg - On Darwin, this node represents the result of the mflr |
| 71 | /// at function entry, used for PIC code. |
| 72 | GlobalBaseReg, |
Chris Lattner | 4172b10 | 2005-12-06 02:10:38 +0000 | [diff] [blame] | 73 | |
Chris Lattner | 4172b10 | 2005-12-06 02:10:38 +0000 | [diff] [blame] | 74 | /// These nodes represent the 32-bit PPC shifts that operate on 6-bit |
| 75 | /// shift amounts. These nodes are generated by the multi-precision shift |
| 76 | /// code. |
| 77 | SRL, SRA, SHL, |
Chris Lattner | ecfe55e | 2006-03-22 05:30:33 +0000 | [diff] [blame^] | 78 | |
| 79 | /// EXTSW_32 - This is the EXTSW instruction for use with "32-bit" |
| 80 | /// registers. |
| 81 | EXTSW_32, |
Nate Begeman | 9e4dd9d | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 82 | |
Chris Lattner | ecfe55e | 2006-03-22 05:30:33 +0000 | [diff] [blame^] | 83 | /// STD_32 - This is the STD instruction for use with "32-bit" registers. |
| 84 | STD_32, |
| 85 | |
Chris Lattner | 281b55e | 2006-01-27 23:34:02 +0000 | [diff] [blame] | 86 | /// CALL - A function call. |
| 87 | CALL, |
| 88 | |
Nate Begeman | 9e4dd9d | 2005-12-20 00:26:01 +0000 | [diff] [blame] | 89 | /// Return with a flag operand, matched by 'blr' |
| 90 | RET_FLAG, |
Chris Lattner | 281b55e | 2006-01-27 23:34:02 +0000 | [diff] [blame] | 91 | }; |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 92 | } |
| 93 | |
| 94 | /// Define some predicates that are used for node matching. |
| 95 | namespace PPC { |
| 96 | /// isSplatShuffleMask - Return true if the specified VECTOR_SHUFFLE operand |
| 97 | /// specifies a splat of a single element that is suitable for input to |
| 98 | /// VSPLTB/VSPLTH/VSPLTW. |
Chris Lattner | ef819f8 | 2006-03-20 06:33:01 +0000 | [diff] [blame] | 99 | bool isSplatShuffleMask(SDNode *N); |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 100 | |
| 101 | /// getVSPLTImmediate - Return the appropriate VSPLT* immediate to splat the |
| 102 | /// specified isSplatShuffleMask VECTOR_SHUFFLE mask. |
Chris Lattner | ef819f8 | 2006-03-20 06:33:01 +0000 | [diff] [blame] | 103 | unsigned getVSPLTImmediate(SDNode *N); |
Chris Lattner | 3c0f9cc | 2006-03-20 06:15:45 +0000 | [diff] [blame] | 104 | } |
Chris Lattner | 0bbea95 | 2005-08-26 20:25:03 +0000 | [diff] [blame] | 105 | |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 106 | class PPCTargetLowering : public TargetLowering { |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 107 | int VarArgsFrameIndex; // FrameIndex for start of varargs area. |
| 108 | int ReturnAddrIndex; // FrameIndex for return slot. |
| 109 | public: |
Nate Begeman | 21e463b | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 110 | PPCTargetLowering(TargetMachine &TM); |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 111 | |
Chris Lattner | da6d20f | 2006-01-09 23:52:17 +0000 | [diff] [blame] | 112 | /// getTargetNodeName() - This method returns the name of a target specific |
| 113 | /// DAG node. |
| 114 | virtual const char *getTargetNodeName(unsigned Opcode) const; |
| 115 | |
Chris Lattner | e4bc9ea | 2005-08-26 00:52:45 +0000 | [diff] [blame] | 116 | /// LowerOperation - Provide custom lowering hooks for some operations. |
| 117 | /// |
| 118 | virtual SDOperand LowerOperation(SDOperand Op, SelectionDAG &DAG); |
| 119 | |
Chris Lattner | 8c13d0a | 2006-03-01 04:57:39 +0000 | [diff] [blame] | 120 | virtual SDOperand PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
| 121 | |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 122 | /// LowerArguments - This hook must be implemented to indicate how we should |
| 123 | /// lower the arguments for the specified function, into the specified DAG. |
| 124 | virtual std::vector<SDOperand> |
| 125 | LowerArguments(Function &F, SelectionDAG &DAG); |
| 126 | |
| 127 | /// LowerCallTo - This hook lowers an abstract call to a function into an |
| 128 | /// actual call. |
| 129 | virtual std::pair<SDOperand, SDOperand> |
| 130 | LowerCallTo(SDOperand Chain, const Type *RetTy, bool isVarArg, |
| 131 | unsigned CC, |
| 132 | bool isTailCall, SDOperand Callee, ArgListTy &Args, |
| 133 | SelectionDAG &DAG); |
Nate Begeman | 4a95945 | 2005-10-18 23:23:37 +0000 | [diff] [blame] | 134 | |
Chris Lattner | 8a2d3ca | 2005-08-26 21:23:58 +0000 | [diff] [blame] | 135 | virtual MachineBasicBlock *InsertAtEndOfBasicBlock(MachineInstr *MI, |
| 136 | MachineBasicBlock *MBB); |
Chris Lattner | ddc787d | 2006-01-31 19:20:21 +0000 | [diff] [blame] | 137 | |
Chris Lattner | ad3bc8d | 2006-02-07 20:16:30 +0000 | [diff] [blame] | 138 | ConstraintType getConstraintType(char ConstraintLetter) const; |
Chris Lattner | ddc787d | 2006-01-31 19:20:21 +0000 | [diff] [blame] | 139 | std::vector<unsigned> |
Chris Lattner | 1efa40f | 2006-02-22 00:56:39 +0000 | [diff] [blame] | 140 | getRegClassForInlineAsmConstraint(const std::string &Constraint, |
| 141 | MVT::ValueType VT) const; |
Chris Lattner | 763317d | 2006-02-07 00:47:13 +0000 | [diff] [blame] | 142 | bool isOperandValidForConstraint(SDOperand Op, char ConstraintLetter); |
Evan Cheng | c4c6257 | 2006-03-13 23:20:37 +0000 | [diff] [blame] | 143 | |
| 144 | /// isLegalAddressImmediate - Return true if the integer value can be used |
| 145 | /// as the offset of the target addressing mode. |
| 146 | virtual bool isLegalAddressImmediate(int64_t V) const; |
Chris Lattner | 7c5a3d3 | 2005-08-16 17:14:42 +0000 | [diff] [blame] | 147 | }; |
| 148 | } |
| 149 | |
| 150 | #endif // LLVM_TARGET_POWERPC_PPC32ISELLOWERING_H |