1 //===-- MipsISelDAGToDAG.cpp - A dag to dag inst selector for Mips --------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file defines an instruction selector for the MIPS target.
12 //===----------------------------------------------------------------------===//
14 #define DEBUG_TYPE "mips-isel"
16 #include "MipsISelLowering.h"
17 #include "MipsMachineFunction.h"
18 #include "MipsRegisterInfo.h"
19 #include "MipsSubtarget.h"
20 #include "MipsTargetMachine.h"
21 #include "llvm/GlobalValue.h"
22 #include "llvm/Instructions.h"
23 #include "llvm/Intrinsics.h"
24 #include "llvm/Support/CFG.h"
25 #include "llvm/Type.h"
26 #include "llvm/CodeGen/MachineConstantPool.h"
27 #include "llvm/CodeGen/MachineFunction.h"
28 #include "llvm/CodeGen/MachineFrameInfo.h"
29 #include "llvm/CodeGen/MachineInstrBuilder.h"
30 #include "llvm/CodeGen/MachineRegisterInfo.h"
31 #include "llvm/CodeGen/SelectionDAGISel.h"
32 #include "llvm/Target/TargetMachine.h"
33 #include "llvm/Support/Compiler.h"
34 #include "llvm/Support/Debug.h"
35 #include "llvm/Support/ErrorHandling.h"
36 #include "llvm/Support/raw_ostream.h"
39 //===----------------------------------------------------------------------===//
40 // Instruction Selector Implementation
41 //===----------------------------------------------------------------------===//
43 //===----------------------------------------------------------------------===//
44 // MipsDAGToDAGISel - MIPS specific code to select MIPS machine
45 // instructions for SelectionDAG operations.
46 //===----------------------------------------------------------------------===//
49 class VISIBILITY_HIDDEN MipsDAGToDAGISel
: public SelectionDAGISel
{
51 /// TM - Keep a reference to MipsTargetMachine.
52 MipsTargetMachine
&TM
;
54 /// Subtarget - Keep a pointer to the MipsSubtarget around so that we can
55 /// make the right decision when generating code for different targets.
56 const MipsSubtarget
&Subtarget
;
59 explicit MipsDAGToDAGISel(MipsTargetMachine
&tm
) :
61 TM(tm
), Subtarget(tm
.getSubtarget
<MipsSubtarget
>()) {}
63 virtual void InstructionSelect();
66 virtual const char *getPassName() const {
67 return "MIPS DAG->DAG Pattern Instruction Selection";
72 // Include the pieces autogenerated from the target description.
73 #include "MipsGenDAGISel.inc"
75 /// getTargetMachine - Return a reference to the TargetMachine, casted
76 /// to the target-specific type.
77 const MipsTargetMachine
&getTargetMachine() {
78 return static_cast<const MipsTargetMachine
&>(TM
);
81 /// getInstrInfo - Return a reference to the TargetInstrInfo, casted
82 /// to the target-specific type.
83 const MipsInstrInfo
*getInstrInfo() {
84 return getTargetMachine().getInstrInfo();
87 SDNode
*getGlobalBaseReg();
88 SDNode
*Select(SDValue N
);
91 bool SelectAddr(SDValue Op
, SDValue N
,
92 SDValue
&Base
, SDValue
&Offset
);
95 // getI32Imm - Return a target constant with the specified
96 // value, of type i32.
97 inline SDValue
getI32Imm(unsigned Imm
) {
98 return CurDAG
->getTargetConstant(Imm
, MVT::i32
);
109 /// InstructionSelect - This callback is invoked by
110 /// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
111 void MipsDAGToDAGISel::InstructionSelect() {
113 // Codegen the basic block.
114 DEBUG(errs() << "===== Instruction selection begins:\n");
117 // Select target instructions for the DAG.
120 DEBUG(errs() << "===== Instruction selection ends:\n");
122 CurDAG
->RemoveDeadNodes();
125 /// getGlobalBaseReg - Output the instructions required to put the
126 /// GOT address into a register.
127 SDNode
*MipsDAGToDAGISel::getGlobalBaseReg() {
128 unsigned GlobalBaseReg
= getInstrInfo()->getGlobalBaseReg(MF
);
129 return CurDAG
->getRegister(GlobalBaseReg
, TLI
.getPointerTy()).getNode();
132 /// ComplexPattern used on MipsInstrInfo
133 /// Used on Mips Load/Store instructions
134 bool MipsDAGToDAGISel::
135 SelectAddr(SDValue Op
, SDValue Addr
, SDValue
&Offset
, SDValue
&Base
)
137 // if Address is FI, get the TargetFrameIndex.
138 if (FrameIndexSDNode
*FIN
= dyn_cast
<FrameIndexSDNode
>(Addr
)) {
139 Base
= CurDAG
->getTargetFrameIndex(FIN
->getIndex(), MVT::i32
);
140 Offset
= CurDAG
->getTargetConstant(0, MVT::i32
);
144 // on PIC code Load GA
145 if (TM
.getRelocationModel() == Reloc::PIC_
) {
146 if ((Addr
.getOpcode() == ISD::TargetGlobalAddress
) ||
147 (Addr
.getOpcode() == ISD::TargetJumpTable
)){
148 Base
= CurDAG
->getRegister(Mips::GP
, MVT::i32
);
153 if ((Addr
.getOpcode() == ISD::TargetExternalSymbol
||
154 Addr
.getOpcode() == ISD::TargetGlobalAddress
))
158 // Operand is a result from an ADD.
159 if (Addr
.getOpcode() == ISD::ADD
) {
160 if (ConstantSDNode
*CN
= dyn_cast
<ConstantSDNode
>(Addr
.getOperand(1))) {
161 if (Predicate_immSExt16(CN
)) {
163 // If the first operand is a FI, get the TargetFI Node
164 if (FrameIndexSDNode
*FIN
= dyn_cast
<FrameIndexSDNode
>
165 (Addr
.getOperand(0))) {
166 Base
= CurDAG
->getTargetFrameIndex(FIN
->getIndex(), MVT::i32
);
168 Base
= Addr
.getOperand(0);
171 Offset
= CurDAG
->getTargetConstant(CN
->getZExtValue(), MVT::i32
);
178 Offset
= CurDAG
->getTargetConstant(0, MVT::i32
);
182 /// Select instructions not customized! Used for
183 /// expanded, promoted and normal instructions
184 SDNode
* MipsDAGToDAGISel::Select(SDValue N
) {
185 SDNode
*Node
= N
.getNode();
186 unsigned Opcode
= Node
->getOpcode();
187 DebugLoc dl
= Node
->getDebugLoc();
189 // Dump information about the Node being selected
190 DEBUG(errs().indent(Indent
) << "Selecting: ";
195 // If we have a custom node, we already have selected!
196 if (Node
->isMachineOpcode()) {
197 DEBUG(errs().indent(Indent
-2) << "== ";
205 // Instruction Selection not handled by the auto-generated
206 // tablegen selection should be handled here.
214 SDValue InFlag
= Node
->getOperand(2), CmpLHS
;
215 unsigned Opc
= InFlag
.getOpcode(); Opc
=Opc
;
216 assert(((Opc
== ISD::ADDC
|| Opc
== ISD::ADDE
) ||
217 (Opc
== ISD::SUBC
|| Opc
== ISD::SUBE
)) &&
218 "(ADD|SUB)E flag operand must come from (ADD|SUB)C/E insn");
221 if (Opcode
== ISD::ADDE
) {
222 CmpLHS
= InFlag
.getValue(0);
225 CmpLHS
= InFlag
.getOperand(0);
229 SDValue Ops
[] = { CmpLHS
, InFlag
.getOperand(1) };
231 SDValue LHS
= Node
->getOperand(0);
232 SDValue RHS
= Node
->getOperand(1);
234 EVT VT
= LHS
.getValueType();
235 SDNode
*Carry
= CurDAG
->getTargetNode(Mips::SLTu
, dl
, VT
, Ops
, 2);
236 SDNode
*AddCarry
= CurDAG
->getTargetNode(Mips::ADDu
, dl
, VT
,
237 SDValue(Carry
,0), RHS
);
239 return CurDAG
->SelectNodeTo(N
.getNode(), MOp
, VT
, MVT::Flag
,
240 LHS
, SDValue(AddCarry
,0));
243 /// Mul/Div with two results
247 case ISD::UMUL_LOHI
: {
248 SDValue Op1
= Node
->getOperand(0);
249 SDValue Op2
= Node
->getOperand(1);
252 if (Opcode
== ISD::UMUL_LOHI
|| Opcode
== ISD::SMUL_LOHI
)
253 Op
= (Opcode
== ISD::UMUL_LOHI
? Mips::MULTu
: Mips::MULT
);
255 Op
= (Opcode
== ISD::UDIVREM
? Mips::DIVu
: Mips::DIV
);
257 SDNode
*Node
= CurDAG
->getTargetNode(Op
, dl
, MVT::Flag
, Op1
, Op2
);
259 SDValue InFlag
= SDValue(Node
, 0);
260 SDNode
*Lo
= CurDAG
->getTargetNode(Mips::MFLO
, dl
, MVT::i32
,
262 InFlag
= SDValue(Lo
,1);
263 SDNode
*Hi
= CurDAG
->getTargetNode(Mips::MFHI
, dl
, MVT::i32
, InFlag
);
265 if (!N
.getValue(0).use_empty())
266 ReplaceUses(N
.getValue(0), SDValue(Lo
,0));
268 if (!N
.getValue(1).use_empty())
269 ReplaceUses(N
.getValue(1), SDValue(Hi
,0));
278 SDValue MulOp1
= Node
->getOperand(0);
279 SDValue MulOp2
= Node
->getOperand(1);
281 unsigned MulOp
= (Opcode
== ISD::MULHU
? Mips::MULTu
: Mips::MULT
);
282 SDNode
*MulNode
= CurDAG
->getTargetNode(MulOp
, dl
,
283 MVT::Flag
, MulOp1
, MulOp2
);
285 SDValue InFlag
= SDValue(MulNode
, 0);
287 if (MulOp
== ISD::MUL
)
288 return CurDAG
->getTargetNode(Mips::MFLO
, dl
, MVT::i32
, InFlag
);
290 return CurDAG
->getTargetNode(Mips::MFHI
, dl
, MVT::i32
, InFlag
);
293 /// Div/Rem operations
298 SDValue Op1
= Node
->getOperand(0);
299 SDValue Op2
= Node
->getOperand(1);
302 if (Opcode
== ISD::SDIV
|| Opcode
== ISD::UDIV
) {
303 Op
= (Opcode
== ISD::SDIV
? Mips::DIV
: Mips::DIVu
);
306 Op
= (Opcode
== ISD::SREM
? Mips::DIV
: Mips::DIVu
);
309 SDNode
*Node
= CurDAG
->getTargetNode(Op
, dl
, MVT::Flag
, Op1
, Op2
);
311 SDValue InFlag
= SDValue(Node
, 0);
312 return CurDAG
->getTargetNode(MOp
, dl
, MVT::i32
, InFlag
);
315 // Get target GOT address.
316 case ISD::GLOBAL_OFFSET_TABLE
:
317 return getGlobalBaseReg();
319 /// Handle direct and indirect calls when using PIC. On PIC, when
320 /// GOT is smaller than about 64k (small code) the GA target is
321 /// loaded with only one instruction. Otherwise GA's target must
322 /// be loaded with 3 instructions.
323 case MipsISD::JmpLink
: {
324 if (TM
.getRelocationModel() == Reloc::PIC_
) {
325 SDValue Chain
= Node
->getOperand(0);
326 SDValue Callee
= Node
->getOperand(1);
327 SDValue T9Reg
= CurDAG
->getRegister(Mips::T9
, MVT::i32
);
328 SDValue
InFlag(0, 0);
330 if ( (isa
<GlobalAddressSDNode
>(Callee
)) ||
331 (isa
<ExternalSymbolSDNode
>(Callee
)) )
333 /// Direct call for global addresses and external symbols
334 SDValue GPReg
= CurDAG
->getRegister(Mips::GP
, MVT::i32
);
336 // Use load to get GOT target
337 SDValue Ops
[] = { Callee
, GPReg
, Chain
};
338 SDValue Load
= SDValue(CurDAG
->getTargetNode(Mips::LW
, dl
, MVT::i32
,
339 MVT::Other
, Ops
, 3), 0);
340 Chain
= Load
.getValue(1);
342 // Call target must be on T9
343 Chain
= CurDAG
->getCopyToReg(Chain
, dl
, T9Reg
, Load
, InFlag
);
346 Chain
= CurDAG
->getCopyToReg(Chain
, dl
, T9Reg
, Callee
, InFlag
);
348 // Emit Jump and Link Register
349 SDNode
*ResNode
= CurDAG
->getTargetNode(Mips::JALR
, dl
, MVT::Other
,
350 MVT::Flag
, T9Reg
, Chain
);
351 Chain
= SDValue(ResNode
, 0);
352 InFlag
= SDValue(ResNode
, 1);
353 ReplaceUses(SDValue(Node
, 0), Chain
);
354 ReplaceUses(SDValue(Node
, 1), InFlag
);
360 // Select the default instruction
361 SDNode
*ResNode
= SelectCode(N
);
363 DEBUG(errs().indent(Indent
-2) << "=> ");
364 if (ResNode
== NULL
|| ResNode
== N
.getNode())
365 DEBUG(N
.getNode()->dump(CurDAG
));
367 DEBUG(ResNode
->dump(CurDAG
));
368 DEBUG(errs() << "\n");
374 /// createMipsISelDag - This pass converts a legalized DAG into a
375 /// MIPS-specific DAG, ready for instruction scheduling.
376 FunctionPass
*llvm::createMipsISelDag(MipsTargetMachine
&TM
) {
377 return new MipsDAGToDAGISel(TM
);