blob: 9a9a4b75083e236eea235943a93480d818d17feb [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"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000031#include "llvm/Target/TargetRegistry.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000032#include "llvm/ADT/Statistic.h"
33#include "llvm/Support/Compiler.h"
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000034#include "llvm/Support/FormattedStream.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000035#include "llvm/Support/Mangler.h"
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000036
37using namespace llvm;
38
39STATISTIC(EmittedInsts, "Number of machine instrs printed");
40
41namespace {
42 class VISIBILITY_HIDDEN SystemZAsmPrinter : public AsmPrinter {
43 public:
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000044 SystemZAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
45 const TargetAsmInfo *TAI, bool V)
46 : AsmPrinter(O, TM, TAI, V) {}
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000047
48 virtual const char *getPassName() const {
49 return "SystemZ Assembly Printer";
50 }
51
52 void printOperand(const MachineInstr *MI, int OpNum,
53 const char* Modifier = 0);
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +000054 void printPCRelImmOperand(const MachineInstr *MI, int OpNum);
Anton Korobeynikova58fac92009-07-16 13:43:18 +000055 void printRIAddrOperand(const MachineInstr *MI, int OpNum,
56 const char* Modifier = 0);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +000057 void printRRIAddrOperand(const MachineInstr *MI, int OpNum,
58 const char* Modifier = 0);
Anton Korobeynikovbf21bac2009-07-16 14:02:45 +000059 void printS16ImmOperand(const MachineInstr *MI, int OpNum) {
60 O << (int16_t)MI->getOperand(OpNum).getImm();
61 }
62 void printS32ImmOperand(const MachineInstr *MI, int OpNum) {
63 O << (int32_t)MI->getOperand(OpNum).getImm();
64 }
65
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000066 bool printInstruction(const MachineInstr *MI); // autogenerated.
67 void printMachineInstruction(const MachineInstr * MI);
68
69 void emitFunctionHeader(const MachineFunction &MF);
70 bool runOnMachineFunction(MachineFunction &F);
Chris Lattnerae982212009-07-21 18:38:57 +000071 void PrintGlobalVariable(const GlobalVariable* GVar);
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000072
73 void getAnalysisUsage(AnalysisUsage &AU) const {
74 AsmPrinter::getAnalysisUsage(AU);
75 AU.setPreservesAll();
76 }
77 };
78} // end of anonymous namespace
79
80#include "SystemZGenAsmWriter.inc"
81
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000082void SystemZAsmPrinter::emitFunctionHeader(const MachineFunction &MF) {
Anton Korobeynikov147a9a72009-07-16 14:36:52 +000083 unsigned FnAlign = MF.getAlignment();
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000084 const Function *F = MF.getFunction();
85
Chris Lattnerc4c40a92009-07-28 03:13:23 +000086 SwitchToSection(getObjFileLowering().SectionForGlobal(F, TM));
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000087
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000088 EmitAlignment(FnAlign, F);
89
90 switch (F->getLinkage()) {
91 default: assert(0 && "Unknown linkage type!");
92 case Function::InternalLinkage: // Symbols default to internal.
93 case Function::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +000094 case Function::LinkerPrivateLinkage:
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +000095 break;
96 case Function::ExternalLinkage:
97 O << "\t.globl\t" << CurrentFnName << '\n';
98 break;
99 case Function::LinkOnceAnyLinkage:
100 case Function::LinkOnceODRLinkage:
101 case Function::WeakAnyLinkage:
102 case Function::WeakODRLinkage:
103 O << "\t.weak\t" << CurrentFnName << '\n';
104 break;
105 }
106
107 printVisibility(CurrentFnName, F->getVisibility());
108
109 O << "\t.type\t" << CurrentFnName << ",@function\n"
110 << CurrentFnName << ":\n";
111}
112
113bool SystemZAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
114 SetupMachineFunction(MF);
115 O << "\n\n";
116
Anton Korobeynikov67565d62009-07-16 14:19:35 +0000117 // Print out constants referenced by the function
118 EmitConstantPool(MF.getConstantPool());
119
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000120 // Print the 'header' of function
121 emitFunctionHeader(MF);
122
123 // Print out code for the function.
124 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
125 I != E; ++I) {
126 // Print a label for the basic block.
127 if (!VerboseAsm && (I->pred_empty() || I->isOnlyReachableByFallthrough())) {
128 // This is an entry block or a block that's only reachable via a
129 // fallthrough edge. In non-VerboseAsm mode, don't print the label.
130 } else {
131 printBasicBlockLabel(I, true, true, VerboseAsm);
132 O << '\n';
133 }
134
135 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
136 II != E; ++II)
137 // Print the assembly for the instruction.
138 printMachineInstruction(II);
139 }
140
141 if (TAI->hasDotTypeDotSizeDirective())
142 O << "\t.size\t" << CurrentFnName << ", .-" << CurrentFnName << '\n';
143
Anton Korobeynikov23bf4412009-07-16 14:07:50 +0000144 // Print out jump tables referenced by the function.
145 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
146
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000147 O.flush();
148
149 // We didn't modify anything
150 return false;
151}
152
153void SystemZAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
154 ++EmittedInsts;
155
156 // Call the autogenerated instruction printer routines.
157 if (printInstruction(MI))
158 return;
159
Anton Korobeynikov917cbe12009-07-18 13:33:17 +0000160 llvm_unreachable("Unreachable!");
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000161}
162
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000163void SystemZAsmPrinter::printPCRelImmOperand(const MachineInstr *MI, int OpNum) {
164 const MachineOperand &MO = MI->getOperand(OpNum);
165 switch (MO.getType()) {
Anton Korobeynikovb4de0b82009-07-16 14:17:07 +0000166 case MachineOperand::MO_Immediate:
167 O << MO.getImm();
168 return;
169 case MachineOperand::MO_MachineBasicBlock:
170 printBasicBlockLabel(MO.getMBB(), false, false, VerboseAsm);
171 return;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000172 case MachineOperand::MO_GlobalAddress: {
173 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000174 std::string Name = Mang->getMangledName(GV);
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000175
176 O << Name;
177
178 // Assemble calls via PLT for externally visible symbols if PIC.
179 if (TM.getRelocationModel() == Reloc::PIC_ &&
180 !GV->hasHiddenVisibility() && !GV->hasProtectedVisibility() &&
181 !GV->hasLocalLinkage())
182 O << "@PLT";
183
184 printOffset(MO.getOffset());
185 return;
186 }
187 case MachineOperand::MO_ExternalSymbol: {
188 std::string Name(TAI->getGlobalPrefix());
189 Name += MO.getSymbolName();
190 O << Name;
191
192 if (TM.getRelocationModel() == Reloc::PIC_)
193 O << "@PLT";
194
195 return;
196 }
197 default:
198 assert(0 && "Not implemented yet!");
199 }
200}
201
202
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000203void SystemZAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000204 const char* Modifier) {
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000205 const MachineOperand &MO = MI->getOperand(OpNum);
206 switch (MO.getType()) {
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000207 case MachineOperand::MO_Register: {
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000208 assert (TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
209 "Virtual registers should be already mapped!");
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000210 unsigned Reg = MO.getReg();
211 if (Modifier && strncmp(Modifier, "subreg", 6) == 0) {
212 if (strncmp(Modifier + 7, "even", 4) == 0)
213 Reg = TRI->getSubReg(Reg, SystemZ::SUBREG_EVEN);
214 else if (strncmp(Modifier + 7, "odd", 3) == 0)
215 Reg = TRI->getSubReg(Reg, SystemZ::SUBREG_ODD);
216 else
217 assert(0 && "Invalid subreg modifier");
218 }
219
220 O << '%' << TRI->getAsmName(Reg);
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000221 return;
Anton Korobeynikov8a563652009-07-16 14:04:01 +0000222 }
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000223 case MachineOperand::MO_Immediate:
Anton Korobeynikov8eef4042009-07-16 14:01:10 +0000224 O << MO.getImm();
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000225 return;
226 case MachineOperand::MO_MachineBasicBlock:
227 printBasicBlockLabel(MO.getMBB());
228 return;
Anton Korobeynikov23bf4412009-07-16 14:07:50 +0000229 case MachineOperand::MO_JumpTableIndex:
230 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << '_'
231 << MO.getIndex();
232
233 return;
Anton Korobeynikov67565d62009-07-16 14:19:35 +0000234 case MachineOperand::MO_ConstantPoolIndex:
235 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << '_'
236 << MO.getIndex();
237
238 printOffset(MO.getOffset());
239 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000240 case MachineOperand::MO_GlobalAddress: {
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000241 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000242 std::string Name = Mang->getMangledName(GV);
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000243
244 O << Name;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000245 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000246 }
247 case MachineOperand::MO_ExternalSymbol: {
248 std::string Name(TAI->getGlobalPrefix());
249 Name += MO.getSymbolName();
250 O << Name;
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000251 break;
Anton Korobeynikov961cd4a2009-07-16 13:50:21 +0000252 }
Anton Korobeynikovf259c6c2009-07-16 13:29:38 +0000253 default:
254 assert(0 && "Not implemented yet!");
255 }
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000256
257 switch (MO.getTargetFlags()) {
258 default:
Anton Korobeynikov917cbe12009-07-18 13:33:17 +0000259 llvm_unreachable("Unknown target flag on GV operand");
Anton Korobeynikov1c2eedb2009-07-16 14:16:05 +0000260 case SystemZII::MO_NO_FLAG:
261 break;
262 case SystemZII::MO_GOTENT: O << "@GOTENT"; break;
263 case SystemZII::MO_PLT: O << "@PLT"; break;
264 }
265
266 printOffset(MO.getOffset());
Anton Korobeynikov32b7d5b2009-07-16 13:27:25 +0000267}
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000268
269void SystemZAsmPrinter::printRIAddrOperand(const MachineInstr *MI, int OpNum,
270 const char* Modifier) {
271 const MachineOperand &Base = MI->getOperand(OpNum);
272
273 // Print displacement operand.
274 printOperand(MI, OpNum+1);
275
276 // Print base operand (if any)
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000277 if (Base.getReg()) {
Anton Korobeynikova58fac92009-07-16 13:43:18 +0000278 O << '(';
279 printOperand(MI, OpNum);
280 O << ')';
281 }
282}
283
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000284void SystemZAsmPrinter::printRRIAddrOperand(const MachineInstr *MI, int OpNum,
285 const char* Modifier) {
286 const MachineOperand &Base = MI->getOperand(OpNum);
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000287 const MachineOperand &Index = MI->getOperand(OpNum+2);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000288
289 // Print displacement operand.
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000290 printOperand(MI, OpNum+1);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000291
292 // Print base operand (if any)
293 if (Base.getReg()) {
294 O << '(';
295 printOperand(MI, OpNum);
296 if (Index.getReg()) {
297 O << ',';
Anton Korobeynikovf7cefd92009-07-16 13:48:42 +0000298 printOperand(MI, OpNum+2);
Anton Korobeynikov87b83aa2009-07-16 13:44:00 +0000299 }
300 O << ')';
301 } else
302 assert(!Index.getReg() && "Should allocate base register first!");
303}
304
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000305/// PrintUnmangledNameSafely - Print out the printable characters in the name.
306/// Don't print things like \\n or \\0.
Daniel Dunbar23e2b802009-07-26 07:49:05 +0000307static void PrintUnmangledNameSafely(const Value *V,
308 formatted_raw_ostream &OS) {
309 for (StringRef::iterator it = V->getName().begin(),
310 ie = V->getName().end(); it != ie; ++it)
311 if (isprint(*it))
312 OS << *it;
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000313}
314
Chris Lattnerae982212009-07-21 18:38:57 +0000315void SystemZAsmPrinter::PrintGlobalVariable(const GlobalVariable* GVar) {
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000316 const TargetData *TD = TM.getTargetData();
317
318 if (!GVar->hasInitializer())
319 return; // External global require no code
320
321 // Check to see if this is a special global used by LLVM, if so, emit it.
322 if (EmitSpecialLLVMGlobal(GVar))
323 return;
324
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000325 std::string name = Mang->getMangledName(GVar);
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000326 Constant *C = GVar->getInitializer();
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000327 unsigned Size = TD->getTypeAllocSize(C->getType());
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000328 unsigned Align = std::max(1U, TD->getPreferredAlignmentLog(GVar));
329
330 printVisibility(name, GVar->getVisibility());
331
332 O << "\t.type\t" << name << ",@object\n";
333
Chris Lattnerc4c40a92009-07-28 03:13:23 +0000334 SwitchToSection(getObjFileLowering().SectionForGlobal(GVar, TM));
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000335
336 if (C->isNullValue() && !GVar->hasSection() &&
337 !GVar->isThreadLocal() &&
338 (GVar->hasLocalLinkage() || GVar->isWeakForLinker())) {
339
340 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
341
342 if (GVar->hasLocalLinkage())
343 O << "\t.local\t" << name << '\n';
344
345 O << TAI->getCOMMDirective() << name << ',' << Size;
346 if (TAI->getCOMMDirectiveTakesAlignment())
347 O << ',' << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
348
349 if (VerboseAsm) {
350 O << "\t\t" << TAI->getCommentString() << ' ';
351 PrintUnmangledNameSafely(GVar, O);
352 }
353 O << '\n';
354 return;
355 }
356
357 switch (GVar->getLinkage()) {
358 case GlobalValue::CommonLinkage:
359 case GlobalValue::LinkOnceAnyLinkage:
360 case GlobalValue::LinkOnceODRLinkage:
361 case GlobalValue::WeakAnyLinkage:
362 case GlobalValue::WeakODRLinkage:
363 O << "\t.weak\t" << name << '\n';
364 break;
365 case GlobalValue::DLLExportLinkage:
366 case GlobalValue::AppendingLinkage:
367 // FIXME: appending linkage variables should go into a section of
368 // their name or something. For now, just emit them as external.
369 case GlobalValue::ExternalLinkage:
370 // If external or appending, declare as a global symbol
371 O << "\t.globl " << name << '\n';
372 // FALL THROUGH
373 case GlobalValue::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +0000374 case GlobalValue::LinkerPrivateLinkage:
Anton Korobeynikovfafa2de2009-07-16 14:04:22 +0000375 case GlobalValue::InternalLinkage:
376 break;
377 default:
378 assert(0 && "Unknown linkage type!");
379 }
380
381 // Use 16-bit alignment by default to simplify bunch of stuff
382 EmitAlignment(Align, GVar, 1);
383 O << name << ":";
384 if (VerboseAsm) {
385 O << "\t\t\t\t" << TAI->getCommentString() << ' ';
386 PrintUnmangledNameSafely(GVar, O);
387 }
388 O << '\n';
389 if (TAI->hasDotTypeDotSizeDirective())
390 O << "\t.size\t" << name << ", " << Size << '\n';
391
392 EmitGlobalConstant(C);
393}
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000394
395// Force static initialization.
396extern "C" void LLVMInitializeSystemZAsmPrinter() {
Daniel Dunbarc680b012009-07-25 06:49:55 +0000397 RegisterAsmPrinter<SystemZAsmPrinter> X(TheSystemZTarget);
Anton Korobeynikov147a9a72009-07-16 14:36:52 +0000398}