blob: a38bb2f5ee64663d52a7197aa47a884a4ba2e47b [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,
82 Ins
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000083 };
84 }
85
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000086 //===--------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000087 // TargetLowering Implementation
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000088 //===--------------------------------------------------------------------===//
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000089
Chris Lattnere3736f82009-08-13 05:41:27 +000090 class MipsTargetLowering : public TargetLowering {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000091 public:
Dan Gohman61e729e2007-08-02 21:21:54 +000092 explicit MipsTargetLowering(MipsTargetMachine &TM);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000093
Akira Hatanaka68698cc2011-11-07 18:59:49 +000094 virtual MVT getShiftAmountTy(EVT LHSTy) const { return MVT::i32; }
95
Akira Hatanaka5c21c9e2011-08-12 21:30:06 +000096 virtual bool allowsUnalignedMemoryAccesses (EVT VT) const;
97
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000098 /// LowerOperation - Provide custom lowering hooks for some operations.
Dan Gohmand858e902010-04-17 15:26:15 +000099 virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000100
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000101 /// getTargetNodeName - This method returns the name of a target specific
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000102 // DAG node.
103 virtual const char *getTargetNodeName(unsigned Opcode) const;
104
Scott Michel5b8f82e2008-03-10 15:42:14 +0000105 /// getSetCCResultType - get the ISD::SETCC result ValueType
Duncan Sands28b77e92011-09-06 19:07:46 +0000106 EVT getSetCCResultType(EVT VT) const;
Scott Michel5b8f82e2008-03-10 15:42:14 +0000107
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000108 virtual SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000109 private:
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +0000110 // Subtarget Info
111 const MipsSubtarget *Subtarget;
Jia Liubb481f82012-02-28 07:46:26 +0000112
Akira Hatanaka2ec69fa2011-10-28 18:47:24 +0000113 bool HasMips64, IsN64, IsO32;
Chris Lattnere3736f82009-08-13 05:41:27 +0000114
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000115 // Lower Operand helpers
Dan Gohman98ca4f22009-08-05 01:29:28 +0000116 SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000117 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000118 const SmallVectorImpl<ISD::InputArg> &Ins,
119 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000120 SmallVectorImpl<SDValue> &InVals) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000121
122 // Lower Operand specifics
Dan Gohmand858e902010-04-17 15:26:15 +0000123 SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG) const;
124 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
125 SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
Dan Gohmand858e902010-04-17 15:26:15 +0000126 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
Bruno Cardoso Lopesca8a2aa2011-03-04 20:01:52 +0000127 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
Dan Gohmand858e902010-04-17 15:26:15 +0000128 SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
129 SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
130 SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka0a40c232012-03-09 23:46:03 +0000131 SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const;
Dan Gohmand858e902010-04-17 15:26:15 +0000132 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka9c3d57c2011-05-25 19:32:07 +0000133 SDValue LowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanakac12a6e62012-04-11 22:49:04 +0000134 SDValue LowerFABS(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka2e591472011-06-02 00:24:44 +0000135 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanakadb548262011-07-19 23:30:50 +0000136 SDValue LowerMEMBARRIER(SDValue Op, SelectionDAG& DAG) const;
Eli Friedman14648462011-07-27 22:21:52 +0000137 SDValue LowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const;
Akira Hatanakaa284acb2012-05-09 00:55:21 +0000138 SDValue LowerShiftLeftParts(SDValue Op, SelectionDAG& DAG) const;
139 SDValue LowerShiftRightParts(SDValue Op, SelectionDAG& DAG, bool IsSRA) const;
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000140
Dan Gohman98ca4f22009-08-05 01:29:28 +0000141 virtual SDValue
142 LowerFormalArguments(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000143 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000144 const SmallVectorImpl<ISD::InputArg> &Ins,
145 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000146 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000147
148 virtual SDValue
Evan Cheng022d9e12010-02-02 23:55:14 +0000149 LowerCall(SDValue Chain, SDValue Callee,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000150 CallingConv::ID CallConv, bool isVarArg,
Evan Cheng4bfcd4a2012-02-28 18:51:51 +0000151 bool doesNotRet, bool &isTailCall,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000152 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanc9403652010-07-07 15:54:55 +0000153 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000154 const SmallVectorImpl<ISD::InputArg> &Ins,
155 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000156 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000157
158 virtual SDValue
159 LowerReturn(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000160 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000161 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanc9403652010-07-07 15:54:55 +0000162 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohmand858e902010-04-17 15:26:15 +0000163 DebugLoc dl, SelectionDAG &DAG) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000164
Dan Gohmanaf1d8ca2010-05-01 00:01:06 +0000165 virtual MachineBasicBlock *
166 EmitInstrWithCustomInserter(MachineInstr *MI,
167 MachineBasicBlock *MBB) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000168
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000169 // Inline asm support
170 ConstraintType getConstraintType(const std::string &Constraint) const;
171
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000172 /// Examine constraint string and operand type and determine a weight value.
173 /// The operand object must already have been set up with the operand type.
John Thompson44ab89e2010-10-29 17:29:13 +0000174 ConstraintWeight getSingleConstraintMatchWeight(
175 AsmOperandInfo &info, const char *constraint) const;
176
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000177 std::pair<unsigned, const TargetRegisterClass*>
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000178 getRegForInlineAsmConstraint(const std::string &Constraint,
Owen Andersone50ed302009-08-10 22:56:29 +0000179 EVT VT) const;
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000180
Eric Christopher50ab0392012-05-07 03:13:32 +0000181 /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops
182 /// vector. If it is invalid, don't add anything to Ops. If hasMemory is
183 /// true it means one of the asm constraint of the inline asm instruction
184 /// being processed is 'm'.
185 virtual void LowerAsmOperandForConstraint(SDValue Op,
186 std::string &Constraint,
187 std::vector<SDValue> &Ops,
188 SelectionDAG &DAG) const;
189
Dan Gohman6520e202008-10-18 02:06:02 +0000190 virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const;
Evan Chengeb2f9692009-10-27 19:56:55 +0000191
192 /// isFPImmLegal - Returns true if the target can instruction select the
193 /// specified FP immediate natively. If false, the legalizer will
194 /// materialize the FP immediate as a load from a constant pool.
Evan Chenga1eaa3c2009-10-28 01:43:28 +0000195 virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const;
Bruno Cardoso Lopes4e694c92011-05-31 02:54:07 +0000196
Akira Hatanaka6c2cf8b2012-02-03 04:33:00 +0000197 virtual unsigned getJumpTableEncoding() const;
198
Bruno Cardoso Lopes4e694c92011-05-31 02:54:07 +0000199 MachineBasicBlock *EmitAtomicBinary(MachineInstr *MI, MachineBasicBlock *BB,
200 unsigned Size, unsigned BinOpcode, bool Nand = false) const;
201 MachineBasicBlock *EmitAtomicBinaryPartword(MachineInstr *MI,
202 MachineBasicBlock *BB, unsigned Size, unsigned BinOpcode,
203 bool Nand = false) const;
204 MachineBasicBlock *EmitAtomicCmpSwap(MachineInstr *MI,
205 MachineBasicBlock *BB, unsigned Size) const;
206 MachineBasicBlock *EmitAtomicCmpSwapPartword(MachineInstr *MI,
207 MachineBasicBlock *BB, unsigned Size) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000208 };
209}
210
211#endif // MipsISELLOWERING_H