blob: 21c60a19925d28d36cbe766fb22a609eaf142ff4 [file] [log] [blame]
Justin Holewinskiae556d32012-05-04 20:18:50 +00001//===-- NVPTXAsmPrinter.cpp - NVPTX LLVM assembly writer ------------------===//
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 contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to NVPTX assembly language.
12//
13//===----------------------------------------------------------------------===//
14
Bill Wendlinge38859d2012-06-28 00:05:13 +000015#include "NVPTXAsmPrinter.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000016#include "InstPrinter/NVPTXInstPrinter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "MCTargetDesc/NVPTXMCAsmInfo.h"
Justin Holewinskiae556d32012-05-04 20:18:50 +000018#include "NVPTX.h"
19#include "NVPTXInstrInfo.h"
Justin Holewinskia2a63d22013-08-06 14:13:27 +000020#include "NVPTXMCExpr.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000021#include "NVPTXMachineFunctionInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000022#include "NVPTXRegisterInfo.h"
23#include "NVPTXTargetMachine.h"
24#include "NVPTXUtilities.h"
25#include "cl_common_defines.h"
Justin Holewinskiae556d32012-05-04 20:18:50 +000026#include "llvm/ADT/StringExtras.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000027#include "llvm/Analysis/ConstantFolding.h"
Justin Holewinskiae556d32012-05-04 20:18:50 +000028#include "llvm/CodeGen/Analysis.h"
Justin Holewinskiae556d32012-05-04 20:18:50 +000029#include "llvm/CodeGen/MachineFrameInfo.h"
Jingyue Wu0220df02015-02-01 02:27:45 +000030#include "llvm/CodeGen/MachineLoopInfo.h"
Justin Holewinskiae556d32012-05-04 20:18:50 +000031#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000032#include "llvm/CodeGen/MachineRegisterInfo.h"
Chandler Carruth9a4c9e52014-03-06 00:46:21 +000033#include "llvm/IR/DebugInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000034#include "llvm/IR/DerivedTypes.h"
35#include "llvm/IR/Function.h"
36#include "llvm/IR/GlobalVariable.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000037#include "llvm/IR/Mangler.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000038#include "llvm/IR/Module.h"
39#include "llvm/IR/Operator.h"
Pete Cooper81902a32015-05-15 22:19:42 +000040#include "llvm/MC/MCInst.h"
Justin Holewinskiae556d32012-05-04 20:18:50 +000041#include "llvm/MC/MCStreamer.h"
42#include "llvm/MC/MCSymbol.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000043#include "llvm/Support/CommandLine.h"
Justin Holewinskiae556d32012-05-04 20:18:50 +000044#include "llvm/Support/ErrorHandling.h"
45#include "llvm/Support/FormattedStream.h"
Justin Holewinskiae556d32012-05-04 20:18:50 +000046#include "llvm/Support/Path.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000047#include "llvm/Support/TargetRegistry.h"
48#include "llvm/Support/TimeValue.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000049#include "llvm/Target/TargetLoweringObjectFile.h"
Jingyue Wu0220df02015-02-01 02:27:45 +000050#include "llvm/Transforms/Utils/UnrollLoop.h"
Bill Wendlinge38859d2012-06-28 00:05:13 +000051#include <sstream>
Justin Holewinskiae556d32012-05-04 20:18:50 +000052using namespace llvm;
53
Justin Holewinskiae556d32012-05-04 20:18:50 +000054#define DEPOTNAME "__local_depot"
55
56static cl::opt<bool>
Nadav Rotem7f27e0b2013-10-18 23:38:13 +000057EmitLineNumbers("nvptx-emit-line-numbers", cl::Hidden,
Justin Holewinskiae556d32012-05-04 20:18:50 +000058 cl::desc("NVPTX Specific: Emit Line numbers even without -G"),
59 cl::init(true));
60
Benjamin Kramer7ad41002013-10-27 11:31:46 +000061static cl::opt<bool>
Nadav Rotem7f27e0b2013-10-18 23:38:13 +000062InterleaveSrc("nvptx-emit-src", cl::ZeroOrMore, cl::Hidden,
Justin Holewinski0497ab12013-03-30 14:29:21 +000063 cl::desc("NVPTX Specific: Emit source line in ptx file"),
Benjamin Kramer7ad41002013-10-27 11:31:46 +000064 cl::init(false));
Justin Holewinskiae556d32012-05-04 20:18:50 +000065
Justin Holewinski2c5ac702012-11-16 21:03:51 +000066namespace {
67/// DiscoverDependentGlobals - Return a set of GlobalVariables on which \p V
68/// depends.
Justin Holewinski01f89f02013-05-20 12:13:32 +000069void DiscoverDependentGlobals(const Value *V,
70 DenseSet<const GlobalVariable *> &Globals) {
71 if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(V))
Justin Holewinski2c5ac702012-11-16 21:03:51 +000072 Globals.insert(GV);
73 else {
Justin Holewinski01f89f02013-05-20 12:13:32 +000074 if (const User *U = dyn_cast<User>(V)) {
Justin Holewinski2c5ac702012-11-16 21:03:51 +000075 for (unsigned i = 0, e = U->getNumOperands(); i != e; ++i) {
76 DiscoverDependentGlobals(U->getOperand(i), Globals);
77 }
78 }
79 }
80}
Justin Holewinskiae556d32012-05-04 20:18:50 +000081
Justin Holewinski2c5ac702012-11-16 21:03:51 +000082/// VisitGlobalVariableForEmission - Add \p GV to the list of GlobalVariable
83/// instances to be emitted, but only after any dependents have been added
84/// first.
Justin Holewinski0497ab12013-03-30 14:29:21 +000085void VisitGlobalVariableForEmission(
Justin Holewinski01f89f02013-05-20 12:13:32 +000086 const GlobalVariable *GV, SmallVectorImpl<const GlobalVariable *> &Order,
87 DenseSet<const GlobalVariable *> &Visited,
88 DenseSet<const GlobalVariable *> &Visiting) {
Justin Holewinski2c5ac702012-11-16 21:03:51 +000089 // Have we already visited this one?
Justin Holewinski0497ab12013-03-30 14:29:21 +000090 if (Visited.count(GV))
91 return;
Justin Holewinski2c5ac702012-11-16 21:03:51 +000092
93 // Do we have a circular dependency?
Benjamin Kramer2c99e412014-10-10 15:32:50 +000094 if (!Visiting.insert(GV).second)
Justin Holewinski2c5ac702012-11-16 21:03:51 +000095 report_fatal_error("Circular dependency found in global variable set");
96
Justin Holewinski2c5ac702012-11-16 21:03:51 +000097 // Make sure we visit all dependents first
Justin Holewinski01f89f02013-05-20 12:13:32 +000098 DenseSet<const GlobalVariable *> Others;
Justin Holewinski2c5ac702012-11-16 21:03:51 +000099 for (unsigned i = 0, e = GV->getNumOperands(); i != e; ++i)
100 DiscoverDependentGlobals(GV->getOperand(i), Others);
Justin Holewinski0497ab12013-03-30 14:29:21 +0000101
Justin Holewinski01f89f02013-05-20 12:13:32 +0000102 for (DenseSet<const GlobalVariable *>::iterator I = Others.begin(),
103 E = Others.end();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000104 I != E; ++I)
Justin Holewinski2c5ac702012-11-16 21:03:51 +0000105 VisitGlobalVariableForEmission(*I, Order, Visited, Visiting);
106
107 // Now we can visit ourself
108 Order.push_back(GV);
109 Visited.insert(GV);
110 Visiting.erase(GV);
111}
112}
Justin Holewinskiae556d32012-05-04 20:18:50 +0000113
Justin Holewinski0497ab12013-03-30 14:29:21 +0000114void NVPTXAsmPrinter::emitLineNumberAsDotLoc(const MachineInstr &MI) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000115 if (!EmitLineNumbers)
116 return;
117 if (ignoreLoc(MI))
118 return;
119
120 DebugLoc curLoc = MI.getDebugLoc();
121
Duncan P. N. Exon Smith9dffcd02015-03-30 19:14:47 +0000122 if (!prevDebugLoc && !curLoc)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000123 return;
124
125 if (prevDebugLoc == curLoc)
126 return;
127
128 prevDebugLoc = curLoc;
129
Duncan P. N. Exon Smith9dffcd02015-03-30 19:14:47 +0000130 if (!curLoc)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000131 return;
132
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000133 auto *Scope = cast_or_null<DIScope>(curLoc.getScope());
Manman Ren983a16c2013-06-28 05:43:10 +0000134 if (!Scope)
135 return;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000136
Duncan P. N. Exon Smithb273d062015-04-16 01:37:00 +0000137 StringRef fileName(Scope->getFilename());
138 StringRef dirName(Scope->getDirectory());
Justin Holewinskiae556d32012-05-04 20:18:50 +0000139 SmallString<128> FullPathName = dirName;
140 if (!dirName.empty() && !sys::path::is_absolute(fileName)) {
141 sys::path::append(FullPathName, fileName);
Yaron Keren075759a2015-03-30 15:42:36 +0000142 fileName = FullPathName;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000143 }
144
Yaron Keren075759a2015-03-30 15:42:36 +0000145 if (filenameMap.find(fileName) == filenameMap.end())
Justin Holewinskiae556d32012-05-04 20:18:50 +0000146 return;
147
Justin Holewinskiae556d32012-05-04 20:18:50 +0000148 // Emit the line from the source file.
Benjamin Kramer7ad41002013-10-27 11:31:46 +0000149 if (InterleaveSrc)
Yaron Keren075759a2015-03-30 15:42:36 +0000150 this->emitSrcInText(fileName, curLoc.getLine());
Justin Holewinskiae556d32012-05-04 20:18:50 +0000151
152 std::stringstream temp;
Yaron Keren075759a2015-03-30 15:42:36 +0000153 temp << "\t.loc " << filenameMap[fileName] << " " << curLoc.getLine()
Justin Holewinski0497ab12013-03-30 14:29:21 +0000154 << " " << curLoc.getCol();
Lang Hames9ff69c82015-04-24 19:11:51 +0000155 OutStreamer->EmitRawText(temp.str());
Justin Holewinskiae556d32012-05-04 20:18:50 +0000156}
157
158void NVPTXAsmPrinter::EmitInstruction(const MachineInstr *MI) {
159 SmallString<128> Str;
160 raw_svector_ostream OS(Str);
Eric Christopherbeffc4e2015-02-19 00:08:23 +0000161 if (static_cast<NVPTXTargetMachine &>(TM).getDrvInterface() == NVPTX::CUDA)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000162 emitLineNumberAsDotLoc(*MI);
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000163
164 MCInst Inst;
165 lowerToMCInst(MI, Inst);
Lang Hames9ff69c82015-04-24 19:11:51 +0000166 EmitToStreamer(*OutStreamer, Inst);
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000167}
168
Justin Holewinski30d56a72014-04-09 15:39:15 +0000169// Handle symbol backtracking for targets that do not support image handles
170bool NVPTXAsmPrinter::lowerImageHandleOperand(const MachineInstr *MI,
171 unsigned OpNo, MCOperand &MCOp) {
172 const MachineOperand &MO = MI->getOperand(OpNo);
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000173 const MCInstrDesc &MCID = MI->getDesc();
Justin Holewinski30d56a72014-04-09 15:39:15 +0000174
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000175 if (MCID.TSFlags & NVPTXII::IsTexFlag) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000176 // This is a texture fetch, so operand 4 is a texref and operand 5 is
177 // a samplerref
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000178 if (OpNo == 4 && MO.isImm()) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000179 lowerImageHandleSymbol(MO.getImm(), MCOp);
180 return true;
181 }
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000182 if (OpNo == 5 && MO.isImm() && !(MCID.TSFlags & NVPTXII::IsTexModeUnifiedFlag)) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000183 lowerImageHandleSymbol(MO.getImm(), MCOp);
184 return true;
185 }
186
187 return false;
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000188 } else if (MCID.TSFlags & NVPTXII::IsSuldMask) {
189 unsigned VecSize =
190 1 << (((MCID.TSFlags & NVPTXII::IsSuldMask) >> NVPTXII::IsSuldShift) - 1);
191
192 // For a surface load of vector size N, the Nth operand will be the surfref
193 if (OpNo == VecSize && MO.isImm()) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000194 lowerImageHandleSymbol(MO.getImm(), MCOp);
195 return true;
196 }
197
198 return false;
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000199 } else if (MCID.TSFlags & NVPTXII::IsSustFlag) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000200 // This is a surface store, so operand 0 is a surfref
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000201 if (OpNo == 0 && MO.isImm()) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000202 lowerImageHandleSymbol(MO.getImm(), MCOp);
203 return true;
204 }
205
206 return false;
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000207 } else if (MCID.TSFlags & NVPTXII::IsSurfTexQueryFlag) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000208 // This is a query, so operand 1 is a surfref/texref
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000209 if (OpNo == 1 && MO.isImm()) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000210 lowerImageHandleSymbol(MO.getImm(), MCOp);
211 return true;
212 }
213
214 return false;
215 }
Justin Holewinski9a2350e2014-07-17 11:59:04 +0000216
217 return false;
Justin Holewinski30d56a72014-04-09 15:39:15 +0000218}
219
220void NVPTXAsmPrinter::lowerImageHandleSymbol(unsigned Index, MCOperand &MCOp) {
221 // Ewwww
222 TargetMachine &TM = const_cast<TargetMachine&>(MF->getTarget());
223 NVPTXTargetMachine &nvTM = static_cast<NVPTXTargetMachine&>(TM);
224 const NVPTXMachineFunctionInfo *MFI = MF->getInfo<NVPTXMachineFunctionInfo>();
225 const char *Sym = MFI->getImageHandleSymbol(Index);
226 std::string *SymNamePtr =
227 nvTM.getManagedStrPool()->getManagedString(Sym);
Jim Grosbach6f482002015-05-18 18:43:14 +0000228 MCOp = GetSymbolRef(OutContext.getOrCreateSymbol(
Justin Holewinski30d56a72014-04-09 15:39:15 +0000229 StringRef(SymNamePtr->c_str())));
230}
231
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000232void NVPTXAsmPrinter::lowerToMCInst(const MachineInstr *MI, MCInst &OutMI) {
233 OutMI.setOpcode(MI->getOpcode());
Justin Holewinski3d49e5c2013-11-15 12:30:04 +0000234 // Special: Do not mangle symbol operand of CALL_PROTOTYPE
235 if (MI->getOpcode() == NVPTX::CALL_PROTOTYPE) {
236 const MachineOperand &MO = MI->getOperand(0);
Justin Holewinski30d56a72014-04-09 15:39:15 +0000237 OutMI.addOperand(GetSymbolRef(
Jim Grosbach6f482002015-05-18 18:43:14 +0000238 OutContext.getOrCreateSymbol(Twine(MO.getSymbolName()))));
Justin Holewinski3d49e5c2013-11-15 12:30:04 +0000239 return;
240 }
241
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000242 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
243 const MachineOperand &MO = MI->getOperand(i);
244
245 MCOperand MCOp;
Eric Christopher6aad8b12015-02-19 00:08:14 +0000246 if (!nvptxSubtarget->hasImageHandles()) {
Justin Holewinski30d56a72014-04-09 15:39:15 +0000247 if (lowerImageHandleOperand(MI, i, MCOp)) {
248 OutMI.addOperand(MCOp);
249 continue;
250 }
251 }
252
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000253 if (lowerOperand(MO, MCOp))
254 OutMI.addOperand(MCOp);
255 }
256}
257
258bool NVPTXAsmPrinter::lowerOperand(const MachineOperand &MO,
259 MCOperand &MCOp) {
260 switch (MO.getType()) {
261 default: llvm_unreachable("unknown operand type");
262 case MachineOperand::MO_Register:
Jim Grosbache9119e42015-05-13 18:37:00 +0000263 MCOp = MCOperand::createReg(encodeVirtualRegister(MO.getReg()));
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000264 break;
265 case MachineOperand::MO_Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000266 MCOp = MCOperand::createImm(MO.getImm());
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000267 break;
268 case MachineOperand::MO_MachineBasicBlock:
Jim Grosbach13760bd2015-05-30 01:25:56 +0000269 MCOp = MCOperand::createExpr(MCSymbolRefExpr::create(
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000270 MO.getMBB()->getSymbol(), OutContext));
271 break;
272 case MachineOperand::MO_ExternalSymbol:
Justin Holewinski30d56a72014-04-09 15:39:15 +0000273 MCOp = GetSymbolRef(GetExternalSymbolSymbol(MO.getSymbolName()));
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000274 break;
275 case MachineOperand::MO_GlobalAddress:
Justin Holewinski30d56a72014-04-09 15:39:15 +0000276 MCOp = GetSymbolRef(getSymbol(MO.getGlobal()));
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000277 break;
278 case MachineOperand::MO_FPImmediate: {
279 const ConstantFP *Cnt = MO.getFPImm();
280 APFloat Val = Cnt->getValueAPF();
281
282 switch (Cnt->getType()->getTypeID()) {
283 default: report_fatal_error("Unsupported FP type"); break;
284 case Type::FloatTyID:
Jim Grosbache9119e42015-05-13 18:37:00 +0000285 MCOp = MCOperand::createExpr(
Jim Grosbach13760bd2015-05-30 01:25:56 +0000286 NVPTXFloatMCExpr::createConstantFPSingle(Val, OutContext));
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000287 break;
288 case Type::DoubleTyID:
Jim Grosbache9119e42015-05-13 18:37:00 +0000289 MCOp = MCOperand::createExpr(
Jim Grosbach13760bd2015-05-30 01:25:56 +0000290 NVPTXFloatMCExpr::createConstantFPDouble(Val, OutContext));
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000291 break;
292 }
293 break;
294 }
295 }
296 return true;
297}
298
299unsigned NVPTXAsmPrinter::encodeVirtualRegister(unsigned Reg) {
Justin Holewinski871ec932013-08-06 14:13:31 +0000300 if (TargetRegisterInfo::isVirtualRegister(Reg)) {
301 const TargetRegisterClass *RC = MRI->getRegClass(Reg);
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000302
Justin Holewinski871ec932013-08-06 14:13:31 +0000303 DenseMap<unsigned, unsigned> &RegMap = VRegMapping[RC];
304 unsigned RegNum = RegMap[Reg];
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000305
Justin Holewinski871ec932013-08-06 14:13:31 +0000306 // Encode the register class in the upper 4 bits
307 // Must be kept in sync with NVPTXInstPrinter::printRegName
308 unsigned Ret = 0;
309 if (RC == &NVPTX::Int1RegsRegClass) {
310 Ret = (1 << 28);
311 } else if (RC == &NVPTX::Int16RegsRegClass) {
312 Ret = (2 << 28);
313 } else if (RC == &NVPTX::Int32RegsRegClass) {
314 Ret = (3 << 28);
315 } else if (RC == &NVPTX::Int64RegsRegClass) {
316 Ret = (4 << 28);
317 } else if (RC == &NVPTX::Float32RegsRegClass) {
318 Ret = (5 << 28);
319 } else if (RC == &NVPTX::Float64RegsRegClass) {
320 Ret = (6 << 28);
321 } else {
322 report_fatal_error("Bad register class");
323 }
324
325 // Insert the vreg number
326 Ret |= (RegNum & 0x0FFFFFFF);
327 return Ret;
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000328 } else {
Justin Holewinski871ec932013-08-06 14:13:31 +0000329 // Some special-use registers are actually physical registers.
330 // Encode this as the register class ID of 0 and the real register ID.
331 return Reg & 0x0FFFFFFF;
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000332 }
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000333}
334
Justin Holewinski30d56a72014-04-09 15:39:15 +0000335MCOperand NVPTXAsmPrinter::GetSymbolRef(const MCSymbol *Symbol) {
Justin Holewinskia2a63d22013-08-06 14:13:27 +0000336 const MCExpr *Expr;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000337 Expr = MCSymbolRefExpr::create(Symbol, MCSymbolRefExpr::VK_None,
Justin Holewinski8b24e1e2013-08-06 23:06:42 +0000338 OutContext);
Jim Grosbache9119e42015-05-13 18:37:00 +0000339 return MCOperand::createExpr(Expr);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000340}
341
Justin Holewinski0497ab12013-03-30 14:29:21 +0000342void NVPTXAsmPrinter::printReturnValStr(const Function *F, raw_ostream &O) {
Eric Christopher8b770652015-01-26 19:03:15 +0000343 const DataLayout *TD = TM.getDataLayout();
Eric Christopher6aad8b12015-02-19 00:08:14 +0000344 const TargetLowering *TLI = nvptxSubtarget->getTargetLowering();
Justin Holewinskiae556d32012-05-04 20:18:50 +0000345
346 Type *Ty = F->getReturnType();
347
Eric Christopher6aad8b12015-02-19 00:08:14 +0000348 bool isABI = (nvptxSubtarget->getSmVersion() >= 20);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000349
350 if (Ty->getTypeID() == Type::VoidTyID)
351 return;
352
353 O << " (";
354
355 if (isABI) {
Rafael Espindola08013342013-12-07 19:34:20 +0000356 if (Ty->isFloatingPointTy() || Ty->isIntegerTy()) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000357 unsigned size = 0;
358 if (const IntegerType *ITy = dyn_cast<IntegerType>(Ty)) {
359 size = ITy->getBitWidth();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000360 if (size < 32)
361 size = 32;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000362 } else {
Justin Holewinski0497ab12013-03-30 14:29:21 +0000363 assert(Ty->isFloatingPointTy() && "Floating point type expected here");
Justin Holewinskiae556d32012-05-04 20:18:50 +0000364 size = Ty->getPrimitiveSizeInBits();
365 }
366
367 O << ".param .b" << size << " func_retval0";
Justin Holewinski0497ab12013-03-30 14:29:21 +0000368 } else if (isa<PointerType>(Ty)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000369 O << ".param .b" << TLI->getPointerTy().getSizeInBits()
Justin Holewinski0497ab12013-03-30 14:29:21 +0000370 << " func_retval0";
Craig Topperd3c02f12015-01-05 10:15:49 +0000371 } else if ((Ty->getTypeID() == Type::StructTyID) || isa<VectorType>(Ty)) {
372 unsigned totalsz = TD->getTypeAllocSize(Ty);
373 unsigned retAlignment = 0;
374 if (!llvm::getAlign(*F, 0, retAlignment))
375 retAlignment = TD->getABITypeAlignment(Ty);
376 O << ".param .align " << retAlignment << " .b8 func_retval0[" << totalsz
377 << "]";
378 } else
379 llvm_unreachable("Unknown return type");
Justin Holewinskiae556d32012-05-04 20:18:50 +0000380 } else {
381 SmallVector<EVT, 16> vtparts;
382 ComputeValueVTs(*TLI, Ty, vtparts);
383 unsigned idx = 0;
Justin Holewinski0497ab12013-03-30 14:29:21 +0000384 for (unsigned i = 0, e = vtparts.size(); i != e; ++i) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000385 unsigned elems = 1;
386 EVT elemtype = vtparts[i];
387 if (vtparts[i].isVector()) {
388 elems = vtparts[i].getVectorNumElements();
389 elemtype = vtparts[i].getVectorElementType();
390 }
391
Justin Holewinski0497ab12013-03-30 14:29:21 +0000392 for (unsigned j = 0, je = elems; j != je; ++j) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000393 unsigned sz = elemtype.getSizeInBits();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000394 if (elemtype.isInteger() && (sz < 32))
395 sz = 32;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000396 O << ".reg .b" << sz << " func_retval" << idx;
Justin Holewinski0497ab12013-03-30 14:29:21 +0000397 if (j < je - 1)
398 O << ", ";
Justin Holewinskiae556d32012-05-04 20:18:50 +0000399 ++idx;
400 }
Justin Holewinski0497ab12013-03-30 14:29:21 +0000401 if (i < e - 1)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000402 O << ", ";
403 }
404 }
405 O << ") ";
406 return;
407}
408
409void NVPTXAsmPrinter::printReturnValStr(const MachineFunction &MF,
410 raw_ostream &O) {
411 const Function *F = MF.getFunction();
412 printReturnValStr(F, O);
413}
414
Jingyue Wu0220df02015-02-01 02:27:45 +0000415// Return true if MBB is the header of a loop marked with
416// llvm.loop.unroll.disable.
Jingyue Wu5bbcdaa2015-02-03 17:57:38 +0000417// TODO: consider "#pragma unroll 1" which is equivalent to "#pragma nounroll".
Jingyue Wu0220df02015-02-01 02:27:45 +0000418bool NVPTXAsmPrinter::isLoopHeaderOfNoUnroll(
419 const MachineBasicBlock &MBB) const {
420 MachineLoopInfo &LI = getAnalysis<MachineLoopInfo>();
Jingyue Wu0220df02015-02-01 02:27:45 +0000421 // We insert .pragma "nounroll" only to the loop header.
Benjamin Kramerdb220db2015-06-02 15:28:27 +0000422 if (!LI.isLoopHeader(&MBB))
Jingyue Wu0220df02015-02-01 02:27:45 +0000423 return false;
424
425 // llvm.loop.unroll.disable is marked on the back edges of a loop. Therefore,
426 // we iterate through each back edge of the loop with header MBB, and check
427 // whether its metadata contains llvm.loop.unroll.disable.
428 for (auto I = MBB.pred_begin(); I != MBB.pred_end(); ++I) {
429 const MachineBasicBlock *PMBB = *I;
430 if (LI.getLoopFor(PMBB) != LI.getLoopFor(&MBB)) {
431 // Edges from other loops to MBB are not back edges.
432 continue;
433 }
434 if (const BasicBlock *PBB = PMBB->getBasicBlock()) {
Jingyue Wu49a766e2015-02-02 20:41:11 +0000435 if (MDNode *LoopID = PBB->getTerminator()->getMetadata("llvm.loop")) {
Jingyue Wu0220df02015-02-01 02:27:45 +0000436 if (GetUnrollMetadata(LoopID, "llvm.loop.unroll.disable"))
437 return true;
438 }
439 }
440 }
441 return false;
442}
443
444void NVPTXAsmPrinter::EmitBasicBlockStart(const MachineBasicBlock &MBB) const {
445 AsmPrinter::EmitBasicBlockStart(MBB);
446 if (isLoopHeaderOfNoUnroll(MBB))
Lang Hames9ff69c82015-04-24 19:11:51 +0000447 OutStreamer->EmitRawText(StringRef("\t.pragma \"nounroll\";\n"));
Jingyue Wu0220df02015-02-01 02:27:45 +0000448}
449
Justin Holewinskiae556d32012-05-04 20:18:50 +0000450void NVPTXAsmPrinter::EmitFunctionEntryLabel() {
451 SmallString<128> Str;
452 raw_svector_ostream O(Str);
453
Justin Holewinski01f89f02013-05-20 12:13:32 +0000454 if (!GlobalsEmitted) {
455 emitGlobals(*MF->getFunction()->getParent());
456 GlobalsEmitted = true;
457 }
458
Justin Holewinskiae556d32012-05-04 20:18:50 +0000459 // Set up
460 MRI = &MF->getRegInfo();
461 F = MF->getFunction();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000462 emitLinkageDirective(F, O);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000463 if (llvm::isKernelFunction(*F))
464 O << ".entry ";
465 else {
466 O << ".func ";
467 printReturnValStr(*MF, O);
468 }
469
Matt Arsenault8b643552015-06-09 00:31:39 +0000470 CurrentFnSym->print(O, MAI);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000471
472 emitFunctionParamList(*MF, O);
473
474 if (llvm::isKernelFunction(*F))
475 emitKernelFunctionDirectives(*F, O);
476
Lang Hames9ff69c82015-04-24 19:11:51 +0000477 OutStreamer->EmitRawText(O.str());
Justin Holewinskiae556d32012-05-04 20:18:50 +0000478
479 prevDebugLoc = DebugLoc();
480}
481
482void NVPTXAsmPrinter::EmitFunctionBodyStart() {
Justin Holewinskidbb3b2f2013-05-31 12:14:49 +0000483 VRegMapping.clear();
Lang Hames9ff69c82015-04-24 19:11:51 +0000484 OutStreamer->EmitRawText(StringRef("{\n"));
Justin Holewinskiae556d32012-05-04 20:18:50 +0000485 setAndEmitFunctionVirtualRegisters(*MF);
486
487 SmallString<128> Str;
488 raw_svector_ostream O(Str);
489 emitDemotedVars(MF->getFunction(), O);
Lang Hames9ff69c82015-04-24 19:11:51 +0000490 OutStreamer->EmitRawText(O.str());
Justin Holewinskiae556d32012-05-04 20:18:50 +0000491}
492
493void NVPTXAsmPrinter::EmitFunctionBodyEnd() {
Lang Hames9ff69c82015-04-24 19:11:51 +0000494 OutStreamer->EmitRawText(StringRef("}\n"));
Justin Holewinskidbb3b2f2013-05-31 12:14:49 +0000495 VRegMapping.clear();
Justin Holewinskiae556d32012-05-04 20:18:50 +0000496}
497
Justin Holewinski660597d2013-10-11 12:39:36 +0000498void NVPTXAsmPrinter::emitImplicitDef(const MachineInstr *MI) const {
499 unsigned RegNo = MI->getOperand(0).getReg();
Andrew Kaylor5c73e1f2015-03-24 23:37:10 +0000500 if (TargetRegisterInfo::isVirtualRegister(RegNo)) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000501 OutStreamer->AddComment(Twine("implicit-def: ") +
502 getVirtualRegisterName(RegNo));
Justin Holewinski660597d2013-10-11 12:39:36 +0000503 } else {
Lang Hames9ff69c82015-04-24 19:11:51 +0000504 OutStreamer->AddComment(Twine("implicit-def: ") +
505 nvptxSubtarget->getRegisterInfo()->getName(RegNo));
Justin Holewinski660597d2013-10-11 12:39:36 +0000506 }
Lang Hames9ff69c82015-04-24 19:11:51 +0000507 OutStreamer->AddBlankLine();
Justin Holewinski660597d2013-10-11 12:39:36 +0000508}
509
Justin Holewinski0497ab12013-03-30 14:29:21 +0000510void NVPTXAsmPrinter::emitKernelFunctionDirectives(const Function &F,
511 raw_ostream &O) const {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000512 // If the NVVM IR has some of reqntid* specified, then output
513 // the reqntid directive, and set the unspecified ones to 1.
514 // If none of reqntid* is specified, don't output reqntid directive.
515 unsigned reqntidx, reqntidy, reqntidz;
516 bool specified = false;
Eli Bendersky3e840192015-03-23 16:26:23 +0000517 if (!llvm::getReqNTIDx(F, reqntidx))
Justin Holewinski0497ab12013-03-30 14:29:21 +0000518 reqntidx = 1;
519 else
520 specified = true;
Eli Bendersky3e840192015-03-23 16:26:23 +0000521 if (!llvm::getReqNTIDy(F, reqntidy))
Justin Holewinski0497ab12013-03-30 14:29:21 +0000522 reqntidy = 1;
523 else
524 specified = true;
Eli Bendersky3e840192015-03-23 16:26:23 +0000525 if (!llvm::getReqNTIDz(F, reqntidz))
Justin Holewinski0497ab12013-03-30 14:29:21 +0000526 reqntidz = 1;
527 else
528 specified = true;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000529
530 if (specified)
Justin Holewinski0497ab12013-03-30 14:29:21 +0000531 O << ".reqntid " << reqntidx << ", " << reqntidy << ", " << reqntidz
532 << "\n";
Justin Holewinskiae556d32012-05-04 20:18:50 +0000533
534 // If the NVVM IR has some of maxntid* specified, then output
535 // the maxntid directive, and set the unspecified ones to 1.
536 // If none of maxntid* is specified, don't output maxntid directive.
537 unsigned maxntidx, maxntidy, maxntidz;
538 specified = false;
Eli Bendersky3e840192015-03-23 16:26:23 +0000539 if (!llvm::getMaxNTIDx(F, maxntidx))
Justin Holewinski0497ab12013-03-30 14:29:21 +0000540 maxntidx = 1;
541 else
542 specified = true;
Eli Bendersky3e840192015-03-23 16:26:23 +0000543 if (!llvm::getMaxNTIDy(F, maxntidy))
Justin Holewinski0497ab12013-03-30 14:29:21 +0000544 maxntidy = 1;
545 else
546 specified = true;
Eli Bendersky3e840192015-03-23 16:26:23 +0000547 if (!llvm::getMaxNTIDz(F, maxntidz))
Justin Holewinski0497ab12013-03-30 14:29:21 +0000548 maxntidz = 1;
549 else
550 specified = true;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000551
552 if (specified)
Justin Holewinski0497ab12013-03-30 14:29:21 +0000553 O << ".maxntid " << maxntidx << ", " << maxntidy << ", " << maxntidz
554 << "\n";
Justin Holewinskiae556d32012-05-04 20:18:50 +0000555
556 unsigned mincta;
557 if (llvm::getMinCTASm(F, mincta))
558 O << ".minnctapersm " << mincta << "\n";
559}
560
Justin Holewinski660597d2013-10-11 12:39:36 +0000561std::string
562NVPTXAsmPrinter::getVirtualRegisterName(unsigned Reg) const {
563 const TargetRegisterClass *RC = MRI->getRegClass(Reg);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000564
Justin Holewinski660597d2013-10-11 12:39:36 +0000565 std::string Name;
566 raw_string_ostream NameStr(Name);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000567
Justin Holewinski660597d2013-10-11 12:39:36 +0000568 VRegRCMap::const_iterator I = VRegMapping.find(RC);
569 assert(I != VRegMapping.end() && "Bad register class");
570 const DenseMap<unsigned, unsigned> &RegMap = I->second;
571
572 VRegMap::const_iterator VI = RegMap.find(Reg);
573 assert(VI != RegMap.end() && "Bad virtual register");
574 unsigned MappedVR = VI->second;
575
576 NameStr << getNVPTXRegClassStr(RC) << MappedVR;
577
578 NameStr.flush();
579 return Name;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000580}
581
Justin Holewinski660597d2013-10-11 12:39:36 +0000582void NVPTXAsmPrinter::emitVirtualRegister(unsigned int vr,
Justin Holewinski0497ab12013-03-30 14:29:21 +0000583 raw_ostream &O) {
Justin Holewinski660597d2013-10-11 12:39:36 +0000584 O << getVirtualRegisterName(vr);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000585}
586
Justin Holewinski0497ab12013-03-30 14:29:21 +0000587void NVPTXAsmPrinter::printVecModifiedImmediate(
588 const MachineOperand &MO, const char *Modifier, raw_ostream &O) {
589 static const char vecelem[] = { '0', '1', '2', '3', '0', '1', '2', '3' };
590 int Imm = (int) MO.getImm();
591 if (0 == strcmp(Modifier, "vecelem"))
Justin Holewinskiae556d32012-05-04 20:18:50 +0000592 O << "_" << vecelem[Imm];
Justin Holewinski0497ab12013-03-30 14:29:21 +0000593 else if (0 == strcmp(Modifier, "vecv4comm1")) {
594 if ((Imm < 0) || (Imm > 3))
Justin Holewinskiae556d32012-05-04 20:18:50 +0000595 O << "//";
Justin Holewinski0497ab12013-03-30 14:29:21 +0000596 } else if (0 == strcmp(Modifier, "vecv4comm2")) {
597 if ((Imm < 4) || (Imm > 7))
Justin Holewinskiae556d32012-05-04 20:18:50 +0000598 O << "//";
Justin Holewinski0497ab12013-03-30 14:29:21 +0000599 } else if (0 == strcmp(Modifier, "vecv4pos")) {
600 if (Imm < 0)
601 Imm = 0;
602 O << "_" << vecelem[Imm % 4];
603 } else if (0 == strcmp(Modifier, "vecv2comm1")) {
604 if ((Imm < 0) || (Imm > 1))
Justin Holewinskiae556d32012-05-04 20:18:50 +0000605 O << "//";
Justin Holewinski0497ab12013-03-30 14:29:21 +0000606 } else if (0 == strcmp(Modifier, "vecv2comm2")) {
607 if ((Imm < 2) || (Imm > 3))
Justin Holewinskiae556d32012-05-04 20:18:50 +0000608 O << "//";
Justin Holewinski0497ab12013-03-30 14:29:21 +0000609 } else if (0 == strcmp(Modifier, "vecv2pos")) {
610 if (Imm < 0)
611 Imm = 0;
612 O << "_" << vecelem[Imm % 2];
613 } else
Craig Topperbdf39a42012-05-24 07:02:50 +0000614 llvm_unreachable("Unknown Modifier on immediate operand");
Justin Holewinskiae556d32012-05-04 20:18:50 +0000615}
616
Justin Holewinskidc5e3b62013-06-28 17:58:04 +0000617
618
Justin Holewinski0497ab12013-03-30 14:29:21 +0000619void NVPTXAsmPrinter::emitDeclaration(const Function *F, raw_ostream &O) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000620
Justin Holewinski0497ab12013-03-30 14:29:21 +0000621 emitLinkageDirective(F, O);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000622 if (llvm::isKernelFunction(*F))
623 O << ".entry ";
624 else
625 O << ".func ";
626 printReturnValStr(F, O);
Matt Arsenault8b643552015-06-09 00:31:39 +0000627 getSymbol(F)->print(O, MAI);
628 O << "\n";
Justin Holewinskiae556d32012-05-04 20:18:50 +0000629 emitFunctionParamList(F, O);
630 O << ";\n";
631}
632
Justin Holewinski0497ab12013-03-30 14:29:21 +0000633static bool usedInGlobalVarDef(const Constant *C) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000634 if (!C)
635 return false;
636
637 if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(C)) {
Yaron Keren075759a2015-03-30 15:42:36 +0000638 if (GV->getName() == "llvm.used")
Justin Holewinskiae556d32012-05-04 20:18:50 +0000639 return false;
640 return true;
641 }
642
Chandler Carruthcdf47882014-03-09 03:16:01 +0000643 for (const User *U : C->users())
644 if (const Constant *C = dyn_cast<Constant>(U))
645 if (usedInGlobalVarDef(C))
646 return true;
647
Justin Holewinskiae556d32012-05-04 20:18:50 +0000648 return false;
649}
650
Justin Holewinski0497ab12013-03-30 14:29:21 +0000651static bool usedInOneFunc(const User *U, Function const *&oneFunc) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000652 if (const GlobalVariable *othergv = dyn_cast<GlobalVariable>(U)) {
Yaron Keren075759a2015-03-30 15:42:36 +0000653 if (othergv->getName() == "llvm.used")
Justin Holewinskiae556d32012-05-04 20:18:50 +0000654 return true;
655 }
656
657 if (const Instruction *instr = dyn_cast<Instruction>(U)) {
658 if (instr->getParent() && instr->getParent()->getParent()) {
659 const Function *curFunc = instr->getParent()->getParent();
660 if (oneFunc && (curFunc != oneFunc))
661 return false;
662 oneFunc = curFunc;
663 return true;
Justin Holewinski0497ab12013-03-30 14:29:21 +0000664 } else
Justin Holewinskiae556d32012-05-04 20:18:50 +0000665 return false;
666 }
667
Chandler Carruthcdf47882014-03-09 03:16:01 +0000668 for (const User *UU : U->users())
Eli Bendersky3e840192015-03-23 16:26:23 +0000669 if (!usedInOneFunc(UU, oneFunc))
Justin Holewinskiae556d32012-05-04 20:18:50 +0000670 return false;
Chandler Carruthcdf47882014-03-09 03:16:01 +0000671
Justin Holewinskiae556d32012-05-04 20:18:50 +0000672 return true;
673}
674
675/* Find out if a global variable can be demoted to local scope.
676 * Currently, this is valid for CUDA shared variables, which have local
677 * scope and global lifetime. So the conditions to check are :
678 * 1. Is the global variable in shared address space?
679 * 2. Does it have internal linkage?
680 * 3. Is the global variable referenced only in one function?
681 */
682static bool canDemoteGlobalVar(const GlobalVariable *gv, Function const *&f) {
Eli Bendersky3e840192015-03-23 16:26:23 +0000683 if (!gv->hasInternalLinkage())
Justin Holewinskiae556d32012-05-04 20:18:50 +0000684 return false;
685 const PointerType *Pty = gv->getType();
686 if (Pty->getAddressSpace() != llvm::ADDRESS_SPACE_SHARED)
687 return false;
688
Craig Topper062a2ba2014-04-25 05:30:21 +0000689 const Function *oneFunc = nullptr;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000690
691 bool flag = usedInOneFunc(gv, oneFunc);
Eli Bendersky3e840192015-03-23 16:26:23 +0000692 if (!flag)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000693 return false;
694 if (!oneFunc)
695 return false;
696 f = oneFunc;
697 return true;
698}
699
700static bool useFuncSeen(const Constant *C,
701 llvm::DenseMap<const Function *, bool> &seenMap) {
Chandler Carruthcdf47882014-03-09 03:16:01 +0000702 for (const User *U : C->users()) {
703 if (const Constant *cu = dyn_cast<Constant>(U)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000704 if (useFuncSeen(cu, seenMap))
705 return true;
Chandler Carruthcdf47882014-03-09 03:16:01 +0000706 } else if (const Instruction *I = dyn_cast<Instruction>(U)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000707 const BasicBlock *bb = I->getParent();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000708 if (!bb)
709 continue;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000710 const Function *caller = bb->getParent();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000711 if (!caller)
712 continue;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000713 if (seenMap.find(caller) != seenMap.end())
714 return true;
715 }
716 }
717 return false;
718}
719
Justin Holewinski01f89f02013-05-20 12:13:32 +0000720void NVPTXAsmPrinter::emitDeclarations(const Module &M, raw_ostream &O) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000721 llvm::DenseMap<const Function *, bool> seenMap;
Justin Holewinski0497ab12013-03-30 14:29:21 +0000722 for (Module::const_iterator FI = M.begin(), FE = M.end(); FI != FE; ++FI) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000723 const Function *F = FI;
724
725 if (F->isDeclaration()) {
726 if (F->use_empty())
727 continue;
728 if (F->getIntrinsicID())
729 continue;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000730 emitDeclaration(F, O);
731 continue;
732 }
Chandler Carruthcdf47882014-03-09 03:16:01 +0000733 for (const User *U : F->users()) {
734 if (const Constant *C = dyn_cast<Constant>(U)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000735 if (usedInGlobalVarDef(C)) {
736 // The use is in the initialization of a global variable
737 // that is a function pointer, so print a declaration
738 // for the original function
Justin Holewinskiae556d32012-05-04 20:18:50 +0000739 emitDeclaration(F, O);
740 break;
741 }
742 // Emit a declaration of this function if the function that
743 // uses this constant expr has already been seen.
744 if (useFuncSeen(C, seenMap)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000745 emitDeclaration(F, O);
746 break;
747 }
748 }
749
Chandler Carruthcdf47882014-03-09 03:16:01 +0000750 if (!isa<Instruction>(U))
Justin Holewinski0497ab12013-03-30 14:29:21 +0000751 continue;
Chandler Carruthcdf47882014-03-09 03:16:01 +0000752 const Instruction *instr = cast<Instruction>(U);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000753 const BasicBlock *bb = instr->getParent();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000754 if (!bb)
755 continue;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000756 const Function *caller = bb->getParent();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000757 if (!caller)
758 continue;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000759
760 // If a caller has already been seen, then the caller is
761 // appearing in the module before the callee. so print out
762 // a declaration for the callee.
763 if (seenMap.find(caller) != seenMap.end()) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000764 emitDeclaration(F, O);
765 break;
766 }
767 }
768 seenMap[F] = true;
769 }
770}
771
772void NVPTXAsmPrinter::recordAndEmitFilenames(Module &M) {
773 DebugInfoFinder DbgFinder;
774 DbgFinder.processModule(M);
775
Justin Holewinski0497ab12013-03-30 14:29:21 +0000776 unsigned i = 1;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000777 for (const DICompileUnit *DIUnit : DbgFinder.compile_units()) {
Duncan P. N. Exon Smith35ef22c2015-04-15 23:19:27 +0000778 StringRef Filename = DIUnit->getFilename();
779 StringRef Dirname = DIUnit->getDirectory();
Justin Holewinskiae556d32012-05-04 20:18:50 +0000780 SmallString<128> FullPathName = Dirname;
781 if (!Dirname.empty() && !sys::path::is_absolute(Filename)) {
782 sys::path::append(FullPathName, Filename);
Yaron Keren075759a2015-03-30 15:42:36 +0000783 Filename = FullPathName;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000784 }
Yaron Keren075759a2015-03-30 15:42:36 +0000785 if (filenameMap.find(Filename) != filenameMap.end())
Justin Holewinskiae556d32012-05-04 20:18:50 +0000786 continue;
Yaron Keren075759a2015-03-30 15:42:36 +0000787 filenameMap[Filename] = i;
Lang Hames9ff69c82015-04-24 19:11:51 +0000788 OutStreamer->EmitDwarfFileDirective(i, "", Filename);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000789 ++i;
790 }
791
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000792 for (DISubprogram *SP : DbgFinder.subprograms()) {
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000793 StringRef Filename = SP->getFilename();
794 StringRef Dirname = SP->getDirectory();
Justin Holewinskiae556d32012-05-04 20:18:50 +0000795 SmallString<128> FullPathName = Dirname;
796 if (!Dirname.empty() && !sys::path::is_absolute(Filename)) {
797 sys::path::append(FullPathName, Filename);
Yaron Keren075759a2015-03-30 15:42:36 +0000798 Filename = FullPathName;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000799 }
Yaron Keren075759a2015-03-30 15:42:36 +0000800 if (filenameMap.find(Filename) != filenameMap.end())
Justin Holewinskiae556d32012-05-04 20:18:50 +0000801 continue;
Yaron Keren075759a2015-03-30 15:42:36 +0000802 filenameMap[Filename] = i;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000803 ++i;
804 }
805}
806
Justin Holewinski0497ab12013-03-30 14:29:21 +0000807bool NVPTXAsmPrinter::doInitialization(Module &M) {
Eric Christopher6aad8b12015-02-19 00:08:14 +0000808 // Construct a default subtarget off of the TargetMachine defaults. The
809 // rest of NVPTX isn't friendly to change subtargets per function and
810 // so the default TargetMachine will have all of the options.
811 StringRef TT = TM.getTargetTriple();
812 StringRef CPU = TM.getTargetCPU();
813 StringRef FS = TM.getTargetFeatureString();
814 const NVPTXTargetMachine &NTM = static_cast<const NVPTXTargetMachine &>(TM);
Eric Christopher02389e32015-02-19 00:08:27 +0000815 const NVPTXSubtarget STI(TT, CPU, FS, NTM);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000816
817 SmallString<128> Str1;
818 raw_svector_ostream OS1(Str1);
819
820 MMI = getAnalysisIfAvailable<MachineModuleInfo>();
821 MMI->AnalyzeModule(M);
822
823 // We need to call the parent's one explicitly.
824 //bool Result = AsmPrinter::doInitialization(M);
825
826 // Initialize TargetLoweringObjectFile.
Justin Holewinski0497ab12013-03-30 14:29:21 +0000827 const_cast<TargetLoweringObjectFile &>(getObjFileLowering())
828 .Initialize(OutContext, TM);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000829
Eric Christopher8b770652015-01-26 19:03:15 +0000830 Mang = new Mangler(TM.getDataLayout());
Justin Holewinskiae556d32012-05-04 20:18:50 +0000831
832 // Emit header before any dwarf directives are emitted below.
Eric Christopher6aad8b12015-02-19 00:08:14 +0000833 emitHeader(M, OS1, STI);
Lang Hames9ff69c82015-04-24 19:11:51 +0000834 OutStreamer->EmitRawText(OS1.str());
Justin Holewinskiae556d32012-05-04 20:18:50 +0000835
Justin Holewinskiae556d32012-05-04 20:18:50 +0000836 // Already commented out
837 //bool Result = AsmPrinter::doInitialization(M);
838
Justin Holewinskid2bbdf02013-07-01 13:00:14 +0000839 // Emit module-level inline asm if it exists.
840 if (!M.getModuleInlineAsm().empty()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000841 OutStreamer->AddComment("Start of file scope inline assembly");
842 OutStreamer->AddBlankLine();
843 OutStreamer->EmitRawText(StringRef(M.getModuleInlineAsm()));
844 OutStreamer->AddBlankLine();
845 OutStreamer->AddComment("End of file scope inline assembly");
846 OutStreamer->AddBlankLine();
Justin Holewinskid2bbdf02013-07-01 13:00:14 +0000847 }
848
Eric Christopher6aad8b12015-02-19 00:08:14 +0000849 // If we're not NVCL we're CUDA, go ahead and emit filenames.
850 if (Triple(TM.getTargetTriple()).getOS() != Triple::NVCL)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000851 recordAndEmitFilenames(M);
852
Justin Holewinski01f89f02013-05-20 12:13:32 +0000853 GlobalsEmitted = false;
854
855 return false; // success
856}
857
858void NVPTXAsmPrinter::emitGlobals(const Module &M) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000859 SmallString<128> Str2;
860 raw_svector_ostream OS2(Str2);
861
862 emitDeclarations(M, OS2);
863
Justin Holewinski2c5ac702012-11-16 21:03:51 +0000864 // As ptxas does not support forward references of globals, we need to first
865 // sort the list of module-level globals in def-use order. We visit each
866 // global variable in order, and ensure that we emit it *after* its dependent
867 // globals. We use a little extra memory maintaining both a set and a list to
868 // have fast searches while maintaining a strict ordering.
Justin Holewinski01f89f02013-05-20 12:13:32 +0000869 SmallVector<const GlobalVariable *, 8> Globals;
870 DenseSet<const GlobalVariable *> GVVisited;
871 DenseSet<const GlobalVariable *> GVVisiting;
Justin Holewinski2c5ac702012-11-16 21:03:51 +0000872
873 // Visit each global variable, in order
Justin Holewinski01f89f02013-05-20 12:13:32 +0000874 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
875 I != E; ++I)
Justin Holewinski2c5ac702012-11-16 21:03:51 +0000876 VisitGlobalVariableForEmission(I, Globals, GVVisited, GVVisiting);
877
Justin Holewinski0497ab12013-03-30 14:29:21 +0000878 assert(GVVisited.size() == M.getGlobalList().size() &&
Justin Holewinski2c5ac702012-11-16 21:03:51 +0000879 "Missed a global variable");
880 assert(GVVisiting.size() == 0 && "Did not fully process a global variable");
881
882 // Print out module-level global variables in proper order
883 for (unsigned i = 0, e = Globals.size(); i != e; ++i)
884 printModuleLevelGV(Globals[i], OS2);
Justin Holewinskiae556d32012-05-04 20:18:50 +0000885
886 OS2 << '\n';
887
Lang Hames9ff69c82015-04-24 19:11:51 +0000888 OutStreamer->EmitRawText(OS2.str());
Justin Holewinskiae556d32012-05-04 20:18:50 +0000889}
890
Eric Christopher6aad8b12015-02-19 00:08:14 +0000891void NVPTXAsmPrinter::emitHeader(Module &M, raw_ostream &O,
892 const NVPTXSubtarget &STI) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000893 O << "//\n";
894 O << "// Generated by LLVM NVPTX Back-End\n";
895 O << "//\n";
896 O << "\n";
897
Eric Christopher6aad8b12015-02-19 00:08:14 +0000898 unsigned PTXVersion = STI.getPTXVersion();
Justin Holewinski1812ee92012-11-12 03:16:43 +0000899 O << ".version " << (PTXVersion / 10) << "." << (PTXVersion % 10) << "\n";
Justin Holewinskiae556d32012-05-04 20:18:50 +0000900
901 O << ".target ";
Eric Christopher6aad8b12015-02-19 00:08:14 +0000902 O << STI.getTargetName();
Justin Holewinskiae556d32012-05-04 20:18:50 +0000903
Eric Christopherca929f22015-02-19 00:22:47 +0000904 const NVPTXTargetMachine &NTM = static_cast<const NVPTXTargetMachine &>(TM);
905 if (NTM.getDrvInterface() == NVPTX::NVCL)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000906 O << ", texmode_independent";
Eric Christopherbeffc4e2015-02-19 00:08:23 +0000907 else {
Eric Christopher6aad8b12015-02-19 00:08:14 +0000908 if (!STI.hasDouble())
Justin Holewinskiae556d32012-05-04 20:18:50 +0000909 O << ", map_f64_to_f32";
910 }
911
912 if (MAI->doesSupportDebugInformation())
913 O << ", debug";
914
915 O << "\n";
916
917 O << ".address_size ";
Eric Christopherca929f22015-02-19 00:22:47 +0000918 if (NTM.is64Bit())
Justin Holewinskiae556d32012-05-04 20:18:50 +0000919 O << "64";
920 else
921 O << "32";
922 O << "\n";
923
924 O << "\n";
925}
926
927bool NVPTXAsmPrinter::doFinalization(Module &M) {
Justin Holewinski01f89f02013-05-20 12:13:32 +0000928 // If we did not emit any functions, then the global declarations have not
929 // yet been emitted.
930 if (!GlobalsEmitted) {
931 emitGlobals(M);
932 GlobalsEmitted = true;
933 }
934
Justin Holewinskiae556d32012-05-04 20:18:50 +0000935 // XXX Temproarily remove global variables so that doFinalization() will not
936 // emit them again (global variables are emitted at beginning).
937
938 Module::GlobalListType &global_list = M.getGlobalList();
939 int i, n = global_list.size();
Dylan Noblesmithc9e2a272014-08-26 02:03:35 +0000940 GlobalVariable **gv_array = new GlobalVariable *[n];
Justin Holewinskiae556d32012-05-04 20:18:50 +0000941
942 // first, back-up GlobalVariable in gv_array
943 i = 0;
944 for (Module::global_iterator I = global_list.begin(), E = global_list.end();
Justin Holewinski0497ab12013-03-30 14:29:21 +0000945 I != E; ++I)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000946 gv_array[i++] = &*I;
947
948 // second, empty global_list
949 while (!global_list.empty())
950 global_list.remove(global_list.begin());
951
952 // call doFinalization
953 bool ret = AsmPrinter::doFinalization(M);
954
955 // now we restore global variables
Justin Holewinski0497ab12013-03-30 14:29:21 +0000956 for (i = 0; i < n; i++)
Justin Holewinskiae556d32012-05-04 20:18:50 +0000957 global_list.insert(global_list.end(), gv_array[i]);
958
Justin Holewinski59596952014-04-09 15:38:52 +0000959 clearAnnotationCache(&M);
Dylan Noblesmithc9e2a272014-08-26 02:03:35 +0000960
961 delete[] gv_array;
Justin Holewinskiae556d32012-05-04 20:18:50 +0000962 return ret;
963
Justin Holewinskiae556d32012-05-04 20:18:50 +0000964 //bool Result = AsmPrinter::doFinalization(M);
965 // Instead of calling the parents doFinalization, we may
966 // clone parents doFinalization and customize here.
967 // Currently, we if NVISA out the EmitGlobals() in
968 // parent's doFinalization, which is too intrusive.
969 //
970 // Same for the doInitialization.
971 //return Result;
972}
973
974// This function emits appropriate linkage directives for
975// functions and global variables.
976//
977// extern function declaration -> .extern
978// extern function definition -> .visible
979// external global variable with init -> .visible
980// external without init -> .extern
981// appending -> not allowed, assert.
Justin Holewinski7d5bf662014-06-27 18:35:10 +0000982// for any linkage other than
983// internal, private, linker_private,
984// linker_private_weak, linker_private_weak_def_auto,
985// we emit -> .weak.
Justin Holewinskiae556d32012-05-04 20:18:50 +0000986
Justin Holewinski0497ab12013-03-30 14:29:21 +0000987void NVPTXAsmPrinter::emitLinkageDirective(const GlobalValue *V,
988 raw_ostream &O) {
Eric Christopherbeffc4e2015-02-19 00:08:23 +0000989 if (static_cast<NVPTXTargetMachine &>(TM).getDrvInterface() == NVPTX::CUDA) {
Justin Holewinskiae556d32012-05-04 20:18:50 +0000990 if (V->hasExternalLinkage()) {
991 if (isa<GlobalVariable>(V)) {
992 const GlobalVariable *GVar = cast<GlobalVariable>(V);
993 if (GVar) {
994 if (GVar->hasInitializer())
995 O << ".visible ";
996 else
997 O << ".extern ";
998 }
999 } else if (V->isDeclaration())
1000 O << ".extern ";
1001 else
1002 O << ".visible ";
1003 } else if (V->hasAppendingLinkage()) {
1004 std::string msg;
1005 msg.append("Error: ");
1006 msg.append("Symbol ");
1007 if (V->hasName())
Yaron Keren075759a2015-03-30 15:42:36 +00001008 msg.append(V->getName());
Justin Holewinskiae556d32012-05-04 20:18:50 +00001009 msg.append("has unsupported appending linkage type");
1010 llvm_unreachable(msg.c_str());
Justin Holewinski7d5bf662014-06-27 18:35:10 +00001011 } else if (!V->hasInternalLinkage() &&
1012 !V->hasPrivateLinkage()) {
1013 O << ".weak ";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001014 }
1015 }
1016}
1017
Justin Holewinski01f89f02013-05-20 12:13:32 +00001018void NVPTXAsmPrinter::printModuleLevelGV(const GlobalVariable *GVar,
1019 raw_ostream &O,
Justin Holewinskiae556d32012-05-04 20:18:50 +00001020 bool processDemoted) {
1021
1022 // Skip meta data
1023 if (GVar->hasSection()) {
Rafael Espindola64c1e182014-06-03 02:41:57 +00001024 if (GVar->getSection() == StringRef("llvm.metadata"))
Justin Holewinskiae556d32012-05-04 20:18:50 +00001025 return;
1026 }
1027
Justin Holewinski73cb5de2014-06-27 18:35:53 +00001028 // Skip LLVM intrinsic global variables
1029 if (GVar->getName().startswith("llvm.") ||
1030 GVar->getName().startswith("nvvm."))
1031 return;
1032
Eric Christopher8b770652015-01-26 19:03:15 +00001033 const DataLayout *TD = TM.getDataLayout();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001034
1035 // GlobalVariables are always constant pointers themselves.
1036 const PointerType *PTy = GVar->getType();
1037 Type *ETy = PTy->getElementType();
1038
1039 if (GVar->hasExternalLinkage()) {
1040 if (GVar->hasInitializer())
1041 O << ".visible ";
1042 else
1043 O << ".extern ";
Justin Holewinskid73767a2014-06-27 18:35:56 +00001044 } else if (GVar->hasLinkOnceLinkage() || GVar->hasWeakLinkage() ||
1045 GVar->hasAvailableExternallyLinkage() ||
1046 GVar->hasCommonLinkage()) {
1047 O << ".weak ";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001048 }
1049
1050 if (llvm::isTexture(*GVar)) {
1051 O << ".global .texref " << llvm::getTextureName(*GVar) << ";\n";
1052 return;
1053 }
1054
1055 if (llvm::isSurface(*GVar)) {
1056 O << ".global .surfref " << llvm::getSurfaceName(*GVar) << ";\n";
1057 return;
1058 }
1059
1060 if (GVar->isDeclaration()) {
1061 // (extern) declarations, no definition or initializer
1062 // Currently the only known declaration is for an automatic __local
1063 // (.shared) promoted to global.
1064 emitPTXGlobalVariable(GVar, O);
1065 O << ";\n";
1066 return;
1067 }
1068
1069 if (llvm::isSampler(*GVar)) {
1070 O << ".global .samplerref " << llvm::getSamplerName(*GVar);
1071
Craig Topper062a2ba2014-04-25 05:30:21 +00001072 const Constant *Initializer = nullptr;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001073 if (GVar->hasInitializer())
1074 Initializer = GVar->getInitializer();
Craig Topper062a2ba2014-04-25 05:30:21 +00001075 const ConstantInt *CI = nullptr;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001076 if (Initializer)
1077 CI = dyn_cast<ConstantInt>(Initializer);
1078 if (CI) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001079 unsigned sample = CI->getZExtValue();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001080
1081 O << " = { ";
1082
Justin Holewinski0497ab12013-03-30 14:29:21 +00001083 for (int i = 0,
1084 addr = ((sample & __CLK_ADDRESS_MASK) >> __CLK_ADDRESS_BASE);
1085 i < 3; i++) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001086 O << "addr_mode_" << i << " = ";
1087 switch (addr) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001088 case 0:
1089 O << "wrap";
1090 break;
1091 case 1:
1092 O << "clamp_to_border";
1093 break;
1094 case 2:
1095 O << "clamp_to_edge";
1096 break;
1097 case 3:
1098 O << "wrap";
1099 break;
1100 case 4:
1101 O << "mirror";
1102 break;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001103 }
Justin Holewinski0497ab12013-03-30 14:29:21 +00001104 O << ", ";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001105 }
1106 O << "filter_mode = ";
Justin Holewinski0497ab12013-03-30 14:29:21 +00001107 switch ((sample & __CLK_FILTER_MASK) >> __CLK_FILTER_BASE) {
1108 case 0:
1109 O << "nearest";
1110 break;
1111 case 1:
1112 O << "linear";
1113 break;
1114 case 2:
Craig Topper2a30d782014-06-18 05:05:13 +00001115 llvm_unreachable("Anisotropic filtering is not supported");
Justin Holewinski0497ab12013-03-30 14:29:21 +00001116 default:
1117 O << "nearest";
1118 break;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001119 }
Justin Holewinski0497ab12013-03-30 14:29:21 +00001120 if (!((sample & __CLK_NORMALIZED_MASK) >> __CLK_NORMALIZED_BASE)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001121 O << ", force_unnormalized_coords = 1";
1122 }
1123 O << " }";
1124 }
1125
1126 O << ";\n";
1127 return;
1128 }
1129
1130 if (GVar->hasPrivateLinkage()) {
1131
1132 if (!strncmp(GVar->getName().data(), "unrollpragma", 12))
1133 return;
1134
1135 // FIXME - need better way (e.g. Metadata) to avoid generating this global
1136 if (!strncmp(GVar->getName().data(), "filename", 8))
1137 return;
1138 if (GVar->use_empty())
1139 return;
1140 }
1141
Craig Topper062a2ba2014-04-25 05:30:21 +00001142 const Function *demotedFunc = nullptr;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001143 if (!processDemoted && canDemoteGlobalVar(GVar, demotedFunc)) {
Yaron Keren075759a2015-03-30 15:42:36 +00001144 O << "// " << GVar->getName() << " has been demoted\n";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001145 if (localDecls.find(demotedFunc) != localDecls.end())
1146 localDecls[demotedFunc].push_back(GVar);
1147 else {
Justin Holewinski01f89f02013-05-20 12:13:32 +00001148 std::vector<const GlobalVariable *> temp;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001149 temp.push_back(GVar);
1150 localDecls[demotedFunc] = temp;
1151 }
1152 return;
1153 }
1154
1155 O << ".";
1156 emitPTXAddressSpace(PTy->getAddressSpace(), O);
Justin Holewinski773ca402014-06-27 18:35:58 +00001157
1158 if (isManaged(*GVar)) {
1159 O << " .attribute(.managed)";
1160 }
1161
Justin Holewinskiae556d32012-05-04 20:18:50 +00001162 if (GVar->getAlignment() == 0)
1163 O << " .align " << (int) TD->getPrefTypeAlignment(ETy);
1164 else
1165 O << " .align " << GVar->getAlignment();
1166
Jingyue Wue4c9cf02014-12-17 17:59:04 +00001167 if (ETy->isFloatingPointTy() || ETy->isIntegerTy() || ETy->isPointerTy()) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001168 O << " .";
Justin Holewinski700b6fa2013-05-20 12:13:28 +00001169 // Special case: ABI requires that we use .u8 for predicates
1170 if (ETy->isIntegerTy(1))
1171 O << "u8";
1172 else
1173 O << getPTXFundamentalTypeStr(ETy, false);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001174 O << " ";
Matt Arsenault8b643552015-06-09 00:31:39 +00001175 getSymbol(GVar)->print(O, MAI);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001176
1177 // Ptx allows variable initilization only for constant and global state
1178 // spaces.
Justin Holewinski549c7732014-06-27 18:36:01 +00001179 if (GVar->hasInitializer()) {
1180 if ((PTy->getAddressSpace() == llvm::ADDRESS_SPACE_GLOBAL) ||
1181 (PTy->getAddressSpace() == llvm::ADDRESS_SPACE_CONST)) {
1182 const Constant *Initializer = GVar->getInitializer();
Jingyue Wu312fd022015-04-24 02:57:30 +00001183 // 'undef' is treated as there is no value specified.
Justin Holewinski549c7732014-06-27 18:36:01 +00001184 if (!Initializer->isNullValue() && !isa<UndefValue>(Initializer)) {
1185 O << " = ";
1186 printScalarConstant(Initializer, O);
1187 }
1188 } else {
1189 // The frontend adds zero-initializer to variables that don't have an
1190 // initial value, so skip warning for this case.
1191 if (!GVar->getInitializer()->isNullValue()) {
Benjamin Kramerdba7ee92015-05-28 11:24:24 +00001192 report_fatal_error("initial value of '" + GVar->getName() +
1193 "' is not allowed in addrspace(" +
1194 Twine(PTy->getAddressSpace()) + ")");
Justin Holewinski549c7732014-06-27 18:36:01 +00001195 }
Justin Holewinskiae556d32012-05-04 20:18:50 +00001196 }
1197 }
1198 } else {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001199 unsigned int ElementSize = 0;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001200
1201 // Although PTX has direct support for struct type and array type and
1202 // LLVM IR is very similar to PTX, the LLVM CodeGen does not support for
1203 // targets that support these high level field accesses. Structs, arrays
1204 // and vectors are lowered into arrays of bytes.
1205 switch (ETy->getTypeID()) {
1206 case Type::StructTyID:
1207 case Type::ArrayTyID:
1208 case Type::VectorTyID:
1209 ElementSize = TD->getTypeStoreSize(ETy);
1210 // Ptx allows variable initilization only for constant and
1211 // global state spaces.
1212 if (((PTy->getAddressSpace() == llvm::ADDRESS_SPACE_GLOBAL) ||
Justin Holewinski0497ab12013-03-30 14:29:21 +00001213 (PTy->getAddressSpace() == llvm::ADDRESS_SPACE_CONST)) &&
1214 GVar->hasInitializer()) {
Justin Holewinski01f89f02013-05-20 12:13:32 +00001215 const Constant *Initializer = GVar->getInitializer();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001216 if (!isa<UndefValue>(Initializer) && !Initializer->isNullValue()) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001217 AggBuffer aggBuffer(ElementSize, O, *this);
1218 bufferAggregateConstant(Initializer, &aggBuffer);
1219 if (aggBuffer.numSymbols) {
Eric Christopher6aad8b12015-02-19 00:08:14 +00001220 if (static_cast<const NVPTXTargetMachine &>(TM).is64Bit()) {
Matt Arsenault8b643552015-06-09 00:31:39 +00001221 O << " .u64 ";
1222 getSymbol(GVar)->print(O, MAI);
1223 O << "[";
Justin Holewinski0497ab12013-03-30 14:29:21 +00001224 O << ElementSize / 8;
1225 } else {
Matt Arsenault8b643552015-06-09 00:31:39 +00001226 O << " .u32 ";
1227 getSymbol(GVar)->print(O, MAI);
1228 O << "[";
Justin Holewinski0497ab12013-03-30 14:29:21 +00001229 O << ElementSize / 4;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001230 }
1231 O << "]";
Justin Holewinski0497ab12013-03-30 14:29:21 +00001232 } else {
Matt Arsenault8b643552015-06-09 00:31:39 +00001233 O << " .b8 ";
1234 getSymbol(GVar)->print(O, MAI);
1235 O << "[";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001236 O << ElementSize;
1237 O << "]";
1238 }
Justin Holewinski0497ab12013-03-30 14:29:21 +00001239 O << " = {";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001240 aggBuffer.print();
1241 O << "}";
Justin Holewinski0497ab12013-03-30 14:29:21 +00001242 } else {
Matt Arsenault8b643552015-06-09 00:31:39 +00001243 O << " .b8 ";
1244 getSymbol(GVar)->print(O, MAI);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001245 if (ElementSize) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001246 O << "[";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001247 O << ElementSize;
1248 O << "]";
1249 }
1250 }
Justin Holewinski0497ab12013-03-30 14:29:21 +00001251 } else {
Matt Arsenault8b643552015-06-09 00:31:39 +00001252 O << " .b8 ";
1253 getSymbol(GVar)->print(O, MAI);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001254 if (ElementSize) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001255 O << "[";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001256 O << ElementSize;
1257 O << "]";
1258 }
1259 }
1260 break;
1261 default:
Craig Topper2a30d782014-06-18 05:05:13 +00001262 llvm_unreachable("type not supported yet");
Justin Holewinskiae556d32012-05-04 20:18:50 +00001263 }
1264
1265 }
1266 O << ";\n";
1267}
1268
1269void NVPTXAsmPrinter::emitDemotedVars(const Function *f, raw_ostream &O) {
1270 if (localDecls.find(f) == localDecls.end())
1271 return;
1272
Justin Holewinski01f89f02013-05-20 12:13:32 +00001273 std::vector<const GlobalVariable *> &gvars = localDecls[f];
Justin Holewinskiae556d32012-05-04 20:18:50 +00001274
Justin Holewinski0497ab12013-03-30 14:29:21 +00001275 for (unsigned i = 0, e = gvars.size(); i != e; ++i) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001276 O << "\t// demoted variable\n\t";
1277 printModuleLevelGV(gvars[i], O, true);
1278 }
1279}
1280
1281void NVPTXAsmPrinter::emitPTXAddressSpace(unsigned int AddressSpace,
1282 raw_ostream &O) const {
1283 switch (AddressSpace) {
1284 case llvm::ADDRESS_SPACE_LOCAL:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001285 O << "local";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001286 break;
1287 case llvm::ADDRESS_SPACE_GLOBAL:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001288 O << "global";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001289 break;
1290 case llvm::ADDRESS_SPACE_CONST:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001291 O << "const";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001292 break;
1293 case llvm::ADDRESS_SPACE_SHARED:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001294 O << "shared";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001295 break;
1296 default:
Justin Holewinski36a50992013-02-09 13:34:15 +00001297 report_fatal_error("Bad address space found while emitting PTX");
1298 break;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001299 }
1300}
1301
Justin Holewinski0497ab12013-03-30 14:29:21 +00001302std::string
1303NVPTXAsmPrinter::getPTXFundamentalTypeStr(const Type *Ty, bool useB4PTR) const {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001304 switch (Ty->getTypeID()) {
1305 default:
1306 llvm_unreachable("unexpected type");
1307 break;
1308 case Type::IntegerTyID: {
1309 unsigned NumBits = cast<IntegerType>(Ty)->getBitWidth();
1310 if (NumBits == 1)
1311 return "pred";
1312 else if (NumBits <= 64) {
1313 std::string name = "u";
1314 return name + utostr(NumBits);
1315 } else {
1316 llvm_unreachable("Integer too large");
1317 break;
1318 }
1319 break;
1320 }
1321 case Type::FloatTyID:
1322 return "f32";
1323 case Type::DoubleTyID:
1324 return "f64";
1325 case Type::PointerTyID:
Eric Christopher6aad8b12015-02-19 00:08:14 +00001326 if (static_cast<const NVPTXTargetMachine &>(TM).is64Bit())
Justin Holewinski0497ab12013-03-30 14:29:21 +00001327 if (useB4PTR)
1328 return "b64";
1329 else
1330 return "u64";
1331 else if (useB4PTR)
1332 return "b32";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001333 else
Justin Holewinski0497ab12013-03-30 14:29:21 +00001334 return "u32";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001335 }
1336 llvm_unreachable("unexpected type");
Craig Topper062a2ba2014-04-25 05:30:21 +00001337 return nullptr;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001338}
1339
Justin Holewinski0497ab12013-03-30 14:29:21 +00001340void NVPTXAsmPrinter::emitPTXGlobalVariable(const GlobalVariable *GVar,
Justin Holewinskiae556d32012-05-04 20:18:50 +00001341 raw_ostream &O) {
1342
Eric Christopher8b770652015-01-26 19:03:15 +00001343 const DataLayout *TD = TM.getDataLayout();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001344
1345 // GlobalVariables are always constant pointers themselves.
1346 const PointerType *PTy = GVar->getType();
1347 Type *ETy = PTy->getElementType();
1348
1349 O << ".";
1350 emitPTXAddressSpace(PTy->getAddressSpace(), O);
1351 if (GVar->getAlignment() == 0)
1352 O << " .align " << (int) TD->getPrefTypeAlignment(ETy);
1353 else
1354 O << " .align " << GVar->getAlignment();
1355
Jingyue Wue4c9cf02014-12-17 17:59:04 +00001356 if (ETy->isFloatingPointTy() || ETy->isIntegerTy() || ETy->isPointerTy()) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001357 O << " .";
1358 O << getPTXFundamentalTypeStr(ETy);
1359 O << " ";
Matt Arsenault8b643552015-06-09 00:31:39 +00001360 getSymbol(GVar)->print(O, MAI);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001361 return;
1362 }
1363
Justin Holewinski0497ab12013-03-30 14:29:21 +00001364 int64_t ElementSize = 0;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001365
1366 // Although PTX has direct support for struct type and array type and LLVM IR
1367 // is very similar to PTX, the LLVM CodeGen does not support for targets that
1368 // support these high level field accesses. Structs and arrays are lowered
1369 // into arrays of bytes.
1370 switch (ETy->getTypeID()) {
1371 case Type::StructTyID:
1372 case Type::ArrayTyID:
1373 case Type::VectorTyID:
1374 ElementSize = TD->getTypeStoreSize(ETy);
Matt Arsenault8b643552015-06-09 00:31:39 +00001375 O << " .b8 ";
1376 getSymbol(GVar)->print(O, MAI);
1377 O << "[";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001378 if (ElementSize) {
Benjamin Kramerdba7ee92015-05-28 11:24:24 +00001379 O << ElementSize;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001380 }
1381 O << "]";
1382 break;
1383 default:
Craig Topper2a30d782014-06-18 05:05:13 +00001384 llvm_unreachable("type not supported yet");
Justin Holewinskiae556d32012-05-04 20:18:50 +00001385 }
Justin Holewinski0497ab12013-03-30 14:29:21 +00001386 return;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001387}
1388
Justin Holewinski0497ab12013-03-30 14:29:21 +00001389static unsigned int getOpenCLAlignment(const DataLayout *TD, Type *Ty) {
Rafael Espindola08013342013-12-07 19:34:20 +00001390 if (Ty->isSingleValueType())
Justin Holewinskiae556d32012-05-04 20:18:50 +00001391 return TD->getPrefTypeAlignment(Ty);
1392
1393 const ArrayType *ATy = dyn_cast<ArrayType>(Ty);
1394 if (ATy)
1395 return getOpenCLAlignment(TD, ATy->getElementType());
1396
Justin Holewinskiae556d32012-05-04 20:18:50 +00001397 const StructType *STy = dyn_cast<StructType>(Ty);
1398 if (STy) {
1399 unsigned int alignStruct = 1;
1400 // Go through each element of the struct and find the
1401 // largest alignment.
Justin Holewinski0497ab12013-03-30 14:29:21 +00001402 for (unsigned i = 0, e = STy->getNumElements(); i != e; i++) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001403 Type *ETy = STy->getElementType(i);
1404 unsigned int align = getOpenCLAlignment(TD, ETy);
1405 if (align > alignStruct)
1406 alignStruct = align;
1407 }
1408 return alignStruct;
1409 }
1410
1411 const FunctionType *FTy = dyn_cast<FunctionType>(Ty);
1412 if (FTy)
Chandler Carruth5da3f052012-11-01 09:14:31 +00001413 return TD->getPointerPrefAlignment();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001414 return TD->getPrefTypeAlignment(Ty);
1415}
1416
1417void NVPTXAsmPrinter::printParamName(Function::const_arg_iterator I,
1418 int paramIndex, raw_ostream &O) {
Matt Arsenault8b643552015-06-09 00:31:39 +00001419 getSymbol(I->getParent())->print(O, MAI);
1420 O << "_param_" << paramIndex;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001421}
1422
1423void NVPTXAsmPrinter::printParamName(int paramIndex, raw_ostream &O) {
Matt Arsenault8b643552015-06-09 00:31:39 +00001424 CurrentFnSym->print(O, MAI);
1425 O << "_param_" << paramIndex;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001426}
1427
Justin Holewinski0497ab12013-03-30 14:29:21 +00001428void NVPTXAsmPrinter::emitFunctionParamList(const Function *F, raw_ostream &O) {
Eric Christopher8b770652015-01-26 19:03:15 +00001429 const DataLayout *TD = TM.getDataLayout();
Bill Wendlinge94d8432012-12-07 23:16:57 +00001430 const AttributeSet &PAL = F->getAttributes();
Eric Christopher6aad8b12015-02-19 00:08:14 +00001431 const TargetLowering *TLI = nvptxSubtarget->getTargetLowering();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001432 Function::const_arg_iterator I, E;
1433 unsigned paramIndex = 0;
1434 bool first = true;
1435 bool isKernelFunc = llvm::isKernelFunction(*F);
Eric Christopher6aad8b12015-02-19 00:08:14 +00001436 bool isABI = (nvptxSubtarget->getSmVersion() >= 20);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001437 MVT thePointerTy = TLI->getPointerTy();
1438
1439 O << "(\n";
1440
1441 for (I = F->arg_begin(), E = F->arg_end(); I != E; ++I, paramIndex++) {
Justin Holewinskie9884092013-03-24 21:17:47 +00001442 Type *Ty = I->getType();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001443
1444 if (!first)
1445 O << ",\n";
1446
1447 first = false;
1448
1449 // Handle image/sampler parameters
Justin Holewinski30d56a72014-04-09 15:39:15 +00001450 if (isKernelFunction(*F)) {
1451 if (isSampler(*I) || isImage(*I)) {
1452 if (isImage(*I)) {
1453 std::string sname = I->getName();
1454 if (isImageWriteOnly(*I) || isImageReadWrite(*I)) {
Eric Christopher6aad8b12015-02-19 00:08:14 +00001455 if (nvptxSubtarget->hasImageHandles())
Justin Holewinski30d56a72014-04-09 15:39:15 +00001456 O << "\t.param .u64 .ptr .surfref ";
1457 else
1458 O << "\t.param .surfref ";
Matt Arsenault8b643552015-06-09 00:31:39 +00001459 CurrentFnSym->print(O, MAI);
1460 O << "_param_" << paramIndex;
Justin Holewinski30d56a72014-04-09 15:39:15 +00001461 }
1462 else { // Default image is read_only
Eric Christopher6aad8b12015-02-19 00:08:14 +00001463 if (nvptxSubtarget->hasImageHandles())
Justin Holewinski30d56a72014-04-09 15:39:15 +00001464 O << "\t.param .u64 .ptr .texref ";
1465 else
1466 O << "\t.param .texref ";
Matt Arsenault8b643552015-06-09 00:31:39 +00001467 CurrentFnSym->print(O, MAI);
1468 O << "_param_" << paramIndex;
Justin Holewinski30d56a72014-04-09 15:39:15 +00001469 }
1470 } else {
Eric Christopher6aad8b12015-02-19 00:08:14 +00001471 if (nvptxSubtarget->hasImageHandles())
Justin Holewinski30d56a72014-04-09 15:39:15 +00001472 O << "\t.param .u64 .ptr .samplerref ";
1473 else
1474 O << "\t.param .samplerref ";
Matt Arsenault8b643552015-06-09 00:31:39 +00001475 CurrentFnSym->print(O, MAI);
1476 O << "_param_" << paramIndex;
Justin Holewinski30d56a72014-04-09 15:39:15 +00001477 }
1478 continue;
1479 }
Justin Holewinskiae556d32012-05-04 20:18:50 +00001480 }
1481
Eli Bendersky3e840192015-03-23 16:26:23 +00001482 if (!PAL.hasAttribute(paramIndex + 1, Attribute::ByVal)) {
Gautam Chakrabarti2c283402014-01-28 18:35:29 +00001483 if (Ty->isAggregateType() || Ty->isVectorTy()) {
1484 // Just print .param .align <a> .b8 .param[size];
Justin Holewinskie9884092013-03-24 21:17:47 +00001485 // <a> = PAL.getparamalignment
1486 // size = typeallocsize of element type
Justin Holewinski0497ab12013-03-30 14:29:21 +00001487 unsigned align = PAL.getParamAlignment(paramIndex + 1);
Justin Holewinskie9884092013-03-24 21:17:47 +00001488 if (align == 0)
1489 align = TD->getABITypeAlignment(Ty);
1490
1491 unsigned sz = TD->getTypeAllocSize(Ty);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001492 O << "\t.param .align " << align << " .b8 ";
Justin Holewinskie9884092013-03-24 21:17:47 +00001493 printParamName(I, paramIndex, O);
1494 O << "[" << sz << "]";
1495
1496 continue;
1497 }
Justin Holewinskiae556d32012-05-04 20:18:50 +00001498 // Just a scalar
1499 const PointerType *PTy = dyn_cast<PointerType>(Ty);
1500 if (isKernelFunc) {
1501 if (PTy) {
1502 // Special handling for pointer arguments to kernel
1503 O << "\t.param .u" << thePointerTy.getSizeInBits() << " ";
1504
Eric Christopherbeffc4e2015-02-19 00:08:23 +00001505 if (static_cast<NVPTXTargetMachine &>(TM).getDrvInterface() !=
1506 NVPTX::CUDA) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001507 Type *ETy = PTy->getElementType();
1508 int addrSpace = PTy->getAddressSpace();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001509 switch (addrSpace) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001510 default:
1511 O << ".ptr ";
1512 break;
Justin Holewinskib96d1392013-06-10 13:29:47 +00001513 case llvm::ADDRESS_SPACE_CONST:
Justin Holewinskiae556d32012-05-04 20:18:50 +00001514 O << ".ptr .const ";
1515 break;
1516 case llvm::ADDRESS_SPACE_SHARED:
1517 O << ".ptr .shared ";
1518 break;
1519 case llvm::ADDRESS_SPACE_GLOBAL:
Justin Holewinskiae556d32012-05-04 20:18:50 +00001520 O << ".ptr .global ";
1521 break;
1522 }
Justin Holewinski0497ab12013-03-30 14:29:21 +00001523 O << ".align " << (int) getOpenCLAlignment(TD, ETy) << " ";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001524 }
1525 printParamName(I, paramIndex, O);
1526 continue;
1527 }
1528
1529 // non-pointer scalar to kernel func
Justin Holewinski700b6fa2013-05-20 12:13:28 +00001530 O << "\t.param .";
1531 // Special case: predicate operands become .u8 types
1532 if (Ty->isIntegerTy(1))
1533 O << "u8";
1534 else
1535 O << getPTXFundamentalTypeStr(Ty);
1536 O << " ";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001537 printParamName(I, paramIndex, O);
1538 continue;
1539 }
1540 // Non-kernel function, just print .param .b<size> for ABI
Alp Tokerf907b892013-12-05 05:44:44 +00001541 // and .reg .b<size> for non-ABI
Justin Holewinskiae556d32012-05-04 20:18:50 +00001542 unsigned sz = 0;
1543 if (isa<IntegerType>(Ty)) {
1544 sz = cast<IntegerType>(Ty)->getBitWidth();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001545 if (sz < 32)
1546 sz = 32;
1547 } else if (isa<PointerType>(Ty))
Justin Holewinskiae556d32012-05-04 20:18:50 +00001548 sz = thePointerTy.getSizeInBits();
1549 else
1550 sz = Ty->getPrimitiveSizeInBits();
1551 if (isABI)
1552 O << "\t.param .b" << sz << " ";
1553 else
1554 O << "\t.reg .b" << sz << " ";
1555 printParamName(I, paramIndex, O);
1556 continue;
1557 }
1558
1559 // param has byVal attribute. So should be a pointer
1560 const PointerType *PTy = dyn_cast<PointerType>(Ty);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001561 assert(PTy && "Param with byval attribute should be a pointer type");
Justin Holewinskiae556d32012-05-04 20:18:50 +00001562 Type *ETy = PTy->getElementType();
1563
1564 if (isABI || isKernelFunc) {
Gautam Chakrabarti2c283402014-01-28 18:35:29 +00001565 // Just print .param .align <a> .b8 .param[size];
Justin Holewinskiae556d32012-05-04 20:18:50 +00001566 // <a> = PAL.getparamalignment
1567 // size = typeallocsize of element type
Justin Holewinski0497ab12013-03-30 14:29:21 +00001568 unsigned align = PAL.getParamAlignment(paramIndex + 1);
Justin Holewinski2dc9d072012-11-09 23:50:24 +00001569 if (align == 0)
1570 align = TD->getABITypeAlignment(ETy);
1571
Justin Holewinskiae556d32012-05-04 20:18:50 +00001572 unsigned sz = TD->getTypeAllocSize(ETy);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001573 O << "\t.param .align " << align << " .b8 ";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001574 printParamName(I, paramIndex, O);
1575 O << "[" << sz << "]";
1576 continue;
1577 } else {
1578 // Split the ETy into constituent parts and
1579 // print .param .b<size> <name> for each part.
1580 // Further, if a part is vector, print the above for
1581 // each vector element.
1582 SmallVector<EVT, 16> vtparts;
1583 ComputeValueVTs(*TLI, ETy, vtparts);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001584 for (unsigned i = 0, e = vtparts.size(); i != e; ++i) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001585 unsigned elems = 1;
1586 EVT elemtype = vtparts[i];
1587 if (vtparts[i].isVector()) {
1588 elems = vtparts[i].getVectorNumElements();
1589 elemtype = vtparts[i].getVectorElementType();
1590 }
1591
Justin Holewinski0497ab12013-03-30 14:29:21 +00001592 for (unsigned j = 0, je = elems; j != je; ++j) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001593 unsigned sz = elemtype.getSizeInBits();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001594 if (elemtype.isInteger() && (sz < 32))
1595 sz = 32;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001596 O << "\t.reg .b" << sz << " ";
1597 printParamName(I, paramIndex, O);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001598 if (j < je - 1)
1599 O << ",\n";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001600 ++paramIndex;
1601 }
Justin Holewinski0497ab12013-03-30 14:29:21 +00001602 if (i < e - 1)
Justin Holewinskiae556d32012-05-04 20:18:50 +00001603 O << ",\n";
1604 }
1605 --paramIndex;
1606 continue;
1607 }
1608 }
1609
1610 O << "\n)\n";
1611}
1612
1613void NVPTXAsmPrinter::emitFunctionParamList(const MachineFunction &MF,
1614 raw_ostream &O) {
1615 const Function *F = MF.getFunction();
1616 emitFunctionParamList(F, O);
1617}
1618
Justin Holewinski0497ab12013-03-30 14:29:21 +00001619void NVPTXAsmPrinter::setAndEmitFunctionVirtualRegisters(
1620 const MachineFunction &MF) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001621 SmallString<128> Str;
1622 raw_svector_ostream O(Str);
1623
1624 // Map the global virtual register number to a register class specific
1625 // virtual register number starting from 1 with that class.
Eric Christopherfc6de422014-08-05 02:39:49 +00001626 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001627 //unsigned numRegClasses = TRI->getNumRegClasses();
1628
1629 // Emit the Fake Stack Object
1630 const MachineFrameInfo *MFI = MF.getFrameInfo();
1631 int NumBytes = (int) MFI->getStackSize();
1632 if (NumBytes) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001633 O << "\t.local .align " << MFI->getMaxAlignment() << " .b8 \t" << DEPOTNAME
1634 << getFunctionNumber() << "[" << NumBytes << "];\n";
Eric Christopher02389e32015-02-19 00:08:27 +00001635 if (static_cast<const NVPTXTargetMachine &>(MF.getTarget()).is64Bit()) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001636 O << "\t.reg .b64 \t%SP;\n";
1637 O << "\t.reg .b64 \t%SPL;\n";
Justin Holewinski0497ab12013-03-30 14:29:21 +00001638 } else {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001639 O << "\t.reg .b32 \t%SP;\n";
1640 O << "\t.reg .b32 \t%SPL;\n";
1641 }
1642 }
1643
1644 // Go through all virtual registers to establish the mapping between the
1645 // global virtual
1646 // register number and the per class virtual register number.
1647 // We use the per class virtual register number in the ptx output.
1648 unsigned int numVRs = MRI->getNumVirtRegs();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001649 for (unsigned i = 0; i < numVRs; i++) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001650 unsigned int vr = TRI->index2VirtReg(i);
1651 const TargetRegisterClass *RC = MRI->getRegClass(vr);
Justin Holewinskidbb3b2f2013-05-31 12:14:49 +00001652 DenseMap<unsigned, unsigned> &regmap = VRegMapping[RC];
Justin Holewinskiae556d32012-05-04 20:18:50 +00001653 int n = regmap.size();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001654 regmap.insert(std::make_pair(vr, n + 1));
Justin Holewinskiae556d32012-05-04 20:18:50 +00001655 }
1656
1657 // Emit register declarations
1658 // @TODO: Extract out the real register usage
Justin Holewinskidbb3b2f2013-05-31 12:14:49 +00001659 // O << "\t.reg .pred %p<" << NVPTXNumRegisters << ">;\n";
1660 // O << "\t.reg .s16 %rc<" << NVPTXNumRegisters << ">;\n";
1661 // O << "\t.reg .s16 %rs<" << NVPTXNumRegisters << ">;\n";
1662 // O << "\t.reg .s32 %r<" << NVPTXNumRegisters << ">;\n";
Justin Holewinski3e037d92014-07-16 16:26:58 +00001663 // O << "\t.reg .s64 %rd<" << NVPTXNumRegisters << ">;\n";
Justin Holewinskidbb3b2f2013-05-31 12:14:49 +00001664 // O << "\t.reg .f32 %f<" << NVPTXNumRegisters << ">;\n";
Justin Holewinski3e037d92014-07-16 16:26:58 +00001665 // O << "\t.reg .f64 %fd<" << NVPTXNumRegisters << ">;\n";
Justin Holewinskiae556d32012-05-04 20:18:50 +00001666
1667 // Emit declaration of the virtual registers or 'physical' registers for
1668 // each register class
Justin Holewinskidbb3b2f2013-05-31 12:14:49 +00001669 for (unsigned i=0; i< TRI->getNumRegClasses(); i++) {
1670 const TargetRegisterClass *RC = TRI->getRegClass(i);
1671 DenseMap<unsigned, unsigned> &regmap = VRegMapping[RC];
1672 std::string rcname = getNVPTXRegClassName(RC);
1673 std::string rcStr = getNVPTXRegClassStr(RC);
1674 int n = regmap.size();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001675
Justin Holewinskidbb3b2f2013-05-31 12:14:49 +00001676 // Only declare those registers that may be used.
1677 if (n) {
1678 O << "\t.reg " << rcname << " \t" << rcStr << "<" << (n+1)
1679 << ">;\n";
1680 }
1681 }
Justin Holewinskiae556d32012-05-04 20:18:50 +00001682
Lang Hames9ff69c82015-04-24 19:11:51 +00001683 OutStreamer->EmitRawText(O.str());
Justin Holewinskiae556d32012-05-04 20:18:50 +00001684}
1685
Justin Holewinskiae556d32012-05-04 20:18:50 +00001686void NVPTXAsmPrinter::printFPConstant(const ConstantFP *Fp, raw_ostream &O) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001687 APFloat APF = APFloat(Fp->getValueAPF()); // make a copy
Justin Holewinskiae556d32012-05-04 20:18:50 +00001688 bool ignored;
1689 unsigned int numHex;
1690 const char *lead;
1691
Justin Holewinski0497ab12013-03-30 14:29:21 +00001692 if (Fp->getType()->getTypeID() == Type::FloatTyID) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001693 numHex = 8;
1694 lead = "0f";
Justin Holewinski0497ab12013-03-30 14:29:21 +00001695 APF.convert(APFloat::IEEEsingle, APFloat::rmNearestTiesToEven, &ignored);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001696 } else if (Fp->getType()->getTypeID() == Type::DoubleTyID) {
1697 numHex = 16;
1698 lead = "0d";
Justin Holewinski0497ab12013-03-30 14:29:21 +00001699 APF.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven, &ignored);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001700 } else
1701 llvm_unreachable("unsupported fp type");
1702
1703 APInt API = APF.bitcastToAPInt();
1704 std::string hexstr(utohexstr(API.getZExtValue()));
1705 O << lead;
1706 if (hexstr.length() < numHex)
1707 O << std::string(numHex - hexstr.length(), '0');
1708 O << utohexstr(API.getZExtValue());
1709}
1710
Justin Holewinski01f89f02013-05-20 12:13:32 +00001711void NVPTXAsmPrinter::printScalarConstant(const Constant *CPV, raw_ostream &O) {
1712 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CPV)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001713 O << CI->getValue();
1714 return;
1715 }
Justin Holewinski01f89f02013-05-20 12:13:32 +00001716 if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CPV)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001717 printFPConstant(CFP, O);
1718 return;
1719 }
1720 if (isa<ConstantPointerNull>(CPV)) {
1721 O << "0";
1722 return;
1723 }
Justin Holewinski01f89f02013-05-20 12:13:32 +00001724 if (const GlobalValue *GVar = dyn_cast<GlobalValue>(CPV)) {
Justin Holewinski9d852a82014-04-09 15:39:11 +00001725 PointerType *PTy = dyn_cast<PointerType>(GVar->getType());
1726 bool IsNonGenericPointer = false;
1727 if (PTy && PTy->getAddressSpace() != 0) {
1728 IsNonGenericPointer = true;
1729 }
1730 if (EmitGeneric && !isa<Function>(CPV) && !IsNonGenericPointer) {
1731 O << "generic(";
Matt Arsenault8b643552015-06-09 00:31:39 +00001732 getSymbol(GVar)->print(O, MAI);
Justin Holewinski9d852a82014-04-09 15:39:11 +00001733 O << ")";
1734 } else {
Matt Arsenault8b643552015-06-09 00:31:39 +00001735 getSymbol(GVar)->print(O, MAI);
Justin Holewinski9d852a82014-04-09 15:39:11 +00001736 }
Justin Holewinskiae556d32012-05-04 20:18:50 +00001737 return;
1738 }
Justin Holewinski01f89f02013-05-20 12:13:32 +00001739 if (const ConstantExpr *Cexpr = dyn_cast<ConstantExpr>(CPV)) {
1740 const Value *v = Cexpr->stripPointerCasts();
Justin Holewinski9d852a82014-04-09 15:39:11 +00001741 PointerType *PTy = dyn_cast<PointerType>(Cexpr->getType());
1742 bool IsNonGenericPointer = false;
1743 if (PTy && PTy->getAddressSpace() != 0) {
1744 IsNonGenericPointer = true;
1745 }
Justin Holewinski01f89f02013-05-20 12:13:32 +00001746 if (const GlobalValue *GVar = dyn_cast<GlobalValue>(v)) {
Justin Holewinski9d852a82014-04-09 15:39:11 +00001747 if (EmitGeneric && !isa<Function>(v) && !IsNonGenericPointer) {
1748 O << "generic(";
Matt Arsenault8b643552015-06-09 00:31:39 +00001749 getSymbol(GVar)->print(O, MAI);
Justin Holewinski9d852a82014-04-09 15:39:11 +00001750 O << ")";
1751 } else {
Matt Arsenault8b643552015-06-09 00:31:39 +00001752 getSymbol(GVar)->print(O, MAI);
Justin Holewinski9d852a82014-04-09 15:39:11 +00001753 }
Justin Holewinskiae556d32012-05-04 20:18:50 +00001754 return;
1755 } else {
Matt Arsenault8b643552015-06-09 00:31:39 +00001756 lowerConstant(CPV)->print(O, MAI);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001757 return;
1758 }
1759 }
1760 llvm_unreachable("Not scalar type found in printScalarConstant()");
1761}
1762
Justin Holewinski01f89f02013-05-20 12:13:32 +00001763void NVPTXAsmPrinter::bufferLEByte(const Constant *CPV, int Bytes,
Justin Holewinskiae556d32012-05-04 20:18:50 +00001764 AggBuffer *aggBuffer) {
1765
Eric Christopher8b770652015-01-26 19:03:15 +00001766 const DataLayout *TD = TM.getDataLayout();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001767
1768 if (isa<UndefValue>(CPV) || CPV->isNullValue()) {
1769 int s = TD->getTypeAllocSize(CPV->getType());
Justin Holewinski0497ab12013-03-30 14:29:21 +00001770 if (s < Bytes)
Justin Holewinskiae556d32012-05-04 20:18:50 +00001771 s = Bytes;
1772 aggBuffer->addZeros(s);
1773 return;
1774 }
1775
1776 unsigned char *ptr;
1777 switch (CPV->getType()->getTypeID()) {
1778
1779 case Type::IntegerTyID: {
1780 const Type *ETy = CPV->getType();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001781 if (ETy == Type::getInt8Ty(CPV->getContext())) {
Benjamin Kramer619c4e52015-04-10 11:24:51 +00001782 unsigned char c = (unsigned char)cast<ConstantInt>(CPV)->getZExtValue();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001783 ptr = &c;
1784 aggBuffer->addBytes(ptr, 1, Bytes);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001785 } else if (ETy == Type::getInt16Ty(CPV->getContext())) {
Benjamin Kramer619c4e52015-04-10 11:24:51 +00001786 short int16 = (short)cast<ConstantInt>(CPV)->getZExtValue();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001787 ptr = (unsigned char *)&int16;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001788 aggBuffer->addBytes(ptr, 2, Bytes);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001789 } else if (ETy == Type::getInt32Ty(CPV->getContext())) {
Justin Holewinski01f89f02013-05-20 12:13:32 +00001790 if (const ConstantInt *constInt = dyn_cast<ConstantInt>(CPV)) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001791 int int32 = (int)(constInt->getZExtValue());
1792 ptr = (unsigned char *)&int32;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001793 aggBuffer->addBytes(ptr, 4, Bytes);
1794 break;
Justin Holewinski01f89f02013-05-20 12:13:32 +00001795 } else if (const ConstantExpr *Cexpr = dyn_cast<ConstantExpr>(CPV)) {
1796 if (const ConstantInt *constInt = dyn_cast<ConstantInt>(
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001797 ConstantFoldConstantExpression(Cexpr, *TD))) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001798 int int32 = (int)(constInt->getZExtValue());
1799 ptr = (unsigned char *)&int32;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001800 aggBuffer->addBytes(ptr, 4, Bytes);
1801 break;
1802 }
1803 if (Cexpr->getOpcode() == Instruction::PtrToInt) {
1804 Value *v = Cexpr->getOperand(0)->stripPointerCasts();
Jingyue Wu312fd022015-04-24 02:57:30 +00001805 aggBuffer->addSymbol(v, Cexpr->getOperand(0));
Justin Holewinskiae556d32012-05-04 20:18:50 +00001806 aggBuffer->addZeros(4);
1807 break;
1808 }
1809 }
Craig Topperbdf39a42012-05-24 07:02:50 +00001810 llvm_unreachable("unsupported integer const type");
Justin Holewinski0497ab12013-03-30 14:29:21 +00001811 } else if (ETy == Type::getInt64Ty(CPV->getContext())) {
Justin Holewinski01f89f02013-05-20 12:13:32 +00001812 if (const ConstantInt *constInt = dyn_cast<ConstantInt>(CPV)) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001813 long long int64 = (long long)(constInt->getZExtValue());
1814 ptr = (unsigned char *)&int64;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001815 aggBuffer->addBytes(ptr, 8, Bytes);
1816 break;
Justin Holewinski01f89f02013-05-20 12:13:32 +00001817 } else if (const ConstantExpr *Cexpr = dyn_cast<ConstantExpr>(CPV)) {
1818 if (const ConstantInt *constInt = dyn_cast<ConstantInt>(
Mehdi Aminia28d91d2015-03-10 02:37:25 +00001819 ConstantFoldConstantExpression(Cexpr, *TD))) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001820 long long int64 = (long long)(constInt->getZExtValue());
1821 ptr = (unsigned char *)&int64;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001822 aggBuffer->addBytes(ptr, 8, Bytes);
1823 break;
1824 }
1825 if (Cexpr->getOpcode() == Instruction::PtrToInt) {
1826 Value *v = Cexpr->getOperand(0)->stripPointerCasts();
Jingyue Wu312fd022015-04-24 02:57:30 +00001827 aggBuffer->addSymbol(v, Cexpr->getOperand(0));
Justin Holewinskiae556d32012-05-04 20:18:50 +00001828 aggBuffer->addZeros(8);
1829 break;
1830 }
1831 }
1832 llvm_unreachable("unsupported integer const type");
Craig Topperbdf39a42012-05-24 07:02:50 +00001833 } else
Justin Holewinskiae556d32012-05-04 20:18:50 +00001834 llvm_unreachable("unsupported integer const type");
1835 break;
1836 }
1837 case Type::FloatTyID:
1838 case Type::DoubleTyID: {
Justin Holewinski01f89f02013-05-20 12:13:32 +00001839 const ConstantFP *CFP = dyn_cast<ConstantFP>(CPV);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001840 const Type *Ty = CFP->getType();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001841 if (Ty == Type::getFloatTy(CPV->getContext())) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001842 float float32 = (float) CFP->getValueAPF().convertToFloat();
1843 ptr = (unsigned char *)&float32;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001844 aggBuffer->addBytes(ptr, 4, Bytes);
1845 } else if (Ty == Type::getDoubleTy(CPV->getContext())) {
1846 double float64 = CFP->getValueAPF().convertToDouble();
Justin Holewinski0497ab12013-03-30 14:29:21 +00001847 ptr = (unsigned char *)&float64;
Justin Holewinskiae556d32012-05-04 20:18:50 +00001848 aggBuffer->addBytes(ptr, 8, Bytes);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001849 } else {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001850 llvm_unreachable("unsupported fp const type");
1851 }
1852 break;
1853 }
1854 case Type::PointerTyID: {
Justin Holewinski01f89f02013-05-20 12:13:32 +00001855 if (const GlobalValue *GVar = dyn_cast<GlobalValue>(CPV)) {
Jingyue Wu312fd022015-04-24 02:57:30 +00001856 aggBuffer->addSymbol(GVar, GVar);
Justin Holewinski01f89f02013-05-20 12:13:32 +00001857 } else if (const ConstantExpr *Cexpr = dyn_cast<ConstantExpr>(CPV)) {
1858 const Value *v = Cexpr->stripPointerCasts();
Jingyue Wu312fd022015-04-24 02:57:30 +00001859 aggBuffer->addSymbol(v, Cexpr);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001860 }
1861 unsigned int s = TD->getTypeAllocSize(CPV->getType());
1862 aggBuffer->addZeros(s);
1863 break;
1864 }
1865
1866 case Type::ArrayTyID:
1867 case Type::VectorTyID:
1868 case Type::StructTyID: {
1869 if (isa<ConstantArray>(CPV) || isa<ConstantVector>(CPV) ||
Justin Holewinski95564bd2013-09-19 12:51:46 +00001870 isa<ConstantStruct>(CPV) || isa<ConstantDataSequential>(CPV)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001871 int ElementSize = TD->getTypeAllocSize(CPV->getType());
1872 bufferAggregateConstant(CPV, aggBuffer);
Justin Holewinski0497ab12013-03-30 14:29:21 +00001873 if (Bytes > ElementSize)
1874 aggBuffer->addZeros(Bytes - ElementSize);
1875 } else if (isa<ConstantAggregateZero>(CPV))
Justin Holewinskiae556d32012-05-04 20:18:50 +00001876 aggBuffer->addZeros(Bytes);
1877 else
1878 llvm_unreachable("Unexpected Constant type");
1879 break;
1880 }
1881
1882 default:
1883 llvm_unreachable("unsupported type");
1884 }
1885}
1886
Justin Holewinski01f89f02013-05-20 12:13:32 +00001887void NVPTXAsmPrinter::bufferAggregateConstant(const Constant *CPV,
Justin Holewinskiae556d32012-05-04 20:18:50 +00001888 AggBuffer *aggBuffer) {
Eric Christopher8b770652015-01-26 19:03:15 +00001889 const DataLayout *TD = TM.getDataLayout();
Justin Holewinskiae556d32012-05-04 20:18:50 +00001890 int Bytes;
1891
1892 // Old constants
1893 if (isa<ConstantArray>(CPV) || isa<ConstantVector>(CPV)) {
1894 if (CPV->getNumOperands())
1895 for (unsigned i = 0, e = CPV->getNumOperands(); i != e; ++i)
1896 bufferLEByte(cast<Constant>(CPV->getOperand(i)), 0, aggBuffer);
1897 return;
1898 }
1899
1900 if (const ConstantDataSequential *CDS =
Justin Holewinski0497ab12013-03-30 14:29:21 +00001901 dyn_cast<ConstantDataSequential>(CPV)) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001902 if (CDS->getNumElements())
1903 for (unsigned i = 0; i < CDS->getNumElements(); ++i)
1904 bufferLEByte(cast<Constant>(CDS->getElementAsConstant(i)), 0,
1905 aggBuffer);
1906 return;
1907 }
1908
Justin Holewinskiae556d32012-05-04 20:18:50 +00001909 if (isa<ConstantStruct>(CPV)) {
1910 if (CPV->getNumOperands()) {
1911 StructType *ST = cast<StructType>(CPV->getType());
1912 for (unsigned i = 0, e = CPV->getNumOperands(); i != e; ++i) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00001913 if (i == (e - 1))
Justin Holewinskiae556d32012-05-04 20:18:50 +00001914 Bytes = TD->getStructLayout(ST)->getElementOffset(0) +
Justin Holewinski0497ab12013-03-30 14:29:21 +00001915 TD->getTypeAllocSize(ST) -
1916 TD->getStructLayout(ST)->getElementOffset(i);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001917 else
Justin Holewinski0497ab12013-03-30 14:29:21 +00001918 Bytes = TD->getStructLayout(ST)->getElementOffset(i + 1) -
1919 TD->getStructLayout(ST)->getElementOffset(i);
1920 bufferLEByte(cast<Constant>(CPV->getOperand(i)), Bytes, aggBuffer);
Justin Holewinskiae556d32012-05-04 20:18:50 +00001921 }
1922 }
1923 return;
1924 }
Craig Topperbdf39a42012-05-24 07:02:50 +00001925 llvm_unreachable("unsupported constant type in printAggregateConstant()");
Justin Holewinskiae556d32012-05-04 20:18:50 +00001926}
1927
1928// buildTypeNameMap - Run through symbol table looking for type names.
1929//
1930
Justin Holewinskiae556d32012-05-04 20:18:50 +00001931bool NVPTXAsmPrinter::isImageType(const Type *Ty) {
1932
1933 std::map<const Type *, std::string>::iterator PI = TypeNameMap.find(Ty);
1934
Justin Holewinski0497ab12013-03-30 14:29:21 +00001935 if (PI != TypeNameMap.end() && (!PI->second.compare("struct._image1d_t") ||
1936 !PI->second.compare("struct._image2d_t") ||
1937 !PI->second.compare("struct._image3d_t")))
Justin Holewinskiae556d32012-05-04 20:18:50 +00001938 return true;
1939
1940 return false;
1941}
1942
Justin Holewinskiae556d32012-05-04 20:18:50 +00001943
Justin Holewinski0497ab12013-03-30 14:29:21 +00001944bool NVPTXAsmPrinter::ignoreLoc(const MachineInstr &MI) {
1945 switch (MI.getOpcode()) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00001946 default:
1947 return false;
Justin Holewinski0497ab12013-03-30 14:29:21 +00001948 case NVPTX::CallArgBeginInst:
1949 case NVPTX::CallArgEndInst0:
1950 case NVPTX::CallArgEndInst1:
1951 case NVPTX::CallArgF32:
1952 case NVPTX::CallArgF64:
1953 case NVPTX::CallArgI16:
1954 case NVPTX::CallArgI32:
1955 case NVPTX::CallArgI32imm:
1956 case NVPTX::CallArgI64:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001957 case NVPTX::CallArgParam:
1958 case NVPTX::CallVoidInst:
1959 case NVPTX::CallVoidInstReg:
1960 case NVPTX::Callseq_End:
Justin Holewinskiae556d32012-05-04 20:18:50 +00001961 case NVPTX::CallVoidInstReg64:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001962 case NVPTX::DeclareParamInst:
1963 case NVPTX::DeclareRetMemInst:
1964 case NVPTX::DeclareRetRegInst:
1965 case NVPTX::DeclareRetScalarInst:
1966 case NVPTX::DeclareScalarParamInst:
1967 case NVPTX::DeclareScalarRegInst:
1968 case NVPTX::StoreParamF32:
1969 case NVPTX::StoreParamF64:
1970 case NVPTX::StoreParamI16:
1971 case NVPTX::StoreParamI32:
1972 case NVPTX::StoreParamI64:
1973 case NVPTX::StoreParamI8:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001974 case NVPTX::StoreRetvalF32:
1975 case NVPTX::StoreRetvalF64:
1976 case NVPTX::StoreRetvalI16:
1977 case NVPTX::StoreRetvalI32:
1978 case NVPTX::StoreRetvalI64:
1979 case NVPTX::StoreRetvalI8:
1980 case NVPTX::LastCallArgF32:
1981 case NVPTX::LastCallArgF64:
1982 case NVPTX::LastCallArgI16:
1983 case NVPTX::LastCallArgI32:
1984 case NVPTX::LastCallArgI32imm:
1985 case NVPTX::LastCallArgI64:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001986 case NVPTX::LastCallArgParam:
1987 case NVPTX::LoadParamMemF32:
1988 case NVPTX::LoadParamMemF64:
1989 case NVPTX::LoadParamMemI16:
1990 case NVPTX::LoadParamMemI32:
1991 case NVPTX::LoadParamMemI64:
1992 case NVPTX::LoadParamMemI8:
Justin Holewinski0497ab12013-03-30 14:29:21 +00001993 case NVPTX::PrototypeInst:
1994 case NVPTX::DBG_VALUE:
Justin Holewinskiae556d32012-05-04 20:18:50 +00001995 return true;
1996 }
1997 return false;
1998}
1999
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002000/// lowerConstantForGV - Return an MCExpr for the given Constant. This is mostly
2001/// a copy from AsmPrinter::lowerConstant, except customized to only handle
2002/// expressions that are representable in PTX and create
2003/// NVPTXGenericMCSymbolRefExpr nodes for addrspacecast instructions.
2004const MCExpr *
2005NVPTXAsmPrinter::lowerConstantForGV(const Constant *CV, bool ProcessingGeneric) {
2006 MCContext &Ctx = OutContext;
2007
2008 if (CV->isNullValue() || isa<UndefValue>(CV))
Jim Grosbach13760bd2015-05-30 01:25:56 +00002009 return MCConstantExpr::create(0, Ctx);
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002010
2011 if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV))
Jim Grosbach13760bd2015-05-30 01:25:56 +00002012 return MCConstantExpr::create(CI->getZExtValue(), Ctx);
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002013
2014 if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
2015 const MCSymbolRefExpr *Expr =
Jim Grosbach13760bd2015-05-30 01:25:56 +00002016 MCSymbolRefExpr::create(getSymbol(GV), Ctx);
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002017 if (ProcessingGeneric) {
Jim Grosbach13760bd2015-05-30 01:25:56 +00002018 return NVPTXGenericMCSymbolRefExpr::create(Expr, Ctx);
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002019 } else {
2020 return Expr;
2021 }
2022 }
2023
2024 const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV);
2025 if (!CE) {
2026 llvm_unreachable("Unknown constant value to lower!");
2027 }
2028
2029 switch (CE->getOpcode()) {
2030 default:
2031 // If the code isn't optimized, there may be outstanding folding
2032 // opportunities. Attempt to fold the expression using DataLayout as a
2033 // last resort before giving up.
2034 if (Constant *C = ConstantFoldConstantExpression(CE, *TM.getDataLayout()))
2035 if (C != CE)
2036 return lowerConstantForGV(C, ProcessingGeneric);
2037
2038 // Otherwise report the problem to the user.
2039 {
2040 std::string S;
2041 raw_string_ostream OS(S);
2042 OS << "Unsupported expression in static initializer: ";
2043 CE->printAsOperand(OS, /*PrintType=*/false,
2044 !MF ? nullptr : MF->getFunction()->getParent());
2045 report_fatal_error(OS.str());
2046 }
2047
2048 case Instruction::AddrSpaceCast: {
2049 // Strip the addrspacecast and pass along the operand
2050 PointerType *DstTy = cast<PointerType>(CE->getType());
2051 if (DstTy->getAddressSpace() == 0) {
2052 return lowerConstantForGV(cast<const Constant>(CE->getOperand(0)), true);
2053 }
2054 std::string S;
2055 raw_string_ostream OS(S);
2056 OS << "Unsupported expression in static initializer: ";
2057 CE->printAsOperand(OS, /*PrintType=*/ false,
2058 !MF ? 0 : MF->getFunction()->getParent());
2059 report_fatal_error(OS.str());
2060 }
2061
2062 case Instruction::GetElementPtr: {
2063 const DataLayout &DL = *TM.getDataLayout();
2064
2065 // Generate a symbolic expression for the byte address
2066 APInt OffsetAI(DL.getPointerTypeSizeInBits(CE->getType()), 0);
2067 cast<GEPOperator>(CE)->accumulateConstantOffset(DL, OffsetAI);
2068
2069 const MCExpr *Base = lowerConstantForGV(CE->getOperand(0),
2070 ProcessingGeneric);
2071 if (!OffsetAI)
2072 return Base;
2073
2074 int64_t Offset = OffsetAI.getSExtValue();
Jim Grosbach13760bd2015-05-30 01:25:56 +00002075 return MCBinaryExpr::createAdd(Base, MCConstantExpr::create(Offset, Ctx),
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002076 Ctx);
2077 }
2078
2079 case Instruction::Trunc:
2080 // We emit the value and depend on the assembler to truncate the generated
2081 // expression properly. This is important for differences between
2082 // blockaddress labels. Since the two labels are in the same function, it
2083 // is reasonable to treat their delta as a 32-bit value.
2084 // FALL THROUGH.
2085 case Instruction::BitCast:
2086 return lowerConstantForGV(CE->getOperand(0), ProcessingGeneric);
2087
2088 case Instruction::IntToPtr: {
2089 const DataLayout &DL = *TM.getDataLayout();
2090
2091 // Handle casts to pointers by changing them into casts to the appropriate
2092 // integer type. This promotes constant folding and simplifies this code.
2093 Constant *Op = CE->getOperand(0);
2094 Op = ConstantExpr::getIntegerCast(Op, DL.getIntPtrType(CV->getType()),
2095 false/*ZExt*/);
2096 return lowerConstantForGV(Op, ProcessingGeneric);
2097 }
2098
2099 case Instruction::PtrToInt: {
2100 const DataLayout &DL = *TM.getDataLayout();
2101
2102 // Support only foldable casts to/from pointers that can be eliminated by
2103 // changing the pointer to the appropriately sized integer type.
2104 Constant *Op = CE->getOperand(0);
2105 Type *Ty = CE->getType();
2106
2107 const MCExpr *OpExpr = lowerConstantForGV(Op, ProcessingGeneric);
2108
2109 // We can emit the pointer value into this slot if the slot is an
2110 // integer slot equal to the size of the pointer.
2111 if (DL.getTypeAllocSize(Ty) == DL.getTypeAllocSize(Op->getType()))
2112 return OpExpr;
2113
2114 // Otherwise the pointer is smaller than the resultant integer, mask off
2115 // the high bits so we are sure to get a proper truncation if the input is
2116 // a constant expr.
2117 unsigned InBits = DL.getTypeAllocSizeInBits(Op->getType());
Jim Grosbach13760bd2015-05-30 01:25:56 +00002118 const MCExpr *MaskExpr = MCConstantExpr::create(~0ULL >> (64-InBits), Ctx);
2119 return MCBinaryExpr::createAnd(OpExpr, MaskExpr, Ctx);
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002120 }
2121
2122 // The MC library also has a right-shift operator, but it isn't consistently
2123 // signed or unsigned between different targets.
2124 case Instruction::Add: {
2125 const MCExpr *LHS = lowerConstantForGV(CE->getOperand(0), ProcessingGeneric);
2126 const MCExpr *RHS = lowerConstantForGV(CE->getOperand(1), ProcessingGeneric);
2127 switch (CE->getOpcode()) {
2128 default: llvm_unreachable("Unknown binary operator constant cast expr");
Jim Grosbach13760bd2015-05-30 01:25:56 +00002129 case Instruction::Add: return MCBinaryExpr::createAdd(LHS, RHS, Ctx);
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002130 }
2131 }
2132 }
2133}
2134
2135// Copy of MCExpr::print customized for NVPTX
2136void NVPTXAsmPrinter::printMCExpr(const MCExpr &Expr, raw_ostream &OS) {
2137 switch (Expr.getKind()) {
2138 case MCExpr::Target:
Matt Arsenault8b643552015-06-09 00:31:39 +00002139 return cast<MCTargetExpr>(&Expr)->printImpl(OS, MAI);
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002140 case MCExpr::Constant:
2141 OS << cast<MCConstantExpr>(Expr).getValue();
2142 return;
2143
2144 case MCExpr::SymbolRef: {
2145 const MCSymbolRefExpr &SRE = cast<MCSymbolRefExpr>(Expr);
2146 const MCSymbol &Sym = SRE.getSymbol();
Matt Arsenault8b643552015-06-09 00:31:39 +00002147 Sym.print(OS, MAI);
Justin Holewinski3d2a9762015-04-28 17:18:30 +00002148 return;
2149 }
2150
2151 case MCExpr::Unary: {
2152 const MCUnaryExpr &UE = cast<MCUnaryExpr>(Expr);
2153 switch (UE.getOpcode()) {
2154 case MCUnaryExpr::LNot: OS << '!'; break;
2155 case MCUnaryExpr::Minus: OS << '-'; break;
2156 case MCUnaryExpr::Not: OS << '~'; break;
2157 case MCUnaryExpr::Plus: OS << '+'; break;
2158 }
2159 printMCExpr(*UE.getSubExpr(), OS);
2160 return;
2161 }
2162
2163 case MCExpr::Binary: {
2164 const MCBinaryExpr &BE = cast<MCBinaryExpr>(Expr);
2165
2166 // Only print parens around the LHS if it is non-trivial.
2167 if (isa<MCConstantExpr>(BE.getLHS()) || isa<MCSymbolRefExpr>(BE.getLHS()) ||
2168 isa<NVPTXGenericMCSymbolRefExpr>(BE.getLHS())) {
2169 printMCExpr(*BE.getLHS(), OS);
2170 } else {
2171 OS << '(';
2172 printMCExpr(*BE.getLHS(), OS);
2173 OS<< ')';
2174 }
2175
2176 switch (BE.getOpcode()) {
2177 case MCBinaryExpr::Add:
2178 // Print "X-42" instead of "X+-42".
2179 if (const MCConstantExpr *RHSC = dyn_cast<MCConstantExpr>(BE.getRHS())) {
2180 if (RHSC->getValue() < 0) {
2181 OS << RHSC->getValue();
2182 return;
2183 }
2184 }
2185
2186 OS << '+';
2187 break;
2188 default: llvm_unreachable("Unhandled binary operator");
2189 }
2190
2191 // Only print parens around the LHS if it is non-trivial.
2192 if (isa<MCConstantExpr>(BE.getRHS()) || isa<MCSymbolRefExpr>(BE.getRHS())) {
2193 printMCExpr(*BE.getRHS(), OS);
2194 } else {
2195 OS << '(';
2196 printMCExpr(*BE.getRHS(), OS);
2197 OS << ')';
2198 }
2199 return;
2200 }
2201 }
2202
2203 llvm_unreachable("Invalid expression kind!");
2204}
2205
Justin Holewinskiaaa8b6e2013-08-24 01:17:23 +00002206/// PrintAsmOperand - Print out an operand for an inline asm expression.
2207///
2208bool NVPTXAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
2209 unsigned AsmVariant,
2210 const char *ExtraCode, raw_ostream &O) {
2211 if (ExtraCode && ExtraCode[0]) {
2212 if (ExtraCode[1] != 0)
2213 return true; // Unknown modifier.
2214
2215 switch (ExtraCode[0]) {
2216 default:
2217 // See if this is a generic print operand
2218 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, O);
2219 case 'r':
2220 break;
2221 }
2222 }
2223
2224 printOperand(MI, OpNo, O);
2225
2226 return false;
2227}
2228
2229bool NVPTXAsmPrinter::PrintAsmMemoryOperand(
2230 const MachineInstr *MI, unsigned OpNo, unsigned AsmVariant,
2231 const char *ExtraCode, raw_ostream &O) {
2232 if (ExtraCode && ExtraCode[0])
2233 return true; // Unknown modifier
2234
2235 O << '[';
2236 printMemOperand(MI, OpNo, O);
2237 O << ']';
2238
2239 return false;
2240}
2241
2242void NVPTXAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
2243 raw_ostream &O, const char *Modifier) {
2244 const MachineOperand &MO = MI->getOperand(opNum);
2245 switch (MO.getType()) {
2246 case MachineOperand::MO_Register:
2247 if (TargetRegisterInfo::isPhysicalRegister(MO.getReg())) {
2248 if (MO.getReg() == NVPTX::VRDepot)
2249 O << DEPOTNAME << getFunctionNumber();
2250 else
2251 O << NVPTXInstPrinter::getRegisterName(MO.getReg());
2252 } else {
Justin Holewinski660597d2013-10-11 12:39:36 +00002253 emitVirtualRegister(MO.getReg(), O);
Justin Holewinskiaaa8b6e2013-08-24 01:17:23 +00002254 }
2255 return;
2256
2257 case MachineOperand::MO_Immediate:
2258 if (!Modifier)
2259 O << MO.getImm();
2260 else if (strstr(Modifier, "vec") == Modifier)
2261 printVecModifiedImmediate(MO, Modifier, O);
2262 else
2263 llvm_unreachable(
2264 "Don't know how to handle modifier on immediate operand");
2265 return;
2266
2267 case MachineOperand::MO_FPImmediate:
2268 printFPConstant(MO.getFPImm(), O);
2269 break;
2270
2271 case MachineOperand::MO_GlobalAddress:
Matt Arsenault8b643552015-06-09 00:31:39 +00002272 getSymbol(MO.getGlobal())->print(O, MAI);
Justin Holewinskiaaa8b6e2013-08-24 01:17:23 +00002273 break;
2274
Justin Holewinskiaaa8b6e2013-08-24 01:17:23 +00002275 case MachineOperand::MO_MachineBasicBlock:
Matt Arsenault8b643552015-06-09 00:31:39 +00002276 MO.getMBB()->getSymbol()->print(O, MAI);
Justin Holewinskiaaa8b6e2013-08-24 01:17:23 +00002277 return;
2278
2279 default:
2280 llvm_unreachable("Operand type not supported.");
2281 }
2282}
2283
2284void NVPTXAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
2285 raw_ostream &O, const char *Modifier) {
2286 printOperand(MI, opNum, O);
2287
2288 if (Modifier && !strcmp(Modifier, "add")) {
2289 O << ", ";
2290 printOperand(MI, opNum + 1, O);
2291 } else {
2292 if (MI->getOperand(opNum + 1).isImm() &&
2293 MI->getOperand(opNum + 1).getImm() == 0)
2294 return; // don't print ',0' or '+0'
2295 O << "+";
2296 printOperand(MI, opNum + 1, O);
2297 }
2298}
2299
Justin Holewinskiae556d32012-05-04 20:18:50 +00002300void NVPTXAsmPrinter::emitSrcInText(StringRef filename, unsigned line) {
2301 std::stringstream temp;
Yaron Keren075759a2015-03-30 15:42:36 +00002302 LineReader *reader = this->getReader(filename);
Justin Holewinskiae556d32012-05-04 20:18:50 +00002303 temp << "\n//";
2304 temp << filename.str();
2305 temp << ":";
2306 temp << line;
2307 temp << " ";
2308 temp << reader->readLine(line);
2309 temp << "\n";
Lang Hames9ff69c82015-04-24 19:11:51 +00002310 this->OutStreamer->EmitRawText(temp.str());
Justin Holewinskiae556d32012-05-04 20:18:50 +00002311}
2312
Justin Holewinskiae556d32012-05-04 20:18:50 +00002313LineReader *NVPTXAsmPrinter::getReader(std::string filename) {
Craig Topper062a2ba2014-04-25 05:30:21 +00002314 if (!reader) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00002315 reader = new LineReader(filename);
Justin Holewinskiae556d32012-05-04 20:18:50 +00002316 }
2317
2318 if (reader->fileName() != filename) {
2319 delete reader;
Justin Holewinski0497ab12013-03-30 14:29:21 +00002320 reader = new LineReader(filename);
Justin Holewinskiae556d32012-05-04 20:18:50 +00002321 }
2322
2323 return reader;
2324}
2325
Justin Holewinski0497ab12013-03-30 14:29:21 +00002326std::string LineReader::readLine(unsigned lineNum) {
Justin Holewinskiae556d32012-05-04 20:18:50 +00002327 if (lineNum < theCurLine) {
2328 theCurLine = 0;
Justin Holewinski0497ab12013-03-30 14:29:21 +00002329 fstr.seekg(0, std::ios::beg);
Justin Holewinskiae556d32012-05-04 20:18:50 +00002330 }
2331 while (theCurLine < lineNum) {
Justin Holewinski0497ab12013-03-30 14:29:21 +00002332 fstr.getline(buff, 500);
Justin Holewinskiae556d32012-05-04 20:18:50 +00002333 theCurLine++;
2334 }
2335 return buff;
2336}
2337
2338// Force static initialization.
2339extern "C" void LLVMInitializeNVPTXAsmPrinter() {
2340 RegisterAsmPrinter<NVPTXAsmPrinter> X(TheNVPTXTarget32);
2341 RegisterAsmPrinter<NVPTXAsmPrinter> Y(TheNVPTXTarget64);
2342}