blob: edab03cdd8da7b102cff269b345c100b1ed70461 [file] [log] [blame]
Akira Hatanakae2489122011-04-15 21:51:11 +00001//===-- MipsISelLowering.h - Mips DAG Lowering Interface --------*- C++ -*-===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00007//
Akira Hatanakae2489122011-04-15 21:51:11 +00008//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00009//
10// This file defines the interfaces that Mips uses to lower LLVM code into a
11// selection DAG.
12//
Akira Hatanakae2489122011-04-15 21:51:11 +000013//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000014
15#ifndef MipsISELLOWERING_H
16#define MipsISELLOWERING_H
17
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000018#include "Mips.h"
19#include "MipsSubtarget.h"
Craig Topperb25fda92012-03-17 18:46:09 +000020#include "llvm/CodeGen/SelectionDAG.h"
21#include "llvm/Target/TargetLowering.h"
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000022
23namespace llvm {
24 namespace MipsISD {
25 enum NodeType {
26 // Start the numbering from where ISD NodeType finishes.
Dan Gohmaned1cf1a2008-09-23 18:42:32 +000027 FIRST_NUMBER = ISD::BUILTIN_OP_END,
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000028
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 Lopesed874ef2011-03-04 17:51:39 +000034 Hi,
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000035
36 // Get the Lower 16 bits from a 32-bit immediate
37 // No relation with Mips Lo register
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +000038 Lo,
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000039
Bruno Cardoso Lopese5d1fcf2008-07-21 18:52:34 +000040 // Handle gp_rel (small data/bss sections) relocation.
41 GPRel,
42
Bruno Cardoso Lopesbf3c1252011-05-31 02:53:58 +000043 // Thread Pointer
44 ThreadPointer,
45
Bruno Cardoso Lopes7ceec572008-07-09 04:45:36 +000046 // Floating Point Branch Conditional
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +000047 FPBrcond,
48
Bruno Cardoso Lopes7ceec572008-07-09 04:45:36 +000049 // Floating Point Compare
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +000050 FPCmp,
51
Akira Hatanakaa5352702011-03-31 18:26:17 +000052 // Floating Point Conditional Moves
53 CMovFP_T,
54 CMovFP_F,
55
Bruno Cardoso Lopesa72a5052009-05-27 17:23:44 +000056 // Floating Point Rounding
57 FPRound,
58
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +000059 // Return
Bruno Cardoso Lopes4dc73fa2011-01-18 19:29:17 +000060 Ret,
61
62 // MAdd/Sub nodes
63 MAdd,
64 MAddu,
65 MSub,
Bruno Cardoso Lopes434248a62011-03-04 21:03:24 +000066 MSubu,
67
68 // DivRem(u)
69 DivRem,
Akira Hatanaka27916972011-04-15 19:52:08 +000070 DivRemU,
71
72 BuildPairF64,
Akira Hatanakab4068432011-05-28 01:07:07 +000073 ExtractElementF64,
74
Akira Hatanaka5ee84642011-12-09 01:53:17 +000075 Wrapper,
Akira Hatanaka4c406e72011-06-21 00:40:49 +000076
Akira Hatanakaa4c09bc2011-07-19 23:30:50 +000077 DynAlloc,
78
Akira Hatanaka5360f882011-08-17 02:05:42 +000079 Sync,
80
81 Ext,
Akira Hatanakab9ebf8d2012-06-02 00:03:12 +000082 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 Lopes35e43c42007-06-06 07:42:06 +000093 };
94 }
95
Akira Hatanakae2489122011-04-15 21:51:11 +000096 //===--------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000097 // TargetLowering Implementation
Akira Hatanakae2489122011-04-15 21:51:11 +000098 //===--------------------------------------------------------------------===//
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +000099
Chris Lattner58e8be82009-08-13 05:41:27 +0000100 class MipsTargetLowering : public TargetLowering {
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000101 public:
Dan Gohman5f6a9da52007-08-02 21:21:54 +0000102 explicit MipsTargetLowering(MipsTargetMachine &TM);
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000103
Akira Hatanaka770f0642011-11-07 18:59:49 +0000104 virtual MVT getShiftAmountTy(EVT LHSTy) const { return MVT::i32; }
105
Akira Hatanaka2fcc1cf2011-08-12 21:30:06 +0000106 virtual bool allowsUnalignedMemoryAccesses (EVT VT) const;
107
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000108 /// LowerOperation - Provide custom lowering hooks for some operations.
Dan Gohman21cea8a2010-04-17 15:26:15 +0000109 virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000110
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000111 /// getTargetNodeName - This method returns the name of a target specific
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000112 // DAG node.
113 virtual const char *getTargetNodeName(unsigned Opcode) const;
114
Scott Michela6729e82008-03-10 15:42:14 +0000115 /// getSetCCResultType - get the ISD::SETCC result ValueType
Duncan Sandsf2641e12011-09-06 19:07:46 +0000116 EVT getSetCCResultType(EVT VT) const;
Scott Michela6729e82008-03-10 15:42:14 +0000117
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000118 virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000119 private:
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000120 // Subtarget Info
121 const MipsSubtarget *Subtarget;
Jia Liuf54f60f2012-02-28 07:46:26 +0000122
Akira Hatanaka7989f152011-10-28 18:47:24 +0000123 bool HasMips64, IsN64, IsO32;
Chris Lattner58e8be82009-08-13 05:41:27 +0000124
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000125 // Lower Operand helpers
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000126 SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
Sandeep Patel68c5f472009-09-02 08:44:58 +0000127 CallingConv::ID CallConv, bool isVarArg,
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000128 const SmallVectorImpl<ISD::InputArg> &Ins,
129 DebugLoc dl, SelectionDAG &DAG,
Dan Gohman21cea8a2010-04-17 15:26:15 +0000130 SmallVectorImpl<SDValue> &InVals) const;
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000131
132 // Lower Operand specifics
Dan Gohman21cea8a2010-04-17 15:26:15 +0000133 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 Gohman21cea8a2010-04-17 15:26:15 +0000136 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
Bruno Cardoso Lopesf8198e42011-03-04 20:01:52 +0000137 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
Dan Gohman21cea8a2010-04-17 15:26:15 +0000138 SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
139 SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
140 SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka24cf4e32012-07-11 19:32:27 +0000141 SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanakab7f78592012-03-09 23:46:03 +0000142 SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const;
Dan Gohman21cea8a2010-04-17 15:26:15 +0000143 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka44eba3a2011-05-25 19:32:07 +0000144 SDValue LowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka7f4c9d12012-04-11 22:49:04 +0000145 SDValue LowerFABS(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka66277522011-06-02 00:24:44 +0000146 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka878ad8b2012-07-11 00:53:32 +0000147 SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanakaa4c09bc2011-07-19 23:30:50 +0000148 SDValue LowerMEMBARRIER(SDValue Op, SelectionDAG& DAG) const;
Eli Friedman26a48482011-07-27 22:21:52 +0000149 SDValue LowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const;
Akira Hatanaka0a8ab712012-05-09 00:55:21 +0000150 SDValue LowerShiftLeftParts(SDValue Op, SelectionDAG& DAG) const;
Akira Hatanaka5fd22482012-06-14 21:10:56 +0000151 SDValue LowerShiftRightParts(SDValue Op, SelectionDAG& DAG,
152 bool IsSRA) const;
Akira Hatanaka8f1db772012-06-02 00:03:49 +0000153 SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const;
154 SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const;
Bruno Cardoso Lopes4eed3af2008-06-06 00:58:26 +0000155
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000156 virtual SDValue
157 LowerFormalArguments(SDValue Chain,
Sandeep Patel68c5f472009-09-02 08:44:58 +0000158 CallingConv::ID CallConv, bool isVarArg,
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000159 const SmallVectorImpl<ISD::InputArg> &Ins,
160 DebugLoc dl, SelectionDAG &DAG,
Dan Gohman21cea8a2010-04-17 15:26:15 +0000161 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000162
163 virtual SDValue
Justin Holewinskiaa583972012-05-25 16:35:28 +0000164 LowerCall(TargetLowering::CallLoweringInfo &CLI,
Dan Gohman21cea8a2010-04-17 15:26:15 +0000165 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000166
167 virtual SDValue
168 LowerReturn(SDValue Chain,
Sandeep Patel68c5f472009-09-02 08:44:58 +0000169 CallingConv::ID CallConv, bool isVarArg,
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000170 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanfe7532a2010-07-07 15:54:55 +0000171 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohman21cea8a2010-04-17 15:26:15 +0000172 DebugLoc dl, SelectionDAG &DAG) const;
Dan Gohmanf9bbcd12009-08-05 01:29:28 +0000173
Dan Gohman25c16532010-05-01 00:01:06 +0000174 virtual MachineBasicBlock *
175 EmitInstrWithCustomInserter(MachineInstr *MI,
176 MachineBasicBlock *MBB) const;
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000177
Bruno Cardoso Lopesb10580a2007-08-21 16:09:25 +0000178 // Inline asm support
179 ConstraintType getConstraintType(const std::string &Constraint) const;
180
Akira Hatanakae2489122011-04-15 21:51:11 +0000181 /// 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 Thompsone8360b72010-10-29 17:29:13 +0000183 ConstraintWeight getSingleConstraintMatchWeight(
184 AsmOperandInfo &info, const char *constraint) const;
185
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000186 std::pair<unsigned, const TargetRegisterClass*>
Bruno Cardoso Lopesb10580a2007-08-21 16:09:25 +0000187 getRegForInlineAsmConstraint(const std::string &Constraint,
Owen Anderson53aa7a92009-08-10 22:56:29 +0000188 EVT VT) const;
Bruno Cardoso Lopesb10580a2007-08-21 16:09:25 +0000189
Eric Christopher1d6c89e2012-05-07 03:13:32 +0000190 /// 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 Gohman2fe6bee2008-10-18 02:06:02 +0000199 virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const;
Evan Cheng16993aa2009-10-27 19:56:55 +0000200
Akira Hatanaka1daf8c22012-06-13 19:33:32 +0000201 virtual EVT getOptimalMemOpType(uint64_t Size, unsigned DstAlign,
202 unsigned SrcAlign, bool IsZeroVal,
203 bool MemcpyStrSrc,
204 MachineFunction &MF) const;
205
Evan Cheng16993aa2009-10-27 19:56:55 +0000206 /// 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 Cheng83896a52009-10-28 01:43:28 +0000209 virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const;
Bruno Cardoso Lopes98fc4c82011-05-31 02:54:07 +0000210
Akira Hatanakaf0b08442012-02-03 04:33:00 +0000211 virtual unsigned getJumpTableEncoding() const;
212
Bruno Cardoso Lopes98fc4c82011-05-31 02:54:07 +0000213 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 Lopes35e43c42007-06-06 07:42:06 +0000222 };
223}
224
225#endif // MipsISELLOWERING_H