blob: edab03cdd8da7b102cff269b345c100b1ed70461 [file] [log] [blame]
Akira Hatanaka4552c9a2011-04-15 21:51:11 +00001//===-- MipsISelLowering.h - Mips DAG Lowering Interface --------*- C++ -*-===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-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 Lopes972f5892007-06-06 07:42:06 +00007//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +00008//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-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 Hatanaka4552c9a2011-04-15 21:51:11 +000013//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000014
15#ifndef MipsISELLOWERING_H
16#define MipsISELLOWERING_H
17
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000018#include "Mips.h"
19#include "MipsSubtarget.h"
Craig Topper79aa3412012-03-17 18:46:09 +000020#include "llvm/CodeGen/SelectionDAG.h"
21#include "llvm/Target/TargetLowering.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000022
23namespace llvm {
24 namespace MipsISD {
25 enum NodeType {
26 // Start the numbering from where ISD NodeType finishes.
Dan Gohman0ba2bcf2008-09-23 18:42:32 +000027 FIRST_NUMBER = ISD::BUILTIN_OP_END,
Bruno Cardoso Lopes972f5892007-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 Lopes81092dc2011-03-04 17:51:39 +000034 Hi,
Bruno Cardoso Lopes972f5892007-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 Lopes81092dc2011-03-04 17:51:39 +000038 Lo,
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000039
Bruno Cardoso Lopes91fd5322008-07-21 18:52:34 +000040 // Handle gp_rel (small data/bss sections) relocation.
41 GPRel,
42
Bruno Cardoso Lopesd9796862011-05-31 02:53:58 +000043 // Thread Pointer
44 ThreadPointer,
45
Bruno Cardoso Lopes7b76da12008-07-09 04:45:36 +000046 // Floating Point Branch Conditional
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +000047 FPBrcond,
48
Bruno Cardoso Lopes7b76da12008-07-09 04:45:36 +000049 // Floating Point Compare
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +000050 FPCmp,
51
Akira Hatanaka1d6b38d2011-03-31 18:26:17 +000052 // Floating Point Conditional Moves
53 CMovFP_T,
54 CMovFP_F,
55
Bruno Cardoso Lopesd3bdf192009-05-27 17:23:44 +000056 // Floating Point Rounding
57 FPRound,
58
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000059 // Return
Bruno Cardoso Lopes8be76112011-01-18 19:29:17 +000060 Ret,
61
62 // MAdd/Sub nodes
63 MAdd,
64 MAddu,
65 MSub,
Bruno Cardoso Lopes38b5e862011-03-04 21:03:24 +000066 MSubu,
67
68 // DivRem(u)
69 DivRem,
Akira Hatanaka99a2e982011-04-15 19:52:08 +000070 DivRemU,
71
72 BuildPairF64,
Akira Hatanaka342837d2011-05-28 01:07:07 +000073 ExtractElementF64,
74
Akira Hatanaka6df7e232011-12-09 01:53:17 +000075 Wrapper,
Akira Hatanaka21afc632011-06-21 00:40:49 +000076
Akira Hatanakadb548262011-07-19 23:30:50 +000077 DynAlloc,
78
Akira Hatanakabb15e112011-08-17 02:05:42 +000079 Sync,
80
81 Ext,
Akira Hatanakab6f1dc22012-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 Lopes972f5892007-06-06 07:42:06 +000093 };
94 }
95
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000096 //===--------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000097 // TargetLowering Implementation
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000098 //===--------------------------------------------------------------------===//
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000099
Chris Lattnere3736f82009-08-13 05:41:27 +0000100 class MipsTargetLowering : public TargetLowering {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000101 public:
Dan Gohman61e729e2007-08-02 21:21:54 +0000102 explicit MipsTargetLowering(MipsTargetMachine &TM);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000103
Akira Hatanaka68698cc2011-11-07 18:59:49 +0000104 virtual MVT getShiftAmountTy(EVT LHSTy) const { return MVT::i32; }
105
Akira Hatanaka5c21c9e2011-08-12 21:30:06 +0000106 virtual bool allowsUnalignedMemoryAccesses (EVT VT) const;
107
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000108 /// LowerOperation - Provide custom lowering hooks for some operations.
Dan Gohmand858e902010-04-17 15:26:15 +0000109 virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000110
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000111 /// getTargetNodeName - This method returns the name of a target specific
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000112 // DAG node.
113 virtual const char *getTargetNodeName(unsigned Opcode) const;
114
Scott Michel5b8f82e2008-03-10 15:42:14 +0000115 /// getSetCCResultType - get the ISD::SETCC result ValueType
Duncan Sands28b77e92011-09-06 19:07:46 +0000116 EVT getSetCCResultType(EVT VT) const;
Scott Michel5b8f82e2008-03-10 15:42:14 +0000117
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000118 virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000119 private:
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +0000120 // Subtarget Info
121 const MipsSubtarget *Subtarget;
Jia Liubb481f82012-02-28 07:46:26 +0000122
Akira Hatanaka2ec69fa2011-10-28 18:47:24 +0000123 bool HasMips64, IsN64, IsO32;
Chris Lattnere3736f82009-08-13 05:41:27 +0000124
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000125 // Lower Operand helpers
Dan Gohman98ca4f22009-08-05 01:29:28 +0000126 SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000127 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000128 const SmallVectorImpl<ISD::InputArg> &Ins,
129 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000130 SmallVectorImpl<SDValue> &InVals) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000131
132 // Lower Operand specifics
Dan Gohmand858e902010-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 Gohmand858e902010-04-17 15:26:15 +0000136 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
Bruno Cardoso Lopesca8a2aa2011-03-04 20:01:52 +0000137 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
Dan Gohmand858e902010-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 Hatanaka3fef29d2012-07-11 19:32:27 +0000141 SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka0a40c232012-03-09 23:46:03 +0000142 SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const;
Dan Gohmand858e902010-04-17 15:26:15 +0000143 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka9c3d57c2011-05-25 19:32:07 +0000144 SDValue LowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanakac12a6e62012-04-11 22:49:04 +0000145 SDValue LowerFABS(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka2e591472011-06-02 00:24:44 +0000146 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanakaba584fe2012-07-11 00:53:32 +0000147 SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanakadb548262011-07-19 23:30:50 +0000148 SDValue LowerMEMBARRIER(SDValue Op, SelectionDAG& DAG) const;
Eli Friedman14648462011-07-27 22:21:52 +0000149 SDValue LowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const;
Akira Hatanakaa284acb2012-05-09 00:55:21 +0000150 SDValue LowerShiftLeftParts(SDValue Op, SelectionDAG& DAG) const;
Akira Hatanaka864f6602012-06-14 21:10:56 +0000151 SDValue LowerShiftRightParts(SDValue Op, SelectionDAG& DAG,
152 bool IsSRA) const;
Akira Hatanaka1cd0ec02012-06-02 00:03:49 +0000153 SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG) const;
154 SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG) const;
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000155
Dan Gohman98ca4f22009-08-05 01:29:28 +0000156 virtual SDValue
157 LowerFormalArguments(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000158 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000159 const SmallVectorImpl<ISD::InputArg> &Ins,
160 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000161 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000162
163 virtual SDValue
Justin Holewinskid2ea0e12012-05-25 16:35:28 +0000164 LowerCall(TargetLowering::CallLoweringInfo &CLI,
Dan Gohmand858e902010-04-17 15:26:15 +0000165 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000166
167 virtual SDValue
168 LowerReturn(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000169 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000170 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanc9403652010-07-07 15:54:55 +0000171 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohmand858e902010-04-17 15:26:15 +0000172 DebugLoc dl, SelectionDAG &DAG) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000173
Dan Gohmanaf1d8ca2010-05-01 00:01:06 +0000174 virtual MachineBasicBlock *
175 EmitInstrWithCustomInserter(MachineInstr *MI,
176 MachineBasicBlock *MBB) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000177
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000178 // Inline asm support
179 ConstraintType getConstraintType(const std::string &Constraint) const;
180
Akira Hatanaka4552c9a2011-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 Thompson44ab89e2010-10-29 17:29:13 +0000183 ConstraintWeight getSingleConstraintMatchWeight(
184 AsmOperandInfo &info, const char *constraint) const;
185
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000186 std::pair<unsigned, const TargetRegisterClass*>
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000187 getRegForInlineAsmConstraint(const std::string &Constraint,
Owen Andersone50ed302009-08-10 22:56:29 +0000188 EVT VT) const;
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000189
Eric Christopher50ab0392012-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 Gohman6520e202008-10-18 02:06:02 +0000199 virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const;
Evan Chengeb2f9692009-10-27 19:56:55 +0000200
Akira Hatanakae193b322012-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 Chengeb2f9692009-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 Chenga1eaa3c2009-10-28 01:43:28 +0000209 virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const;
Bruno Cardoso Lopes4e694c92011-05-31 02:54:07 +0000210
Akira Hatanaka6c2cf8b2012-02-03 04:33:00 +0000211 virtual unsigned getJumpTableEncoding() const;
212
Bruno Cardoso Lopes4e694c92011-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 Lopes972f5892007-06-06 07:42:06 +0000222 };
223}
224
225#endif // MipsISELLOWERING_H