blob: 50690ca300f1850e49ef7fe341fafdd1b40e7e53 [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 {
32 SparcTargetLowering Lowering;
Chris Lattner76afdc92006-01-30 05:35:57 +000033
34 /// Subtarget - Keep a pointer to the Sparc Subtarget around so that we can
35 /// make the right decision when generating code for different targets.
Chris Lattner7c90f732006-02-05 05:50:24 +000036 const SparcSubtarget &Subtarget;
Chris Lattner6c18b102005-12-17 07:47:01 +000037public:
Chris Lattner7c90f732006-02-05 05:50:24 +000038 SparcDAGToDAGISel(TargetMachine &TM)
39 : SelectionDAGISel(Lowering), Lowering(TM),
40 Subtarget(TM.getSubtarget<SparcSubtarget>()) {
Chris Lattner76afdc92006-01-30 05:35:57 +000041 }
Chris Lattner6c18b102005-12-17 07:47:01 +000042
Evan Cheng9ade2182006-08-26 05:34:46 +000043 SDNode *Select(SDOperand Op);
Chris Lattner6c18b102005-12-17 07:47:01 +000044
Chris Lattnerbc83fd92005-12-17 20:04:49 +000045 // Complex Pattern Selectors.
Evan Cheng0d538262006-11-08 20:34:28 +000046 bool SelectADDRrr(SDOperand Op, SDOperand N, SDOperand &R1, SDOperand &R2);
47 bool SelectADDRri(SDOperand Op, SDOperand N, SDOperand &Base,
48 SDOperand &Offset);
Chris Lattnerbc83fd92005-12-17 20:04:49 +000049
Evan Chengdb8d56b2008-06-30 20:45:06 +000050 /// InstructionSelect - This callback is invoked by
Chris Lattner6c18b102005-12-17 07:47:01 +000051 /// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
Evan Chengdb8d56b2008-06-30 20:45:06 +000052 virtual void InstructionSelect(SelectionDAG &DAG);
Chris Lattner6c18b102005-12-17 07:47:01 +000053
54 virtual const char *getPassName() const {
Chris Lattner7c90f732006-02-05 05:50:24 +000055 return "SPARC DAG->DAG Pattern Instruction Selection";
Chris Lattner6c18b102005-12-17 07:47:01 +000056 }
57
58 // Include the pieces autogenerated from the target description.
Chris Lattner7c90f732006-02-05 05:50:24 +000059#include "SparcGenDAGISel.inc"
Chris Lattner6c18b102005-12-17 07:47:01 +000060};
61} // end anonymous namespace
62
Evan Chengdb8d56b2008-06-30 20:45:06 +000063/// InstructionSelect - This callback is invoked by
Chris Lattner6c18b102005-12-17 07:47:01 +000064/// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
Evan Chengdb8d56b2008-06-30 20:45:06 +000065void SparcDAGToDAGISel::InstructionSelect(SelectionDAG &DAG) {
Chris Lattner6c18b102005-12-17 07:47:01 +000066 DEBUG(BB->dump());
67
68 // Select target instructions for the DAG.
Evan Cheng900c8262006-02-05 06:51:51 +000069 DAG.setRoot(SelectRoot(DAG.getRoot()));
Chris Lattner6c18b102005-12-17 07:47:01 +000070 DAG.RemoveDeadNodes();
Chris Lattner6c18b102005-12-17 07:47:01 +000071}
72
Evan Cheng0d538262006-11-08 20:34:28 +000073bool SparcDAGToDAGISel::SelectADDRri(SDOperand Op, SDOperand Addr,
74 SDOperand &Base, SDOperand &Offset) {
Chris Lattnerd5aae052005-12-18 07:09:06 +000075 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
76 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i32);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000077 Offset = CurDAG->getTargetConstant(0, MVT::i32);
78 return true;
79 }
Chris Lattnerad7a3e62006-02-10 07:35:42 +000080 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
81 Addr.getOpcode() == ISD::TargetGlobalAddress)
82 return false; // direct calls.
Chris Lattner8fa54dc2005-12-18 06:59:57 +000083
84 if (Addr.getOpcode() == ISD::ADD) {
85 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1))) {
86 if (Predicate_simm13(CN)) {
Chris Lattnerd5aae052005-12-18 07:09:06 +000087 if (FrameIndexSDNode *FIN =
88 dyn_cast<FrameIndexSDNode>(Addr.getOperand(0))) {
Chris Lattner8fa54dc2005-12-18 06:59:57 +000089 // Constant offset from frame ref.
Chris Lattnerd5aae052005-12-18 07:09:06 +000090 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i32);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000091 } else {
Chris Lattnerc26017a2006-02-05 08:35:50 +000092 Base = Addr.getOperand(0);
Chris Lattner8fa54dc2005-12-18 06:59:57 +000093 }
94 Offset = CurDAG->getTargetConstant(CN->getValue(), MVT::i32);
95 return true;
96 }
97 }
Chris Lattner7c90f732006-02-05 05:50:24 +000098 if (Addr.getOperand(0).getOpcode() == SPISD::Lo) {
Chris Lattnerc26017a2006-02-05 08:35:50 +000099 Base = Addr.getOperand(1);
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000100 Offset = Addr.getOperand(0).getOperand(0);
101 return true;
102 }
Chris Lattner7c90f732006-02-05 05:50:24 +0000103 if (Addr.getOperand(1).getOpcode() == SPISD::Lo) {
Chris Lattnerc26017a2006-02-05 08:35:50 +0000104 Base = Addr.getOperand(0);
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000105 Offset = Addr.getOperand(1).getOperand(0);
106 return true;
107 }
108 }
Chris Lattnerc26017a2006-02-05 08:35:50 +0000109 Base = Addr;
Chris Lattner8fa54dc2005-12-18 06:59:57 +0000110 Offset = CurDAG->getTargetConstant(0, MVT::i32);
111 return true;
112}
113
Evan Cheng0d538262006-11-08 20:34:28 +0000114bool SparcDAGToDAGISel::SelectADDRrr(SDOperand Op, SDOperand Addr,
115 SDOperand &R1, SDOperand &R2) {
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000116 if (Addr.getOpcode() == ISD::FrameIndex) return false;
117 if (Addr.getOpcode() == ISD::TargetExternalSymbol ||
118 Addr.getOpcode() == ISD::TargetGlobalAddress)
119 return false; // direct calls.
120
Chris Lattner9034b882005-12-17 21:25:27 +0000121 if (Addr.getOpcode() == ISD::ADD) {
122 if (isa<ConstantSDNode>(Addr.getOperand(1)) &&
123 Predicate_simm13(Addr.getOperand(1).Val))
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;
Chris Lattner7c90f732006-02-05 05:50:24 +0000134 R2 = CurDAG->getRegister(SP::G0, MVT::i32);
Chris Lattnerbc83fd92005-12-17 20:04:49 +0000135 return true;
136}
137
Evan Cheng9ade2182006-08-26 05:34:46 +0000138SDNode *SparcDAGToDAGISel::Select(SDOperand Op) {
Chris Lattner6c18b102005-12-17 07:47:01 +0000139 SDNode *N = Op.Val;
Chris Lattner4d55aca2005-12-18 01:20:35 +0000140 if (N->getOpcode() >= ISD::BUILTIN_OP_END &&
Evan Cheng9ade2182006-08-26 05:34:46 +0000141 N->getOpcode() < SPISD::FIRST_NUMBER)
Evan Cheng64a752f2006-08-11 09:08:15 +0000142 return NULL; // Already selected.
Evan Cheng34167212006-02-09 00:37:58 +0000143
Chris Lattner6c18b102005-12-17 07:47:01 +0000144 switch (N->getOpcode()) {
145 default: break;
Chris Lattner7087e572005-12-17 22:39:19 +0000146 case ISD::SDIV:
147 case ISD::UDIV: {
148 // FIXME: should use a custom expander to expose the SRA to the dag.
Evan Cheng6da2f322006-08-26 01:07:58 +0000149 SDOperand DivLHS = N->getOperand(0);
150 SDOperand DivRHS = N->getOperand(1);
151 AddToISelQueue(DivLHS);
152 AddToISelQueue(DivRHS);
Chris Lattner7087e572005-12-17 22:39:19 +0000153
154 // Set the Y register to the high-part.
155 SDOperand TopPart;
156 if (N->getOpcode() == ISD::SDIV) {
Evan Cheng7e9b26f2006-02-09 07:17:49 +0000157 TopPart = SDOperand(CurDAG->getTargetNode(SP::SRAri, MVT::i32, DivLHS,
158 CurDAG->getTargetConstant(31, MVT::i32)), 0);
Chris Lattner7087e572005-12-17 22:39:19 +0000159 } else {
Chris Lattner7c90f732006-02-05 05:50:24 +0000160 TopPart = CurDAG->getRegister(SP::G0, MVT::i32);
Chris Lattner7087e572005-12-17 22:39:19 +0000161 }
Evan Cheng7e9b26f2006-02-09 07:17:49 +0000162 TopPart = SDOperand(CurDAG->getTargetNode(SP::WRYrr, MVT::Flag, TopPart,
163 CurDAG->getRegister(SP::G0, MVT::i32)), 0);
Chris Lattner7087e572005-12-17 22:39:19 +0000164
165 // FIXME: Handle div by immediate.
Chris Lattner7c90f732006-02-05 05:50:24 +0000166 unsigned Opcode = N->getOpcode() == ISD::SDIV ? SP::SDIVrr : SP::UDIVrr;
Evan Cheng23329f52006-08-16 07:30:09 +0000167 return CurDAG->SelectNodeTo(N, Opcode, MVT::i32, DivLHS, DivRHS,
Evan Cheng95514ba2006-08-26 08:00:10 +0000168 TopPart);
Chris Lattner7087e572005-12-17 22:39:19 +0000169 }
Chris Lattneree3d5fb2005-12-17 22:30:00 +0000170 case ISD::MULHU:
171 case ISD::MULHS: {
Chris Lattner7087e572005-12-17 22:39:19 +0000172 // FIXME: Handle mul by immediate.
Evan Cheng6da2f322006-08-26 01:07:58 +0000173 SDOperand MulLHS = N->getOperand(0);
174 SDOperand MulRHS = N->getOperand(1);
175 AddToISelQueue(MulLHS);
176 AddToISelQueue(MulRHS);
Chris Lattner7c90f732006-02-05 05:50:24 +0000177 unsigned Opcode = N->getOpcode() == ISD::MULHU ? SP::UMULrr : SP::SMULrr;
Evan Cheng7e9b26f2006-02-09 07:17:49 +0000178 SDNode *Mul = CurDAG->getTargetNode(Opcode, 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.
Evan Cheng95514ba2006-08-26 08:00:10 +0000181 return CurDAG->SelectNodeTo(N, SP::RDY, MVT::i32, SDOperand(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 }
185
Evan Cheng9ade2182006-08-26 05:34:46 +0000186 return SelectCode(Op);
Chris Lattner6c18b102005-12-17 07:47:01 +0000187}
188
189
Chris Lattner7c90f732006-02-05 05:50:24 +0000190/// createSparcISelDag - This pass converts a legalized DAG into a
Chris Lattner4dcfaac2006-01-26 07:22:22 +0000191/// SPARC-specific DAG, ready for instruction scheduling.
Chris Lattner6c18b102005-12-17 07:47:01 +0000192///
Chris Lattner7c90f732006-02-05 05:50:24 +0000193FunctionPass *llvm::createSparcISelDag(TargetMachine &TM) {
194 return new SparcDAGToDAGISel(TM);
Chris Lattner6c18b102005-12-17 07:47:01 +0000195}