blob: 147b2a82cfcd25ba18de814fb2da8d6e5925b848 [file] [log] [blame]
Eric Christopher50880d02010-09-18 18:52:28 +00001//===-- PTXISelLowering.cpp - PTX DAG Lowering Implementation -------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the PTXTargetLowering class.
11//
12//===----------------------------------------------------------------------===//
13
Che-Liang Chioub48f2c22010-10-19 13:14:40 +000014#include "PTX.h"
Eric Christopher50880d02010-09-18 18:52:28 +000015#include "PTXISelLowering.h"
Che-Liang Chiou3278c422010-11-08 03:00:52 +000016#include "PTXMachineFunctionInfo.h"
Eric Christopher50880d02010-09-18 18:52:28 +000017#include "PTXRegisterInfo.h"
18#include "llvm/Support/ErrorHandling.h"
Che-Liang Chioub48f2c22010-10-19 13:14:40 +000019#include "llvm/CodeGen/MachineFunction.h"
20#include "llvm/CodeGen/MachineRegisterInfo.h"
Eric Christopher50880d02010-09-18 18:52:28 +000021#include "llvm/CodeGen/SelectionDAG.h"
22#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000023#include "llvm/Support/raw_ostream.h"
Eric Christopher50880d02010-09-18 18:52:28 +000024
25using namespace llvm;
26
27PTXTargetLowering::PTXTargetLowering(TargetMachine &TM)
28 : TargetLowering(TM, new TargetLoweringObjectFileELF()) {
29 // Set up the register classes.
Che-Liang Chioub48f2c22010-10-19 13:14:40 +000030 addRegisterClass(MVT::i1, PTX::PredsRegisterClass);
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000031 addRegisterClass(MVT::i16, PTX::RRegu16RegisterClass);
32 addRegisterClass(MVT::i32, PTX::RRegu32RegisterClass);
33 addRegisterClass(MVT::i64, PTX::RRegu64RegisterClass);
Che-Liang Chiouf7172022011-02-28 06:34:09 +000034 addRegisterClass(MVT::f32, PTX::RRegf32RegisterClass);
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000035 addRegisterClass(MVT::f64, PTX::RRegf64RegisterClass);
36
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000037 setOperationAction(ISD::EXCEPTIONADDR, MVT::i32, Expand);
38
Che-Liang Chiouf7172022011-02-28 06:34:09 +000039 setOperationAction(ISD::ConstantFP, MVT::f32, Legal);
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000040 setOperationAction(ISD::ConstantFP, MVT::f64, Legal);
41
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000042 // Customize translation of memory addresses
43 setOperationAction(ISD::GlobalAddress, MVT::i32, Custom);
44
Eric Christopher50880d02010-09-18 18:52:28 +000045 // Compute derived properties from the register classes
46 computeRegisterProperties();
47}
48
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000049SDValue PTXTargetLowering::LowerOperation(SDValue Op, SelectionDAG &DAG) const {
50 switch (Op.getOpcode()) {
51 default: llvm_unreachable("Unimplemented operand");
52 case ISD::GlobalAddress: return LowerGlobalAddress(Op, DAG);
53 }
54}
55
Eric Christopher50880d02010-09-18 18:52:28 +000056const char *PTXTargetLowering::getTargetNodeName(unsigned Opcode) const {
57 switch (Opcode) {
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +000058 default:
59 llvm_unreachable("Unknown opcode");
60 case PTXISD::READ_PARAM:
61 return "PTXISD::READ_PARAM";
62 case PTXISD::EXIT:
63 return "PTXISD::EXIT";
64 case PTXISD::RET:
65 return "PTXISD::RET";
Eric Christopher50880d02010-09-18 18:52:28 +000066 }
67}
68
69//===----------------------------------------------------------------------===//
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000070// Custom Lower Operation
71//===----------------------------------------------------------------------===//
72
73SDValue PTXTargetLowering::
74LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const {
75 EVT PtrVT = getPointerTy();
76 DebugLoc dl = Op.getDebugLoc();
77 const GlobalValue *GV = cast<GlobalAddressSDNode>(Op)->getGlobal();
78 return DAG.getTargetGlobalAddress(GV, dl, PtrVT);
79}
80
81//===----------------------------------------------------------------------===//
Eric Christopher50880d02010-09-18 18:52:28 +000082// Calling Convention Implementation
83//===----------------------------------------------------------------------===//
84
Benjamin Kramera3ac4272010-10-22 17:35:07 +000085namespace {
86struct argmap_entry {
Che-Liang Chioub48f2c22010-10-19 13:14:40 +000087 MVT::SimpleValueType VT;
88 TargetRegisterClass *RC;
89 TargetRegisterClass::iterator loc;
90
91 argmap_entry(MVT::SimpleValueType _VT, TargetRegisterClass *_RC)
92 : VT(_VT), RC(_RC), loc(_RC->begin()) {}
93
Benjamin Kramera3ac4272010-10-22 17:35:07 +000094 void reset() { loc = RC->begin(); }
95 bool operator==(MVT::SimpleValueType _VT) const { return VT == _VT; }
Che-Liang Chioub48f2c22010-10-19 13:14:40 +000096} argmap[] = {
97 argmap_entry(MVT::i1, PTX::PredsRegisterClass),
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000098 argmap_entry(MVT::i16, PTX::RRegu16RegisterClass),
99 argmap_entry(MVT::i32, PTX::RRegu32RegisterClass),
100 argmap_entry(MVT::i64, PTX::RRegu64RegisterClass),
101 argmap_entry(MVT::f32, PTX::RRegf32RegisterClass),
102 argmap_entry(MVT::f64, PTX::RRegf64RegisterClass)
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000103};
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000104} // end anonymous namespace
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000105
Eric Christopher50880d02010-09-18 18:52:28 +0000106SDValue PTXTargetLowering::
107 LowerFormalArguments(SDValue Chain,
108 CallingConv::ID CallConv,
109 bool isVarArg,
110 const SmallVectorImpl<ISD::InputArg> &Ins,
111 DebugLoc dl,
112 SelectionDAG &DAG,
113 SmallVectorImpl<SDValue> &InVals) const {
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000114 if (isVarArg) llvm_unreachable("PTX does not support varargs");
115
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000116 MachineFunction &MF = DAG.getMachineFunction();
117 PTXMachineFunctionInfo *MFI = MF.getInfo<PTXMachineFunctionInfo>();
118
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000119 switch (CallConv) {
120 default:
121 llvm_unreachable("Unsupported calling convention");
122 break;
123 case CallingConv::PTX_Kernel:
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000124 MFI->setKernel(true);
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000125 break;
126 case CallingConv::PTX_Device:
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000127 MFI->setKernel(false);
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000128 break;
129 }
130
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000131 // Make sure we don't add argument registers twice
132 if (MFI->isDoneAddArg())
133 llvm_unreachable("cannot add argument registers twice");
134
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000135 // Reset argmap before allocation
136 for (struct argmap_entry *i = argmap, *e = argmap + array_lengthof(argmap);
137 i != e; ++ i)
138 i->reset();
139
140 for (int i = 0, e = Ins.size(); i != e; ++ i) {
Duncan Sands1440e8b2010-11-03 11:35:31 +0000141 MVT::SimpleValueType VT = Ins[i].VT.SimpleTy;
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000142
143 struct argmap_entry *entry = std::find(argmap,
144 argmap + array_lengthof(argmap), VT);
145 if (entry == argmap + array_lengthof(argmap))
146 llvm_unreachable("Type of argument is not supported");
147
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000148 if (MFI->isKernel() && entry->RC == PTX::PredsRegisterClass)
149 llvm_unreachable("cannot pass preds to kernel");
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000150
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000151 MachineRegisterInfo &RegInfo = DAG.getMachineFunction().getRegInfo();
152
153 unsigned preg = *++(entry->loc); // allocate start from register 1
154 unsigned vreg = RegInfo.createVirtualRegister(entry->RC);
155 RegInfo.addLiveIn(preg, vreg);
156
157 MFI->addArgReg(preg);
158
159 SDValue inval;
160 if (MFI->isKernel())
161 inval = DAG.getNode(PTXISD::READ_PARAM, dl, VT, Chain,
162 DAG.getTargetConstant(i, MVT::i32));
163 else
164 inval = DAG.getCopyFromReg(Chain, dl, vreg, VT);
165 InVals.push_back(inval);
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000166 }
167
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000168 MFI->doneAddArg();
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000169
Eric Christopher50880d02010-09-18 18:52:28 +0000170 return Chain;
171}
172
173SDValue PTXTargetLowering::
174 LowerReturn(SDValue Chain,
175 CallingConv::ID CallConv,
176 bool isVarArg,
177 const SmallVectorImpl<ISD::OutputArg> &Outs,
178 const SmallVectorImpl<SDValue> &OutVals,
179 DebugLoc dl,
180 SelectionDAG &DAG) const {
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000181 if (isVarArg) llvm_unreachable("PTX does not support varargs");
Che-Liang Chiouf9930da2010-09-25 07:46:17 +0000182
183 switch (CallConv) {
184 default:
185 llvm_unreachable("Unsupported calling convention.");
186 case CallingConv::PTX_Kernel:
187 assert(Outs.size() == 0 && "Kernel must return void.");
188 return DAG.getNode(PTXISD::EXIT, dl, MVT::Other, Chain);
189 case CallingConv::PTX_Device:
190 assert(Outs.size() <= 1 && "Can at most return one value.");
191 break;
192 }
193
194 // PTX_Device
195
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000196 // return void
Che-Liang Chiouf9930da2010-09-25 07:46:17 +0000197 if (Outs.size() == 0)
198 return DAG.getNode(PTXISD::RET, dl, MVT::Other, Chain);
199
Che-Liang Chiouf9930da2010-09-25 07:46:17 +0000200 SDValue Flag;
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000201 unsigned reg;
202
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000203 if (Outs[0].VT == MVT::i16) {
204 reg = PTX::RH0;
205 }
206 else if (Outs[0].VT == MVT::i32) {
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000207 reg = PTX::R0;
208 }
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000209 else if (Outs[0].VT == MVT::i64) {
210 reg = PTX::RD0;
211 }
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000212 else if (Outs[0].VT == MVT::f32) {
213 reg = PTX::F0;
214 }
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000215 else if (Outs[0].VT == MVT::f64) {
216 reg = PTX::FD0;
217 }
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000218 else {
219 assert(false && "Can return only basic types");
220 }
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000221
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000222 MachineFunction &MF = DAG.getMachineFunction();
223 PTXMachineFunctionInfo *MFI = MF.getInfo<PTXMachineFunctionInfo>();
224 MFI->setRetReg(reg);
225
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000226 // If this is the first return lowered for this function, add the regs to the
227 // liveout set for the function
228 if (DAG.getMachineFunction().getRegInfo().liveout_empty())
229 DAG.getMachineFunction().getRegInfo().addLiveOut(reg);
230
231 // Copy the result values into the output registers
232 Chain = DAG.getCopyToReg(Chain, dl, reg, OutVals[0], Flag);
233
234 // Guarantee that all emitted copies are stuck together,
235 // avoiding something bad
236 Flag = Chain.getValue(1);
237
Che-Liang Chiouf9930da2010-09-25 07:46:17 +0000238 return DAG.getNode(PTXISD::RET, dl, MVT::Other, Chain, Flag);
Eric Christopher50880d02010-09-18 18:52:28 +0000239}