Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 1 | //===-- MipsISelLowering.h - Mips DAG Lowering Interface --------*- C++ -*-===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +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. |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 7 | // |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file defines the interfaces that Mips uses to lower LLVM code into a |
| 11 | // selection DAG. |
| 12 | // |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 13 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 14 | |
| 15 | #ifndef MipsISELLOWERING_H |
| 16 | #define MipsISELLOWERING_H |
| 17 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 18 | #include "Mips.h" |
| 19 | #include "MipsSubtarget.h" |
Craig Topper | 79aa341 | 2012-03-17 18:46:09 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/SelectionDAG.h" |
| 21 | #include "llvm/Target/TargetLowering.h" |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 22 | |
| 23 | namespace llvm { |
| 24 | namespace MipsISD { |
| 25 | enum NodeType { |
| 26 | // Start the numbering from where ISD NodeType finishes. |
Dan Gohman | 0ba2bcf | 2008-09-23 18:42:32 +0000 | [diff] [blame] | 27 | FIRST_NUMBER = ISD::BUILTIN_OP_END, |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 28 | |
| 29 | // Jump and link (call) |
| 30 | JmpLink, |
| 31 | |
| 32 | // Get the Higher 16 bits from a 32-bit immediate |
| 33 | // No relation with Mips Hi register |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 34 | Hi, |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 35 | |
| 36 | // Get the Lower 16 bits from a 32-bit immediate |
| 37 | // No relation with Mips Lo register |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 38 | Lo, |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 39 | |
Bruno Cardoso Lopes | 91fd532 | 2008-07-21 18:52:34 +0000 | [diff] [blame] | 40 | // Handle gp_rel (small data/bss sections) relocation. |
| 41 | GPRel, |
| 42 | |
Bruno Cardoso Lopes | d979686 | 2011-05-31 02:53:58 +0000 | [diff] [blame] | 43 | // Thread Pointer |
| 44 | ThreadPointer, |
| 45 | |
Bruno Cardoso Lopes | 7b76da1 | 2008-07-09 04:45:36 +0000 | [diff] [blame] | 46 | // Floating Point Branch Conditional |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 47 | FPBrcond, |
| 48 | |
Bruno Cardoso Lopes | 7b76da1 | 2008-07-09 04:45:36 +0000 | [diff] [blame] | 49 | // Floating Point Compare |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 50 | FPCmp, |
| 51 | |
Akira Hatanaka | 1d6b38d | 2011-03-31 18:26:17 +0000 | [diff] [blame] | 52 | // Floating Point Conditional Moves |
| 53 | CMovFP_T, |
| 54 | CMovFP_F, |
| 55 | |
Bruno Cardoso Lopes | d3bdf19 | 2009-05-27 17:23:44 +0000 | [diff] [blame] | 56 | // Floating Point Rounding |
| 57 | FPRound, |
| 58 | |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 59 | // Return |
Bruno Cardoso Lopes | 8be7611 | 2011-01-18 19:29:17 +0000 | [diff] [blame] | 60 | Ret, |
| 61 | |
| 62 | // MAdd/Sub nodes |
| 63 | MAdd, |
| 64 | MAddu, |
| 65 | MSub, |
Bruno Cardoso Lopes | 38b5e86 | 2011-03-04 21:03:24 +0000 | [diff] [blame] | 66 | MSubu, |
| 67 | |
| 68 | // DivRem(u) |
| 69 | DivRem, |
Akira Hatanaka | 99a2e98 | 2011-04-15 19:52:08 +0000 | [diff] [blame] | 70 | DivRemU, |
| 71 | |
| 72 | BuildPairF64, |
Akira Hatanaka | 342837d | 2011-05-28 01:07:07 +0000 | [diff] [blame] | 73 | ExtractElementF64, |
| 74 | |
Akira Hatanaka | 6df7e23 | 2011-12-09 01:53:17 +0000 | [diff] [blame] | 75 | Wrapper, |
Akira Hatanaka | 21afc63 | 2011-06-21 00:40:49 +0000 | [diff] [blame] | 76 | |
Akira Hatanaka | db54826 | 2011-07-19 23:30:50 +0000 | [diff] [blame] | 77 | DynAlloc, |
| 78 | |
Akira Hatanaka | bb15e11 | 2011-08-17 02:05:42 +0000 | [diff] [blame] | 79 | Sync, |
| 80 | |
| 81 | Ext, |
Akira Hatanaka | b6f1dc2 | 2012-06-02 00:03:12 +0000 | [diff] [blame] | 82 | Ins, |
| 83 | |
| 84 | // Load/Store Left/Right nodes. |
| 85 | LWL = ISD::FIRST_TARGET_MEMORY_OPCODE, |
| 86 | LWR, |
| 87 | SWL, |
| 88 | SWR, |
| 89 | LDL, |
| 90 | LDR, |
| 91 | SDL, |
| 92 | SDR |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 93 | }; |
| 94 | } |
| 95 | |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 96 | //===--------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 97 | // TargetLowering Implementation |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 98 | //===--------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 99 | |
Chris Lattner | e3736f8 | 2009-08-13 05:41:27 +0000 | [diff] [blame] | 100 | class MipsTargetLowering : public TargetLowering { |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 101 | public: |
Dan Gohman | 61e729e | 2007-08-02 21:21:54 +0000 | [diff] [blame] | 102 | explicit MipsTargetLowering(MipsTargetMachine &TM); |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 103 | |
Akira Hatanaka | 68698cc | 2011-11-07 18:59:49 +0000 | [diff] [blame] | 104 | virtual MVT getShiftAmountTy(EVT LHSTy) const { return MVT::i32; } |
| 105 | |
Akira Hatanaka | 5c21c9e | 2011-08-12 21:30:06 +0000 | [diff] [blame] | 106 | virtual bool allowsUnalignedMemoryAccesses (EVT VT) const; |
| 107 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 108 | /// LowerOperation - Provide custom lowering hooks for some operations. |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 109 | virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 110 | |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 111 | /// getTargetNodeName - This method returns the name of a target specific |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 112 | // DAG node. |
| 113 | virtual const char *getTargetNodeName(unsigned Opcode) const; |
| 114 | |
Scott Michel | 5b8f82e | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 115 | /// getSetCCResultType - get the ISD::SETCC result ValueType |
Duncan Sands | 28b77e9 | 2011-09-06 19:07:46 +0000 | [diff] [blame] | 116 | EVT getSetCCResultType(EVT VT) const; |
Scott Michel | 5b8f82e | 2008-03-10 15:42:14 +0000 | [diff] [blame] | 117 | |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 118 | virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 119 | private: |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 120 | // Subtarget Info |
| 121 | const MipsSubtarget *Subtarget; |
Jia Liu | bb481f8 | 2012-02-28 07:46:26 +0000 | [diff] [blame] | 122 | |
Akira Hatanaka | 2ec69fa | 2011-10-28 18:47:24 +0000 | [diff] [blame] | 123 | bool HasMips64, IsN64, IsO32; |
Chris Lattner | e3736f8 | 2009-08-13 05:41:27 +0000 | [diff] [blame] | 124 | |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 125 | // Lower Operand helpers |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 126 | SDValue LowerCallResult(SDValue Chain, SDValue InFlag, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 127 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 128 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 129 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 130 | SmallVectorImpl<SDValue> &InVals) const; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 131 | |
| 132 | // Lower Operand specifics |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 133 | SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const; |
| 134 | SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const; |
| 135 | SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 136 | SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const; |
Bruno Cardoso Lopes | ca8a2aa | 2011-03-04 20:01:52 +0000 | [diff] [blame] | 137 | SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 138 | SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const; |
| 139 | SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const; |
| 140 | SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | 3fef29d | 2012-07-11 19:32:27 +0000 | [diff] [blame] | 141 | SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | 0a40c23 | 2012-03-09 23:46:03 +0000 | [diff] [blame] | 142 | SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const; |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 143 | SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | 9c3d57c | 2011-05-25 19:32:07 +0000 | [diff] [blame] | 144 | SDValue LowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | c12a6e6 | 2012-04-11 22:49:04 +0000 | [diff] [blame] | 145 | SDValue LowerFABS(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | 2e59147 | 2011-06-02 00:24:44 +0000 | [diff] [blame] | 146 | SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | ba584fe | 2012-07-11 00:53:32 +0000 | [diff] [blame] | 147 | SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const; |
Akira Hatanaka | db54826 | 2011-07-19 23:30:50 +0000 | [diff] [blame] | 148 | SDValue LowerMEMBARRIER(SDValue Op, SelectionDAG& DAG) const; |
Eli Friedman | 1464846 | 2011-07-27 22:21:52 +0000 | [diff] [blame] | 149 | SDValue LowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const; |
Akira Hatanaka | a284acb | 2012-05-09 00:55:21 +0000 | [diff] [blame] | 150 | SDValue LowerShiftLeftParts(SDValue Op, SelectionDAG& DAG) const; |
Akira Hatanaka | 864f660 | 2012-06-14 21:10:56 +0000 | [diff] [blame] | 151 | SDValue LowerShiftRightParts(SDValue Op, SelectionDAG& DAG, |
| 152 | bool IsSRA) const; |
Akira Hatanaka | 1cd0ec0 | 2012-06-02 00:03:49 +0000 | [diff] [blame] | 153 | SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const; |
| 154 | SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const; |
Bruno Cardoso Lopes | 07cec75 | 2008-06-06 00:58:26 +0000 | [diff] [blame] | 155 | |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 156 | virtual SDValue |
| 157 | LowerFormalArguments(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 158 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 159 | const SmallVectorImpl<ISD::InputArg> &Ins, |
| 160 | DebugLoc dl, SelectionDAG &DAG, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 161 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 162 | |
| 163 | virtual SDValue |
Justin Holewinski | d2ea0e1 | 2012-05-25 16:35:28 +0000 | [diff] [blame] | 164 | LowerCall(TargetLowering::CallLoweringInfo &CLI, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 165 | SmallVectorImpl<SDValue> &InVals) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 166 | |
| 167 | virtual SDValue |
| 168 | LowerReturn(SDValue Chain, |
Sandeep Patel | 65c3c8f | 2009-09-02 08:44:58 +0000 | [diff] [blame] | 169 | CallingConv::ID CallConv, bool isVarArg, |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 170 | const SmallVectorImpl<ISD::OutputArg> &Outs, |
Dan Gohman | c940365 | 2010-07-07 15:54:55 +0000 | [diff] [blame] | 171 | const SmallVectorImpl<SDValue> &OutVals, |
Dan Gohman | d858e90 | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 172 | DebugLoc dl, SelectionDAG &DAG) const; |
Dan Gohman | 98ca4f2 | 2009-08-05 01:29:28 +0000 | [diff] [blame] | 173 | |
Dan Gohman | af1d8ca | 2010-05-01 00:01:06 +0000 | [diff] [blame] | 174 | virtual MachineBasicBlock * |
| 175 | EmitInstrWithCustomInserter(MachineInstr *MI, |
| 176 | MachineBasicBlock *MBB) const; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 177 | |
Bruno Cardoso Lopes | 84f47c5 | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 178 | // Inline asm support |
| 179 | ConstraintType getConstraintType(const std::string &Constraint) const; |
| 180 | |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 181 | /// Examine constraint string and operand type and determine a weight value. |
| 182 | /// The operand object must already have been set up with the operand type. |
John Thompson | 44ab89e | 2010-10-29 17:29:13 +0000 | [diff] [blame] | 183 | ConstraintWeight getSingleConstraintMatchWeight( |
| 184 | AsmOperandInfo &info, const char *constraint) const; |
| 185 | |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 186 | std::pair<unsigned, const TargetRegisterClass*> |
Bruno Cardoso Lopes | 84f47c5 | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 187 | getRegForInlineAsmConstraint(const std::string &Constraint, |
Owen Anderson | e50ed30 | 2009-08-10 22:56:29 +0000 | [diff] [blame] | 188 | EVT VT) const; |
Bruno Cardoso Lopes | 84f47c5 | 2007-08-21 16:09:25 +0000 | [diff] [blame] | 189 | |
Eric Christopher | 50ab039 | 2012-05-07 03:13:32 +0000 | [diff] [blame] | 190 | /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops |
| 191 | /// vector. If it is invalid, don't add anything to Ops. If hasMemory is |
| 192 | /// true it means one of the asm constraint of the inline asm instruction |
| 193 | /// being processed is 'm'. |
| 194 | virtual void LowerAsmOperandForConstraint(SDValue Op, |
| 195 | std::string &Constraint, |
| 196 | std::vector<SDValue> &Ops, |
| 197 | SelectionDAG &DAG) const; |
| 198 | |
Dan Gohman | 6520e20 | 2008-10-18 02:06:02 +0000 | [diff] [blame] | 199 | virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const; |
Evan Cheng | eb2f969 | 2009-10-27 19:56:55 +0000 | [diff] [blame] | 200 | |
Akira Hatanaka | e193b32 | 2012-06-13 19:33:32 +0000 | [diff] [blame] | 201 | virtual EVT getOptimalMemOpType(uint64_t Size, unsigned DstAlign, |
| 202 | unsigned SrcAlign, bool IsZeroVal, |
| 203 | bool MemcpyStrSrc, |
| 204 | MachineFunction &MF) const; |
| 205 | |
Evan Cheng | eb2f969 | 2009-10-27 19:56:55 +0000 | [diff] [blame] | 206 | /// isFPImmLegal - Returns true if the target can instruction select the |
| 207 | /// specified FP immediate natively. If false, the legalizer will |
| 208 | /// materialize the FP immediate as a load from a constant pool. |
Evan Cheng | a1eaa3c | 2009-10-28 01:43:28 +0000 | [diff] [blame] | 209 | virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const; |
Bruno Cardoso Lopes | 4e694c9 | 2011-05-31 02:54:07 +0000 | [diff] [blame] | 210 | |
Akira Hatanaka | 6c2cf8b | 2012-02-03 04:33:00 +0000 | [diff] [blame] | 211 | virtual unsigned getJumpTableEncoding() const; |
| 212 | |
Bruno Cardoso Lopes | 4e694c9 | 2011-05-31 02:54:07 +0000 | [diff] [blame] | 213 | MachineBasicBlock *EmitAtomicBinary(MachineInstr *MI, MachineBasicBlock *BB, |
| 214 | unsigned Size, unsigned BinOpcode, bool Nand = false) const; |
| 215 | MachineBasicBlock *EmitAtomicBinaryPartword(MachineInstr *MI, |
| 216 | MachineBasicBlock *BB, unsigned Size, unsigned BinOpcode, |
| 217 | bool Nand = false) const; |
| 218 | MachineBasicBlock *EmitAtomicCmpSwap(MachineInstr *MI, |
| 219 | MachineBasicBlock *BB, unsigned Size) const; |
| 220 | MachineBasicBlock *EmitAtomicCmpSwapPartword(MachineInstr *MI, |
| 221 | MachineBasicBlock *BB, unsigned Size) const; |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 222 | }; |
| 223 | } |
| 224 | |
| 225 | #endif // MipsISELLOWERING_H |