blob: de6ff9635fdc7873cacfa1cb7f90ab9c53c3bcc9 [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"
Dan Gohman2aa282f2009-08-13 01:36:44 +000022#include "llvm/Assembly/Writer.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000023#include "llvm/CodeGen/AsmPrinter.h"
24#include "llvm/CodeGen/DwarfWriter.h"
25#include "llvm/CodeGen/MachineModuleInfo.h"
26#include "llvm/CodeGen/MachineFunctionPass.h"
27#include "llvm/CodeGen/MachineConstantPool.h"
28#include "llvm/CodeGen/MachineInstr.h"
29#include "llvm/Target/TargetAsmInfo.h"
30#include "llvm/Target/TargetData.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000031#include "llvm/Target/TargetLoweringObjectFile.h"
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000032#include "llvm/Target/TargetRegistry.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000033#include "llvm/ADT/Statistic.h"
34#include "llvm/Support/Compiler.h"
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000035#include "llvm/Support/FormattedStream.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000036#include "llvm/Support/Mangler.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000037
38using namespace llvm;
39
40STATISTIC(EmittedInsts, "Number of machine instrs printed");
41
42namespace {
43 class VISIBILITY_HIDDEN SystemZAsmPrinter : public AsmPrinter {
44 public:
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000045 SystemZAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
46 const TargetAsmInfo *TAI, bool V)
47 : AsmPrinter(O, TM, TAI, V) {}
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000048
49 virtual const char *getPassName() const {
50 return "SystemZ Assembly Printer";
51 }
52
53 void printOperand(const MachineInstr *MI, int OpNum,
54 const char* Modifier = 0);
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +000055 void printPCRelImmOperand(const MachineInstr *MI, int OpNum);
Anton Korobeynikova58fac92009-07-16 13:43:18 +000056 void printRIAddrOperand(const MachineInstr *MI, int OpNum,
57 const char* Modifier = 0);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +000058 void printRRIAddrOperand(const MachineInstr *MI, int OpNum,
59 const char* Modifier = 0);
Anton Korobeynikovbf21bac2009-07-16 14:02:45 +000060 void printS16ImmOperand(const MachineInstr *MI, int OpNum) {
61 O << (int16_t)MI->getOperand(OpNum).getImm();
62 }
63 void printS32ImmOperand(const MachineInstr *MI, int OpNum) {
64 O << (int32_t)MI->getOperand(OpNum).getImm();
65 }
66
Chris Lattnerddb259a2009-08-08 01:32:19 +000067 void printInstruction(const MachineInstr *MI); // autogenerated.
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000068 void printMachineInstruction(const MachineInstr * MI);
69
70 void emitFunctionHeader(const MachineFunction &MF);
71 bool runOnMachineFunction(MachineFunction &F);
Chris Lattnerae982212009-07-21 18:38:57 +000072 void PrintGlobalVariable(const GlobalVariable* GVar);
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000073
74 void getAnalysisUsage(AnalysisUsage &AU) const {
75 AsmPrinter::getAnalysisUsage(AU);
76 AU.setPreservesAll();
77 }
78 };
79} // end of anonymous namespace
80
81#include "SystemZGenAsmWriter.inc"
82
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000083void SystemZAsmPrinter::emitFunctionHeader(const MachineFunction &MF) {
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000084 unsigned FnAlign = MF.getAlignment();
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000085 const Function *F = MF.getFunction();
86
Chris Lattner2931fe42009-07-29 05:09:30 +000087 SwitchToSection(getObjFileLowering().SectionForGlobal(F, Mang, TM));
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000088
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000089 EmitAlignment(FnAlign, F);
90
91 switch (F->getLinkage()) {
92 default: assert(0 && "Unknown linkage type!");
93 case Function::InternalLinkage: // Symbols default to internal.
94 case Function::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +000095 case Function::LinkerPrivateLinkage:
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000096 break;
97 case Function::ExternalLinkage:
98 O << "\t.globl\t" << CurrentFnName << '\n';
99 break;
100 case Function::LinkOnceAnyLinkage:
101 case Function::LinkOnceODRLinkage:
102 case Function::WeakAnyLinkage:
103 case Function::WeakODRLinkage:
104 O << "\t.weak\t" << CurrentFnName << '\n';
105 break;
106 }
107
108 printVisibility(CurrentFnName, F->getVisibility());
109
110 O << "\t.type\t" << CurrentFnName << ",@function\n"
111 << CurrentFnName << ":\n";
112}
113
114bool SystemZAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
115 SetupMachineFunction(MF);
116 O << "\n\n";
117
Anton Korobeynikov67565d62009-07-16 14:19:35 +0000118 // Print out constants referenced by the function
119 EmitConstantPool(MF.getConstantPool());
120
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000121 // Print the 'header' of function
122 emitFunctionHeader(MF);
123
124 // Print out code for the function.
125 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
126 I != E; ++I) {
127 // Print a label for the basic block.
128 if (!VerboseAsm && (I->pred_empty() || I->isOnlyReachableByFallthrough())) {
129 // This is an entry block or a block that's only reachable via a
130 // fallthrough edge. In non-VerboseAsm mode, don't print the label.
131 } else {
132 printBasicBlockLabel(I, true, true, VerboseAsm);
133 O << '\n';
134 }
135
136 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
137 II != E; ++II)
138 // Print the assembly for the instruction.
139 printMachineInstruction(II);
140 }
141
142 if (TAI->hasDotTypeDotSizeDirective())
143 O << "\t.size\t" << CurrentFnName << ", .-" << CurrentFnName << '\n';
144
Anton Korobeynikov23bf4412009-07-16 14:07:50 +0000145 // Print out jump tables referenced by the function.
146 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
147
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000148 // 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.
Chris Lattner7d337492009-08-08 00:05:42 +0000156 printInstruction(MI);
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000157}
158
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000159void SystemZAsmPrinter::printPCRelImmOperand(const MachineInstr *MI, int OpNum) {
160 const MachineOperand &MO = MI->getOperand(OpNum);
161 switch (MO.getType()) {
Anton Korobeynikovb4de0b82009-07-16 14:17:07 +0000162 case MachineOperand::MO_Immediate:
163 O << MO.getImm();
164 return;
165 case MachineOperand::MO_MachineBasicBlock:
166 printBasicBlockLabel(MO.getMBB(), false, false, VerboseAsm);
167 return;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000168 case MachineOperand::MO_GlobalAddress: {
169 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000170 std::string Name = Mang->getMangledName(GV);
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000171
172 O << Name;
173
174 // Assemble calls via PLT for externally visible symbols if PIC.
175 if (TM.getRelocationModel() == Reloc::PIC_ &&
176 !GV->hasHiddenVisibility() && !GV->hasProtectedVisibility() &&
177 !GV->hasLocalLinkage())
178 O << "@PLT";
179
180 printOffset(MO.getOffset());
181 return;
182 }
183 case MachineOperand::MO_ExternalSymbol: {
184 std::string Name(TAI->getGlobalPrefix());
185 Name += MO.getSymbolName();
186 O << Name;
187
188 if (TM.getRelocationModel() == Reloc::PIC_)
189 O << "@PLT";
190
191 return;
192 }
193 default:
194 assert(0 && "Not implemented yet!");
195 }
196}
197
198
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000199void SystemZAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000200 const char* Modifier) {
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000201 const MachineOperand &MO = MI->getOperand(OpNum);
202 switch (MO.getType()) {
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000203 case MachineOperand::MO_Register: {
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000204 assert (TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
205 "Virtual registers should be already mapped!");
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000206 unsigned Reg = MO.getReg();
207 if (Modifier && strncmp(Modifier, "subreg", 6) == 0) {
208 if (strncmp(Modifier + 7, "even", 4) == 0)
209 Reg = TRI->getSubReg(Reg, SystemZ::SUBREG_EVEN);
210 else if (strncmp(Modifier + 7, "odd", 3) == 0)
211 Reg = TRI->getSubReg(Reg, SystemZ::SUBREG_ODD);
212 else
213 assert(0 && "Invalid subreg modifier");
214 }
215
216 O << '%' << TRI->getAsmName(Reg);
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000217 return;
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000218 }
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000219 case MachineOperand::MO_Immediate:
Anton Korobeynikov8eef4042009-07-16 14:01:10 +0000220 O << MO.getImm();
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000221 return;
222 case MachineOperand::MO_MachineBasicBlock:
223 printBasicBlockLabel(MO.getMBB());
224 return;
Anton Korobeynikov23bf4412009-07-16 14:07:50 +0000225 case MachineOperand::MO_JumpTableIndex:
226 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << '_'
227 << MO.getIndex();
228
229 return;
Anton Korobeynikov67565d62009-07-16 14:19:35 +0000230 case MachineOperand::MO_ConstantPoolIndex:
231 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << '_'
232 << MO.getIndex();
233
234 printOffset(MO.getOffset());
235 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000236 case MachineOperand::MO_GlobalAddress: {
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000237 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000238 std::string Name = Mang->getMangledName(GV);
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000239
240 O << Name;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000241 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000242 }
243 case MachineOperand::MO_ExternalSymbol: {
244 std::string Name(TAI->getGlobalPrefix());
245 Name += MO.getSymbolName();
246 O << Name;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000247 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000248 }
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000249 default:
250 assert(0 && "Not implemented yet!");
251 }
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000252
253 switch (MO.getTargetFlags()) {
254 default:
Anton Korobeynikov917cbe12009-07-18 13:33:17 +0000255 llvm_unreachable("Unknown target flag on GV operand");
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000256 case SystemZII::MO_NO_FLAG:
257 break;
258 case SystemZII::MO_GOTENT: O << "@GOTENT"; break;
259 case SystemZII::MO_PLT: O << "@PLT"; break;
260 }
261
262 printOffset(MO.getOffset());
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000263}
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000264
265void SystemZAsmPrinter::printRIAddrOperand(const MachineInstr *MI, int OpNum,
266 const char* Modifier) {
267 const MachineOperand &Base = MI->getOperand(OpNum);
268
269 // Print displacement operand.
270 printOperand(MI, OpNum+1);
271
272 // Print base operand (if any)
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000273 if (Base.getReg()) {
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000274 O << '(';
275 printOperand(MI, OpNum);
276 O << ')';
277 }
278}
279
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000280void SystemZAsmPrinter::printRRIAddrOperand(const MachineInstr *MI, int OpNum,
281 const char* Modifier) {
282 const MachineOperand &Base = MI->getOperand(OpNum);
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000283 const MachineOperand &Index = MI->getOperand(OpNum+2);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000284
285 // Print displacement operand.
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000286 printOperand(MI, OpNum+1);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000287
288 // Print base operand (if any)
289 if (Base.getReg()) {
290 O << '(';
291 printOperand(MI, OpNum);
292 if (Index.getReg()) {
293 O << ',';
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000294 printOperand(MI, OpNum+2);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000295 }
296 O << ')';
297 } else
298 assert(!Index.getReg() && "Should allocate base register first!");
299}
300
Chris Lattnerae982212009-07-21 18:38:57 +0000301void SystemZAsmPrinter::PrintGlobalVariable(const GlobalVariable* GVar) {
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000302 const TargetData *TD = TM.getTargetData();
303
304 if (!GVar->hasInitializer())
305 return; // External global require no code
306
307 // Check to see if this is a special global used by LLVM, if so, emit it.
308 if (EmitSpecialLLVMGlobal(GVar))
309 return;
310
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000311 std::string name = Mang->getMangledName(GVar);
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000312 Constant *C = GVar->getInitializer();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000313 unsigned Size = TD->getTypeAllocSize(C->getType());
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000314 unsigned Align = std::max(1U, TD->getPreferredAlignmentLog(GVar));
315
316 printVisibility(name, GVar->getVisibility());
317
318 O << "\t.type\t" << name << ",@object\n";
319
Chris Lattner2931fe42009-07-29 05:09:30 +0000320 SwitchToSection(getObjFileLowering().SectionForGlobal(GVar, Mang, TM));
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000321
322 if (C->isNullValue() && !GVar->hasSection() &&
323 !GVar->isThreadLocal() &&
324 (GVar->hasLocalLinkage() || GVar->isWeakForLinker())) {
325
326 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
327
328 if (GVar->hasLocalLinkage())
329 O << "\t.local\t" << name << '\n';
330
331 O << TAI->getCOMMDirective() << name << ',' << Size;
332 if (TAI->getCOMMDirectiveTakesAlignment())
333 O << ',' << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
334
335 if (VerboseAsm) {
336 O << "\t\t" << TAI->getCommentString() << ' ';
Dan Gohman2aa282f2009-08-13 01:36:44 +0000337 WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000338 }
339 O << '\n';
340 return;
341 }
342
343 switch (GVar->getLinkage()) {
344 case GlobalValue::CommonLinkage:
345 case GlobalValue::LinkOnceAnyLinkage:
346 case GlobalValue::LinkOnceODRLinkage:
347 case GlobalValue::WeakAnyLinkage:
348 case GlobalValue::WeakODRLinkage:
349 O << "\t.weak\t" << name << '\n';
350 break;
351 case GlobalValue::DLLExportLinkage:
352 case GlobalValue::AppendingLinkage:
353 // FIXME: appending linkage variables should go into a section of
354 // their name or something. For now, just emit them as external.
355 case GlobalValue::ExternalLinkage:
356 // If external or appending, declare as a global symbol
357 O << "\t.globl " << name << '\n';
358 // FALL THROUGH
359 case GlobalValue::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +0000360 case GlobalValue::LinkerPrivateLinkage:
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000361 case GlobalValue::InternalLinkage:
362 break;
363 default:
364 assert(0 && "Unknown linkage type!");
365 }
366
367 // Use 16-bit alignment by default to simplify bunch of stuff
368 EmitAlignment(Align, GVar, 1);
369 O << name << ":";
370 if (VerboseAsm) {
371 O << "\t\t\t\t" << TAI->getCommentString() << ' ';
Dan Gohman2aa282f2009-08-13 01:36:44 +0000372 WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000373 }
374 O << '\n';
375 if (TAI->hasDotTypeDotSizeDirective())
376 O << "\t.size\t" << name << ", " << Size << '\n';
377
378 EmitGlobalConstant(C);
379}
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000380
381// Force static initialization.
382extern "C" void LLVMInitializeSystemZAsmPrinter() {
Daniel Dunbarc680b012009-07-25 06:49:55 +0000383 RegisterAsmPrinter<SystemZAsmPrinter> X(TheSystemZTarget);
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000384}