1 //===-- PTXAsmPrinter.cpp - PTX LLVM assembly writer ----------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains a printer that converts from our internal representation
11 // of machine-dependent LLVM code to PTX assembly language.
13 //===----------------------------------------------------------------------===//
15 #define DEBUG_TYPE "ptx-asm-printer"
18 #include "PTXAsmPrinter.h"
19 #include "PTXMachineFunctionInfo.h"
20 #include "PTXParamManager.h"
21 #include "PTXRegisterInfo.h"
22 #include "PTXTargetMachine.h"
23 #include "llvm/Argument.h"
24 #include "llvm/DerivedTypes.h"
25 #include "llvm/Function.h"
26 #include "llvm/Module.h"
27 #include "llvm/ADT/SmallString.h"
28 #include "llvm/ADT/StringExtras.h"
29 #include "llvm/ADT/Twine.h"
30 #include "llvm/Analysis/DebugInfo.h"
31 #include "llvm/CodeGen/AsmPrinter.h"
32 #include "llvm/CodeGen/MachineFrameInfo.h"
33 #include "llvm/CodeGen/MachineInstr.h"
34 #include "llvm/CodeGen/MachineRegisterInfo.h"
35 #include "llvm/MC/MCContext.h"
36 #include "llvm/MC/MCExpr.h"
37 #include "llvm/MC/MCInst.h"
38 #include "llvm/MC/MCStreamer.h"
39 #include "llvm/MC/MCSymbol.h"
40 #include "llvm/Target/Mangler.h"
41 #include "llvm/Target/TargetLoweringObjectFile.h"
42 #include "llvm/Support/CommandLine.h"
43 #include "llvm/Support/Debug.h"
44 #include "llvm/Support/ErrorHandling.h"
45 #include "llvm/Support/MathExtras.h"
46 #include "llvm/Support/Path.h"
47 #include "llvm/Support/TargetRegistry.h"
48 #include "llvm/Support/raw_ostream.h"
52 static const char PARAM_PREFIX[] = "__param_";
53 static const char RETURN_PREFIX[] = "__ret_";
55 static const char *getRegisterTypeName(unsigned RegNo,
56 const MachineRegisterInfo& MRI) {
57 const TargetRegisterClass *TRC = MRI.getRegClass(RegNo);
59 #define TEST_REGCLS(cls, clsstr) \
60 if (PTX::cls ## RegisterClass == TRC) return # clsstr;
62 TEST_REGCLS(RegPred, pred);
63 TEST_REGCLS(RegI16, b16);
64 TEST_REGCLS(RegI32, b32);
65 TEST_REGCLS(RegI64, b64);
66 TEST_REGCLS(RegF32, b32);
67 TEST_REGCLS(RegF64, b64);
70 llvm_unreachable("Not in any register class!");
74 static const char *getStateSpaceName(unsigned addressSpace) {
75 switch (addressSpace) {
76 default: llvm_unreachable("Unknown state space");
77 case PTXStateSpace::Global: return "global";
78 case PTXStateSpace::Constant: return "const";
79 case PTXStateSpace::Local: return "local";
80 case PTXStateSpace::Parameter: return "param";
81 case PTXStateSpace::Shared: return "shared";
86 static const char *getTypeName(Type* type) {
88 switch (type->getTypeID()) {
89 default: llvm_unreachable("Unknown type");
90 case Type::FloatTyID: return ".f32";
91 case Type::DoubleTyID: return ".f64";
92 case Type::IntegerTyID:
93 switch (type->getPrimitiveSizeInBits()) {
94 default: llvm_unreachable("Unknown integer bit-width");
95 case 16: return ".u16";
96 case 32: return ".u32";
97 case 64: return ".u64";
100 case Type::PointerTyID:
101 type = dyn_cast<SequentialType>(type)->getElementType();
108 bool PTXAsmPrinter::doFinalization(Module &M) {
109 // XXX Temproarily remove global variables so that doFinalization() will not
110 // emit them again (global variables are emitted at beginning).
112 Module::GlobalListType &global_list = M.getGlobalList();
113 int i, n = global_list.size();
114 GlobalVariable **gv_array = new GlobalVariable* [n];
116 // first, back-up GlobalVariable in gv_array
118 for (Module::global_iterator I = global_list.begin(), E = global_list.end();
122 // second, empty global_list
123 while (!global_list.empty())
124 global_list.remove(global_list.begin());
126 // call doFinalization
127 bool ret = AsmPrinter::doFinalization(M);
129 // now we restore global variables
130 for (i = 0; i < n; i ++)
131 global_list.insert(global_list.end(), gv_array[i]);
137 void PTXAsmPrinter::EmitStartOfAsmFile(Module &M)
139 const PTXSubtarget& ST = TM.getSubtarget<PTXSubtarget>();
141 // Emit the PTX .version and .target attributes
142 OutStreamer.EmitRawText(Twine("\t.version " + ST.getPTXVersionString()));
143 OutStreamer.EmitRawText(Twine("\t.target " + ST.getTargetString() +
144 (ST.supportsDouble() ? ""
145 : ", map_f64_to_f32")));
146 // .address_size directive is optional, but it must immediately follow
147 // the .target directive if present within a module
148 if (ST.supportsPTX23()) {
149 std::string addrSize = ST.is64Bit() ? "64" : "32";
150 OutStreamer.EmitRawText(Twine("\t.address_size " + addrSize));
153 OutStreamer.AddBlankLine();
155 // Define any .file directives
156 DebugInfoFinder DbgFinder;
157 DbgFinder.processModule(M);
159 for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
160 E = DbgFinder.compile_unit_end(); I != E; ++I) {
161 DICompileUnit DIUnit(*I);
162 StringRef FN = DIUnit.getFilename();
163 StringRef Dir = DIUnit.getDirectory();
164 GetOrCreateSourceID(FN, Dir);
167 OutStreamer.AddBlankLine();
169 // declare global variables
170 for (Module::const_global_iterator i = M.global_begin(), e = M.global_end();
172 EmitVariableDeclaration(i);
175 void PTXAsmPrinter::EmitFunctionBodyStart() {
176 OutStreamer.EmitRawText(Twine("{"));
178 const PTXMachineFunctionInfo *MFI = MF->getInfo<PTXMachineFunctionInfo>();
179 const PTXParamManager &PM = MFI->getParamManager();
181 // Print register definitions
186 numRegs = MFI->getNumRegistersForClass(PTX::RegPredRegisterClass);
188 regDefs += "\t.reg .pred %p<";
189 regDefs += utostr(numRegs);
194 numRegs = MFI->getNumRegistersForClass(PTX::RegI16RegisterClass);
196 regDefs += "\t.reg .b16 %rh<";
197 regDefs += utostr(numRegs);
202 numRegs = MFI->getNumRegistersForClass(PTX::RegI32RegisterClass);
204 regDefs += "\t.reg .b32 %r<";
205 regDefs += utostr(numRegs);
210 numRegs = MFI->getNumRegistersForClass(PTX::RegI64RegisterClass);
212 regDefs += "\t.reg .b64 %rd<";
213 regDefs += utostr(numRegs);
218 numRegs = MFI->getNumRegistersForClass(PTX::RegF32RegisterClass);
220 regDefs += "\t.reg .f32 %f<";
221 regDefs += utostr(numRegs);
226 numRegs = MFI->getNumRegistersForClass(PTX::RegF64RegisterClass);
228 regDefs += "\t.reg .f64 %fd<";
229 regDefs += utostr(numRegs);
234 for (PTXParamManager::param_iterator i = PM.local_begin(), e = PM.local_end();
236 regDefs += "\t.param .b";
237 regDefs += utostr(PM.getParamSize(*i));
239 regDefs += PM.getParamName(*i);
243 OutStreamer.EmitRawText(Twine(regDefs));
246 const MachineFrameInfo* FrameInfo = MF->getFrameInfo();
247 DEBUG(dbgs() << "Have " << FrameInfo->getNumObjects()
248 << " frame object(s)\n");
249 for (unsigned i = 0, e = FrameInfo->getNumObjects(); i != e; ++i) {
250 DEBUG(dbgs() << "Size of object: " << FrameInfo->getObjectSize(i) << "\n");
251 if (FrameInfo->getObjectSize(i) > 0) {
252 std::string def = "\t.local .align ";
253 def += utostr(FrameInfo->getObjectAlignment(i));
258 def += utostr(FrameInfo->getObjectSize(i)); // Convert to bits
261 OutStreamer.EmitRawText(Twine(def));
265 //unsigned Index = 1;
266 // Print parameter passing params
267 //for (PTXMachineFunctionInfo::param_iterator
268 // i = MFI->paramBegin(), e = MFI->paramEnd(); i != e; ++i) {
269 // std::string def = "\t.param .b";
270 // def += utostr(*i);
272 // def += utostr(Index);
275 // OutStreamer.EmitRawText(Twine(def));
279 void PTXAsmPrinter::EmitFunctionBodyEnd() {
280 OutStreamer.EmitRawText(Twine("}"));
283 void PTXAsmPrinter::EmitInstruction(const MachineInstr *MI) {
285 LowerPTXMachineInstrToMCInst(MI, TmpInst, *this);
286 OutStreamer.EmitInstruction(TmpInst);
289 void PTXAsmPrinter::EmitVariableDeclaration(const GlobalVariable *gv) {
290 // Check to see if this is a special global used by LLVM, if so, emit it.
291 if (EmitSpecialLLVMGlobal(gv))
294 MCSymbol *gvsym = Mang->getSymbol(gv);
296 assert(gvsym->isUndefined() && "Cannot define a symbol twice!");
300 // check if it is defined in some other translation unit
301 if (gv->isDeclaration())
304 // state space: e.g., .global
306 decl += getStateSpaceName(gv->getType()->getAddressSpace());
309 // alignment (optional)
310 unsigned alignment = gv->getAlignment();
311 if (alignment != 0) {
313 decl += utostr(gv->getAlignment());
318 if (PointerType::classof(gv->getType())) {
319 PointerType* pointerTy = dyn_cast<PointerType>(gv->getType());
320 Type* elementTy = pointerTy->getElementType();
323 decl += gvsym->getName();
326 if (elementTy->isArrayTy())
328 assert(elementTy->isArrayTy() && "Only pointers to arrays are supported");
330 ArrayType* arrayTy = dyn_cast<ArrayType>(elementTy);
331 elementTy = arrayTy->getElementType();
333 unsigned numElements = arrayTy->getNumElements();
335 while (elementTy->isArrayTy()) {
337 arrayTy = dyn_cast<ArrayType>(elementTy);
338 elementTy = arrayTy->getElementType();
340 numElements *= arrayTy->getNumElements();
343 // FIXME: isPrimitiveType() == false for i16?
344 assert(elementTy->isSingleValueType() &&
345 "Non-primitive types are not handled");
347 // Compute the size of the array, in bytes.
348 uint64_t arraySize = (elementTy->getPrimitiveSizeInBits() >> 3)
351 decl += utostr(arraySize);
356 // handle string constants (assume ConstantArray means string)
358 if (gv->hasInitializer())
360 const Constant *C = gv->getInitializer();
361 if (const ConstantArray *CA = dyn_cast<ConstantArray>(C))
365 for (unsigned i = 0, e = C->getNumOperands(); i != e; ++i)
367 if (i > 0) decl += ",";
370 utohexstr(cast<ConstantInt>(CA->getOperand(i))->getZExtValue());
378 // Note: this is currently the fall-through case and most likely generates
380 decl += getTypeName(gv->getType());
383 decl += gvsym->getName();
385 if (ArrayType::classof(gv->getType()) ||
386 PointerType::classof(gv->getType()))
392 OutStreamer.EmitRawText(Twine(decl));
394 OutStreamer.AddBlankLine();
397 void PTXAsmPrinter::EmitFunctionEntryLabel() {
398 // The function label could have already been emitted if two symbols end up
399 // conflicting due to asm renaming. Detect this and emit an error.
400 if (!CurrentFnSym->isUndefined()) {
401 report_fatal_error("'" + Twine(CurrentFnSym->getName()) +
402 "' label emitted multiple times to assembly file");
406 const PTXMachineFunctionInfo *MFI = MF->getInfo<PTXMachineFunctionInfo>();
407 const PTXParamManager &PM = MFI->getParamManager();
408 const bool isKernel = MFI->isKernel();
409 const PTXSubtarget& ST = TM.getSubtarget<PTXSubtarget>();
410 const MachineRegisterInfo& MRI = MF->getRegInfo();
412 std::string decl = isKernel ? ".entry" : ".func";
416 if (ST.useParamSpaceForDeviceArgs()) {
417 for (PTXParamManager::param_iterator i = PM.ret_begin(), e = PM.ret_end(),
418 b = i; i != e; ++i) {
424 decl += utostr(PM.getParamSize(*i));
426 decl += PM.getParamName(*i);
429 for (PTXMachineFunctionInfo::reg_iterator
430 i = MFI->retreg_begin(), e = MFI->retreg_end(), b = i;
436 decl += getRegisterTypeName(*i, MRI);
438 decl += MFI->getRegisterName(*i);
444 // Print function name
446 decl += CurrentFnSym->getName().str();
450 const Function *F = MF->getFunction();
453 if (isKernel || ST.useParamSpaceForDeviceArgs()) {
454 /*for (PTXParamManager::param_iterator i = PM.arg_begin(), e = PM.arg_end(),
455 b = i; i != e; ++i) {
461 decl += utostr(PM.getParamSize(*i));
463 decl += PM.getParamName(*i);
466 for (Function::const_arg_iterator i = F->arg_begin(), e = F->arg_end(),
467 b = i; i != e; ++i) {
470 const Type *ArgType = (*i).getType();
472 if (ArgType->isPointerTy()) {
478 decl += utostr(ArgType->getPrimitiveSizeInBits());
480 if (ArgType->isPointerTy() && ST.emitPtrAttribute()) {
481 const PointerType *PtrType = dyn_cast<const PointerType>(ArgType);
483 switch (PtrType->getAddressSpace()) {
485 llvm_unreachable("Unknown address space in argument");
486 case PTXStateSpace::Global:
489 case PTXStateSpace::Shared:
495 decl += utostr(Counter++);
498 for (PTXMachineFunctionInfo::reg_iterator
499 i = MFI->argreg_begin(), e = MFI->argreg_end(), b = i;
506 decl += getRegisterTypeName(*i, MRI);
508 decl += MFI->getRegisterName(*i);
513 OutStreamer.EmitRawText(Twine(decl));
516 unsigned PTXAsmPrinter::GetOrCreateSourceID(StringRef FileName,
518 // If FE did not provide a file name, then assume stdin.
519 if (FileName.empty())
520 return GetOrCreateSourceID("<stdin>", StringRef());
522 // MCStream expects full path name as filename.
523 if (!DirName.empty() && !sys::path::is_absolute(FileName)) {
524 SmallString<128> FullPathName = DirName;
525 sys::path::append(FullPathName, FileName);
526 // Here FullPathName will be copied into StringMap by GetOrCreateSourceID.
527 return GetOrCreateSourceID(StringRef(FullPathName), StringRef());
530 StringMapEntry<unsigned> &Entry = SourceIdMap.GetOrCreateValue(FileName);
531 if (Entry.getValue())
532 return Entry.getValue();
534 unsigned SrcId = SourceIdMap.size();
535 Entry.setValue(SrcId);
537 // Print out a .file directive to specify files for .loc directives.
538 OutStreamer.EmitDwarfFileDirective(SrcId, Entry.getKey());
543 MCOperand PTXAsmPrinter::GetSymbolRef(const MachineOperand &MO,
544 const MCSymbol *Symbol) {
546 Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None, OutContext);
547 return MCOperand::CreateExpr(Expr);
550 MCOperand PTXAsmPrinter::lowerOperand(const MachineOperand &MO) {
552 const PTXMachineFunctionInfo *MFI = MF->getInfo<PTXMachineFunctionInfo>();
554 const char *RegSymbolName;
555 switch (MO.getType()) {
557 llvm_unreachable("Unknown operand type");
558 case MachineOperand::MO_Register:
559 // We create register operands as symbols, since the PTXInstPrinter class
560 // has no way to map virtual registers back to a name without some ugly
562 // FIXME: Figure out a better way to handle virtual register naming.
563 RegSymbolName = MFI->getRegisterName(MO.getReg());
564 Expr = MCSymbolRefExpr::Create(RegSymbolName, MCSymbolRefExpr::VK_None,
566 MCOp = MCOperand::CreateExpr(Expr);
568 case MachineOperand::MO_Immediate:
569 MCOp = MCOperand::CreateImm(MO.getImm());
571 case MachineOperand::MO_MachineBasicBlock:
572 MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
573 MO.getMBB()->getSymbol(), OutContext));
575 case MachineOperand::MO_GlobalAddress:
576 MCOp = GetSymbolRef(MO, Mang->getSymbol(MO.getGlobal()));
578 case MachineOperand::MO_ExternalSymbol:
579 MCOp = GetSymbolRef(MO, GetExternalSymbolSymbol(MO.getSymbolName()));
581 case MachineOperand::MO_FPImmediate:
582 APFloat Val = MO.getFPImm()->getValueAPF();
584 Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
585 MCOp = MCOperand::CreateFPImm(Val.convertToDouble());
592 // Force static initialization.
593 extern "C" void LLVMInitializePTXAsmPrinter() {
594 RegisterAsmPrinter<PTXAsmPrinter> X(ThePTX32Target);
595 RegisterAsmPrinter<PTXAsmPrinter> Y(ThePTX64Target);