blob: 621bbec1bd30bf8b11daa3b3a73905b7894c35a4 [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
18#include "llvm/CodeGen/SelectionDAG.h"
19#include "llvm/Target/TargetLowering.h"
20#include "Mips.h"
21#include "MipsSubtarget.h"
22
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;
Dan Gohmand858e902010-04-17 15:26:15 +0000131 SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka9c3d57c2011-05-25 19:32:07 +0000132 SDValue LowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanaka2e591472011-06-02 00:24:44 +0000133 SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG) const;
Akira Hatanakadb548262011-07-19 23:30:50 +0000134 SDValue LowerMEMBARRIER(SDValue Op, SelectionDAG& DAG) const;
Eli Friedman14648462011-07-27 22:21:52 +0000135 SDValue LowerATOMIC_FENCE(SDValue Op, SelectionDAG& DAG) const;
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000136
Dan Gohman98ca4f22009-08-05 01:29:28 +0000137 virtual SDValue
138 LowerFormalArguments(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000139 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000140 const SmallVectorImpl<ISD::InputArg> &Ins,
141 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000142 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000143
144 virtual SDValue
Evan Cheng022d9e12010-02-02 23:55:14 +0000145 LowerCall(SDValue Chain, SDValue Callee,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000146 CallingConv::ID CallConv, bool isVarArg,
Evan Cheng4bfcd4a2012-02-28 18:51:51 +0000147 bool doesNotRet, bool &isTailCall,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000148 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanc9403652010-07-07 15:54:55 +0000149 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000150 const SmallVectorImpl<ISD::InputArg> &Ins,
151 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000152 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000153
154 virtual SDValue
155 LowerReturn(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000156 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000157 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmanc9403652010-07-07 15:54:55 +0000158 const SmallVectorImpl<SDValue> &OutVals,
Dan Gohmand858e902010-04-17 15:26:15 +0000159 DebugLoc dl, SelectionDAG &DAG) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000160
Dan Gohmanaf1d8ca2010-05-01 00:01:06 +0000161 virtual MachineBasicBlock *
162 EmitInstrWithCustomInserter(MachineInstr *MI,
163 MachineBasicBlock *MBB) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000164
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000165 // Inline asm support
166 ConstraintType getConstraintType(const std::string &Constraint) const;
167
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000168 /// Examine constraint string and operand type and determine a weight value.
169 /// The operand object must already have been set up with the operand type.
John Thompson44ab89e2010-10-29 17:29:13 +0000170 ConstraintWeight getSingleConstraintMatchWeight(
171 AsmOperandInfo &info, const char *constraint) const;
172
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000173 std::pair<unsigned, const TargetRegisterClass*>
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000174 getRegForInlineAsmConstraint(const std::string &Constraint,
Owen Andersone50ed302009-08-10 22:56:29 +0000175 EVT VT) const;
Bruno Cardoso Lopes84f47c52007-08-21 16:09:25 +0000176
Dan Gohman6520e202008-10-18 02:06:02 +0000177 virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const;
Evan Chengeb2f9692009-10-27 19:56:55 +0000178
179 /// isFPImmLegal - Returns true if the target can instruction select the
180 /// specified FP immediate natively. If false, the legalizer will
181 /// materialize the FP immediate as a load from a constant pool.
Evan Chenga1eaa3c2009-10-28 01:43:28 +0000182 virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const;
Bruno Cardoso Lopes4e694c92011-05-31 02:54:07 +0000183
Akira Hatanaka6c2cf8b2012-02-03 04:33:00 +0000184 virtual unsigned getJumpTableEncoding() const;
185
Bruno Cardoso Lopes4e694c92011-05-31 02:54:07 +0000186 MachineBasicBlock *EmitAtomicBinary(MachineInstr *MI, MachineBasicBlock *BB,
187 unsigned Size, unsigned BinOpcode, bool Nand = false) const;
188 MachineBasicBlock *EmitAtomicBinaryPartword(MachineInstr *MI,
189 MachineBasicBlock *BB, unsigned Size, unsigned BinOpcode,
190 bool Nand = false) const;
191 MachineBasicBlock *EmitAtomicCmpSwap(MachineInstr *MI,
192 MachineBasicBlock *BB, unsigned Size) const;
193 MachineBasicBlock *EmitAtomicCmpSwapPartword(MachineInstr *MI,
194 MachineBasicBlock *BB, unsigned Size) const;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000195 };
196}
197
198#endif // MipsISELLOWERING_H