blob: 6dc9fc0ffeff29d0f5c5dc9c2c54239c73962c97 [file] [log] [blame]
Justin Holewinski49683f32012-05-04 20:18:50 +00001//===-- NVPTXAsmPrinter.h - 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
15#ifndef NVPTXASMPRINTER_H
16#define NVPTXASMPRINTER_H
17
18#include "NVPTX.h"
Justin Holewinski49683f32012-05-04 20:18:50 +000019#include "NVPTXSubtarget.h"
Chandler Carrutha1514e22012-12-04 07:12:27 +000020#include "NVPTXTargetMachine.h"
Justin Holewinski49683f32012-05-04 20:18:50 +000021#include "llvm/ADT/SmallString.h"
22#include "llvm/ADT/StringExtras.h"
Chandler Carrutha1514e22012-12-04 07:12:27 +000023#include "llvm/CodeGen/AsmPrinter.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000024#include "llvm/IR/Function.h"
Chandler Carrutha1514e22012-12-04 07:12:27 +000025#include "llvm/MC/MCAsmInfo.h"
26#include "llvm/MC/MCExpr.h"
27#include "llvm/MC/MCSymbol.h"
28#include "llvm/Support/CommandLine.h"
29#include "llvm/Support/FormattedStream.h"
30#include "llvm/Target/Mangler.h"
31#include "llvm/Target/TargetMachine.h"
Justin Holewinski49683f32012-05-04 20:18:50 +000032#include <fstream>
33
34// The ptx syntax and format is very different from that usually seem in a .s
35// file,
36// therefore we are not able to use the MCAsmStreamer interface here.
37//
38// We are handcrafting the output method here.
39//
40// A better approach is to clone the MCAsmStreamer to a MCPTXAsmStreamer
41// (subclass of MCStreamer).
42
43// This is defined in AsmPrinter.cpp.
44// Used to process the constant expressions in initializers.
45namespace nvptx {
Justin Holewinski3639ce22013-03-30 14:29:21 +000046const llvm::MCExpr *
47LowerConstant(const llvm::Constant *CV, llvm::AsmPrinter &AP);
Justin Holewinski49683f32012-05-04 20:18:50 +000048}
49
50namespace llvm {
51
52class LineReader {
53private:
Justin Holewinski3639ce22013-03-30 14:29:21 +000054 unsigned theCurLine;
Justin Holewinski49683f32012-05-04 20:18:50 +000055 std::ifstream fstr;
56 char buff[512];
57 std::string theFileName;
58 SmallVector<unsigned, 32> lineOffset;
59public:
60 LineReader(std::string filename) {
61 theCurLine = 0;
62 fstr.open(filename.c_str());
63 theFileName = filename;
64 }
65 std::string fileName() { return theFileName; }
Justin Holewinski3639ce22013-03-30 14:29:21 +000066 ~LineReader() { fstr.close(); }
Justin Holewinski49683f32012-05-04 20:18:50 +000067 std::string readLine(unsigned line);
68};
69
Justin Holewinski49683f32012-05-04 20:18:50 +000070class LLVM_LIBRARY_VISIBILITY NVPTXAsmPrinter : public AsmPrinter {
71
Justin Holewinski49683f32012-05-04 20:18:50 +000072 class AggBuffer {
73 // Used to buffer the emitted string for initializing global
74 // aggregates.
75 //
76 // Normally an aggregate (array, vector or structure) is emitted
77 // as a u8[]. However, if one element/field of the aggregate
78 // is a non-NULL address, then the aggregate is emitted as u32[]
79 // or u64[].
80 //
81 // We first layout the aggregate in 'buffer' in bytes, except for
82 // those symbol addresses. For the i-th symbol address in the
83 //aggregate, its corresponding 4-byte or 8-byte elements in 'buffer'
84 // are filled with 0s. symbolPosInBuffer[i-1] records its position
85 // in 'buffer', and Symbols[i-1] records the Value*.
86 //
87 // Once we have this AggBuffer setup, we can choose how to print
88 // it out.
89 public:
Justin Holewinski3639ce22013-03-30 14:29:21 +000090 unsigned size; // size of the buffer in bytes
Justin Holewinski49683f32012-05-04 20:18:50 +000091 unsigned char *buffer; // the buffer
92 unsigned numSymbols; // number of symbol addresses
93 SmallVector<unsigned, 4> symbolPosInBuffer;
94 SmallVector<Value *, 4> Symbols;
95
96 private:
97 unsigned curpos;
98 raw_ostream &O;
99 NVPTXAsmPrinter &AP;
100
101 public:
102 AggBuffer(unsigned _size, raw_ostream &_O, NVPTXAsmPrinter &_AP)
Justin Holewinski3639ce22013-03-30 14:29:21 +0000103 : O(_O), AP(_AP) {
Justin Holewinski49683f32012-05-04 20:18:50 +0000104 buffer = new unsigned char[_size];
105 size = _size;
106 curpos = 0;
107 numSymbols = 0;
108 }
Justin Holewinski3639ce22013-03-30 14:29:21 +0000109 ~AggBuffer() { delete[] buffer; }
Justin Holewinski49683f32012-05-04 20:18:50 +0000110 unsigned addBytes(unsigned char *Ptr, int Num, int Bytes) {
Justin Holewinski3639ce22013-03-30 14:29:21 +0000111 assert((curpos + Num) <= size);
112 assert((curpos + Bytes) <= size);
113 for (int i = 0; i < Num; ++i) {
Justin Holewinski49683f32012-05-04 20:18:50 +0000114 buffer[curpos] = Ptr[i];
Justin Holewinski3639ce22013-03-30 14:29:21 +0000115 curpos++;
Justin Holewinski49683f32012-05-04 20:18:50 +0000116 }
Justin Holewinski3639ce22013-03-30 14:29:21 +0000117 for (int i = Num; i < Bytes; ++i) {
Justin Holewinski49683f32012-05-04 20:18:50 +0000118 buffer[curpos] = 0;
Justin Holewinski3639ce22013-03-30 14:29:21 +0000119 curpos++;
Justin Holewinski49683f32012-05-04 20:18:50 +0000120 }
121 return curpos;
122 }
123 unsigned addZeros(int Num) {
Justin Holewinski3639ce22013-03-30 14:29:21 +0000124 assert((curpos + Num) <= size);
125 for (int i = 0; i < Num; ++i) {
Justin Holewinski49683f32012-05-04 20:18:50 +0000126 buffer[curpos] = 0;
Justin Holewinski3639ce22013-03-30 14:29:21 +0000127 curpos++;
Justin Holewinski49683f32012-05-04 20:18:50 +0000128 }
129 return curpos;
130 }
131 void addSymbol(Value *GVar) {
132 symbolPosInBuffer.push_back(curpos);
133 Symbols.push_back(GVar);
134 numSymbols++;
135 }
136 void print() {
137 if (numSymbols == 0) {
138 // print out in bytes
Justin Holewinski3639ce22013-03-30 14:29:21 +0000139 for (unsigned i = 0; i < size; i++) {
Justin Holewinski49683f32012-05-04 20:18:50 +0000140 if (i)
141 O << ", ";
Justin Holewinski3639ce22013-03-30 14:29:21 +0000142 O << (unsigned int) buffer[i];
Justin Holewinski49683f32012-05-04 20:18:50 +0000143 }
Craig Topper63663612012-05-24 07:02:50 +0000144 } else {
Justin Holewinski49683f32012-05-04 20:18:50 +0000145 // print out in 4-bytes or 8-bytes
146 unsigned int pos = 0;
147 unsigned int nSym = 0;
148 unsigned int nextSymbolPos = symbolPosInBuffer[nSym];
149 unsigned int nBytes = 4;
150 if (AP.nvptxSubtarget.is64Bit())
151 nBytes = 8;
Justin Holewinski3639ce22013-03-30 14:29:21 +0000152 for (pos = 0; pos < size; pos += nBytes) {
Justin Holewinski49683f32012-05-04 20:18:50 +0000153 if (pos)
154 O << ", ";
155 if (pos == nextSymbolPos) {
156 Value *v = Symbols[nSym];
157 if (GlobalValue *GVar = dyn_cast<GlobalValue>(v)) {
158 MCSymbol *Name = AP.Mang->getSymbol(GVar);
159 O << *Name;
Justin Holewinski3639ce22013-03-30 14:29:21 +0000160 } else if (ConstantExpr *Cexpr = dyn_cast<ConstantExpr>(v)) {
Justin Holewinski49683f32012-05-04 20:18:50 +0000161 O << *nvptx::LowerConstant(Cexpr, AP);
Craig Topper63663612012-05-24 07:02:50 +0000162 } else
163 llvm_unreachable("symbol type unknown");
Justin Holewinski49683f32012-05-04 20:18:50 +0000164 nSym++;
165 if (nSym >= numSymbols)
Justin Holewinski3639ce22013-03-30 14:29:21 +0000166 nextSymbolPos = size + 1;
Justin Holewinski49683f32012-05-04 20:18:50 +0000167 else
168 nextSymbolPos = symbolPosInBuffer[nSym];
Justin Holewinski3639ce22013-03-30 14:29:21 +0000169 } else if (nBytes == 4)
170 O << *(unsigned int *)(buffer + pos);
171 else
172 O << *(unsigned long long *)(buffer + pos);
Justin Holewinski49683f32012-05-04 20:18:50 +0000173 }
174 }
175 }
176 };
177
178 friend class AggBuffer;
179
180 virtual void emitSrcInText(StringRef filename, unsigned line);
181
Justin Holewinski3639ce22013-03-30 14:29:21 +0000182private:
183 virtual const char *getPassName() const { return "NVPTX Assembly Printer"; }
Justin Holewinski49683f32012-05-04 20:18:50 +0000184
185 const Function *F;
186 std::string CurrentFnName;
187
188 void EmitFunctionEntryLabel();
189 void EmitFunctionBodyStart();
190 void EmitFunctionBodyEnd();
191
192 void EmitInstruction(const MachineInstr *);
193
194 void EmitAlignment(unsigned NumBits, const GlobalValue *GV = 0) const {}
195
196 void printGlobalVariable(const GlobalVariable *GVar);
197 void printOperand(const MachineInstr *MI, int opNum, raw_ostream &O,
Justin Holewinski3639ce22013-03-30 14:29:21 +0000198 const char *Modifier = 0);
Justin Holewinski49683f32012-05-04 20:18:50 +0000199 void printLdStCode(const MachineInstr *MI, int opNum, raw_ostream &O,
Justin Holewinski3639ce22013-03-30 14:29:21 +0000200 const char *Modifier = 0);
201 void printVecModifiedImmediate(const MachineOperand &MO, const char *Modifier,
202 raw_ostream &O);
Justin Holewinski49683f32012-05-04 20:18:50 +0000203 void printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &O,
Justin Holewinski3639ce22013-03-30 14:29:21 +0000204 const char *Modifier = 0);
Justin Holewinski49683f32012-05-04 20:18:50 +0000205 void printImplicitDef(const MachineInstr *MI, raw_ostream &O) const;
206 // definition autogenerated.
207 void printInstruction(const MachineInstr *MI, raw_ostream &O);
Justin Holewinski3639ce22013-03-30 14:29:21 +0000208 void printModuleLevelGV(GlobalVariable *GVar, raw_ostream &O, bool = false);
Justin Holewinski49683f32012-05-04 20:18:50 +0000209 void printParamName(int paramIndex, raw_ostream &O);
210 void printParamName(Function::const_arg_iterator I, int paramIndex,
211 raw_ostream &O);
212 void emitHeader(Module &M, raw_ostream &O);
Justin Holewinski3639ce22013-03-30 14:29:21 +0000213 void emitKernelFunctionDirectives(const Function &F, raw_ostream &O) const;
Justin Holewinski49683f32012-05-04 20:18:50 +0000214 void emitVirtualRegister(unsigned int vr, bool isVec, raw_ostream &O);
215 void emitFunctionExternParamList(const MachineFunction &MF);
216 void emitFunctionParamList(const Function *, raw_ostream &O);
217 void emitFunctionParamList(const MachineFunction &MF, raw_ostream &O);
218 void setAndEmitFunctionVirtualRegisters(const MachineFunction &MF);
Justin Holewinski3639ce22013-03-30 14:29:21 +0000219 void emitFunctionTempData(const MachineFunction &MF, unsigned &FrameSize);
Justin Holewinski49683f32012-05-04 20:18:50 +0000220 bool isImageType(const Type *Ty);
221 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
222 unsigned AsmVariant, const char *ExtraCode,
223 raw_ostream &);
224 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
225 unsigned AsmVariant, const char *ExtraCode,
226 raw_ostream &);
227 void printReturnValStr(const Function *, raw_ostream &O);
228 void printReturnValStr(const MachineFunction &MF, raw_ostream &O);
229
230protected:
231 bool doInitialization(Module &M);
232 bool doFinalization(Module &M);
233
234private:
235 std::string CurrentBankselLabelInBasicBlock;
236
237 // This is specific per MachineFunction.
238 const MachineRegisterInfo *MRI;
239 // The contents are specific for each
240 // MachineFunction. But the size of the
241 // array is not.
242 std::map<unsigned, unsigned> *VRidGlobal2LocalMap;
243 // cache the subtarget here.
244 const NVPTXSubtarget &nvptxSubtarget;
245 // Build the map between type name and ID based on module's type
246 // symbol table.
247 std::map<const Type *, std::string> TypeNameMap;
248
249 // List of variables demoted to a function scope.
250 std::map<const Function *, std::vector<GlobalVariable *> > localDecls;
251
252 // To record filename to ID mapping
253 std::map<std::string, unsigned> filenameMap;
254 void recordAndEmitFilenames(Module &);
255
256 void emitPTXGlobalVariable(const GlobalVariable *GVar, raw_ostream &O);
Justin Holewinski3639ce22013-03-30 14:29:21 +0000257 void emitPTXAddressSpace(unsigned int AddressSpace, raw_ostream &O) const;
258 std::string getPTXFundamentalTypeStr(const Type *Ty, bool = true) const;
259 void printScalarConstant(Constant *CPV, raw_ostream &O);
260 void printFPConstant(const ConstantFP *Fp, raw_ostream &O);
261 void bufferLEByte(Constant *CPV, int Bytes, AggBuffer *aggBuffer);
262 void bufferAggregateConstant(Constant *CV, AggBuffer *aggBuffer);
Justin Holewinski49683f32012-05-04 20:18:50 +0000263
264 void printOperandProper(const MachineOperand &MO);
265
Justin Holewinski3639ce22013-03-30 14:29:21 +0000266 void emitLinkageDirective(const GlobalValue *V, raw_ostream &O);
Justin Holewinski49683f32012-05-04 20:18:50 +0000267 void emitDeclarations(Module &, raw_ostream &O);
268 void emitDeclaration(const Function *, raw_ostream &O);
269
270 static const char *getRegisterName(unsigned RegNo);
271 void emitDemotedVars(const Function *, raw_ostream &);
272
273 LineReader *reader;
274 LineReader *getReader(std::string);
275public:
Justin Holewinski3639ce22013-03-30 14:29:21 +0000276 NVPTXAsmPrinter(TargetMachine &TM, MCStreamer &Streamer)
277 : AsmPrinter(TM, Streamer),
278 nvptxSubtarget(TM.getSubtarget<NVPTXSubtarget>()) {
Justin Holewinski49683f32012-05-04 20:18:50 +0000279 CurrentBankselLabelInBasicBlock = "";
280 VRidGlobal2LocalMap = NULL;
281 reader = NULL;
282 }
283
284 ~NVPTXAsmPrinter() {
285 if (!reader)
286 delete reader;
287 }
288
289 bool ignoreLoc(const MachineInstr &);
290
291 virtual void getVirtualRegisterName(unsigned, bool, raw_ostream &);
292
293 DebugLoc prevDebugLoc;
294 void emitLineNumberAsDotLoc(const MachineInstr &);
295};
296} // end of namespace
297
298#endif