blob: a709685cd08c9eb1ea9cea93a65db8fa4a9b342a [file] [log] [blame]
Chris Lattner7c90f732006-02-05 05:50:24 +00001//===-- SparcISelDAGToDAG.cpp - A dag to dag inst selector for Sparc ------===//
Chris Lattner6c18b102005-12-17 07:47:01 +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.
Chris Lattner6c18b102005-12-17 07:47:01 +00007//
8//===----------------------------------------------------------------------===//
9//
Chris Lattner7c90f732006-02-05 05:50:24 +000010// This file defines an instruction selector for the SPARC target.
Chris Lattner6c18b102005-12-17 07:47:01 +000011//
12//===----------------------------------------------------------------------===//
13
Chris Lattner7c90f732006-02-05 05:50:24 +000014#include "SparcTargetMachine.h"
Chris Lattner6c18b102005-12-17 07:47:01 +000015#include "llvm/CodeGen/SelectionDAGISel.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000016#include "llvm/IR/Intrinsics.h"
Chris Lattner3d62d782008-02-03 05:43:57 +000017#include "llvm/Support/Compiler.h"
Chris Lattner6c18b102005-12-17 07:47:01 +000018#include "llvm/Support/Debug.h"
Torok Edwindac237e2009-07-08 20:53:28 +000019#include "llvm/Support/ErrorHandling.h"
20#include "llvm/Support/raw_ostream.h"
Chris Lattner6c18b102005-12-17 07:47:01 +000021using namespace llvm;
22
23//===----------------------------------------------------------------------===//
Chris Lattner6c18b102005-12-17 07:47:01 +000024// Instruction Selector Implementation
25//===----------------------------------------------------------------------===//
26
27//===--------------------------------------------------------------------===//
Chris Lattner7c90f732006-02-05 05:50:24 +000028/// SparcDAGToDAGISel - SPARC specific code to select SPARC machine
Chris Lattner6c18b102005-12-17 07:47:01 +000029/// instructions for SelectionDAG operations.
30///
31namespace {
Chris Lattner7c90f732006-02-05 05:50:24 +000032class SparcDAGToDAGISel : public SelectionDAGISel {
Chris Lattner76afdc92006-01-30 05:35:57 +000033 /// Subtarget - Keep a pointer to the Sparc Subtarget around so that we can
34 /// make the right decision when generating code for different targets.
Chris Lattner7c90f732006-02-05 05:50:24 +000035 const SparcSubtarget &Subtarget;
Chris Lattnerdb486a62009-09-15 17:46:24 +000036 SparcTargetMachine& TM;
Chris Lattner6c18b102005-12-17 07:47:01 +000037public:
Chris Lattnerdb486a62009-09-15 17:46:24 +000038 explicit SparcDAGToDAGISel(SparcTargetMachine &tm)
39 : SelectionDAGISel(tm),
40 Subtarget(tm.getSubtarget<SparcSubtarget>()),
41 TM(tm) {
Chris Lattner76afdc92006-01-30 05:35:57 +000042 }
Chris Lattner6c18b102005-12-17 07:47:01 +000043
Dan Gohmaneeb3a002010-01-05 01:24:18 +000044 SDNode *Select(SDNode *N);
Chris Lattner6c18b102005-12-17 07:47:01 +000045
Chris Lattnerbc83fd92005-12-17 20:04:49 +000046 // Complex Pattern Selectors.
Chris Lattner52a261b2010-09-21 20:31:19 +000047 bool SelectADDRrr(SDValue N, SDValue &R1, SDValue &R2);
48 bool SelectADDRri(SDValue N, SDValue &Base, SDValue &Offset);
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000049
Anton Korobeynikov2fcfd832008-10-10 10:14:47 +000050 /// SelectInlineAsmMemoryOperand - Implement addressing mode selection for
51 /// inline asm expressions.
52 virtual bool SelectInlineAsmMemoryOperand(const SDValue &Op,
53 char ConstraintCode,
54 std::vector<SDValue> &OutOps);
55
Chris Lattner6c18b102005-12-17 07:47:01 +000056 virtual const char *getPassName() const {
Chris Lattner7c90f732006-02-05 05:50:24 +000057 return "SPARC DAG->DAG Pattern Instruction Selection";
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000058 }
59
Chris Lattner6c18b102005-12-17 07:47:01 +000060 // Include the pieces autogenerated from the target description.
Chris Lattner7c90f732006-02-05 05:50:24 +000061#include "SparcGenDAGISel.inc"
Chris Lattnerdb486a62009-09-15 17:46:24 +000062
63private:
64 SDNode* getGlobalBaseReg();
Chris Lattner6c18b102005-12-17 07:47:01 +000065};
66} // end anonymous namespace
67
Chris Lattnerdb486a62009-09-15 17:46:24 +000068SDNode* SparcDAGToDAGISel::getGlobalBaseReg() {
Chris Lattnerdb486a62009-09-15 17:46:24 +000069 unsigned GlobalBaseReg = TM.getInstrInfo()->getGlobalBaseReg(MF);
70 return CurDAG->getRegister(GlobalBaseReg, TLI.getPointerTy()).getNode();
71}
72
Chris Lattner52a261b2010-09-21 20:31:19 +000073bool SparcDAGToDAGISel::SelectADDRri(SDValue Addr,
Dan Gohman475871a2008-07-27 21:46:04 +000074 SDValue &Base, SDValue &Offset) {
Chris Lattnerd5aae052005-12-18 07:09:06 +000075 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
Jakob Stoklund Olesen41b585c2013-04-13 19:02:16 +000076 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), TLI.getPointerTy());
Owen Anderson825b72b2009-08-11 20:47:22 +000077 Offset = CurDAG->getTargetConstant(0, MVT::i32);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000078 return true;
79 }
Bill Wendling056292f2008-09-16 21:48:12 +000080 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
Chris Lattnerad7a3e62006-02-10 07:35:42 +000081 Addr.getOpcode() == ISD::TargetGlobalAddress)
82 return false; // direct calls.
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000083
Chris Lattner8fa54dc2005-12-18 06:59:57 +000084 if (Addr.getOpcode() == ISD::ADD) {
85 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1))) {
Jakob Stoklund Olesen4bb862d2010-08-17 18:17:12 +000086 if (isInt<13>(CN->getSExtValue())) {
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000087 if (FrameIndexSDNode *FIN =
Chris Lattnerd5aae052005-12-18 07:09:06 +000088 dyn_cast<FrameIndexSDNode>(Addr.getOperand(0))) {
Chris Lattner8fa54dc2005-12-18 06:59:57 +000089 // Constant offset from frame ref.
Jakob Stoklund Olesen41b585c2013-04-13 19:02:16 +000090 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(),
91 TLI.getPointerTy());
Chris Lattner8fa54dc2005-12-18 06:59:57 +000092 } else {
Chris Lattnerc26017a2006-02-05 08:35:50 +000093 Base = Addr.getOperand(0);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000094 }
Owen Anderson825b72b2009-08-11 20:47:22 +000095 Offset = CurDAG->getTargetConstant(CN->getZExtValue(), MVT::i32);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000096 return true;
97 }
98 }
Chris Lattner7c90f732006-02-05 05:50:24 +000099 if (Addr.getOperand(0).getOpcode() == SPISD::Lo) {
Chris Lattnerc26017a2006-02-05 08:35:50 +0000100 Base = Addr.getOperand(1);
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000101 Offset = Addr.getOperand(0).getOperand(0);
102 return true;
103 }
Chris Lattner7c90f732006-02-05 05:50:24 +0000104 if (Addr.getOperand(1).getOpcode() == SPISD::Lo) {
Chris Lattnerc26017a2006-02-05 08:35:50 +0000105 Base = Addr.getOperand(0);
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000106 Offset = Addr.getOperand(1).getOperand(0);
107 return true;
108 }
109 }
Chris Lattnerc26017a2006-02-05 08:35:50 +0000110 Base = Addr;
Owen Anderson825b72b2009-08-11 20:47:22 +0000111 Offset = CurDAG->getTargetConstant(0, MVT::i32);
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000112 return true;
113}
114
Chris Lattner52a261b2010-09-21 20:31:19 +0000115bool SparcDAGToDAGISel::SelectADDRrr(SDValue Addr, SDValue &R1, SDValue &R2) {
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000116 if (Addr.getOpcode() == ISD::FrameIndex) return false;
Bill Wendling056292f2008-09-16 21:48:12 +0000117 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000118 Addr.getOpcode() == ISD::TargetGlobalAddress)
119 return false; // direct calls.
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000120
Chris Lattner9034b882005-12-17 21:25:27 +0000121 if (Addr.getOpcode() == ISD::ADD) {
Jakob Stoklund Olesen4bb862d2010-08-17 18:17:12 +0000122 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))
123 if (isInt<13>(CN->getSExtValue()))
124 return false; // Let the reg+imm pattern catch this!
Chris Lattner7c90f732006-02-05 05:50:24 +0000125 if (Addr.getOperand(0).getOpcode() == SPISD::Lo ||
126 Addr.getOperand(1).getOpcode() == SPISD::Lo)
Chris Lattnere1389ad2005-12-18 02:27:00 +0000127 return false; // Let the reg+imm pattern catch this!
Chris Lattnerc26017a2006-02-05 08:35:50 +0000128 R1 = Addr.getOperand(0);
129 R2 = Addr.getOperand(1);
Chris Lattner9034b882005-12-17 21:25:27 +0000130 return true;
131 }
132
Chris Lattnerc26017a2006-02-05 08:35:50 +0000133 R1 = Addr;
Jakob Stoklund Olesen41b585c2013-04-13 19:02:16 +0000134 R2 = CurDAG->getRegister(SP::G0, TLI.getPointerTy());
Chris Lattnerbc83fd92005-12-17 20:04:49 +0000135 return true;
136}
137
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000138SDNode *SparcDAGToDAGISel::Select(SDNode *N) {
Dale Johannesenf5f5dce2009-02-06 19:16:40 +0000139 DebugLoc dl = N->getDebugLoc();
Dan Gohmane8be6c62008-07-17 19:10:17 +0000140 if (N->isMachineOpcode())
Evan Cheng64a752f2006-08-11 09:08:15 +0000141 return NULL; // Already selected.
Evan Cheng34167212006-02-09 00:37:58 +0000142
Chris Lattner6c18b102005-12-17 07:47:01 +0000143 switch (N->getOpcode()) {
144 default: break;
Chris Lattnerdb486a62009-09-15 17:46:24 +0000145 case SPISD::GLOBAL_BASE_REG:
146 return getGlobalBaseReg();
147
Chris Lattner7087e572005-12-17 22:39:19 +0000148 case ISD::SDIV:
149 case ISD::UDIV: {
Jakob Stoklund Olesenad366082013-04-16 02:57:02 +0000150 // sdivx / udivx handle 64-bit divides.
151 if (N->getValueType(0) == MVT::i64)
152 break;
Chris Lattner7087e572005-12-17 22:39:19 +0000153 // FIXME: should use a custom expander to expose the SRA to the dag.
Dan Gohman475871a2008-07-27 21:46:04 +0000154 SDValue DivLHS = N->getOperand(0);
155 SDValue DivRHS = N->getOperand(1);
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000156
Chris Lattner7087e572005-12-17 22:39:19 +0000157 // Set the Y register to the high-part.
Dan Gohman475871a2008-07-27 21:46:04 +0000158 SDValue TopPart;
Chris Lattner7087e572005-12-17 22:39:19 +0000159 if (N->getOpcode() == ISD::SDIV) {
Dan Gohman602b0c82009-09-25 18:54:59 +0000160 TopPart = SDValue(CurDAG->getMachineNode(SP::SRAri, dl, MVT::i32, DivLHS,
Owen Anderson825b72b2009-08-11 20:47:22 +0000161 CurDAG->getTargetConstant(31, MVT::i32)), 0);
Chris Lattner7087e572005-12-17 22:39:19 +0000162 } else {
Owen Anderson825b72b2009-08-11 20:47:22 +0000163 TopPart = CurDAG->getRegister(SP::G0, MVT::i32);
Chris Lattner7087e572005-12-17 22:39:19 +0000164 }
Chris Lattnerf1b4eaf2010-12-21 02:38:05 +0000165 TopPart = SDValue(CurDAG->getMachineNode(SP::WRYrr, dl, MVT::Glue, TopPart,
Owen Anderson825b72b2009-08-11 20:47:22 +0000166 CurDAG->getRegister(SP::G0, MVT::i32)), 0);
Chris Lattner7087e572005-12-17 22:39:19 +0000167
168 // FIXME: Handle div by immediate.
Chris Lattner7c90f732006-02-05 05:50:24 +0000169 unsigned Opcode = N->getOpcode() == ISD::SDIV ? SP::SDIVrr : SP::UDIVrr;
Owen Anderson825b72b2009-08-11 20:47:22 +0000170 return CurDAG->SelectNodeTo(N, Opcode, MVT::i32, DivLHS, DivRHS,
Evan Cheng95514ba2006-08-26 08:00:10 +0000171 TopPart);
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000172 }
Chris Lattneree3d5fb2005-12-17 22:30:00 +0000173 case ISD::MULHU:
174 case ISD::MULHS: {
Chris Lattner7087e572005-12-17 22:39:19 +0000175 // FIXME: Handle mul by immediate.
Dan Gohman475871a2008-07-27 21:46:04 +0000176 SDValue MulLHS = N->getOperand(0);
177 SDValue MulRHS = N->getOperand(1);
Chris Lattner7c90f732006-02-05 05:50:24 +0000178 unsigned Opcode = N->getOpcode() == ISD::MULHU ? SP::UMULrr : SP::SMULrr;
Chris Lattnerf1b4eaf2010-12-21 02:38:05 +0000179 SDNode *Mul = CurDAG->getMachineNode(Opcode, dl, MVT::i32, MVT::Glue,
Dan Gohman602b0c82009-09-25 18:54:59 +0000180 MulLHS, MulRHS);
Chris Lattneree3d5fb2005-12-17 22:30:00 +0000181 // The high part is in the Y register.
Owen Anderson825b72b2009-08-11 20:47:22 +0000182 return CurDAG->SelectNodeTo(N, SP::RDY, MVT::i32, SDValue(Mul, 1));
Chris Lattneree3d5fb2005-12-17 22:30:00 +0000183 }
Chris Lattner6c18b102005-12-17 07:47:01 +0000184 }
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000185
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000186 return SelectCode(N);
Chris Lattner6c18b102005-12-17 07:47:01 +0000187}
188
189
Anton Korobeynikov2fcfd832008-10-10 10:14:47 +0000190/// SelectInlineAsmMemoryOperand - Implement addressing mode selection for
191/// inline asm expressions.
192bool
193SparcDAGToDAGISel::SelectInlineAsmMemoryOperand(const SDValue &Op,
194 char ConstraintCode,
195 std::vector<SDValue> &OutOps) {
196 SDValue Op0, Op1;
197 switch (ConstraintCode) {
198 default: return true;
199 case 'm': // memory
Chris Lattner52a261b2010-09-21 20:31:19 +0000200 if (!SelectADDRrr(Op, Op0, Op1))
201 SelectADDRri(Op, Op0, Op1);
Anton Korobeynikov2fcfd832008-10-10 10:14:47 +0000202 break;
203 }
204
205 OutOps.push_back(Op0);
206 OutOps.push_back(Op1);
207 return false;
208}
209
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000210/// createSparcISelDag - This pass converts a legalized DAG into a
Chris Lattner4dcfaac2006-01-26 07:22:22 +0000211/// SPARC-specific DAG, ready for instruction scheduling.
Chris Lattner6c18b102005-12-17 07:47:01 +0000212///
Dan Gohmanda8ac5f2008-10-03 16:55:19 +0000213FunctionPass *llvm::createSparcISelDag(SparcTargetMachine &TM) {
Chris Lattner7c90f732006-02-05 05:50:24 +0000214 return new SparcDAGToDAGISel(TM);
Chris Lattner6c18b102005-12-17 07:47:01 +0000215}