blob: 88ab8e07798615a80221ae88d52feb1763fe0d1b [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//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source 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
15#include "Alpha.h"
16#include "AlphaInstrInfo.h"
Andrew Lenharth120ab482005-09-29 22:54:56 +000017#include "AlphaTargetMachine.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000018#include "llvm/Module.h"
Chris Lattner5b3a4552005-03-17 15:38:16 +000019#include "llvm/Type.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000020#include "llvm/Assembly/Writer.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000021#include "llvm/CodeGen/MachineConstantPool.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000022#include "llvm/CodeGen/ValueTypes.h"
23#include "llvm/CodeGen/AsmPrinter.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000024#include "llvm/Target/TargetMachine.h"
Andrew Lenharth304d0f32005-01-22 23:41:55 +000025#include "llvm/Support/Mangler.h"
26#include "llvm/ADT/Statistic.h"
Andrew Lenharth01269522005-01-24 18:37:48 +000027
Andrew Lenharth304d0f32005-01-22 23:41:55 +000028using namespace llvm;
29
30namespace {
31 Statistic<> EmittedInsts("asm-printer", "Number of machine instrs printed");
32
33 struct AlphaAsmPrinter : public AsmPrinter {
34
35 /// Unique incrementer for label values for referencing Global values.
36 ///
37 unsigned LabelNumber;
Misha Brukman4633f1c2005-04-21 23:13:11 +000038
39 AlphaAsmPrinter(std::ostream &o, TargetMachine &tm)
Andrew Lenharth440e6882005-02-04 14:09:38 +000040 : AsmPrinter(o, tm), LabelNumber(0)
41 {
42 AlignmentIsInBytes = false;
Chris Lattner81a994e2005-11-21 06:51:52 +000043 PrivateGlobalPrefix = "$";
Andrew Lenharth440e6882005-02-04 14:09:38 +000044 }
Andrew Lenharth304d0f32005-01-22 23:41:55 +000045
46 /// We name each basic block in a Function with a unique number, so
47 /// that we can consistently refer to them later. This is cleared
48 /// at the beginning of each call to runOnMachineFunction().
49 ///
50 typedef std::map<const Value *, unsigned> ValueMapTy;
51 ValueMapTy NumberForBB;
Andrew Lenharthc24b5372005-04-13 17:17:28 +000052 std::string CurSection;
Andrew Lenharth304d0f32005-01-22 23:41:55 +000053
54 virtual const char *getPassName() const {
55 return "Alpha Assembly Printer";
56 }
57 bool printInstruction(const MachineInstr *MI);
58 void printOp(const MachineOperand &MO, bool IsCallOp = false);
59 void printConstantPool(MachineConstantPool *MCP);
60 void printOperand(const MachineInstr *MI, int opNum, MVT::ValueType VT);
61 void printBaseOffsetPair (const MachineInstr *MI, int i, bool brackets=true);
62 void printMachineInstruction(const MachineInstr *MI);
Misha Brukman4633f1c2005-04-21 23:13:11 +000063 bool runOnMachineFunction(MachineFunction &F);
Andrew Lenharth304d0f32005-01-22 23:41:55 +000064 bool doInitialization(Module &M);
65 bool doFinalization(Module &M);
66 };
67} // end of anonymous namespace
68
69/// createAlphaCodePrinterPass - Returns a pass that prints the Alpha
70/// assembly code for a MachineFunction to the given output stream,
71/// using the given target machine description. This should work
72/// regardless of whether the function is in SSA form.
73///
74FunctionPass *llvm::createAlphaCodePrinterPass (std::ostream &o,
75 TargetMachine &tm) {
76 return new AlphaAsmPrinter(o, tm);
77}
78
79#include "AlphaGenAsmWriter.inc"
80
81void AlphaAsmPrinter::printOperand(const MachineInstr *MI, int opNum, MVT::ValueType VT)
82{
83 const MachineOperand &MO = MI->getOperand(opNum);
84 if (MO.getType() == MachineOperand::MO_MachineRegister) {
85 assert(MRegisterInfo::isPhysicalRegister(MO.getReg())&&"Not physreg??");
Andrew Lenharth01269522005-01-24 18:37:48 +000086 O << TM.getRegisterInfo()->get(MO.getReg()).Name;
Andrew Lenharth304d0f32005-01-22 23:41:55 +000087 } else if (MO.isImmediate()) {
88 O << MO.getImmedValue();
89 } else {
90 printOp(MO);
91 }
92}
93
94
95void AlphaAsmPrinter::printOp(const MachineOperand &MO, bool IsCallOp) {
96 const MRegisterInfo &RI = *TM.getRegisterInfo();
97 int new_symbol;
Misha Brukman4633f1c2005-04-21 23:13:11 +000098
Andrew Lenharth304d0f32005-01-22 23:41:55 +000099 switch (MO.getType()) {
100 case MachineOperand::MO_VirtualRegister:
101 if (Value *V = MO.getVRegValueOrNull()) {
102 O << "<" << V->getName() << ">";
103 return;
104 }
105 // FALLTHROUGH
106 case MachineOperand::MO_MachineRegister:
107 case MachineOperand::MO_CCRegister:
Andrew Lenharth01269522005-01-24 18:37:48 +0000108 O << RI.get(MO.getReg()).Name;
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000109 return;
110
111 case MachineOperand::MO_SignExtendedImmed:
112 case MachineOperand::MO_UnextendedImmed:
113 std::cerr << "printOp() does not handle immediate values\n";
114 abort();
115 return;
116
117 case MachineOperand::MO_PCRelativeDisp:
Andrew Lenharth01269522005-01-24 18:37:48 +0000118 std::cerr << "Shouldn't use addPCDisp() when building Alpha MachineInstrs";
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000119 abort();
120 return;
Misha Brukman4633f1c2005-04-21 23:13:11 +0000121
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000122 case MachineOperand::MO_MachineBasicBlock: {
123 MachineBasicBlock *MBBOp = MO.getMachineBasicBlock();
Andrew Lenhartheee2a882005-06-06 19:03:09 +0000124 O << "$LBB" << Mang->getValueName(MBBOp->getParent()->getFunction())
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000125 << "_" << MBBOp->getNumber() << "\t" << CommentString << " "
126 << MBBOp->getBasicBlock()->getName();
127 return;
128 }
129
130 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner81a994e2005-11-21 06:51:52 +0000131 O << PrivateGlobalPrefix << "CPI" << CurrentFnName << "_"
132 << MO.getConstantPoolIndex();
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000133 return;
134
135 case MachineOperand::MO_ExternalSymbol:
136 O << MO.getSymbolName();
137 return;
138
Andrew Lenharthc24b5372005-04-13 17:17:28 +0000139 case MachineOperand::MO_GlobalAddress:
140 //Abuse PCrel to specify pcrel calls
141 //calls are the only thing that use this flag
142 if (MO.isPCRelative())
143 O << "$" << Mang->getValueName(MO.getGlobal()) << "..ng";
144 else
145 O << Mang->getValueName(MO.getGlobal());
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000146 return;
Misha Brukman4633f1c2005-04-21 23:13:11 +0000147
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000148 default:
149 O << "<unknown operand type: " << MO.getType() << ">";
150 return;
151 }
152}
153
154/// printMachineInstruction -- Print out a single Alpha MI to
155/// the current output stream.
156///
157void AlphaAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
158 ++EmittedInsts;
159 if (printInstruction(MI))
160 return; // Printer was automatically generated
Misha Brukman4633f1c2005-04-21 23:13:11 +0000161
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000162 assert(0 && "Unhandled instruction in asm writer!");
163 abort();
164 return;
165}
166
167
168/// runOnMachineFunction - This uses the printMachineInstruction()
169/// method to print assembly for each instruction.
170///
171bool AlphaAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
172 setupMachineFunction(MF);
173 O << "\n\n";
174
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000175 // Print out constants referenced by the function
176 printConstantPool(MF.getConstantPool());
177
178 // Print out labels for the function.
Chris Lattner0a70a492005-11-21 07:30:28 +0000179 SwitchSection("\t.section .text", MF.getFunction());
Andrew Lenharthc24b5372005-04-13 17:17:28 +0000180 emitAlignment(4);
Andrew Lenharth044f31f2005-05-27 03:39:30 +0000181 O << "\t.globl " << CurrentFnName << "\n";
182 O << "\t.ent " << CurrentFnName << "\n";
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000183
184 O << CurrentFnName << ":\n";
185
186 // Print out code for the function.
187 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
188 I != E; ++I) {
189 // Print a label for the basic block.
Andrew Lenhartheee2a882005-06-06 19:03:09 +0000190 O << "$LBB" << CurrentFnName << "_" << I->getNumber() << ":\t"
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000191 << CommentString << " " << I->getBasicBlock()->getName() << "\n";
192 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
193 II != E; ++II) {
194 // Print the assembly for the instruction.
195 O << "\t";
196 printMachineInstruction(II);
197 }
198 }
199 ++LabelNumber;
200
Andrew Lenharth2b6c4f52005-02-25 22:55:15 +0000201 O << "\t.end " << CurrentFnName << "\n";
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000202
203 // We didn't modify anything.
204 return false;
205}
206
207
208/// printConstantPool - Print to the current output stream assembly
209/// representations of the constants in the constant pool MCP. This is
210/// used to print out constants which have been "spilled to memory" by
211/// the code generator.
212///
213void AlphaAsmPrinter::printConstantPool(MachineConstantPool *MCP) {
214 const std::vector<Constant*> &CP = MCP->getConstants();
215 const TargetData &TD = TM.getTargetData();
Misha Brukman4633f1c2005-04-21 23:13:11 +0000216
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000217 if (CP.empty()) return;
218
Chris Lattner0a70a492005-11-21 07:30:28 +0000219 SwitchSection("\t.section .rodata", 0);
Andrew Lenharthf61ed952005-02-01 20:38:53 +0000220 for (unsigned i = 0, e = CP.size(); i != e; ++i) {
Andrew Lenharthf61ed952005-02-01 20:38:53 +0000221 emitAlignment(TD.getTypeAlignmentShift(CP[i]->getType()));
Chris Lattner81a994e2005-11-21 06:51:52 +0000222 O << PrivateGlobalPrefix << "CPI" << CurrentFnName << "_" << i
223 << ":\t\t\t\t\t" << CommentString << *CP[i] << "\n";
Andrew Lenharthf61ed952005-02-01 20:38:53 +0000224 emitGlobalConstant(CP[i]);
225 }
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000226}
227
228bool AlphaAsmPrinter::doInitialization(Module &M)
229{
230 AsmPrinter::doInitialization(M);
Andrew Lenharth120ab482005-09-29 22:54:56 +0000231 if(TM.getSubtarget<AlphaSubtarget>().hasF2I()
232 || TM.getSubtarget<AlphaSubtarget>().hasCT())
Andrew Lenharth3ae18292005-04-14 16:24:00 +0000233 O << "\t.arch ev6\n";
234 else
235 O << "\t.arch ev56\n";
Andrew Lenharth0934ae02005-07-22 20:52:16 +0000236 O << "\t.set noat\n";
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000237 return false;
238}
Misha Brukman4633f1c2005-04-21 23:13:11 +0000239
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000240bool AlphaAsmPrinter::doFinalization(Module &M) {
241 const TargetData &TD = TM.getTargetData();
Misha Brukman4633f1c2005-04-21 23:13:11 +0000242
Chris Lattnere4d5c442005-03-15 04:54:21 +0000243 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end(); I != E; ++I)
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000244 if (I->hasInitializer()) { // External global require no code
245 O << "\n\n";
246 std::string name = Mang->getValueName(I);
247 Constant *C = I->getInitializer();
248 unsigned Size = TD.getTypeSize(C->getType());
249 unsigned Align = TD.getTypeAlignmentShift(C->getType());
250
Misha Brukman4633f1c2005-04-21 23:13:11 +0000251 if (C->isNullValue() &&
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000252 (I->hasLinkOnceLinkage() || I->hasInternalLinkage() ||
253 I->hasWeakLinkage() /* FIXME: Verify correct */)) {
Chris Lattner0a70a492005-11-21 07:30:28 +0000254 SwitchSection("\t.section .data", I);
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000255 if (I->hasInternalLinkage())
256 O << "\t.local " << name << "\n";
Misha Brukman4633f1c2005-04-21 23:13:11 +0000257
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000258 O << "\t.comm " << name << "," << TD.getTypeSize(C->getType())
259 << "," << (1 << Align);
260 O << "\t\t# ";
261 WriteAsOperand(O, I, true, true, &M);
262 O << "\n";
263 } else {
264 switch (I->getLinkage()) {
265 case GlobalValue::LinkOnceLinkage:
266 case GlobalValue::WeakLinkage: // FIXME: Verify correct for weak.
267 // Nonnull linkonce -> weak
268 O << "\t.weak " << name << "\n";
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000269 O << "\t.section\t.llvm.linkonce.d." << name << ",\"aw\",@progbits\n";
Chris Lattner0a70a492005-11-21 07:30:28 +0000270 SwitchSection("", I);
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000271 break;
272 case GlobalValue::AppendingLinkage:
273 // FIXME: appending linkage variables should go into a section of
274 // their name or something. For now, just emit them as external.
275 case GlobalValue::ExternalLinkage:
276 // If external or appending, declare as a global symbol
277 O << "\t.globl " << name << "\n";
278 // FALL THROUGH
279 case GlobalValue::InternalLinkage:
Chris Lattner0a70a492005-11-21 07:30:28 +0000280 SwitchSection(C->isNullValue() ? "\t.section .bss" :
281 "\t.section .data", I);
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000282 break;
283 case GlobalValue::GhostLinkage:
Andrew Lenharth3dc15f32005-03-10 19:02:02 +0000284 std::cerr << "GhostLinkage cannot appear in AlphaAsmPrinter!\n";
Andrew Lenharth304d0f32005-01-22 23:41:55 +0000285 abort();
286 }
287
288 emitAlignment(Align);
289 O << "\t.type " << name << ",@object\n";
290 O << "\t.size " << name << "," << Size << "\n";
291 O << name << ":\t\t\t\t# ";
292 WriteAsOperand(O, I, true, true, &M);
293 O << " = ";
294 WriteAsOperand(O, C, false, false, &M);
295 O << "\n";
296 emitGlobalConstant(C);
297 }
298 }
299
300 AsmPrinter::doFinalization(M);
301 return false;
302}