blob: 0b07f749b3e4eb90017ccbbb81395f960786174c [file] [log] [blame]
Nick Lewyckyf7a3c502010-09-07 18:14:24 +00001//===-- PTXAsmPrinter.cpp - PTX 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 PTX assembly language.
12//
13//===----------------------------------------------------------------------===//
14
Che-Liang Chioudf659632010-11-08 03:06:08 +000015#define DEBUG_TYPE "ptx-asm-printer"
16
Nick Lewyckyf7a3c502010-09-07 18:14:24 +000017#include "PTX.h"
Che-Liang Chioudf659632010-11-08 03:06:08 +000018#include "PTXMachineFunctionInfo.h"
Nick Lewyckyf7a3c502010-09-07 18:14:24 +000019#include "PTXTargetMachine.h"
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000020#include "llvm/DerivedTypes.h"
21#include "llvm/Module.h"
Eric Christopher50880d02010-09-18 18:52:28 +000022#include "llvm/ADT/SmallString.h"
Che-Liang Chioudf659632010-11-08 03:06:08 +000023#include "llvm/ADT/StringExtras.h"
24#include "llvm/ADT/Twine.h"
Nick Lewyckyf7a3c502010-09-07 18:14:24 +000025#include "llvm/CodeGen/AsmPrinter.h"
Eric Christopher50880d02010-09-18 18:52:28 +000026#include "llvm/CodeGen/MachineInstr.h"
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000027#include "llvm/CodeGen/MachineRegisterInfo.h"
Eric Christopher50880d02010-09-18 18:52:28 +000028#include "llvm/MC/MCStreamer.h"
Che-Liang Chioudf659632010-11-08 03:06:08 +000029#include "llvm/MC/MCSymbol.h"
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000030#include "llvm/Target/Mangler.h"
Che-Liang Chioudf659632010-11-08 03:06:08 +000031#include "llvm/Target/TargetLoweringObjectFile.h"
Nick Lewyckyf7a3c502010-09-07 18:14:24 +000032#include "llvm/Target/TargetRegistry.h"
Che-Liang Chiou21d8b9b2010-11-30 10:14:14 +000033#include "llvm/Support/CommandLine.h"
Che-Liang Chioudf659632010-11-08 03:06:08 +000034#include "llvm/Support/Debug.h"
35#include "llvm/Support/ErrorHandling.h"
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000036#include "llvm/Support/MathExtras.h"
Che-Liang Chioudf659632010-11-08 03:06:08 +000037#include "llvm/Support/raw_ostream.h"
Nick Lewyckyf7a3c502010-09-07 18:14:24 +000038
39using namespace llvm;
40
41namespace {
Che-Liang Chioudf659632010-11-08 03:06:08 +000042class PTXAsmPrinter : public AsmPrinter {
43public:
44 explicit PTXAsmPrinter(TargetMachine &TM, MCStreamer &Streamer)
45 : AsmPrinter(TM, Streamer) {}
Eric Christopher50880d02010-09-18 18:52:28 +000046
Che-Liang Chioudf659632010-11-08 03:06:08 +000047 const char *getPassName() const { return "PTX Assembly Printer"; }
Eric Christopher50880d02010-09-18 18:52:28 +000048
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000049 bool doFinalization(Module &M);
50
Che-Liang Chiou21d8b9b2010-11-30 10:14:14 +000051 virtual void EmitStartOfAsmFile(Module &M);
52
Che-Liang Chioudf659632010-11-08 03:06:08 +000053 virtual bool runOnMachineFunction(MachineFunction &MF);
Che-Liang Chioub48f2c22010-10-19 13:14:40 +000054
Che-Liang Chioudf659632010-11-08 03:06:08 +000055 virtual void EmitFunctionBodyStart();
56 virtual void EmitFunctionBodyEnd() { OutStreamer.EmitRawText(Twine("}")); }
57
58 virtual void EmitInstruction(const MachineInstr *MI);
59
60 void printOperand(const MachineInstr *MI, int opNum, raw_ostream &OS);
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000061 void printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &OS,
62 const char *Modifier = 0);
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +000063 void printParamOperand(const MachineInstr *MI, int opNum, raw_ostream &OS,
64 const char *Modifier = 0);
Che-Liang Chiouc2ec0f92011-03-13 17:26:00 +000065 void printPredicateOperand(const MachineInstr *MI, raw_ostream &O);
Che-Liang Chioudf659632010-11-08 03:06:08 +000066
67 // autogen'd.
68 void printInstruction(const MachineInstr *MI, raw_ostream &OS);
69 static const char *getRegisterName(unsigned RegNo);
70
71private:
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000072 void EmitVariableDeclaration(const GlobalVariable *gv);
Che-Liang Chioudf659632010-11-08 03:06:08 +000073 void EmitFunctionDeclaration();
74}; // class PTXAsmPrinter
Nick Lewyckyf7a3c502010-09-07 18:14:24 +000075} // namespace
76
Che-Liang Chioudf659632010-11-08 03:06:08 +000077static const char PARAM_PREFIX[] = "__param_";
78
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000079static const char *getRegisterTypeName(unsigned RegNo) {
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000080#define TEST_REGCLS(cls, clsstr) \
Che-Liang Chioudf659632010-11-08 03:06:08 +000081 if (PTX::cls ## RegisterClass->contains(RegNo)) return # clsstr;
Che-Liang Chiou3f409f72010-11-17 08:08:49 +000082 TEST_REGCLS(Preds, pred);
Che-Liang Chioufd8978b2011-03-02 03:20:28 +000083 TEST_REGCLS(RRegu16, u16);
84 TEST_REGCLS(RRegu32, u32);
85 TEST_REGCLS(RRegu64, u64);
86 TEST_REGCLS(RRegf32, f32);
87 TEST_REGCLS(RRegf64, f64);
Che-Liang Chioudf659632010-11-08 03:06:08 +000088#undef TEST_REGCLS
89
90 llvm_unreachable("Not in any register class!");
91 return NULL;
92}
93
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000094static const char *getInstructionTypeName(const MachineInstr *MI) {
Che-Liang Chiou3f409f72010-11-17 08:08:49 +000095 for (int i = 0, e = MI->getNumOperands(); i != e; ++i) {
96 const MachineOperand &MO = MI->getOperand(i);
97 if (MO.getType() == MachineOperand::MO_Register)
98 return getRegisterTypeName(MO.getReg());
99 }
100
101 llvm_unreachable("No reg operand found in instruction!");
102 return NULL;
103}
104
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000105static const char *getStateSpaceName(unsigned addressSpace) {
Che-Liang Chioud34f19f2010-12-30 10:41:27 +0000106 switch (addressSpace) {
107 default: llvm_unreachable("Unknown state space");
108 case PTX::GLOBAL: return "global";
109 case PTX::CONSTANT: return "const";
110 case PTX::LOCAL: return "local";
111 case PTX::PARAMETER: return "param";
112 case PTX::SHARED: return "shared";
113 }
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000114 return NULL;
115}
116
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000117static const char *getTypeName(const Type* type) {
118 while (true) {
119 switch (type->getTypeID()) {
120 default: llvm_unreachable("Unknown type");
121 case Type::FloatTyID: return ".f32";
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000122 case Type::DoubleTyID: return ".f64";
123 case Type::IntegerTyID:
124 switch (type->getPrimitiveSizeInBits()) {
125 default: llvm_unreachable("Unknown integer bit-width");
126 case 16: return ".u16";
127 case 32: return ".u32";
128 case 64: return ".u64";
129 }
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000130 case Type::ArrayTyID:
131 case Type::PointerTyID:
132 type = dyn_cast<const SequentialType>(type)->getElementType();
133 break;
134 }
135 }
136 return NULL;
137}
138
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000139bool PTXAsmPrinter::doFinalization(Module &M) {
140 // XXX Temproarily remove global variables so that doFinalization() will not
141 // emit them again (global variables are emitted at beginning).
142
143 Module::GlobalListType &global_list = M.getGlobalList();
144 int i, n = global_list.size();
145 GlobalVariable **gv_array = new GlobalVariable* [n];
146
147 // first, back-up GlobalVariable in gv_array
148 i = 0;
149 for (Module::global_iterator I = global_list.begin(), E = global_list.end();
150 I != E; ++I)
151 gv_array[i++] = &*I;
152
153 // second, empty global_list
154 while (!global_list.empty())
155 global_list.remove(global_list.begin());
156
157 // call doFinalization
158 bool ret = AsmPrinter::doFinalization(M);
159
160 // now we restore global variables
161 for (i = 0; i < n; i ++)
162 global_list.insert(global_list.end(), gv_array[i]);
163
164 delete[] gv_array;
165 return ret;
166}
167
Che-Liang Chiou21d8b9b2010-11-30 10:14:14 +0000168void PTXAsmPrinter::EmitStartOfAsmFile(Module &M)
169{
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000170 const PTXSubtarget& ST = TM.getSubtarget<PTXSubtarget>();
171
172 OutStreamer.EmitRawText(Twine("\t.version " + ST.getPTXVersionString()));
173 OutStreamer.EmitRawText(Twine("\t.target " + ST.getTargetString() +
Justin Holewinski12785e82011-03-03 13:34:29 +0000174 (ST.supportsDouble() ? ""
175 : ", map_f64_to_f32")));
Che-Liang Chiou21d8b9b2010-11-30 10:14:14 +0000176 OutStreamer.AddBlankLine();
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000177
178 // declare global variables
179 for (Module::const_global_iterator i = M.global_begin(), e = M.global_end();
180 i != e; ++i)
181 EmitVariableDeclaration(i);
Che-Liang Chiou21d8b9b2010-11-30 10:14:14 +0000182}
183
Che-Liang Chioudf659632010-11-08 03:06:08 +0000184bool PTXAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
185 SetupMachineFunction(MF);
186 EmitFunctionDeclaration();
187 EmitFunctionBody();
188 return false;
189}
190
191void PTXAsmPrinter::EmitFunctionBodyStart() {
192 OutStreamer.EmitRawText(Twine("{"));
193
194 const PTXMachineFunctionInfo *MFI = MF->getInfo<PTXMachineFunctionInfo>();
195
196 // Print local variable definition
197 for (PTXMachineFunctionInfo::reg_iterator
198 i = MFI->localVarRegBegin(), e = MFI->localVarRegEnd(); i != e; ++ i) {
199 unsigned reg = *i;
200
Che-Liang Chiou3f409f72010-11-17 08:08:49 +0000201 std::string def = "\t.reg .";
Che-Liang Chioudf659632010-11-08 03:06:08 +0000202 def += getRegisterTypeName(reg);
203 def += ' ';
204 def += getRegisterName(reg);
205 def += ';';
206 OutStreamer.EmitRawText(Twine(def));
207 }
208}
209
Eric Christopher50880d02010-09-18 18:52:28 +0000210void PTXAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Che-Liang Chiou3608d2a2010-12-01 11:45:53 +0000211 std::string str;
212 str.reserve(64);
213
Che-Liang Chiou3608d2a2010-12-01 11:45:53 +0000214 raw_string_ostream OS(str);
Che-Liang Chiouc2ec0f92011-03-13 17:26:00 +0000215
216 // Emit predicate
217 printPredicateOperand(MI, OS);
218
219 // Write instruction to str
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000220 printInstruction(MI, OS);
221 OS << ';';
Che-Liang Chiou3608d2a2010-12-01 11:45:53 +0000222 OS.flush();
Che-Liang Chiou3f409f72010-11-17 08:08:49 +0000223
224 // Replace "%type" if found
Che-Liang Chiou3f409f72010-11-17 08:08:49 +0000225 size_t pos;
Che-Liang Chiou3608d2a2010-12-01 11:45:53 +0000226 if ((pos = str.find("%type")) != std::string::npos)
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +0000227 str.replace(pos, /*strlen("%type")==*/5, getInstructionTypeName(MI));
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +0000228
Che-Liang Chiou3608d2a2010-12-01 11:45:53 +0000229 StringRef strref = StringRef(str);
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +0000230 OutStreamer.EmitRawText(strref);
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000231}
232
233void PTXAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
234 raw_ostream &OS) {
235 const MachineOperand &MO = MI->getOperand(opNum);
236
237 switch (MO.getType()) {
238 default:
239 llvm_unreachable("<unknown operand type>");
240 break;
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000241 case MachineOperand::MO_GlobalAddress:
242 OS << *Mang->getSymbol(MO.getGlobal());
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000243 break;
244 case MachineOperand::MO_Immediate:
245 OS << (int) MO.getImm();
246 break;
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000247 case MachineOperand::MO_Register:
248 OS << getRegisterName(MO.getReg());
249 break;
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000250 case MachineOperand::MO_FPImmediate:
251 APInt constFP = MO.getFPImm()->getValueAPF().bitcastToAPInt();
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000252 bool isFloat = MO.getFPImm()->getType()->getTypeID() == Type::FloatTyID;
253 // Emit 0F for 32-bit floats and 0D for 64-bit doubles.
254 if (isFloat) {
255 OS << "0F";
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000256 }
257 else {
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000258 OS << "0D";
259 }
260 // Emit the encoded floating-point value.
261 if (constFP.getZExtValue() > 0) {
262 OS << constFP.toString(16, false);
263 }
264 else {
265 OS << "00000000";
266 // If We have a double-precision zero, pad to 8-bytes.
267 if (!isFloat) {
268 OS << "00000000";
269 }
Che-Liang Chiouf7172022011-02-28 06:34:09 +0000270 }
271 break;
Che-Liang Chioub48f2c22010-10-19 13:14:40 +0000272 }
Eric Christopher50880d02010-09-18 18:52:28 +0000273}
274
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +0000275void PTXAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
276 raw_ostream &OS, const char *Modifier) {
277 printOperand(MI, opNum, OS);
278
279 if (MI->getOperand(opNum+1).isImm() && MI->getOperand(opNum+1).getImm() == 0)
280 return; // don't print "+0"
281
282 OS << "+";
283 printOperand(MI, opNum+1, OS);
284}
285
Che-Liang Chiou8e5d01c2011-02-10 12:01:24 +0000286void PTXAsmPrinter::printParamOperand(const MachineInstr *MI, int opNum,
287 raw_ostream &OS, const char *Modifier) {
288 OS << PARAM_PREFIX << (int) MI->getOperand(opNum).getImm() + 1;
289}
290
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000291void PTXAsmPrinter::EmitVariableDeclaration(const GlobalVariable *gv) {
292 // Check to see if this is a special global used by LLVM, if so, emit it.
293 if (EmitSpecialLLVMGlobal(gv))
294 return;
295
296 MCSymbol *gvsym = Mang->getSymbol(gv);
297
298 assert(gvsym->isUndefined() && "Cannot define a symbol twice!");
299
300 std::string decl;
301
302 // check if it is defined in some other translation unit
303 if (gv->isDeclaration())
304 decl += ".extern ";
305
306 // state space: e.g., .global
307 decl += ".";
308 decl += getStateSpaceName(gv->getType()->getAddressSpace());
309 decl += " ";
310
311 // alignment (optional)
312 unsigned alignment = gv->getAlignment();
313 if (alignment != 0) {
314 decl += ".align ";
315 decl += utostr(Log2_32(gv->getAlignment()));
316 decl += " ";
317 }
318
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000319
Justin Holewinskiae3ce172011-03-14 15:40:11 +0000320 if (PointerType::classof(gv->getType())) {
321 const PointerType* pointerTy = dyn_cast<const PointerType>(gv->getType());
322 const Type* elementTy = pointerTy->getElementType();
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000323
Justin Holewinskiae3ce172011-03-14 15:40:11 +0000324 assert(elementTy->isArrayTy() && "Only pointers to arrays are supported");
325
326 const ArrayType* arrayTy = dyn_cast<const ArrayType>(elementTy);
327 elementTy = arrayTy->getElementType();
328
329 // FIXME: isPrimitiveType() == false for i16?
330 assert(elementTy->isSingleValueType() &&
331 "Non-primitive types are not handled");
332
333 // Compute the size of the array, in bytes.
334 uint64_t arraySize = (elementTy->getPrimitiveSizeInBits() >> 3)
335 * arrayTy->getNumElements();
336
337 decl += ".b8 ";
338 decl += gvsym->getName();
339 decl += "[";
340 decl += utostr(arraySize);
341 decl += "]";
342 }
343 else {
344 // Note: this is currently the fall-through case and most likely generates
345 // incorrect code.
346 decl += getTypeName(gv->getType());
347 decl += " ";
348
349 decl += gvsym->getName();
350
351 if (ArrayType::classof(gv->getType()) ||
352 PointerType::classof(gv->getType()))
353 decl += "[]";
354 }
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000355
356 decl += ";";
357
358 OutStreamer.EmitRawText(Twine(decl));
359
360 OutStreamer.AddBlankLine();
361}
362
Che-Liang Chioudf659632010-11-08 03:06:08 +0000363void PTXAsmPrinter::EmitFunctionDeclaration() {
364 // The function label could have already been emitted if two symbols end up
365 // conflicting due to asm renaming. Detect this and emit an error.
366 if (!CurrentFnSym->isUndefined()) {
367 report_fatal_error("'" + Twine(CurrentFnSym->getName()) +
368 "' label emitted multiple times to assembly file");
369 return;
370 }
371
372 const PTXMachineFunctionInfo *MFI = MF->getInfo<PTXMachineFunctionInfo>();
373 const bool isKernel = MFI->isKernel();
374 unsigned reg;
375
376 std::string decl = isKernel ? ".entry" : ".func";
377
378 // Print return register
379 reg = MFI->retReg();
380 if (!isKernel && reg != PTX::NoRegister) {
Che-Liang Chiou3f409f72010-11-17 08:08:49 +0000381 decl += " (.reg ."; // FIXME: could it return in .param space?
Che-Liang Chioudf659632010-11-08 03:06:08 +0000382 decl += getRegisterTypeName(reg);
383 decl += " ";
384 decl += getRegisterName(reg);
385 decl += ")";
386 }
387
388 // Print function name
389 decl += " ";
390 decl += CurrentFnSym->getName().str();
391
392 // Print parameter list
393 if (!MFI->argRegEmpty()) {
394 decl += " (";
395 if (isKernel) {
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000396 unsigned cnt = 0;
397 //for (int i = 0, e = MFI->getNumArg(); i != e; ++i) {
Che-Liang Chiouf48817c2011-03-02 07:36:48 +0000398 for(PTXMachineFunctionInfo::reg_reverse_iterator
Che-Liang Chiou31c488c2011-03-02 07:58:46 +0000399 i = MFI->argRegReverseBegin(), e = MFI->argRegReverseEnd(), b = i;
400 i != e; ++i) {
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000401 reg = *i;
402 assert(reg != PTX::NoRegister && "Not a valid register!");
403 if (i != b)
Che-Liang Chioudf659632010-11-08 03:06:08 +0000404 decl += ", ";
Che-Liang Chiouf48817c2011-03-02 07:36:48 +0000405 decl += ".param .";
406 decl += getRegisterTypeName(reg);
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000407 decl += " ";
Che-Liang Chioudf659632010-11-08 03:06:08 +0000408 decl += PARAM_PREFIX;
Che-Liang Chioufd8978b2011-03-02 03:20:28 +0000409 decl += utostr(++cnt);
Che-Liang Chioudf659632010-11-08 03:06:08 +0000410 }
411 } else {
Che-Liang Chiouf48817c2011-03-02 07:36:48 +0000412 for (PTXMachineFunctionInfo::reg_reverse_iterator
Che-Liang Chiou31c488c2011-03-02 07:58:46 +0000413 i = MFI->argRegReverseBegin(), e = MFI->argRegReverseEnd(), b = i;
414 i != e; ++i) {
Che-Liang Chioudf659632010-11-08 03:06:08 +0000415 reg = *i;
416 assert(reg != PTX::NoRegister && "Not a valid register!");
417 if (i != b)
418 decl += ", ";
Che-Liang Chiou3f409f72010-11-17 08:08:49 +0000419 decl += ".reg .";
Che-Liang Chioudf659632010-11-08 03:06:08 +0000420 decl += getRegisterTypeName(reg);
421 decl += " ";
422 decl += getRegisterName(reg);
423 }
424 }
425 decl += ")";
426 }
427
428 OutStreamer.EmitRawText(Twine(decl));
429}
430
Che-Liang Chiouc2ec0f92011-03-13 17:26:00 +0000431void PTXAsmPrinter::
432printPredicateOperand(const MachineInstr *MI, raw_ostream &O) {
433 int i = MI->findFirstPredOperandIdx();
434 if (i == -1)
435 llvm_unreachable("missing predicate operand");
436
437 unsigned reg = MI->getOperand(i).getReg();
438 int predOp = MI->getOperand(i+1).getImm();
439
440 DEBUG(dbgs() << "predicate: (" << reg << ", " << predOp << ")\n");
441
Che-Liang Chiouf78847e2011-03-14 11:26:01 +0000442 if (reg != PTX::NoRegister) {
Che-Liang Chiouc2ec0f92011-03-13 17:26:00 +0000443 O << '@';
444 if (predOp == PTX::PRED_NEGATE)
445 O << '!';
446 O << getRegisterName(reg);
447 }
448}
449
Eric Christopher50880d02010-09-18 18:52:28 +0000450#include "PTXGenAsmWriter.inc"
451
Nick Lewyckyf7a3c502010-09-07 18:14:24 +0000452// Force static initialization.
Eric Christopher50880d02010-09-18 18:52:28 +0000453extern "C" void LLVMInitializePTXAsmPrinter() {
Nick Lewyckyf7a3c502010-09-07 18:14:24 +0000454 RegisterAsmPrinter<PTXAsmPrinter> X(ThePTXTarget);
455}