blob: c3ba249d6317ea7953aeb32b0f85ad58b7412c0c [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
Justin Holewinski4fea05a2011-04-28 00:19:52 +000037 setBooleanContents(ZeroOrOneBooleanContent);
38
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000039 setOperationAction(ISD::EXCEPTIONADDR, MVT::i32, Expand);
40
Che-Liang Chiouf7172022011-02-28 06:34:09 +000041 setOperationAction(ISD::ConstantFP, MVT::f32, Legal);
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000042 setOperationAction(ISD::ConstantFP, MVT::f64, Legal);
Justin Holewinski4fea05a2011-04-28 00:19:52 +000043
44 // Turn i16 (z)extload into load + (z)extend
45 setLoadExtAction(ISD::EXTLOAD, MVT::i16, Expand);
46 setLoadExtAction(ISD::ZEXTLOAD, MVT::i16, Expand);
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000047
Justin Holewinski4fea05a2011-04-28 00:19:52 +000048 // Turn f32 extload into load + fextend
49 setLoadExtAction(ISD::EXTLOAD, MVT::f32, Expand);
50
51 // Turn f64 truncstore into trunc + store.
52 setTruncStoreAction(MVT::f64, MVT::f32, Expand);
53
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000054 // Customize translation of memory addresses
55 setOperationAction(ISD::GlobalAddress, MVT::i32, Custom);
Justin Holewinskid6625762011-03-23 16:58:51 +000056 setOperationAction(ISD::GlobalAddress, MVT::i64, Custom);
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000057
Che-Liang Chiou88d33672011-03-18 11:08:52 +000058 // Expand BR_CC into BRCOND
59 setOperationAction(ISD::BR_CC, MVT::Other, Expand);
60
Eric Christopher50880d02010-09-18 18:52:28 +000061 // Compute derived properties from the register classes
62 computeRegisterProperties();
63}
64
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000065SDValue PTXTargetLowering::LowerOperation(SDValue Op, SelectionDAG &DAG) const {
66 switch (Op.getOpcode()) {
Che-Liang Chiou88d33672011-03-18 11:08:52 +000067 default:
68 llvm_unreachable("Unimplemented operand");
69 case ISD::GlobalAddress:
70 return LowerGlobalAddress(Op, DAG);
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000071 }
72}
73
Eric Christopher50880d02010-09-18 18:52:28 +000074const char *PTXTargetLowering::getTargetNodeName(unsigned Opcode) const {
75 switch (Opcode) {
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +000076 default:
77 llvm_unreachable("Unknown opcode");
Justin Holewinski8af78c92011-03-18 19:24:28 +000078 case PTXISD::COPY_ADDRESS:
79 return "PTXISD::COPY_ADDRESS";
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +000080 case PTXISD::READ_PARAM:
81 return "PTXISD::READ_PARAM";
82 case PTXISD::EXIT:
83 return "PTXISD::EXIT";
84 case PTXISD::RET:
85 return "PTXISD::RET";
Eric Christopher50880d02010-09-18 18:52:28 +000086 }
87}
88
89//===----------------------------------------------------------------------===//
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000090// Custom Lower Operation
91//===----------------------------------------------------------------------===//
92
93SDValue PTXTargetLowering::
94LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const {
95 EVT PtrVT = getPointerTy();
96 DebugLoc dl = Op.getDebugLoc();
97 const GlobalValue *GV = cast<GlobalAddressSDNode>(Op)->getGlobal();
Justin Holewinski8af78c92011-03-18 19:24:28 +000098
Justin Holewinskid6625762011-03-23 16:58:51 +000099 assert(PtrVT.isSimple() && "Pointer must be to primitive type.");
100
Justin Holewinski8af78c92011-03-18 19:24:28 +0000101 SDValue targetGlobal = DAG.getTargetGlobalAddress(GV, dl, PtrVT);
102 SDValue movInstr = DAG.getNode(PTXISD::COPY_ADDRESS,
103 dl,
Justin Holewinskid6625762011-03-23 16:58:51 +0000104 PtrVT.getSimpleVT(),
Justin Holewinski8af78c92011-03-18 19:24:28 +0000105 targetGlobal);
106
107 return movInstr;
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000108}
109
110//===----------------------------------------------------------------------===//
Eric Christopher50880d02010-09-18 18:52:28 +0000111// Calling Convention Implementation
112//===----------------------------------------------------------------------===//
113
Benjamin Kramera3ac4272010-10-22 17:35:07 +0000114namespace {
115struct argmap_entry {
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000116 MVT::SimpleValueType VT;
117 TargetRegisterClass *RC;
118 TargetRegisterClass::iterator loc;
119
120 argmap_entry(MVT::SimpleValueType _VT, TargetRegisterClass *_RC)
121 : VT(_VT), RC(_RC), loc(_RC->begin()) {}
122
Benjamin Kramera3ac4272010-10-22 17:35:07 +0000123 void reset() { loc = RC->begin(); }
124 bool operator==(MVT::SimpleValueType _VT) const { return VT == _VT; }
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000125} argmap[] = {
126 argmap_entry(MVT::i1, PTX::PredsRegisterClass),
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000127 argmap_entry(MVT::i16, PTX::RRegu16RegisterClass),
128 argmap_entry(MVT::i32, PTX::RRegu32RegisterClass),
129 argmap_entry(MVT::i64, PTX::RRegu64RegisterClass),
130 argmap_entry(MVT::f32, PTX::RRegf32RegisterClass),
131 argmap_entry(MVT::f64, PTX::RRegf64RegisterClass)
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000132};
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000133} // end anonymous namespace
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000134
Eric Christopher50880d02010-09-18 18:52:28 +0000135SDValue PTXTargetLowering::
136 LowerFormalArguments(SDValue Chain,
137 CallingConv::ID CallConv,
138 bool isVarArg,
139 const SmallVectorImpl<ISD::InputArg> &Ins,
140 DebugLoc dl,
141 SelectionDAG &DAG,
142 SmallVectorImpl<SDValue> &InVals) const {
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000143 if (isVarArg) llvm_unreachable("PTX does not support varargs");
144
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000145 MachineFunction &MF = DAG.getMachineFunction();
146 PTXMachineFunctionInfo *MFI = MF.getInfo<PTXMachineFunctionInfo>();
147
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000148 switch (CallConv) {
149 default:
150 llvm_unreachable("Unsupported calling convention");
151 break;
152 case CallingConv::PTX_Kernel:
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000153 MFI->setKernel(true);
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000154 break;
155 case CallingConv::PTX_Device:
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000156 MFI->setKernel(false);
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000157 break;
158 }
159
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000160 // Make sure we don't add argument registers twice
161 if (MFI->isDoneAddArg())
162 llvm_unreachable("cannot add argument registers twice");
163
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000164 // Reset argmap before allocation
165 for (struct argmap_entry *i = argmap, *e = argmap + array_lengthof(argmap);
166 i != e; ++ i)
167 i->reset();
168
169 for (int i = 0, e = Ins.size(); i != e; ++ i) {
Duncan Sands1440e8b2010-11-03 11:35:31 +0000170 MVT::SimpleValueType VT = Ins[i].VT.SimpleTy;
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000171
172 struct argmap_entry *entry = std::find(argmap,
173 argmap + array_lengthof(argmap), VT);
174 if (entry == argmap + array_lengthof(argmap))
175 llvm_unreachable("Type of argument is not supported");
176
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000177 if (MFI->isKernel() && entry->RC == PTX::PredsRegisterClass)
178 llvm_unreachable("cannot pass preds to kernel");
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000179
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000180 MachineRegisterInfo &RegInfo = DAG.getMachineFunction().getRegInfo();
181
182 unsigned preg = *++(entry->loc); // allocate start from register 1
183 unsigned vreg = RegInfo.createVirtualRegister(entry->RC);
184 RegInfo.addLiveIn(preg, vreg);
185
186 MFI->addArgReg(preg);
187
188 SDValue inval;
189 if (MFI->isKernel())
190 inval = DAG.getNode(PTXISD::READ_PARAM, dl, VT, Chain,
191 DAG.getTargetConstant(i, MVT::i32));
192 else
193 inval = DAG.getCopyFromReg(Chain, dl, vreg, VT);
194 InVals.push_back(inval);
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000195 }
196
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000197 MFI->doneAddArg();
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000198
Eric Christopher50880d02010-09-18 18:52:28 +0000199 return Chain;
200}
201
202SDValue PTXTargetLowering::
203 LowerReturn(SDValue Chain,
204 CallingConv::ID CallConv,
205 bool isVarArg,
206 const SmallVectorImpl<ISD::OutputArg> &Outs,
207 const SmallVectorImpl<SDValue> &OutVals,
208 DebugLoc dl,
209 SelectionDAG &DAG) const {
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000210 if (isVarArg) llvm_unreachable("PTX does not support varargs");
Che-Liang Chiouf9930da2010-09-25 07:46:17 +0000211
212 switch (CallConv) {
213 default:
214 llvm_unreachable("Unsupported calling convention.");
215 case CallingConv::PTX_Kernel:
216 assert(Outs.size() == 0 && "Kernel must return void.");
217 return DAG.getNode(PTXISD::EXIT, dl, MVT::Other, Chain);
218 case CallingConv::PTX_Device:
219 assert(Outs.size() <= 1 && "Can at most return one value.");
220 break;
221 }
222
223 // PTX_Device
224
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000225 // return void
Che-Liang Chiouf9930da2010-09-25 07:46:17 +0000226 if (Outs.size() == 0)
227 return DAG.getNode(PTXISD::RET, dl, MVT::Other, Chain);
228
Che-Liang Chiouf9930da2010-09-25 07:46:17 +0000229 SDValue Flag;
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000230 unsigned reg;
231
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000232 if (Outs[0].VT == MVT::i16) {
233 reg = PTX::RH0;
234 }
235 else if (Outs[0].VT == MVT::i32) {
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000236 reg = PTX::R0;
237 }
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000238 else if (Outs[0].VT == MVT::i64) {
239 reg = PTX::RD0;
240 }
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000241 else if (Outs[0].VT == MVT::f32) {
242 reg = PTX::F0;
243 }
244 else {
Duncan Sands75548de2011-03-15 08:41:24 +0000245 assert(Outs[0].VT == MVT::f64 && "Can return only basic types");
246 reg = PTX::FD0;
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000247 }
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000248
Che-Liang Chiou3278c422010-11-08 03:00:52 +0000249 MachineFunction &MF = DAG.getMachineFunction();
250 PTXMachineFunctionInfo *MFI = MF.getInfo<PTXMachineFunctionInfo>();
251 MFI->setRetReg(reg);
252
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000253 // If this is the first return lowered for this function, add the regs to the
254 // liveout set for the function
255 if (DAG.getMachineFunction().getRegInfo().liveout_empty())
256 DAG.getMachineFunction().getRegInfo().addLiveOut(reg);
257
258 // Copy the result values into the output registers
259 Chain = DAG.getCopyToReg(Chain, dl, reg, OutVals[0], Flag);
260
261 // Guarantee that all emitted copies are stuck together,
262 // avoiding something bad
263 Flag = Chain.getValue(1);
264
Che-Liang Chiouf9930da2010-09-25 07:46:17 +0000265 return DAG.getNode(PTXISD::RET, dl, MVT::Other, Chain, Flag);
Eric Christopher50880d02010-09-18 18:52:28 +0000266}