blob: ce07225030e8dca1dc4bf5a0401f0b395d46de40 [file] [log] [blame]
Andrew Lenharth01269522005-01-24 18:37:48 +00001//===-- AlphaAsmPrinter.cpp - Alpha LLVM assembly writer ------------------===//
Misha Brukman4633f1c2005-04-21 23:13:11 +00002//
Andrew Lenharth304d0f32005-01-22 23:41:55 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukman4633f1c2005-04-21 23:13:11 +00007//
Andrew Lenharth304d0f32005-01-22 23:41:55 +00008//===----------------------------------------------------------------------===//
9//
10// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to GAS-format Alpha assembly language.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattner95b2c7d2006-12-19 22:59:26 +000015#define DEBUG_TYPE "asm-printer"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000016#include "Alpha.h"
17#include "AlphaInstrInfo.h"
Andrew Lenharth120ab482005-09-29 22:54:56 +000018#include "AlphaTargetMachine.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000019#include "llvm/Module.h"
Devang Patele4c0c0f2009-06-25 00:47:42 +000020#include "llvm/MDNode.h"
Chris Lattner5b3a4552005-03-17 15:38:16 +000021#include "llvm/Type.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000022#include "llvm/Assembly/Writer.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000023#include "llvm/CodeGen/AsmPrinter.h"
Bill Wendlingcb819f12009-02-18 23:12:06 +000024#include "llvm/CodeGen/DwarfWriter.h"
Jim Laskey563321a2006-09-06 18:34:40 +000025#include "llvm/Target/TargetAsmInfo.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000026#include "llvm/Target/TargetMachine.h"
Daniel Dunbar51b198a2009-07-15 20:24:03 +000027#include "llvm/Target/TargetRegistry.h"
Chris Lattner11fd2f12006-12-06 18:19:53 +000028#include "llvm/Support/Compiler.h"
Torok Edwin804e0fe2009-07-08 19:04:27 +000029#include "llvm/Support/ErrorHandling.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000030#include "llvm/Support/Mangler.h"
David Greene71847812009-07-14 20:18:05 +000031#include "llvm/Support/FormattedStream.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000032#include "llvm/ADT/Statistic.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000033using namespace llvm;
34
Chris Lattner95b2c7d2006-12-19 22:59:26 +000035STATISTIC(EmittedInsts, "Number of machine instrs printed");
36
Andrew Lenharth304d0f32005-01-22 23:41:55 +000037namespace {
Jim Laskey563321a2006-09-06 18:34:40 +000038 struct VISIBILITY_HIDDEN AlphaAsmPrinter : public AsmPrinter {
Andrew Lenharth304d0f32005-01-22 23:41:55 +000039 /// Unique incrementer for label values for referencing Global values.
40 ///
Misha Brukman4633f1c2005-04-21 23:13:11 +000041
David Greene71847812009-07-14 20:18:05 +000042 explicit AlphaAsmPrinter(formatted_raw_ostream &o, TargetMachine &tm,
Daniel Dunbar5bcc8bd2009-07-01 01:48:54 +000043 const TargetAsmInfo *T, bool V)
44 : AsmPrinter(o, tm, T, V) {}
Andrew Lenharth304d0f32005-01-22 23:41:55 +000045
Andrew Lenharth304d0f32005-01-22 23:41:55 +000046 virtual const char *getPassName() const {
47 return "Alpha Assembly Printer";
48 }
49 bool printInstruction(const MachineInstr *MI);
50 void printOp(const MachineOperand &MO, bool IsCallOp = false);
Nate Begeman391c5d22005-11-30 18:54:35 +000051 void printOperand(const MachineInstr *MI, int opNum);
Andrew Lenharth304d0f32005-01-22 23:41:55 +000052 void printBaseOffsetPair (const MachineInstr *MI, int i, bool brackets=true);
Anton Korobeynikov79579c92008-08-07 09:53:57 +000053 void printModuleLevelGV(const GlobalVariable* GVar);
Misha Brukman4633f1c2005-04-21 23:13:11 +000054 bool runOnMachineFunction(MachineFunction &F);
Andrew Lenharth304d0f32005-01-22 23:41:55 +000055 bool doInitialization(Module &M);
56 bool doFinalization(Module &M);
Anton Korobeynikov79579c92008-08-07 09:53:57 +000057
Andrew Lenharth17255992006-06-21 13:37:27 +000058 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
59 unsigned AsmVariant, const char *ExtraCode);
Anton Korobeynikov79579c92008-08-07 09:53:57 +000060 bool PrintAsmMemoryOperand(const MachineInstr *MI,
Anton Korobeynikovbed29462007-04-16 18:10:23 +000061 unsigned OpNo,
Anton Korobeynikov79579c92008-08-07 09:53:57 +000062 unsigned AsmVariant,
Anton Korobeynikovbed29462007-04-16 18:10:23 +000063 const char *ExtraCode);
Andrew Lenharth304d0f32005-01-22 23:41:55 +000064 };
65} // end of anonymous namespace
66
67/// createAlphaCodePrinterPass - Returns a pass that prints the Alpha
68/// assembly code for a MachineFunction to the given output stream,
69/// using the given target machine description. This should work
70/// regardless of whether the function is in SSA form.
71///
David Greene71847812009-07-14 20:18:05 +000072FunctionPass *llvm::createAlphaCodePrinterPass(formatted_raw_ostream &o,
Bill Wendling57f0db82009-02-24 08:30:20 +000073 TargetMachine &tm,
Bill Wendlingbe8cc2a2009-04-29 00:15:41 +000074 bool verbose) {
Daniel Dunbar5bcc8bd2009-07-01 01:48:54 +000075 return new AlphaAsmPrinter(o, tm, tm.getTargetAsmInfo(), verbose);
Andrew Lenharth304d0f32005-01-22 23:41:55 +000076}
77
78#include "AlphaGenAsmWriter.inc"
79
Nate Begeman391c5d22005-11-30 18:54:35 +000080void AlphaAsmPrinter::printOperand(const MachineInstr *MI, int opNum)
Andrew Lenharth304d0f32005-01-22 23:41:55 +000081{
82 const MachineOperand &MO = MI->getOperand(opNum);
Chris Lattner2d90ac72006-05-04 18:05:43 +000083 if (MO.getType() == MachineOperand::MO_Register) {
Dan Gohman6f0d0242008-02-10 18:45:23 +000084 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
85 "Not physreg??");
Bill Wendling74ab84c2008-02-26 21:11:01 +000086 O << TM.getRegisterInfo()->get(MO.getReg()).AsmName;
Dan Gohmand735b802008-10-03 15:45:36 +000087 } else if (MO.isImm()) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +000088 O << MO.getImm();
89 assert(MO.getImm() < (1 << 30));
Andrew Lenharth304d0f32005-01-22 23:41:55 +000090 } else {
91 printOp(MO);
92 }
93}
94
95
96void AlphaAsmPrinter::printOp(const MachineOperand &MO, bool IsCallOp) {
Dan Gohman6f0d0242008-02-10 18:45:23 +000097 const TargetRegisterInfo &RI = *TM.getRegisterInfo();
Misha Brukman4633f1c2005-04-21 23:13:11 +000098
Andrew Lenharth304d0f32005-01-22 23:41:55 +000099 switch (MO.getType()) {
Chris Lattner2d90ac72006-05-04 18:05:43 +0000100 case MachineOperand::MO_Register:
Bill Wendling74ab84c2008-02-26 21:11:01 +0000101 O << RI.get(MO.getReg()).AsmName;
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000102 return;
103
Chris Lattner63b3d712006-05-04 17:21:20 +0000104 case MachineOperand::MO_Immediate:
Torok Edwinc23197a2009-07-14 16:55:14 +0000105 llvm_unreachable("printOp() does not handle immediate values");
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000106 return;
107
Nate Begeman37efe672006-04-22 18:53:45 +0000108 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner8aa797a2007-12-30 23:10:15 +0000109 printBasicBlockLabel(MO.getMBB());
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000110 return;
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000111
112 case MachineOperand::MO_ConstantPoolIndex:
Evan Cheng347d39f2007-10-14 05:57:21 +0000113 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << "_"
Chris Lattner8aa797a2007-12-30 23:10:15 +0000114 << MO.getIndex();
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000115 return;
116
117 case MachineOperand::MO_ExternalSymbol:
118 O << MO.getSymbolName();
119 return;
120
Chris Lattnerb8158ac2009-07-14 18:17:16 +0000121 case MachineOperand::MO_GlobalAddress:
122 O << Mang->getMangledName(MO.getGlobal());
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000123 return;
Misha Brukman4633f1c2005-04-21 23:13:11 +0000124
Andrew Lenharthea4f9d52006-09-18 18:01:03 +0000125 case MachineOperand::MO_JumpTableIndex:
Evan Cheng347d39f2007-10-14 05:57:21 +0000126 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner8aa797a2007-12-30 23:10:15 +0000127 << '_' << MO.getIndex();
Andrew Lenharthea4f9d52006-09-18 18:01:03 +0000128 return;
129
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000130 default:
131 O << "<unknown operand type: " << MO.getType() << ">";
132 return;
133 }
134}
135
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000136/// runOnMachineFunction - This uses the printMachineInstruction()
137/// method to print assembly for each instruction.
138///
139bool AlphaAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Bill Wendling57f0db82009-02-24 08:30:20 +0000140 this->MF = &MF;
141
Chris Lattner8b8b9512005-11-21 07:51:23 +0000142 SetupMachineFunction(MF);
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000143 O << "\n\n";
144
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000145 // Print out constants referenced by the function
Chris Lattner60530102005-11-21 08:29:17 +0000146 EmitConstantPool(MF.getConstantPool());
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000147
Andrew Lenharthea4f9d52006-09-18 18:01:03 +0000148 // Print out jump tables referenced by the function
Chris Lattner1da31ee2006-10-05 03:01:21 +0000149 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Andrew Lenharthea4f9d52006-09-18 18:01:03 +0000150
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000151 // Print out labels for the function.
Andrew Lenharthfd895432006-02-04 19:13:09 +0000152 const Function *F = MF.getFunction();
Anton Korobeynikovc25e1ea2008-09-24 22:14:23 +0000153 SwitchToSection(TAI->SectionForGlobal(F));
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000154
Bill Wendling20c568f2009-06-30 22:38:32 +0000155 EmitAlignment(MF.getAlignment(), F);
Andrew Lenharthfd895432006-02-04 19:13:09 +0000156 switch (F->getLinkage()) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000157 default: llvm_unreachable("Unknown linkage type!");
Andrew Lenharthfd895432006-02-04 19:13:09 +0000158 case Function::InternalLinkage: // Symbols default to internal.
Rafael Espindola19caec72009-01-15 21:51:46 +0000159 case Function::PrivateLinkage:
Bill Wendling3d10a5a2009-07-20 01:03:30 +0000160 case Function::LinkerPrivateLinkage:
Andrew Lenharthfd895432006-02-04 19:13:09 +0000161 break;
162 case Function::ExternalLinkage:
163 O << "\t.globl " << CurrentFnName << "\n";
164 break;
Duncan Sands667d4b82009-03-07 15:45:40 +0000165 case Function::WeakAnyLinkage:
166 case Function::WeakODRLinkage:
167 case Function::LinkOnceAnyLinkage:
168 case Function::LinkOnceODRLinkage:
Andrew Lenharth0fb25902006-12-07 23:55:55 +0000169 O << TAI->getWeakRefDirective() << CurrentFnName << "\n";
Andrew Lenharthfd895432006-02-04 19:13:09 +0000170 break;
171 }
172
Anton Korobeynikovf5b6a472008-08-08 18:25:07 +0000173 printVisibility(CurrentFnName, F->getVisibility());
174
Andrew Lenharth044f31f2005-05-27 03:39:30 +0000175 O << "\t.ent " << CurrentFnName << "\n";
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000176
177 O << CurrentFnName << ":\n";
178
179 // Print out code for the function.
180 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
181 I != E; ++I) {
Andrew Lenharth0fb25902006-12-07 23:55:55 +0000182 if (I != MF.begin()) {
Evan Chengfb8075d2008-02-28 00:43:03 +0000183 printBasicBlockLabel(I, true, true);
Andrew Lenharth0fb25902006-12-07 23:55:55 +0000184 O << '\n';
185 }
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000186 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
187 II != E; ++II) {
188 // Print the assembly for the instruction.
Andrew Lenharth0fb25902006-12-07 23:55:55 +0000189 ++EmittedInsts;
Andrew Lenharth0fb25902006-12-07 23:55:55 +0000190 if (!printInstruction(II)) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000191 llvm_unreachable("Unhandled instruction in asm writer!");
Andrew Lenharth0fb25902006-12-07 23:55:55 +0000192 }
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000193 }
194 }
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000195
Andrew Lenharth2b6c4f52005-02-25 22:55:15 +0000196 O << "\t.end " << CurrentFnName << "\n";
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000197
198 // We didn't modify anything.
199 return false;
200}
201
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000202bool AlphaAsmPrinter::doInitialization(Module &M)
203{
Andrew Lenharth3553d862007-01-24 21:09:16 +0000204 if(TM.getSubtarget<AlphaSubtarget>().hasCT())
205 O << "\t.arch ev6\n"; //This might need to be ev67, so leave this test here
Andrew Lenharth3ae18292005-04-14 16:24:00 +0000206 else
Andrew Lenharth3553d862007-01-24 21:09:16 +0000207 O << "\t.arch ev6\n";
Andrew Lenharth0934ae02005-07-22 20:52:16 +0000208 O << "\t.set noat\n";
Dan Gohmanb8275a32007-07-25 19:33:14 +0000209 return AsmPrinter::doInitialization(M);
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000210}
Misha Brukman4633f1c2005-04-21 23:13:11 +0000211
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000212void AlphaAsmPrinter::printModuleLevelGV(const GlobalVariable* GVar) {
Owen Andersona69571c2006-05-03 01:29:57 +0000213 const TargetData *TD = TM.getTargetData();
Misha Brukman4633f1c2005-04-21 23:13:11 +0000214
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000215 if (!GVar->hasInitializer()) return; // External global require no code
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000216
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000217 // Check to see if this is a special global used by LLVM, if so, emit it.
218 if (EmitSpecialLLVMGlobal(GVar))
219 return;
220
Chris Lattnerb8158ac2009-07-14 18:17:16 +0000221 std::string name = Mang->getMangledName(GVar);
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000222 Constant *C = GVar->getInitializer();
Devang Patel0f05d222009-06-26 02:26:12 +0000223 if (isa<MDNode>(C) || isa<MDString>(C))
Devang Patele4c0c0f2009-06-25 00:47:42 +0000224 return;
Duncan Sands777d2302009-05-09 07:06:46 +0000225 unsigned Size = TD->getTypeAllocSize(C->getType());
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000226 unsigned Align = TD->getPreferredAlignmentLog(GVar);
227
228 // 0: Switch to section
Anton Korobeynikovc25e1ea2008-09-24 22:14:23 +0000229 SwitchToSection(TAI->SectionForGlobal(GVar));
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000230
231 // 1: Check visibility
Anton Korobeynikovf5b6a472008-08-08 18:25:07 +0000232 printVisibility(name, GVar->getVisibility());
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000233
234 // 2: Kind
235 switch (GVar->getLinkage()) {
Duncan Sands667d4b82009-03-07 15:45:40 +0000236 case GlobalValue::LinkOnceAnyLinkage:
237 case GlobalValue::LinkOnceODRLinkage:
238 case GlobalValue::WeakAnyLinkage:
239 case GlobalValue::WeakODRLinkage:
Duncan Sands4dc2b392009-03-11 20:14:15 +0000240 case GlobalValue::CommonLinkage:
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000241 O << TAI->getWeakRefDirective() << name << '\n';
242 break;
243 case GlobalValue::AppendingLinkage:
244 case GlobalValue::ExternalLinkage:
245 O << TAI->getGlobalDirective() << name << "\n";
Andrew Lenharth921a83a2007-02-13 23:41:16 +0000246 break;
247 case GlobalValue::InternalLinkage:
Rafael Espindola19caec72009-01-15 21:51:46 +0000248 case GlobalValue::PrivateLinkage:
Bill Wendling3d10a5a2009-07-20 01:03:30 +0000249 case GlobalValue::LinkerPrivateLinkage:
Andrew Lenharth921a83a2007-02-13 23:41:16 +0000250 break;
251 default:
Torok Edwinc23197a2009-07-14 16:55:14 +0000252 llvm_unreachable("Unknown linkage type!");
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000253 }
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000254
255 // 3: Type, Size, Align
256 if (TAI->hasDotTypeDotSizeDirective()) {
Andrew Lenharth921a83a2007-02-13 23:41:16 +0000257 O << "\t.type\t" << name << ", @object\n";
258 O << "\t.size\t" << name << ", " << Size << "\n";
Andrew Lenharth921a83a2007-02-13 23:41:16 +0000259 }
Andrew Lenharth913ab052006-12-07 17:39:14 +0000260
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000261 EmitAlignment(Align, GVar);
262
263 O << name << ":\n";
264
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000265 EmitGlobalConstant(C);
266 O << '\n';
267}
268
269bool AlphaAsmPrinter::doFinalization(Module &M) {
270 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
271 I != E; ++I)
272 printModuleLevelGV(I);
273
Dan Gohmanb8275a32007-07-25 19:33:14 +0000274 return AsmPrinter::doFinalization(M);
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000275}
Andrew Lenharth17255992006-06-21 13:37:27 +0000276
277/// PrintAsmOperand - Print out an operand for an inline asm expression.
278///
279bool AlphaAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000280 unsigned AsmVariant,
Anton Korobeynikovbed29462007-04-16 18:10:23 +0000281 const char *ExtraCode) {
Andrew Lenharth17255992006-06-21 13:37:27 +0000282 printOperand(MI, OpNo);
283 return false;
284}
Andrew Lenharthdf97cc62006-06-21 15:42:36 +0000285
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000286bool AlphaAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Anton Korobeynikovbed29462007-04-16 18:10:23 +0000287 unsigned OpNo,
Anton Korobeynikov79579c92008-08-07 09:53:57 +0000288 unsigned AsmVariant,
Anton Korobeynikovbed29462007-04-16 18:10:23 +0000289 const char *ExtraCode) {
Andrew Lenharthdf97cc62006-06-21 15:42:36 +0000290 if (ExtraCode && ExtraCode[0])
291 return true; // Unknown modifier.
Andrew Lenharth78c252c2006-07-03 17:57:34 +0000292 O << "0(";
Andrew Lenharthdf97cc62006-06-21 15:42:36 +0000293 printOperand(MI, OpNo);
Andrew Lenharth78c252c2006-07-03 17:57:34 +0000294 O << ")";
Andrew Lenharthdf97cc62006-06-21 15:42:36 +0000295 return false;
296}
Douglas Gregor1555a232009-06-16 20:12:29 +0000297
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000298// Force static initialization.
299extern "C" void LLVMInitializeAlphaAsmPrinter() {
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000300 TargetRegistry::RegisterAsmPrinter(TheAlphaTarget,
301 createAlphaCodePrinterPass);
302}