More dead code removal (using -Wunreachable-code)
[oota-llvm.git] / lib / Target / PTX / PTXAsmPrinter.cpp
1 //===-- 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
15 #define DEBUG_TYPE "ptx-asm-printer"
16
17 #include "PTX.h"
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/Twine.h"
29 #include "llvm/Analysis/DebugInfo.h"
30 #include "llvm/CodeGen/AsmPrinter.h"
31 #include "llvm/CodeGen/MachineFrameInfo.h"
32 #include "llvm/CodeGen/MachineInstr.h"
33 #include "llvm/CodeGen/MachineRegisterInfo.h"
34 #include "llvm/MC/MCContext.h"
35 #include "llvm/MC/MCExpr.h"
36 #include "llvm/MC/MCInst.h"
37 #include "llvm/MC/MCStreamer.h"
38 #include "llvm/MC/MCSymbol.h"
39 #include "llvm/Target/Mangler.h"
40 #include "llvm/Target/TargetLoweringObjectFile.h"
41 #include "llvm/Support/CommandLine.h"
42 #include "llvm/Support/Debug.h"
43 #include "llvm/Support/ErrorHandling.h"
44 #include "llvm/Support/MathExtras.h"
45 #include "llvm/Support/Path.h"
46 #include "llvm/Support/TargetRegistry.h"
47 #include "llvm/Support/raw_ostream.h"
48
49 using namespace llvm;
50
51 static const char PARAM_PREFIX[] = "__param_";
52 static const char RETURN_PREFIX[] = "__ret_";
53
54 static const char *getRegisterTypeName(unsigned RegType) {
55   switch (RegType) {
56   default:
57     llvm_unreachable("Unknown register type");
58   case PTXRegisterType::Pred:
59     return ".pred";
60   case PTXRegisterType::B16:
61     return ".b16";
62   case PTXRegisterType::B32:
63     return ".b32";
64   case PTXRegisterType::B64:
65     return ".b64";
66   case PTXRegisterType::F32:
67     return ".f32";
68   case PTXRegisterType::F64:
69     return ".f64";
70   }
71 }
72
73 static const char *getStateSpaceName(unsigned addressSpace) {
74   switch (addressSpace) {
75   default: llvm_unreachable("Unknown state space");
76   case PTXStateSpace::Global:    return "global";
77   case PTXStateSpace::Constant:  return "const";
78   case PTXStateSpace::Local:     return "local";
79   case PTXStateSpace::Parameter: return "param";
80   case PTXStateSpace::Shared:    return "shared";
81   }
82   return NULL;
83 }
84
85 static const char *getTypeName(Type* type) {
86   while (true) {
87     switch (type->getTypeID()) {
88       default: llvm_unreachable("Unknown type");
89       case Type::FloatTyID: return ".f32";
90       case Type::DoubleTyID: return ".f64";
91       case Type::IntegerTyID:
92         switch (type->getPrimitiveSizeInBits()) {
93           default: llvm_unreachable("Unknown integer bit-width");
94           case 16: return ".u16";
95           case 32: return ".u32";
96           case 64: return ".u64";
97         }
98       case Type::ArrayTyID:
99       case Type::PointerTyID:
100         type = dyn_cast<SequentialType>(type)->getElementType();
101         break;
102     }
103   }
104   return NULL;
105 }
106
107 bool PTXAsmPrinter::doFinalization(Module &M) {
108   // XXX Temproarily remove global variables so that doFinalization() will not
109   // emit them again (global variables are emitted at beginning).
110
111   Module::GlobalListType &global_list = M.getGlobalList();
112   int i, n = global_list.size();
113   GlobalVariable **gv_array = new GlobalVariable* [n];
114
115   // first, back-up GlobalVariable in gv_array
116   i = 0;
117   for (Module::global_iterator I = global_list.begin(), E = global_list.end();
118        I != E; ++I)
119     gv_array[i++] = &*I;
120
121   // second, empty global_list
122   while (!global_list.empty())
123     global_list.remove(global_list.begin());
124
125   // call doFinalization
126   bool ret = AsmPrinter::doFinalization(M);
127
128   // now we restore global variables
129   for (i = 0; i < n; i ++)
130     global_list.insert(global_list.end(), gv_array[i]);
131
132   delete[] gv_array;
133   return ret;
134 }
135
136 void PTXAsmPrinter::EmitStartOfAsmFile(Module &M)
137 {
138   const PTXSubtarget& ST = TM.getSubtarget<PTXSubtarget>();
139
140   // Emit the PTX .version and .target attributes
141   OutStreamer.EmitRawText(Twine("\t.version ") + ST.getPTXVersionString());
142   OutStreamer.EmitRawText(Twine("\t.target ") + ST.getTargetString() +
143                                 (ST.supportsDouble() ? ""
144                                                      : ", map_f64_to_f32"));
145   // .address_size directive is optional, but it must immediately follow
146   // the .target directive if present within a module
147   if (ST.supportsPTX23()) {
148     const char *addrSize = ST.is64Bit() ? "64" : "32";
149     OutStreamer.EmitRawText(Twine("\t.address_size ") + addrSize);
150   }
151
152   OutStreamer.AddBlankLine();
153
154   // Define any .file directives
155   DebugInfoFinder DbgFinder;
156   DbgFinder.processModule(M);
157
158   for (DebugInfoFinder::iterator I = DbgFinder.compile_unit_begin(),
159        E = DbgFinder.compile_unit_end(); I != E; ++I) {
160     DICompileUnit DIUnit(*I);
161     StringRef FN = DIUnit.getFilename();
162     StringRef Dir = DIUnit.getDirectory();
163     GetOrCreateSourceID(FN, Dir);
164   }
165
166   OutStreamer.AddBlankLine();
167
168   // declare external functions
169   for (Module::const_iterator i = M.begin(), e = M.end();
170        i != e; ++i)
171     EmitFunctionDeclaration(i);
172   
173   // declare global variables
174   for (Module::const_global_iterator i = M.global_begin(), e = M.global_end();
175        i != e; ++i)
176     EmitVariableDeclaration(i);
177 }
178
179 void PTXAsmPrinter::EmitFunctionBodyStart() {
180   OutStreamer.EmitRawText(Twine("{"));
181
182   const PTXMachineFunctionInfo *MFI = MF->getInfo<PTXMachineFunctionInfo>();
183   const PTXParamManager &PM = MFI->getParamManager();
184
185   // Print register definitions
186   SmallString<128> regDefs;
187   raw_svector_ostream os(regDefs);
188   unsigned numRegs;
189
190   // pred
191   numRegs = MFI->countRegisters(PTXRegisterType::Pred, PTXRegisterSpace::Reg);
192   if(numRegs > 0)
193     os << "\t.reg .pred %p<" << numRegs << ">;\n";
194
195   // i16
196   numRegs = MFI->countRegisters(PTXRegisterType::B16, PTXRegisterSpace::Reg);
197   if(numRegs > 0)
198     os << "\t.reg .b16 %rh<" << numRegs << ">;\n";
199
200   // i32
201   numRegs = MFI->countRegisters(PTXRegisterType::B32, PTXRegisterSpace::Reg);
202   if(numRegs > 0)
203     os << "\t.reg .b32 %r<" << numRegs << ">;\n";
204
205   // i64
206   numRegs = MFI->countRegisters(PTXRegisterType::B64, PTXRegisterSpace::Reg);
207   if(numRegs > 0)
208     os << "\t.reg .b64 %rd<" << numRegs << ">;\n";
209
210   // f32
211   numRegs = MFI->countRegisters(PTXRegisterType::F32, PTXRegisterSpace::Reg);
212   if(numRegs > 0)
213     os << "\t.reg .f32 %f<" << numRegs << ">;\n";
214
215   // f64
216   numRegs = MFI->countRegisters(PTXRegisterType::F64, PTXRegisterSpace::Reg);
217   if(numRegs > 0)
218     os << "\t.reg .f64 %fd<" << numRegs << ">;\n";
219
220   // Local params
221   for (PTXParamManager::param_iterator i = PM.local_begin(), e = PM.local_end();
222        i != e; ++i)
223     os << "\t.param .b" << PM.getParamSize(*i) << ' ' << PM.getParamName(*i)
224        << ";\n";
225
226   OutStreamer.EmitRawText(os.str());
227
228
229   const MachineFrameInfo* FrameInfo = MF->getFrameInfo();
230   DEBUG(dbgs() << "Have " << FrameInfo->getNumObjects()
231                << " frame object(s)\n");
232   for (unsigned i = 0, e = FrameInfo->getNumObjects(); i != e; ++i) {
233     DEBUG(dbgs() << "Size of object: " << FrameInfo->getObjectSize(i) << "\n");
234     if (FrameInfo->getObjectSize(i) > 0) {
235       OutStreamer.EmitRawText("\t.local .align " +
236                               Twine(FrameInfo->getObjectAlignment(i)) +
237                               " .b8 __local" +
238                               Twine(i) +
239                               "[" +
240                               Twine(FrameInfo->getObjectSize(i)) +
241                               "];");
242     }
243   }
244
245   //unsigned Index = 1;
246   // Print parameter passing params
247   //for (PTXMachineFunctionInfo::param_iterator
248   //     i = MFI->paramBegin(), e = MFI->paramEnd(); i != e; ++i) {
249   //  std::string def = "\t.param .b";
250   //  def += utostr(*i);
251   //  def += " __ret_";
252   //  def += utostr(Index);
253   //  Index++;
254   //  def += ";";
255   //  OutStreamer.EmitRawText(Twine(def));
256   //}
257 }
258
259 void PTXAsmPrinter::EmitFunctionBodyEnd() {
260   OutStreamer.EmitRawText(Twine("}"));
261 }
262
263 void PTXAsmPrinter::EmitInstruction(const MachineInstr *MI) {
264   MCInst TmpInst;
265   LowerPTXMachineInstrToMCInst(MI, TmpInst, *this);
266   OutStreamer.EmitInstruction(TmpInst);
267 }
268
269 void PTXAsmPrinter::EmitVariableDeclaration(const GlobalVariable *gv) {
270   // Check to see if this is a special global used by LLVM, if so, emit it.
271   if (EmitSpecialLLVMGlobal(gv))
272     return;
273
274   MCSymbol *gvsym = Mang->getSymbol(gv);
275
276   assert(gvsym->isUndefined() && "Cannot define a symbol twice!");
277
278   SmallString<128> decl;
279   raw_svector_ostream os(decl);
280
281   // check if it is defined in some other translation unit
282   if (gv->isDeclaration())
283     os << ".extern ";
284
285   // state space: e.g., .global
286   os << '.' << getStateSpaceName(gv->getType()->getAddressSpace()) << ' ';
287
288   // alignment (optional)
289   unsigned alignment = gv->getAlignment();
290   if (alignment != 0)
291     os << ".align " << gv->getAlignment() << ' ';
292
293
294   if (PointerType::classof(gv->getType())) {
295     PointerType* pointerTy = dyn_cast<PointerType>(gv->getType());
296     Type* elementTy = pointerTy->getElementType();
297
298     if (elementTy->isArrayTy()) {
299       assert(elementTy->isArrayTy() && "Only pointers to arrays are supported");
300
301       ArrayType* arrayTy = dyn_cast<ArrayType>(elementTy);
302       elementTy = arrayTy->getElementType();
303
304       unsigned numElements = arrayTy->getNumElements();
305
306       while (elementTy->isArrayTy()) {
307         arrayTy = dyn_cast<ArrayType>(elementTy);
308         elementTy = arrayTy->getElementType();
309
310         numElements *= arrayTy->getNumElements();
311       }
312
313       // FIXME: isPrimitiveType() == false for i16?
314       assert(elementTy->isSingleValueType() &&
315              "Non-primitive types are not handled");
316
317       // Find the size of the element in bits
318       unsigned elementSize = elementTy->getPrimitiveSizeInBits();
319
320       os << ".b" << elementSize << ' ' << gvsym->getName()
321          << '[' << numElements << ']';
322     } else {
323       os << ".b8" << gvsym->getName() << "[]";
324     }
325
326     // handle string constants (assume ConstantArray means string)
327     if (gv->hasInitializer()) {
328       const Constant *C = gv->getInitializer();
329       if (const ConstantArray *CA = dyn_cast<ConstantArray>(C)) {
330         os << " = {";
331
332         for (unsigned i = 0, e = C->getNumOperands(); i != e; ++i) {
333           if (i > 0)
334             os << ',';
335
336           os << "0x";
337           os.write_hex(cast<ConstantInt>(CA->getOperand(i))->getZExtValue());
338         }
339
340         os << '}';
341       }
342     }
343   } else {
344     // Note: this is currently the fall-through case and most likely generates
345     //       incorrect code.
346     os << getTypeName(gv->getType()) << ' ' << gvsym->getName();
347
348     if (isa<ArrayType>(gv->getType()) || isa<PointerType>(gv->getType()))
349       os << "[]";
350   }
351
352   os << ';';
353
354   OutStreamer.EmitRawText(os.str());
355   OutStreamer.AddBlankLine();
356 }
357
358 void PTXAsmPrinter::EmitFunctionEntryLabel() {
359   // The function label could have already been emitted if two symbols end up
360   // conflicting due to asm renaming.  Detect this and emit an error.
361   if (!CurrentFnSym->isUndefined())
362     report_fatal_error("'" + Twine(CurrentFnSym->getName()) +
363                        "' label emitted multiple times to assembly file");
364
365   const PTXMachineFunctionInfo *MFI = MF->getInfo<PTXMachineFunctionInfo>();
366   const PTXParamManager &PM = MFI->getParamManager();
367   const bool isKernel = MFI->isKernel();
368   const PTXSubtarget& ST = TM.getSubtarget<PTXSubtarget>();
369
370   SmallString<128> decl;
371   raw_svector_ostream os(decl);
372   os << (isKernel ? ".entry" : ".func");
373
374   if (!isKernel) {
375     os << " (";
376     if (ST.useParamSpaceForDeviceArgs()) {
377       for (PTXParamManager::param_iterator i = PM.ret_begin(), e = PM.ret_end(),
378            b = i; i != e; ++i) {
379         if (i != b)
380           os << ", ";
381
382         os << ".param .b" << PM.getParamSize(*i) << ' ' << PM.getParamName(*i);
383       }
384     } else {
385       for (PTXMachineFunctionInfo::reg_iterator
386            i = MFI->retreg_begin(), e = MFI->retreg_end(), b = i;
387            i != e; ++i) {
388         if (i != b)
389           os << ", ";
390
391         os << ".reg " << getRegisterTypeName(MFI->getRegisterType(*i)) << ' '
392            << MFI->getRegisterName(*i);
393       }
394     }
395     os << ')';
396   }
397
398   // Print function name
399   os << ' ' << CurrentFnSym->getName() << " (";
400
401   const Function *F = MF->getFunction();
402
403   // Print parameters
404   if (isKernel || ST.useParamSpaceForDeviceArgs()) {
405     /*for (PTXParamManager::param_iterator i = PM.arg_begin(), e = PM.arg_end(),
406          b = i; i != e; ++i) {
407       if (i != b)
408         os << ", ";
409
410       os << ".param .b" << PM.getParamSize(*i) << ' ' << PM.getParamName(*i);
411     }*/
412     int Counter = 1;
413     for (Function::const_arg_iterator i = F->arg_begin(), e = F->arg_end(),
414          b = i; i != e; ++i) {
415       if (i != b)
416         os << ", ";
417       const Type *ArgType = (*i).getType();
418       os << ".param .b";
419       if (ArgType->isPointerTy()) {
420         if (ST.is64Bit())
421           os << "64";
422         else
423           os << "32";
424       } else {
425         os << ArgType->getPrimitiveSizeInBits();
426       }
427       if (ArgType->isPointerTy() && ST.emitPtrAttribute()) {
428         const PointerType *PtrType = dyn_cast<const PointerType>(ArgType);
429         os << " .ptr";
430         switch (PtrType->getAddressSpace()) {
431         default:
432           llvm_unreachable("Unknown address space in argument");
433         case PTXStateSpace::Global:
434           os << " .global";
435           break;
436         case PTXStateSpace::Shared:
437           os << " .shared";
438           break;
439         }
440       }
441       os << " __param_" << Counter++;
442     }
443   } else {
444     for (PTXMachineFunctionInfo::reg_iterator
445          i = MFI->argreg_begin(), e = MFI->argreg_end(), b = i;
446          i != e; ++i) {
447       if (i != b)
448         os << ", ";
449
450       os << ".reg " << getRegisterTypeName(MFI->getRegisterType(*i)) << ' '
451          << MFI->getRegisterName(*i);
452     }
453   }
454   os << ')';
455
456   OutStreamer.EmitRawText(os.str());
457 }
458
459 void PTXAsmPrinter::EmitFunctionDeclaration(const Function* func)
460 {
461   const PTXSubtarget& ST = TM.getSubtarget<PTXSubtarget>();
462         
463   std::string decl = "";
464
465   // hard-coded emission of extern vprintf function 
466   
467   if (func->getName() == "printf" || func->getName() == "puts") {               
468     decl += ".extern .func (.param .b32 __param_1) vprintf (.param .b";
469     if (ST.is64Bit())   
470       decl += "64";
471     else                                
472       decl += "32";
473     decl += " __param_2, .param .b";
474     if (ST.is64Bit())   
475       decl += "64";
476     else                                
477       decl += "32";
478     decl += " __param_3)\n";
479   }
480   
481   OutStreamer.EmitRawText(Twine(decl));
482 }
483
484 unsigned PTXAsmPrinter::GetOrCreateSourceID(StringRef FileName,
485                                             StringRef DirName) {
486   // If FE did not provide a file name, then assume stdin.
487   if (FileName.empty())
488     return GetOrCreateSourceID("<stdin>", StringRef());
489
490   // MCStream expects full path name as filename.
491   if (!DirName.empty() && !sys::path::is_absolute(FileName)) {
492     SmallString<128> FullPathName = DirName;
493     sys::path::append(FullPathName, FileName);
494     // Here FullPathName will be copied into StringMap by GetOrCreateSourceID.
495     return GetOrCreateSourceID(StringRef(FullPathName), StringRef());
496   }
497
498   StringMapEntry<unsigned> &Entry = SourceIdMap.GetOrCreateValue(FileName);
499   if (Entry.getValue())
500     return Entry.getValue();
501
502   unsigned SrcId = SourceIdMap.size();
503   Entry.setValue(SrcId);
504
505   // Print out a .file directive to specify files for .loc directives.
506   OutStreamer.EmitDwarfFileDirective(SrcId, "", Entry.getKey());
507
508   return SrcId;
509 }
510
511 MCOperand PTXAsmPrinter::GetSymbolRef(const MachineOperand &MO,
512                                       const MCSymbol *Symbol) {
513   const MCExpr *Expr;
514   Expr = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None, OutContext);
515   return MCOperand::CreateExpr(Expr);
516 }
517
518 MCOperand PTXAsmPrinter::lowerOperand(const MachineOperand &MO) {
519   MCOperand MCOp;
520   const PTXMachineFunctionInfo *MFI = MF->getInfo<PTXMachineFunctionInfo>();
521   unsigned EncodedReg;
522   switch (MO.getType()) {
523   default:
524     llvm_unreachable("Unknown operand type");
525   case MachineOperand::MO_Register:
526     if (MO.getReg() > 0) {
527       // Encode the register
528       EncodedReg = MFI->getEncodedRegister(MO.getReg());
529     } else {
530       EncodedReg = 0;
531     }
532     MCOp = MCOperand::CreateReg(EncodedReg);
533     break;
534   case MachineOperand::MO_Immediate:
535     MCOp = MCOperand::CreateImm(MO.getImm());
536     break;
537   case MachineOperand::MO_MachineBasicBlock:
538     MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
539                                  MO.getMBB()->getSymbol(), OutContext));
540     break;
541   case MachineOperand::MO_GlobalAddress:
542     MCOp = GetSymbolRef(MO, Mang->getSymbol(MO.getGlobal()));
543     break;
544   case MachineOperand::MO_ExternalSymbol:
545     MCOp = GetSymbolRef(MO, GetExternalSymbolSymbol(MO.getSymbolName()));
546     break;
547   case MachineOperand::MO_FPImmediate:
548     APFloat Val = MO.getFPImm()->getValueAPF();
549     bool ignored;
550     Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
551     MCOp = MCOperand::CreateFPImm(Val.convertToDouble());
552     break;
553   }
554
555   return MCOp;
556 }
557
558 // Force static initialization.
559 extern "C" void LLVMInitializePTXAsmPrinter() {
560   RegisterAsmPrinter<PTXAsmPrinter> X(ThePTX32Target);
561   RegisterAsmPrinter<PTXAsmPrinter> Y(ThePTX64Target);
562 }