blob: c9bd62d0e20d69a1c0139379aa01f7bab7ccf325 [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 Lattnerd23405e2008-03-17 03:21:36 +000014#include "SparcISelLowering.h"
Chris Lattner7c90f732006-02-05 05:50:24 +000015#include "SparcTargetMachine.h"
Chris Lattner420736d2006-03-25 06:47:10 +000016#include "llvm/Intrinsics.h"
Chris Lattner6c18b102005-12-17 07:47:01 +000017#include "llvm/CodeGen/SelectionDAGISel.h"
Chris Lattner3d62d782008-02-03 05:43:57 +000018#include "llvm/Support/Compiler.h"
Chris Lattner6c18b102005-12-17 07:47:01 +000019#include "llvm/Support/Debug.h"
Chris Lattner6c18b102005-12-17 07:47:01 +000020using namespace llvm;
21
22//===----------------------------------------------------------------------===//
Chris Lattner6c18b102005-12-17 07:47:01 +000023// Instruction Selector Implementation
24//===----------------------------------------------------------------------===//
25
26//===--------------------------------------------------------------------===//
Chris Lattner7c90f732006-02-05 05:50:24 +000027/// SparcDAGToDAGISel - SPARC specific code to select SPARC machine
Chris Lattner6c18b102005-12-17 07:47:01 +000028/// instructions for SelectionDAG operations.
29///
30namespace {
Chris Lattner7c90f732006-02-05 05:50:24 +000031class SparcDAGToDAGISel : public SelectionDAGISel {
Chris Lattner76afdc92006-01-30 05:35:57 +000032 /// Subtarget - Keep a pointer to the Sparc Subtarget around so that we can
33 /// make the right decision when generating code for different targets.
Chris Lattner7c90f732006-02-05 05:50:24 +000034 const SparcSubtarget &Subtarget;
Chris Lattner6c18b102005-12-17 07:47:01 +000035public:
Dan Gohmanda8ac5f2008-10-03 16:55:19 +000036 explicit SparcDAGToDAGISel(SparcTargetMachine &TM)
Dan Gohman79ce2762009-01-15 19:20:50 +000037 : SelectionDAGISel(TM),
Chris Lattner7c90f732006-02-05 05:50:24 +000038 Subtarget(TM.getSubtarget<SparcSubtarget>()) {
Chris Lattner76afdc92006-01-30 05:35:57 +000039 }
Chris Lattner6c18b102005-12-17 07:47:01 +000040
Dan Gohman475871a2008-07-27 21:46:04 +000041 SDNode *Select(SDValue Op);
Chris Lattner6c18b102005-12-17 07:47:01 +000042
Chris Lattnerbc83fd92005-12-17 20:04:49 +000043 // Complex Pattern Selectors.
Dan Gohman475871a2008-07-27 21:46:04 +000044 bool SelectADDRrr(SDValue Op, SDValue N, SDValue &R1, SDValue &R2);
45 bool SelectADDRri(SDValue Op, SDValue N, SDValue &Base,
46 SDValue &Offset);
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000047
Anton Korobeynikov2fcfd832008-10-10 10:14:47 +000048 /// SelectInlineAsmMemoryOperand - Implement addressing mode selection for
49 /// inline asm expressions.
50 virtual bool SelectInlineAsmMemoryOperand(const SDValue &Op,
51 char ConstraintCode,
52 std::vector<SDValue> &OutOps);
53
Evan Chengdb8d56b2008-06-30 20:45:06 +000054 /// InstructionSelect - This callback is invoked by
Chris Lattner6c18b102005-12-17 07:47:01 +000055 /// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
Dan Gohmanf350b272008-08-23 02:25:05 +000056 virtual void InstructionSelect();
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000057
Chris Lattner6c18b102005-12-17 07:47:01 +000058 virtual const char *getPassName() const {
Chris Lattner7c90f732006-02-05 05:50:24 +000059 return "SPARC DAG->DAG Pattern Instruction Selection";
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000060 }
61
Chris Lattner6c18b102005-12-17 07:47:01 +000062 // Include the pieces autogenerated from the target description.
Chris Lattner7c90f732006-02-05 05:50:24 +000063#include "SparcGenDAGISel.inc"
Chris Lattner6c18b102005-12-17 07:47:01 +000064};
65} // end anonymous namespace
66
Evan Chengdb8d56b2008-06-30 20:45:06 +000067/// InstructionSelect - This callback is invoked by
Chris Lattner6c18b102005-12-17 07:47:01 +000068/// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
Dan Gohmanf350b272008-08-23 02:25:05 +000069void SparcDAGToDAGISel::InstructionSelect() {
Chris Lattner6c18b102005-12-17 07:47:01 +000070 DEBUG(BB->dump());
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000071
Chris Lattner6c18b102005-12-17 07:47:01 +000072 // Select target instructions for the DAG.
David Greene8ad4c002008-10-27 21:56:29 +000073 SelectRoot(*CurDAG);
Dan Gohmanf350b272008-08-23 02:25:05 +000074 CurDAG->RemoveDeadNodes();
Chris Lattner6c18b102005-12-17 07:47:01 +000075}
76
Dan Gohman475871a2008-07-27 21:46:04 +000077bool SparcDAGToDAGISel::SelectADDRri(SDValue Op, SDValue Addr,
78 SDValue &Base, SDValue &Offset) {
Chris Lattnerd5aae052005-12-18 07:09:06 +000079 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
80 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i32);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000081 Offset = CurDAG->getTargetConstant(0, MVT::i32);
82 return true;
83 }
Bill Wendling056292f2008-09-16 21:48:12 +000084 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
Chris Lattnerad7a3e62006-02-10 07:35:42 +000085 Addr.getOpcode() == ISD::TargetGlobalAddress)
86 return false; // direct calls.
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000087
Chris Lattner8fa54dc2005-12-18 06:59:57 +000088 if (Addr.getOpcode() == ISD::ADD) {
89 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1))) {
90 if (Predicate_simm13(CN)) {
Anton Korobeynikova43e51d2008-10-10 10:14:15 +000091 if (FrameIndexSDNode *FIN =
Chris Lattnerd5aae052005-12-18 07:09:06 +000092 dyn_cast<FrameIndexSDNode>(Addr.getOperand(0))) {
Chris Lattner8fa54dc2005-12-18 06:59:57 +000093 // Constant offset from frame ref.
Chris Lattnerd5aae052005-12-18 07:09:06 +000094 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i32);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000095 } else {
Chris Lattnerc26017a2006-02-05 08:35:50 +000096 Base = Addr.getOperand(0);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000097 }
Dan Gohmanf5aeb1a2008-09-12 16:56:44 +000098 Offset = CurDAG->getTargetConstant(CN->getZExtValue(), MVT::i32);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000099 return true;
100 }
101 }
Chris Lattner7c90f732006-02-05 05:50:24 +0000102 if (Addr.getOperand(0).getOpcode() == SPISD::Lo) {
Chris Lattnerc26017a2006-02-05 08:35:50 +0000103 Base = Addr.getOperand(1);
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000104 Offset = Addr.getOperand(0).getOperand(0);
105 return true;
106 }
Chris Lattner7c90f732006-02-05 05:50:24 +0000107 if (Addr.getOperand(1).getOpcode() == SPISD::Lo) {
Chris Lattnerc26017a2006-02-05 08:35:50 +0000108 Base = Addr.getOperand(0);
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000109 Offset = Addr.getOperand(1).getOperand(0);
110 return true;
111 }
112 }
Chris Lattnerc26017a2006-02-05 08:35:50 +0000113 Base = Addr;
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000114 Offset = CurDAG->getTargetConstant(0, MVT::i32);
115 return true;
116}
117
Dan Gohman475871a2008-07-27 21:46:04 +0000118bool SparcDAGToDAGISel::SelectADDRrr(SDValue Op, SDValue Addr,
119 SDValue &R1, SDValue &R2) {
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000120 if (Addr.getOpcode() == ISD::FrameIndex) return false;
Bill Wendling056292f2008-09-16 21:48:12 +0000121 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000122 Addr.getOpcode() == ISD::TargetGlobalAddress)
123 return false; // direct calls.
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000124
Chris Lattner9034b882005-12-17 21:25:27 +0000125 if (Addr.getOpcode() == ISD::ADD) {
126 if (isa<ConstantSDNode>(Addr.getOperand(1)) &&
Gabor Greifba36cb52008-08-28 21:40:38 +0000127 Predicate_simm13(Addr.getOperand(1).getNode()))
Chris Lattner9034b882005-12-17 21:25:27 +0000128 return false; // Let the reg+imm pattern catch this!
Chris Lattner7c90f732006-02-05 05:50:24 +0000129 if (Addr.getOperand(0).getOpcode() == SPISD::Lo ||
130 Addr.getOperand(1).getOpcode() == SPISD::Lo)
Chris Lattnere1389ad2005-12-18 02:27:00 +0000131 return false; // Let the reg+imm pattern catch this!
Chris Lattnerc26017a2006-02-05 08:35:50 +0000132 R1 = Addr.getOperand(0);
133 R2 = Addr.getOperand(1);
Chris Lattner9034b882005-12-17 21:25:27 +0000134 return true;
135 }
136
Chris Lattnerc26017a2006-02-05 08:35:50 +0000137 R1 = Addr;
Chris Lattner7c90f732006-02-05 05:50:24 +0000138 R2 = CurDAG->getRegister(SP::G0, MVT::i32);
Chris Lattnerbc83fd92005-12-17 20:04:49 +0000139 return true;
140}
141
Dan Gohman475871a2008-07-27 21:46:04 +0000142SDNode *SparcDAGToDAGISel::Select(SDValue Op) {
Gabor Greifba36cb52008-08-28 21:40:38 +0000143 SDNode *N = Op.getNode();
Dale Johannesenf5f5dce2009-02-06 19:16:40 +0000144 DebugLoc dl = N->getDebugLoc();
Dan Gohmane8be6c62008-07-17 19:10:17 +0000145 if (N->isMachineOpcode())
Evan Cheng64a752f2006-08-11 09:08:15 +0000146 return NULL; // Already selected.
Evan Cheng34167212006-02-09 00:37:58 +0000147
Chris Lattner6c18b102005-12-17 07:47:01 +0000148 switch (N->getOpcode()) {
149 default: break;
Chris Lattner7087e572005-12-17 22:39:19 +0000150 case ISD::SDIV:
151 case ISD::UDIV: {
152 // FIXME: should use a custom expander to expose the SRA to the dag.
Dan Gohman475871a2008-07-27 21:46:04 +0000153 SDValue DivLHS = N->getOperand(0);
154 SDValue DivRHS = N->getOperand(1);
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000155
Chris Lattner7087e572005-12-17 22:39:19 +0000156 // Set the Y register to the high-part.
Dan Gohman475871a2008-07-27 21:46:04 +0000157 SDValue TopPart;
Chris Lattner7087e572005-12-17 22:39:19 +0000158 if (N->getOpcode() == ISD::SDIV) {
Dale Johannesenf5f5dce2009-02-06 19:16:40 +0000159 TopPart = SDValue(CurDAG->getTargetNode(SP::SRAri, dl, MVT::i32, DivLHS,
Evan Cheng7e9b26f2006-02-09 07:17:49 +0000160 CurDAG->getTargetConstant(31, MVT::i32)), 0);
Chris Lattner7087e572005-12-17 22:39:19 +0000161 } else {
Chris Lattner7c90f732006-02-05 05:50:24 +0000162 TopPart = CurDAG->getRegister(SP::G0, MVT::i32);
Chris Lattner7087e572005-12-17 22:39:19 +0000163 }
Dale Johannesenf5f5dce2009-02-06 19:16:40 +0000164 TopPart = SDValue(CurDAG->getTargetNode(SP::WRYrr, dl, MVT::Flag, TopPart,
Evan Cheng7e9b26f2006-02-09 07:17:49 +0000165 CurDAG->getRegister(SP::G0, MVT::i32)), 0);
Chris Lattner7087e572005-12-17 22:39:19 +0000166
167 // FIXME: Handle div by immediate.
Chris Lattner7c90f732006-02-05 05:50:24 +0000168 unsigned Opcode = N->getOpcode() == ISD::SDIV ? SP::SDIVrr : SP::UDIVrr;
Evan Cheng23329f52006-08-16 07:30:09 +0000169 return CurDAG->SelectNodeTo(N, Opcode, MVT::i32, DivLHS, DivRHS,
Evan Cheng95514ba2006-08-26 08:00:10 +0000170 TopPart);
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000171 }
Chris Lattneree3d5fb2005-12-17 22:30:00 +0000172 case ISD::MULHU:
173 case ISD::MULHS: {
Chris Lattner7087e572005-12-17 22:39:19 +0000174 // FIXME: Handle mul by immediate.
Dan Gohman475871a2008-07-27 21:46:04 +0000175 SDValue MulLHS = N->getOperand(0);
176 SDValue MulRHS = N->getOperand(1);
Chris Lattner7c90f732006-02-05 05:50:24 +0000177 unsigned Opcode = N->getOpcode() == ISD::MULHU ? SP::UMULrr : SP::SMULrr;
Dale Johannesenf5f5dce2009-02-06 19:16:40 +0000178 SDNode *Mul = CurDAG->getTargetNode(Opcode, dl, MVT::i32, MVT::Flag,
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000179 MulLHS, MulRHS);
Chris Lattneree3d5fb2005-12-17 22:30:00 +0000180 // The high part is in the Y register.
Dan Gohman475871a2008-07-27 21:46:04 +0000181 return CurDAG->SelectNodeTo(N, SP::RDY, MVT::i32, SDValue(Mul, 1));
Evan Cheng64a752f2006-08-11 09:08:15 +0000182 return NULL;
Chris Lattneree3d5fb2005-12-17 22:30:00 +0000183 }
Chris Lattner6c18b102005-12-17 07:47:01 +0000184 }
Anton Korobeynikova43e51d2008-10-10 10:14:15 +0000185
Evan Cheng9ade2182006-08-26 05:34:46 +0000186 return SelectCode(Op);
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
200 if (!SelectADDRrr(Op, Op, Op0, Op1))
201 SelectADDRri(Op, Op, Op0, Op1);
202 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}