blob: 7a1668495911d5e726d3867612695fc05df2f256 [file] [log] [blame]
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +00001//===-- SystemZAsmPrinter.cpp - SystemZ 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 the SystemZ assembly language.
12//
13//===----------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "asm-printer"
16#include "SystemZ.h"
17#include "SystemZInstrInfo.h"
18#include "SystemZTargetMachine.h"
19#include "llvm/Constants.h"
20#include "llvm/DerivedTypes.h"
21#include "llvm/Module.h"
22#include "llvm/CodeGen/AsmPrinter.h"
23#include "llvm/CodeGen/DwarfWriter.h"
24#include "llvm/CodeGen/MachineModuleInfo.h"
25#include "llvm/CodeGen/MachineFunctionPass.h"
26#include "llvm/CodeGen/MachineConstantPool.h"
27#include "llvm/CodeGen/MachineInstr.h"
28#include "llvm/Target/TargetAsmInfo.h"
29#include "llvm/Target/TargetData.h"
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000030#include "llvm/Target/TargetRegistry.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000031#include "llvm/ADT/Statistic.h"
32#include "llvm/Support/Compiler.h"
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000033#include "llvm/Support/FormattedStream.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000034#include "llvm/Support/Mangler.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000035
36using namespace llvm;
37
38STATISTIC(EmittedInsts, "Number of machine instrs printed");
39
40namespace {
41 class VISIBILITY_HIDDEN SystemZAsmPrinter : public AsmPrinter {
42 public:
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000043 SystemZAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
44 const TargetAsmInfo *TAI, bool V)
45 : AsmPrinter(O, TM, TAI, V) {}
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000046
47 virtual const char *getPassName() const {
48 return "SystemZ Assembly Printer";
49 }
50
51 void printOperand(const MachineInstr *MI, int OpNum,
52 const char* Modifier = 0);
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +000053 void printPCRelImmOperand(const MachineInstr *MI, int OpNum);
Anton Korobeynikova58fac92009-07-16 13:43:18 +000054 void printRIAddrOperand(const MachineInstr *MI, int OpNum,
55 const char* Modifier = 0);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +000056 void printRRIAddrOperand(const MachineInstr *MI, int OpNum,
57 const char* Modifier = 0);
Anton Korobeynikovbf21bac2009-07-16 14:02:45 +000058 void printS16ImmOperand(const MachineInstr *MI, int OpNum) {
59 O << (int16_t)MI->getOperand(OpNum).getImm();
60 }
61 void printS32ImmOperand(const MachineInstr *MI, int OpNum) {
62 O << (int32_t)MI->getOperand(OpNum).getImm();
63 }
64
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000065 bool printInstruction(const MachineInstr *MI); // autogenerated.
66 void printMachineInstruction(const MachineInstr * MI);
67
68 void emitFunctionHeader(const MachineFunction &MF);
69 bool runOnMachineFunction(MachineFunction &F);
Chris Lattnerae982212009-07-21 18:38:57 +000070 void PrintGlobalVariable(const GlobalVariable* GVar);
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000071
72 void getAnalysisUsage(AnalysisUsage &AU) const {
73 AsmPrinter::getAnalysisUsage(AU);
74 AU.setPreservesAll();
75 }
76 };
77} // end of anonymous namespace
78
79#include "SystemZGenAsmWriter.inc"
80
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000081void SystemZAsmPrinter::emitFunctionHeader(const MachineFunction &MF) {
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000082 unsigned FnAlign = MF.getAlignment();
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000083 const Function *F = MF.getFunction();
84
85 SwitchToSection(TAI->SectionForGlobal(F));
86
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000087 EmitAlignment(FnAlign, F);
88
89 switch (F->getLinkage()) {
90 default: assert(0 && "Unknown linkage type!");
91 case Function::InternalLinkage: // Symbols default to internal.
92 case Function::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +000093 case Function::LinkerPrivateLinkage:
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000094 break;
95 case Function::ExternalLinkage:
96 O << "\t.globl\t" << CurrentFnName << '\n';
97 break;
98 case Function::LinkOnceAnyLinkage:
99 case Function::LinkOnceODRLinkage:
100 case Function::WeakAnyLinkage:
101 case Function::WeakODRLinkage:
102 O << "\t.weak\t" << CurrentFnName << '\n';
103 break;
104 }
105
106 printVisibility(CurrentFnName, F->getVisibility());
107
108 O << "\t.type\t" << CurrentFnName << ",@function\n"
109 << CurrentFnName << ":\n";
110}
111
112bool SystemZAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
113 SetupMachineFunction(MF);
114 O << "\n\n";
115
Anton Korobeynikov67565d62009-07-16 14:19:35 +0000116 // Print out constants referenced by the function
117 EmitConstantPool(MF.getConstantPool());
118
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000119 // Print the 'header' of function
120 emitFunctionHeader(MF);
121
122 // Print out code for the function.
123 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
124 I != E; ++I) {
125 // Print a label for the basic block.
126 if (!VerboseAsm && (I->pred_empty() || I->isOnlyReachableByFallthrough())) {
127 // This is an entry block or a block that's only reachable via a
128 // fallthrough edge. In non-VerboseAsm mode, don't print the label.
129 } else {
130 printBasicBlockLabel(I, true, true, VerboseAsm);
131 O << '\n';
132 }
133
134 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
135 II != E; ++II)
136 // Print the assembly for the instruction.
137 printMachineInstruction(II);
138 }
139
140 if (TAI->hasDotTypeDotSizeDirective())
141 O << "\t.size\t" << CurrentFnName << ", .-" << CurrentFnName << '\n';
142
Anton Korobeynikov23bf4412009-07-16 14:07:50 +0000143 // Print out jump tables referenced by the function.
144 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
145
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000146 O.flush();
147
148 // We didn't modify anything
149 return false;
150}
151
152void SystemZAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
153 ++EmittedInsts;
154
155 // Call the autogenerated instruction printer routines.
156 if (printInstruction(MI))
157 return;
158
Anton Korobeynikov917cbe12009-07-18 13:33:17 +0000159 llvm_unreachable("Unreachable!");
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000160}
161
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000162void SystemZAsmPrinter::printPCRelImmOperand(const MachineInstr *MI, int OpNum) {
163 const MachineOperand &MO = MI->getOperand(OpNum);
164 switch (MO.getType()) {
Anton Korobeynikovb4de0b82009-07-16 14:17:07 +0000165 case MachineOperand::MO_Immediate:
166 O << MO.getImm();
167 return;
168 case MachineOperand::MO_MachineBasicBlock:
169 printBasicBlockLabel(MO.getMBB(), false, false, VerboseAsm);
170 return;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000171 case MachineOperand::MO_GlobalAddress: {
172 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000173 std::string Name = Mang->getMangledName(GV);
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000174
175 O << Name;
176
177 // Assemble calls via PLT for externally visible symbols if PIC.
178 if (TM.getRelocationModel() == Reloc::PIC_ &&
179 !GV->hasHiddenVisibility() && !GV->hasProtectedVisibility() &&
180 !GV->hasLocalLinkage())
181 O << "@PLT";
182
183 printOffset(MO.getOffset());
184 return;
185 }
186 case MachineOperand::MO_ExternalSymbol: {
187 std::string Name(TAI->getGlobalPrefix());
188 Name += MO.getSymbolName();
189 O << Name;
190
191 if (TM.getRelocationModel() == Reloc::PIC_)
192 O << "@PLT";
193
194 return;
195 }
196 default:
197 assert(0 && "Not implemented yet!");
198 }
199}
200
201
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000202void SystemZAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000203 const char* Modifier) {
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000204 const MachineOperand &MO = MI->getOperand(OpNum);
205 switch (MO.getType()) {
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000206 case MachineOperand::MO_Register: {
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000207 assert (TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
208 "Virtual registers should be already mapped!");
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000209 unsigned Reg = MO.getReg();
210 if (Modifier && strncmp(Modifier, "subreg", 6) == 0) {
211 if (strncmp(Modifier + 7, "even", 4) == 0)
212 Reg = TRI->getSubReg(Reg, SystemZ::SUBREG_EVEN);
213 else if (strncmp(Modifier + 7, "odd", 3) == 0)
214 Reg = TRI->getSubReg(Reg, SystemZ::SUBREG_ODD);
215 else
216 assert(0 && "Invalid subreg modifier");
217 }
218
219 O << '%' << TRI->getAsmName(Reg);
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000220 return;
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000221 }
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000222 case MachineOperand::MO_Immediate:
Anton Korobeynikov8eef4042009-07-16 14:01:10 +0000223 O << MO.getImm();
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000224 return;
225 case MachineOperand::MO_MachineBasicBlock:
226 printBasicBlockLabel(MO.getMBB());
227 return;
Anton Korobeynikov23bf4412009-07-16 14:07:50 +0000228 case MachineOperand::MO_JumpTableIndex:
229 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << '_'
230 << MO.getIndex();
231
232 return;
Anton Korobeynikov67565d62009-07-16 14:19:35 +0000233 case MachineOperand::MO_ConstantPoolIndex:
234 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << '_'
235 << MO.getIndex();
236
237 printOffset(MO.getOffset());
238 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000239 case MachineOperand::MO_GlobalAddress: {
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000240 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000241 std::string Name = Mang->getMangledName(GV);
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000242
243 O << Name;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000244 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000245 }
246 case MachineOperand::MO_ExternalSymbol: {
247 std::string Name(TAI->getGlobalPrefix());
248 Name += MO.getSymbolName();
249 O << Name;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000250 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000251 }
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000252 default:
253 assert(0 && "Not implemented yet!");
254 }
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000255
256 switch (MO.getTargetFlags()) {
257 default:
Anton Korobeynikov917cbe12009-07-18 13:33:17 +0000258 llvm_unreachable("Unknown target flag on GV operand");
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000259 case SystemZII::MO_NO_FLAG:
260 break;
261 case SystemZII::MO_GOTENT: O << "@GOTENT"; break;
262 case SystemZII::MO_PLT: O << "@PLT"; break;
263 }
264
265 printOffset(MO.getOffset());
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000266}
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000267
268void SystemZAsmPrinter::printRIAddrOperand(const MachineInstr *MI, int OpNum,
269 const char* Modifier) {
270 const MachineOperand &Base = MI->getOperand(OpNum);
271
272 // Print displacement operand.
273 printOperand(MI, OpNum+1);
274
275 // Print base operand (if any)
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000276 if (Base.getReg()) {
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000277 O << '(';
278 printOperand(MI, OpNum);
279 O << ')';
280 }
281}
282
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000283void SystemZAsmPrinter::printRRIAddrOperand(const MachineInstr *MI, int OpNum,
284 const char* Modifier) {
285 const MachineOperand &Base = MI->getOperand(OpNum);
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000286 const MachineOperand &Index = MI->getOperand(OpNum+2);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000287
288 // Print displacement operand.
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000289 printOperand(MI, OpNum+1);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000290
291 // Print base operand (if any)
292 if (Base.getReg()) {
293 O << '(';
294 printOperand(MI, OpNum);
295 if (Index.getReg()) {
296 O << ',';
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000297 printOperand(MI, OpNum+2);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000298 }
299 O << ')';
300 } else
301 assert(!Index.getReg() && "Should allocate base register first!");
302}
303
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000304/// PrintUnmangledNameSafely - Print out the printable characters in the name.
305/// Don't print things like \\n or \\0.
Daniel Dunbar23e2b802009-07-26 07:49:05 +0000306static void PrintUnmangledNameSafely(const Value *V,
307 formatted_raw_ostream &OS) {
308 for (StringRef::iterator it = V->getName().begin(),
309 ie = V->getName().end(); it != ie; ++it)
310 if (isprint(*it))
311 OS << *it;
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000312}
313
Chris Lattnerae982212009-07-21 18:38:57 +0000314void SystemZAsmPrinter::PrintGlobalVariable(const GlobalVariable* GVar) {
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000315 const TargetData *TD = TM.getTargetData();
316
317 if (!GVar->hasInitializer())
318 return; // External global require no code
319
320 // Check to see if this is a special global used by LLVM, if so, emit it.
321 if (EmitSpecialLLVMGlobal(GVar))
322 return;
323
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000324 std::string name = Mang->getMangledName(GVar);
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000325 Constant *C = GVar->getInitializer();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000326 unsigned Size = TD->getTypeAllocSize(C->getType());
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000327 unsigned Align = std::max(1U, TD->getPreferredAlignmentLog(GVar));
328
329 printVisibility(name, GVar->getVisibility());
330
331 O << "\t.type\t" << name << ",@object\n";
332
333 SwitchToSection(TAI->SectionForGlobal(GVar));
334
335 if (C->isNullValue() && !GVar->hasSection() &&
336 !GVar->isThreadLocal() &&
337 (GVar->hasLocalLinkage() || GVar->isWeakForLinker())) {
338
339 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
340
341 if (GVar->hasLocalLinkage())
342 O << "\t.local\t" << name << '\n';
343
344 O << TAI->getCOMMDirective() << name << ',' << Size;
345 if (TAI->getCOMMDirectiveTakesAlignment())
346 O << ',' << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
347
348 if (VerboseAsm) {
349 O << "\t\t" << TAI->getCommentString() << ' ';
350 PrintUnmangledNameSafely(GVar, O);
351 }
352 O << '\n';
353 return;
354 }
355
356 switch (GVar->getLinkage()) {
357 case GlobalValue::CommonLinkage:
358 case GlobalValue::LinkOnceAnyLinkage:
359 case GlobalValue::LinkOnceODRLinkage:
360 case GlobalValue::WeakAnyLinkage:
361 case GlobalValue::WeakODRLinkage:
362 O << "\t.weak\t" << name << '\n';
363 break;
364 case GlobalValue::DLLExportLinkage:
365 case GlobalValue::AppendingLinkage:
366 // FIXME: appending linkage variables should go into a section of
367 // their name or something. For now, just emit them as external.
368 case GlobalValue::ExternalLinkage:
369 // If external or appending, declare as a global symbol
370 O << "\t.globl " << name << '\n';
371 // FALL THROUGH
372 case GlobalValue::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +0000373 case GlobalValue::LinkerPrivateLinkage:
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000374 case GlobalValue::InternalLinkage:
375 break;
376 default:
377 assert(0 && "Unknown linkage type!");
378 }
379
380 // Use 16-bit alignment by default to simplify bunch of stuff
381 EmitAlignment(Align, GVar, 1);
382 O << name << ":";
383 if (VerboseAsm) {
384 O << "\t\t\t\t" << TAI->getCommentString() << ' ';
385 PrintUnmangledNameSafely(GVar, O);
386 }
387 O << '\n';
388 if (TAI->hasDotTypeDotSizeDirective())
389 O << "\t.size\t" << name << ", " << Size << '\n';
390
391 EmitGlobalConstant(C);
392}
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000393
394// Force static initialization.
395extern "C" void LLVMInitializeSystemZAsmPrinter() {
Daniel Dunbarc680b012009-07-25 06:49:55 +0000396 RegisterAsmPrinter<SystemZAsmPrinter> X(TheSystemZTarget);
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000397}