blob: 7f1673cf462e2844545014c4fe270e3e78257226 [file] [log] [blame]
Nate Begeman21e463b2005-10-16 05:39:50 +00001//===-- PPCAsmPrinter.cpp - Print machine instrs to PowerPC assembly --------=//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Misha Brukman5dfe3a92004-06-21 16:55:25 +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 Brukmanb5f662f2005-04-21 23:30:14 +00007//
Misha Brukman5dfe3a92004-06-21 16:55:25 +00008//===----------------------------------------------------------------------===//
9//
Misha Brukman05fcd0c2004-07-08 17:58:04 +000010// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to PowerPC assembly language. This printer is
Chris Lattner83660c52004-07-28 20:18:53 +000012// the output mechanism used by `llc'.
Misha Brukman5dfe3a92004-06-21 16:55:25 +000013//
Misha Brukman05fcd0c2004-07-08 17:58:04 +000014// Documentation at http://developer.apple.com/documentation/DeveloperTools/
15// Reference/Assembler/ASMIntroduction/chapter_1_section_1.html
Misha Brukman218bec72004-06-29 17:13:26 +000016//
Misha Brukman5dfe3a92004-06-21 16:55:25 +000017//===----------------------------------------------------------------------===//
18
Misha Brukman05794492004-06-24 17:31:42 +000019#define DEBUG_TYPE "asmprinter"
Chris Lattner26689592005-10-14 23:51:18 +000020#include "PPC.h"
Chris Lattnerdf4ed632006-11-17 22:10:59 +000021#include "PPCPredicates.h"
Chris Lattner16e71f22005-10-14 23:59:06 +000022#include "PPCTargetMachine.h"
Chris Lattner26689592005-10-14 23:51:18 +000023#include "PPCSubtarget.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000024#include "llvm/Constants.h"
25#include "llvm/DerivedTypes.h"
26#include "llvm/Module.h"
Devang Patele4c0c0f2009-06-25 00:47:42 +000027#include "llvm/MDNode.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000028#include "llvm/Assembly/Writer.h"
Chris Lattnera3840792004-08-16 23:25:21 +000029#include "llvm/CodeGen/AsmPrinter.h"
Jim Laskeya7cea6f2006-01-04 13:52:30 +000030#include "llvm/CodeGen/DwarfWriter.h"
Jim Laskey44c3b9f2007-01-26 21:22:28 +000031#include "llvm/CodeGen/MachineModuleInfo.h"
Misha Brukman05794492004-06-24 17:31:42 +000032#include "llvm/CodeGen/MachineFunctionPass.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000033#include "llvm/CodeGen/MachineInstr.h"
Bill Wendling381802f2008-01-26 06:51:24 +000034#include "llvm/CodeGen/MachineInstrBuilder.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000035#include "llvm/Support/Mangler.h"
Nate Begemana11c2e82004-09-04 14:51:26 +000036#include "llvm/Support/MathExtras.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000037#include "llvm/Support/CommandLine.h"
38#include "llvm/Support/Debug.h"
Chris Lattnera4f0b3a2006-08-27 12:54:02 +000039#include "llvm/Support/Compiler.h"
Owen Andersoncb371882008-08-21 00:14:44 +000040#include "llvm/Support/raw_ostream.h"
Jim Laskey563321a2006-09-06 18:34:40 +000041#include "llvm/Target/TargetAsmInfo.h"
Dan Gohman6f0d0242008-02-10 18:45:23 +000042#include "llvm/Target/TargetRegisterInfo.h"
Nate Begemand4c8bea2004-11-25 07:09:01 +000043#include "llvm/Target/TargetInstrInfo.h"
Evan Chengd2ee2182006-02-18 00:08:58 +000044#include "llvm/Target/TargetOptions.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000045#include "llvm/ADT/Statistic.h"
46#include "llvm/ADT/StringExtras.h"
Evan Chengae94e592008-12-05 01:06:39 +000047#include "llvm/ADT/StringSet.h"
Chris Lattnera3840792004-08-16 23:25:21 +000048using namespace llvm;
Misha Brukman5dfe3a92004-06-21 16:55:25 +000049
Chris Lattner95b2c7d2006-12-19 22:59:26 +000050STATISTIC(EmittedInsts, "Number of machine instrs printed");
Misha Brukman5dfe3a92004-06-21 16:55:25 +000051
Chris Lattner95b2c7d2006-12-19 22:59:26 +000052namespace {
Bill Wendling57f0db82009-02-24 08:30:20 +000053 class VISIBILITY_HIDDEN PPCAsmPrinter : public AsmPrinter {
54 protected:
Evan Chengae94e592008-12-05 01:06:39 +000055 StringSet<> FnStubs, GVStubs, HiddenGVStubs;
Chris Lattnerdadceed2006-09-20 17:07:15 +000056 const PPCSubtarget &Subtarget;
Bill Wendling57f0db82009-02-24 08:30:20 +000057 public:
Bill Wendlingbe8cc2a2009-04-29 00:15:41 +000058 explicit PPCAsmPrinter(raw_ostream &O, TargetMachine &TM,
Daniel Dunbar5bcc8bd2009-07-01 01:48:54 +000059 const TargetAsmInfo *T, bool V)
60 : AsmPrinter(O, TM, T, V),
Bill Wendling57f0db82009-02-24 08:30:20 +000061 Subtarget(TM.getSubtarget<PPCSubtarget>()) {}
Misha Brukmanb5f662f2005-04-21 23:30:14 +000062
Misha Brukman5dfe3a92004-06-21 16:55:25 +000063 virtual const char *getPassName() const {
Nate Begemaned428532004-09-04 05:00:00 +000064 return "PowerPC Assembly Printer";
Misha Brukman5dfe3a92004-06-21 16:55:25 +000065 }
66
Nate Begeman21e463b2005-10-16 05:39:50 +000067 PPCTargetMachine &getTM() {
68 return static_cast<PPCTargetMachine&>(TM);
Chris Lattnera3840792004-08-16 23:25:21 +000069 }
70
Nate Begemanadeb43d2005-07-20 22:42:00 +000071 unsigned enumRegToMachineReg(unsigned enumReg) {
72 switch (enumReg) {
73 default: assert(0 && "Unhandled register!"); break;
74 case PPC::CR0: return 0;
75 case PPC::CR1: return 1;
76 case PPC::CR2: return 2;
77 case PPC::CR3: return 3;
78 case PPC::CR4: return 4;
79 case PPC::CR5: return 5;
80 case PPC::CR6: return 6;
81 case PPC::CR7: return 7;
82 }
83 abort();
84 }
85
Nate Begemane59bf592004-08-14 22:09:10 +000086 /// printInstruction - This method is automatically generated by tablegen
87 /// from the instruction set description. This method returns true if the
88 /// machine instruction was sufficiently described to print it, otherwise it
89 /// returns false.
90 bool printInstruction(const MachineInstr *MI);
91
Misha Brukman5dfe3a92004-06-21 16:55:25 +000092 void printMachineInstruction(const MachineInstr *MI);
Chris Lattner9ba13e42005-11-17 19:25:59 +000093 void printOp(const MachineOperand &MO);
Anton Korobeynikov34da1272008-08-08 18:22:59 +000094
Jim Laskeyb608a4d2006-12-20 20:56:46 +000095 /// stripRegisterPrefix - This method strips the character prefix from a
96 /// register name so that only the number is left. Used by for linux asm.
Jim Laskey40ee69f2006-12-20 21:33:34 +000097 const char *stripRegisterPrefix(const char *RegName) {
98 switch (RegName[0]) {
99 case 'r':
100 case 'f':
101 case 'v': return RegName + 1;
Jim Laskey2aa14aa2006-12-20 21:35:00 +0000102 case 'c': if (RegName[1] == 'r') return RegName + 2;
Jim Laskeyb608a4d2006-12-20 20:56:46 +0000103 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000104
Jim Laskey40ee69f2006-12-20 21:33:34 +0000105 return RegName;
Jim Laskeyb608a4d2006-12-20 20:56:46 +0000106 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000107
Jim Laskeyb608a4d2006-12-20 20:56:46 +0000108 /// printRegister - Print register according to target requirements.
109 ///
110 void printRegister(const MachineOperand &MO, bool R0AsZero) {
111 unsigned RegNo = MO.getReg();
Dan Gohman6f0d0242008-02-10 18:45:23 +0000112 assert(TargetRegisterInfo::isPhysicalRegister(RegNo) && "Not physreg??");
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000113
Jim Laskeyb608a4d2006-12-20 20:56:46 +0000114 // If we should use 0 for R0.
115 if (R0AsZero && RegNo == PPC::R0) {
116 O << "0";
117 return;
118 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000119
Bill Wendling74ab84c2008-02-26 21:11:01 +0000120 const char *RegName = TM.getRegisterInfo()->get(RegNo).AsmName;
Jim Laskeyb608a4d2006-12-20 20:56:46 +0000121 // Linux assembler (Others?) does not take register mnemonics.
122 // FIXME - What about special registers used in mfspr/mtspr?
Jim Laskey40ee69f2006-12-20 21:33:34 +0000123 if (!Subtarget.isDarwin()) RegName = stripRegisterPrefix(RegName);
124 O << RegName;
Jim Laskeyb608a4d2006-12-20 20:56:46 +0000125 }
Chris Lattner7bb424f2004-08-14 23:27:29 +0000126
Chris Lattner58873272006-02-01 22:38:46 +0000127 void printOperand(const MachineInstr *MI, unsigned OpNo) {
Chris Lattner7bb424f2004-08-14 23:27:29 +0000128 const MachineOperand &MO = MI->getOperand(OpNo);
Dan Gohmand735b802008-10-03 15:45:36 +0000129 if (MO.isReg()) {
Jim Laskeyb608a4d2006-12-20 20:56:46 +0000130 printRegister(MO, false);
Dan Gohmand735b802008-10-03 15:45:36 +0000131 } else if (MO.isImm()) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000132 O << MO.getImm();
Chris Lattner7bb424f2004-08-14 23:27:29 +0000133 } else {
134 printOp(MO);
135 }
136 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000137
Chris Lattner58873272006-02-01 22:38:46 +0000138 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
Chris Lattnere3f01572006-02-23 19:31:10 +0000139 unsigned AsmVariant, const char *ExtraCode);
Chris Lattner2c003e22006-02-24 20:27:40 +0000140 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
141 unsigned AsmVariant, const char *ExtraCode);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000142
143
Chris Lattner9c61dcf2006-03-25 06:12:06 +0000144 void printS5ImmOperand(const MachineInstr *MI, unsigned OpNo) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000145 char value = MI->getOperand(OpNo).getImm();
Chris Lattner9c61dcf2006-03-25 06:12:06 +0000146 value = (value << (32-5)) >> (32-5);
147 O << (int)value;
148 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000149 void printU5ImmOperand(const MachineInstr *MI, unsigned OpNo) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000150 unsigned char value = MI->getOperand(OpNo).getImm();
Chris Lattner12585ba2004-08-21 19:11:03 +0000151 assert(value <= 31 && "Invalid u5imm argument!");
Nate Begemanc3306122004-08-21 05:56:39 +0000152 O << (unsigned int)value;
153 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000154 void printU6ImmOperand(const MachineInstr *MI, unsigned OpNo) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000155 unsigned char value = MI->getOperand(OpNo).getImm();
Nate Begeman07aada82004-08-30 02:28:06 +0000156 assert(value <= 63 && "Invalid u6imm argument!");
157 O << (unsigned int)value;
158 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000159 void printS16ImmOperand(const MachineInstr *MI, unsigned OpNo) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000160 O << (short)MI->getOperand(OpNo).getImm();
Nate Begemaned428532004-09-04 05:00:00 +0000161 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000162 void printU16ImmOperand(const MachineInstr *MI, unsigned OpNo) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000163 O << (unsigned short)MI->getOperand(OpNo).getImm();
Chris Lattner97b2a2e2004-08-15 05:20:16 +0000164 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000165 void printS16X4ImmOperand(const MachineInstr *MI, unsigned OpNo) {
Dan Gohmand735b802008-10-03 15:45:36 +0000166 if (MI->getOperand(OpNo).isImm()) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000167 O << (short)(MI->getOperand(OpNo).getImm()*4);
Chris Lattner1b0a2d82006-11-16 21:45:30 +0000168 } else {
169 O << "lo16(";
170 printOp(MI->getOperand(OpNo));
171 if (TM.getRelocationModel() == Reloc::PIC_)
Evan Cheng347d39f2007-10-14 05:57:21 +0000172 O << "-\"L" << getFunctionNumber() << "$pb\")";
Chris Lattner1b0a2d82006-11-16 21:45:30 +0000173 else
174 O << ')';
175 }
Chris Lattner841d12d2005-10-18 16:51:22 +0000176 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000177 void printBranchOperand(const MachineInstr *MI, unsigned OpNo) {
Nate Begemaned428532004-09-04 05:00:00 +0000178 // Branches can take an immediate operand. This is used by the branch
179 // selection pass to print $+8, an eight byte displacement from the PC.
Dan Gohmand735b802008-10-03 15:45:36 +0000180 if (MI->getOperand(OpNo).isImm()) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000181 O << "$+" << MI->getOperand(OpNo).getImm()*4;
Nate Begemaned428532004-09-04 05:00:00 +0000182 } else {
Chris Lattner3e7f86a2005-11-17 19:16:08 +0000183 printOp(MI->getOperand(OpNo));
Nate Begemaned428532004-09-04 05:00:00 +0000184 }
Nate Begemanb7a8f2c2004-09-02 08:13:00 +0000185 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000186 void printCallOperand(const MachineInstr *MI, unsigned OpNo) {
Chris Lattner9ba13e42005-11-17 19:25:59 +0000187 const MachineOperand &MO = MI->getOperand(OpNo);
Evan Cheng4c1aa862006-02-22 20:19:42 +0000188 if (TM.getRelocationModel() != Reloc::Static) {
Chris Lattnera637c322005-12-16 00:22:14 +0000189 if (MO.getType() == MachineOperand::MO_GlobalAddress) {
190 GlobalValue *GV = MO.getGlobal();
Chris Lattner20674332009-07-02 16:08:53 +0000191 if (GV->isDeclaration() || GV->isWeakForLinker()) {
Chris Lattnera637c322005-12-16 00:22:14 +0000192 // Dynamically-resolved functions need a stub for the function.
193 std::string Name = Mang->getValueName(GV);
194 FnStubs.insert(Name);
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000195 printSuffixedName(Name, "$stub");
Chris Lattnera637c322005-12-16 00:22:14 +0000196 return;
197 }
198 }
Chris Lattner9542f9712005-11-17 19:40:30 +0000199 if (MO.getType() == MachineOperand::MO_ExternalSymbol) {
Jim Laskey563321a2006-09-06 18:34:40 +0000200 std::string Name(TAI->getGlobalPrefix()); Name += MO.getSymbolName();
Chris Lattner9542f9712005-11-17 19:40:30 +0000201 FnStubs.insert(Name);
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000202 printSuffixedName(Name, "$stub");
Chris Lattner9542f9712005-11-17 19:40:30 +0000203 return;
Chris Lattner9542f9712005-11-17 19:40:30 +0000204 }
Chris Lattner9ba13e42005-11-17 19:25:59 +0000205 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000206
Chris Lattner9542f9712005-11-17 19:40:30 +0000207 printOp(MI->getOperand(OpNo));
Chris Lattner3e7f86a2005-11-17 19:16:08 +0000208 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000209 void printAbsAddrOperand(const MachineInstr *MI, unsigned OpNo) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000210 O << (int)MI->getOperand(OpNo).getImm()*4;
Nate Begeman422b0ce2005-11-16 00:48:01 +0000211 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000212 void printPICLabel(const MachineInstr *MI, unsigned OpNo) {
Evan Cheng347d39f2007-10-14 05:57:21 +0000213 O << "\"L" << getFunctionNumber() << "$pb\"\n";
214 O << "\"L" << getFunctionNumber() << "$pb\":";
Nate Begemanb7a8f2c2004-09-02 08:13:00 +0000215 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000216 void printSymbolHi(const MachineInstr *MI, unsigned OpNo) {
Dan Gohmand735b802008-10-03 15:45:36 +0000217 if (MI->getOperand(OpNo).isImm()) {
Nate Begeman391c5d22005-11-30 18:54:35 +0000218 printS16ImmOperand(MI, OpNo);
Nate Begeman2497e632005-07-21 20:44:43 +0000219 } else {
Nick Lewyckyf54949d2007-03-03 05:29:51 +0000220 if (Subtarget.isDarwin()) O << "ha16(";
Nate Begeman2497e632005-07-21 20:44:43 +0000221 printOp(MI->getOperand(OpNo));
Chris Lattner35d86fe2006-07-26 21:12:04 +0000222 if (TM.getRelocationModel() == Reloc::PIC_)
Evan Cheng347d39f2007-10-14 05:57:21 +0000223 O << "-\"L" << getFunctionNumber() << "$pb\"";
Nick Lewyckyf54949d2007-03-03 05:29:51 +0000224 if (Subtarget.isDarwin())
Nate Begeman2497e632005-07-21 20:44:43 +0000225 O << ')';
Nick Lewyckyf54949d2007-03-03 05:29:51 +0000226 else
227 O << "@ha";
Nate Begeman2497e632005-07-21 20:44:43 +0000228 }
Nate Begemaned428532004-09-04 05:00:00 +0000229 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000230 void printSymbolLo(const MachineInstr *MI, unsigned OpNo) {
Dan Gohmand735b802008-10-03 15:45:36 +0000231 if (MI->getOperand(OpNo).isImm()) {
Nate Begeman391c5d22005-11-30 18:54:35 +0000232 printS16ImmOperand(MI, OpNo);
Nate Begemaned428532004-09-04 05:00:00 +0000233 } else {
Nick Lewyckyf54949d2007-03-03 05:29:51 +0000234 if (Subtarget.isDarwin()) O << "lo16(";
Nate Begemand4c8bea2004-11-25 07:09:01 +0000235 printOp(MI->getOperand(OpNo));
Chris Lattner35d86fe2006-07-26 21:12:04 +0000236 if (TM.getRelocationModel() == Reloc::PIC_)
Evan Cheng347d39f2007-10-14 05:57:21 +0000237 O << "-\"L" << getFunctionNumber() << "$pb\"";
Nick Lewyckyf54949d2007-03-03 05:29:51 +0000238 if (Subtarget.isDarwin())
Nate Begeman2497e632005-07-21 20:44:43 +0000239 O << ')';
Nick Lewyckyf54949d2007-03-03 05:29:51 +0000240 else
241 O << "@l";
Nate Begemaned428532004-09-04 05:00:00 +0000242 }
243 }
Nate Begeman391c5d22005-11-30 18:54:35 +0000244 void printcrbitm(const MachineInstr *MI, unsigned OpNo) {
Nate Begemanadeb43d2005-07-20 22:42:00 +0000245 unsigned CCReg = MI->getOperand(OpNo).getReg();
246 unsigned RegNo = enumRegToMachineReg(CCReg);
247 O << (0x80 >> RegNo);
248 }
Chris Lattner2c003e22006-02-24 20:27:40 +0000249 // The new addressing mode printers.
Nate Begeman7fd1edd2005-12-19 23:25:09 +0000250 void printMemRegImm(const MachineInstr *MI, unsigned OpNo) {
251 printSymbolLo(MI, OpNo);
252 O << '(';
Dan Gohmand735b802008-10-03 15:45:36 +0000253 if (MI->getOperand(OpNo+1).isReg() &&
Chris Lattner13feb582006-03-21 17:21:13 +0000254 MI->getOperand(OpNo+1).getReg() == PPC::R0)
255 O << "0";
256 else
257 printOperand(MI, OpNo+1);
Nate Begeman7fd1edd2005-12-19 23:25:09 +0000258 O << ')';
259 }
Chris Lattnere5ba5802006-03-22 05:26:03 +0000260 void printMemRegImmShifted(const MachineInstr *MI, unsigned OpNo) {
Dan Gohmand735b802008-10-03 15:45:36 +0000261 if (MI->getOperand(OpNo).isImm())
Chris Lattnere5ba5802006-03-22 05:26:03 +0000262 printS16X4ImmOperand(MI, OpNo);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000263 else
Chris Lattnere5ba5802006-03-22 05:26:03 +0000264 printSymbolLo(MI, OpNo);
265 O << '(';
Dan Gohmand735b802008-10-03 15:45:36 +0000266 if (MI->getOperand(OpNo+1).isReg() &&
Chris Lattnere5ba5802006-03-22 05:26:03 +0000267 MI->getOperand(OpNo+1).getReg() == PPC::R0)
268 O << "0";
269 else
270 printOperand(MI, OpNo+1);
271 O << ')';
272 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000273
Nate Begeman7fd1edd2005-12-19 23:25:09 +0000274 void printMemRegReg(const MachineInstr *MI, unsigned OpNo) {
Nate Begeman88276b82005-12-19 23:40:42 +0000275 // When used as the base register, r0 reads constant zero rather than
276 // the value contained in the register. For this reason, the darwin
277 // assembler requires that we print r0 as 0 (no r) when used as the base.
278 const MachineOperand &MO = MI->getOperand(OpNo);
Jim Laskeyb608a4d2006-12-20 20:56:46 +0000279 printRegister(MO, true);
Nate Begeman7fd1edd2005-12-19 23:25:09 +0000280 O << ", ";
281 printOperand(MI, OpNo+1);
282 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000283
284 void printPredicateOperand(const MachineInstr *MI, unsigned OpNo,
Chris Lattneraf53a872006-11-04 05:27:39 +0000285 const char *Modifier);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000286
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000287 virtual bool runOnMachineFunction(MachineFunction &F) = 0;
Nate Begemaned428532004-09-04 05:00:00 +0000288 virtual bool doFinalization(Module &M) = 0;
Jim Laskeybda9b0e2007-02-21 22:47:38 +0000289
290 virtual void EmitExternalGlobal(const GlobalVariable *GV);
Nate Begemaned428532004-09-04 05:00:00 +0000291 };
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000292
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000293 /// PPCLinuxAsmPrinter - PowerPC assembly printer, customized for Linux
Bill Wendling57f0db82009-02-24 08:30:20 +0000294 class VISIBILITY_HIDDEN PPCLinuxAsmPrinter : public PPCAsmPrinter {
Bill Wendling57f0db82009-02-24 08:30:20 +0000295 public:
Bill Wendlingbe8cc2a2009-04-29 00:15:41 +0000296 explicit PPCLinuxAsmPrinter(raw_ostream &O, PPCTargetMachine &TM,
Daniel Dunbar5bcc8bd2009-07-01 01:48:54 +0000297 const TargetAsmInfo *T, bool V)
298 : PPCAsmPrinter(O, TM, T, V){}
Jim Laskeybf111822006-12-21 20:26:09 +0000299
300 virtual const char *getPassName() const {
301 return "Linux PPC Assembly Printer";
302 }
303
304 bool runOnMachineFunction(MachineFunction &F);
Jim Laskeybf111822006-12-21 20:26:09 +0000305 bool doFinalization(Module &M);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000306
Jim Laskeybf111822006-12-21 20:26:09 +0000307 void getAnalysisUsage(AnalysisUsage &AU) const {
308 AU.setPreservesAll();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000309 AU.addRequired<MachineModuleInfo>();
Devang Pateleb3fc282009-01-08 23:40:34 +0000310 AU.addRequired<DwarfWriter>();
Jim Laskeybf111822006-12-21 20:26:09 +0000311 PPCAsmPrinter::getAnalysisUsage(AU);
312 }
313
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000314 void printModuleLevelGV(const GlobalVariable* GVar);
Jim Laskeybf111822006-12-21 20:26:09 +0000315 };
316
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000317 /// PPCDarwinAsmPrinter - PowerPC assembly printer, customized for Darwin/Mac
318 /// OS X
Bill Wendling57f0db82009-02-24 08:30:20 +0000319 class VISIBILITY_HIDDEN PPCDarwinAsmPrinter : public PPCAsmPrinter {
Devang Pateleb3fc282009-01-08 23:40:34 +0000320 raw_ostream &OS;
Bill Wendling57f0db82009-02-24 08:30:20 +0000321 public:
Bill Wendlingbe8cc2a2009-04-29 00:15:41 +0000322 explicit PPCDarwinAsmPrinter(raw_ostream &O, PPCTargetMachine &TM,
Daniel Dunbar5bcc8bd2009-07-01 01:48:54 +0000323 const TargetAsmInfo *T, bool V)
324 : PPCAsmPrinter(O, TM, T, V), OS(O) {}
Nate Begemaned428532004-09-04 05:00:00 +0000325
326 virtual const char *getPassName() const {
327 return "Darwin PPC Assembly Printer";
328 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000329
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000330 bool runOnMachineFunction(MachineFunction &F);
Nate Begeman18ed0292005-07-21 01:25:49 +0000331 bool doInitialization(Module &M);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000332 bool doFinalization(Module &M);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000333
Jim Laskeyb2efb852006-01-04 22:28:25 +0000334 void getAnalysisUsage(AnalysisUsage &AU) const {
Jim Laskeyabf6d172006-01-05 01:25:28 +0000335 AU.setPreservesAll();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000336 AU.addRequired<MachineModuleInfo>();
Devang Pateleb3fc282009-01-08 23:40:34 +0000337 AU.addRequired<DwarfWriter>();
Jim Laskeyabf6d172006-01-05 01:25:28 +0000338 PPCAsmPrinter::getAnalysisUsage(AU);
Jim Laskeyb2efb852006-01-04 22:28:25 +0000339 }
340
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000341 void printModuleLevelGV(const GlobalVariable* GVar);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000342 };
343} // end of anonymous namespace
344
Nate Begemane59bf592004-08-14 22:09:10 +0000345// Include the auto-generated portion of the assembly writer
Chris Lattner4c7b43b2005-10-14 23:37:35 +0000346#include "PPCGenAsmWriter.inc"
Nate Begemane59bf592004-08-14 22:09:10 +0000347
Chris Lattner9ba13e42005-11-17 19:25:59 +0000348void PPCAsmPrinter::printOp(const MachineOperand &MO) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000349 switch (MO.getType()) {
Chris Lattner63b3d712006-05-04 17:21:20 +0000350 case MachineOperand::MO_Immediate:
Bill Wendlingf5da1332006-12-07 22:21:48 +0000351 cerr << "printOp() does not handle immediate values\n";
Misha Brukmanaf313fb2004-07-28 00:00:48 +0000352 abort();
Misha Brukman97a296f2004-07-21 20:11:11 +0000353 return;
354
Nate Begeman37efe672006-04-22 18:53:45 +0000355 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner8aa797a2007-12-30 23:10:15 +0000356 printBasicBlockLabel(MO.getMBB());
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000357 return;
Nate Begeman37efe672006-04-22 18:53:45 +0000358 case MachineOperand::MO_JumpTableIndex:
Evan Cheng347d39f2007-10-14 05:57:21 +0000359 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner8aa797a2007-12-30 23:10:15 +0000360 << '_' << MO.getIndex();
Nate Begeman37efe672006-04-22 18:53:45 +0000361 // FIXME: PIC relocation model
362 return;
Misha Brukman05fcd0c2004-07-08 17:58:04 +0000363 case MachineOperand::MO_ConstantPoolIndex:
Evan Cheng347d39f2007-10-14 05:57:21 +0000364 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Chris Lattner8aa797a2007-12-30 23:10:15 +0000365 << '_' << MO.getIndex();
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000366 return;
Misha Brukman05fcd0c2004-07-08 17:58:04 +0000367 case MachineOperand::MO_ExternalSymbol:
Chris Lattnera637c322005-12-16 00:22:14 +0000368 // Computing the address of an external symbol, not calling it.
Evan Cheng4c1aa862006-02-22 20:19:42 +0000369 if (TM.getRelocationModel() != Reloc::Static) {
Jim Laskey563321a2006-09-06 18:34:40 +0000370 std::string Name(TAI->getGlobalPrefix()); Name += MO.getSymbolName();
Chris Lattnera637c322005-12-16 00:22:14 +0000371 GVStubs.insert(Name);
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000372 printSuffixedName(Name, "$non_lazy_ptr");
Chris Lattnera637c322005-12-16 00:22:14 +0000373 return;
374 }
Jim Laskey563321a2006-09-06 18:34:40 +0000375 O << TAI->getGlobalPrefix() << MO.getSymbolName();
Misha Brukman05fcd0c2004-07-08 17:58:04 +0000376 return;
Nate Begemanb73a7112004-08-13 09:32:01 +0000377 case MachineOperand::MO_GlobalAddress: {
Chris Lattnera637c322005-12-16 00:22:14 +0000378 // Computing the address of a global symbol, not calling it.
Nate Begemanb73a7112004-08-13 09:32:01 +0000379 GlobalValue *GV = MO.getGlobal();
380 std::string Name = Mang->getValueName(GV);
Misha Brukmane2eceb52004-07-23 16:08:20 +0000381
Nate Begemanfcf4a422004-10-17 23:01:34 +0000382 // External or weakly linked global variables need non-lazily-resolved stubs
Evan Cheng4c1aa862006-02-22 20:19:42 +0000383 if (TM.getRelocationModel() != Reloc::Static) {
Chris Lattner20674332009-07-02 16:08:53 +0000384 if (GV->isDeclaration() || GV->isWeakForLinker()) {
Evan Chengae94e592008-12-05 01:06:39 +0000385 if (GV->hasHiddenVisibility()) {
Chris Lattner4fb75e52009-07-01 16:53:44 +0000386 if (GV->isDeclaration() || GV->hasCommonLinkage() ||
387 GV->hasAvailableExternallyLinkage()) {
Evan Chengae94e592008-12-05 01:06:39 +0000388 HiddenGVStubs.insert(Name);
389 printSuffixedName(Name, "$non_lazy_ptr");
Chris Lattner4fb75e52009-07-01 16:53:44 +0000390 } else {
391 O << Name;
Evan Chengae94e592008-12-05 01:06:39 +0000392 }
393 } else {
394 GVStubs.insert(Name);
395 printSuffixedName(Name, "$non_lazy_ptr");
396 }
Chris Lattnera637c322005-12-16 00:22:14 +0000397 return;
398 }
Nate Begemanb73a7112004-08-13 09:32:01 +0000399 }
Chris Lattner9542f9712005-11-17 19:40:30 +0000400 O << Name;
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000401
Anton Korobeynikov7751ad92008-11-22 16:15:34 +0000402 printOffset(MO.getOffset());
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000403 return;
Nate Begemanb73a7112004-08-13 09:32:01 +0000404 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000405
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000406 default:
Misha Brukman05fcd0c2004-07-08 17:58:04 +0000407 O << "<unknown operand type: " << MO.getType() << ">";
Misha Brukman22e12072004-06-25 15:11:34 +0000408 return;
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000409 }
410}
411
Jim Laskeybda9b0e2007-02-21 22:47:38 +0000412/// EmitExternalGlobal - In this case we need to use the indirect symbol.
413///
414void PPCAsmPrinter::EmitExternalGlobal(const GlobalVariable *GV) {
Bill Wendling7d16e852009-04-10 00:12:49 +0000415 std::string Name;
416 getGlobalLinkName(GV, Name);
Jim Laskeybda9b0e2007-02-21 22:47:38 +0000417 if (TM.getRelocationModel() != Reloc::Static) {
Evan Chengae94e592008-12-05 01:06:39 +0000418 if (GV->hasHiddenVisibility())
419 HiddenGVStubs.insert(Name);
420 else
421 GVStubs.insert(Name);
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000422 printSuffixedName(Name, "$non_lazy_ptr");
Jim Laskeybda9b0e2007-02-21 22:47:38 +0000423 return;
424 }
425 O << Name;
426}
427
Chris Lattnere3f01572006-02-23 19:31:10 +0000428/// PrintAsmOperand - Print out an operand for an inline asm expression.
429///
430bool PPCAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000431 unsigned AsmVariant,
Chris Lattnere3f01572006-02-23 19:31:10 +0000432 const char *ExtraCode) {
433 // Does this asm operand have a single letter operand modifier?
434 if (ExtraCode && ExtraCode[0]) {
435 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000436
Chris Lattnere3f01572006-02-23 19:31:10 +0000437 switch (ExtraCode[0]) {
438 default: return true; // Unknown modifier.
Chris Lattner78192b62007-01-25 02:52:50 +0000439 case 'c': // Don't print "$" before a global var name or constant.
440 // PPC never has a prefix.
441 printOperand(MI, OpNo);
442 return false;
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000443 case 'L': // Write second word of DImode reference.
Chris Lattnere3f01572006-02-23 19:31:10 +0000444 // Verify that this operand has two consecutive registers.
Dan Gohmand735b802008-10-03 15:45:36 +0000445 if (!MI->getOperand(OpNo).isReg() ||
Chris Lattnere3f01572006-02-23 19:31:10 +0000446 OpNo+1 == MI->getNumOperands() ||
Dan Gohmand735b802008-10-03 15:45:36 +0000447 !MI->getOperand(OpNo+1).isReg())
Chris Lattnere3f01572006-02-23 19:31:10 +0000448 return true;
449 ++OpNo; // Return the high-part.
450 break;
Chris Lattner6c2d2602007-04-24 22:51:03 +0000451 case 'I':
452 // Write 'i' if an integer constant, otherwise nothing. Used to print
453 // addi vs add, etc.
Dan Gohmand735b802008-10-03 15:45:36 +0000454 if (MI->getOperand(OpNo).isImm())
Chris Lattner6c2d2602007-04-24 22:51:03 +0000455 O << "i";
456 return false;
Chris Lattnere3f01572006-02-23 19:31:10 +0000457 }
458 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000459
Chris Lattnere3f01572006-02-23 19:31:10 +0000460 printOperand(MI, OpNo);
461 return false;
462}
463
Chris Lattner2c003e22006-02-24 20:27:40 +0000464bool PPCAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000465 unsigned AsmVariant,
Chris Lattner2c003e22006-02-24 20:27:40 +0000466 const char *ExtraCode) {
467 if (ExtraCode && ExtraCode[0])
468 return true; // Unknown modifier.
Dan Gohmand735b802008-10-03 15:45:36 +0000469 if (MI->getOperand(OpNo).isReg())
Chris Lattner9aa28952007-02-01 00:39:08 +0000470 printMemRegReg(MI, OpNo);
471 else
472 printMemRegImm(MI, OpNo);
Chris Lattner2c003e22006-02-24 20:27:40 +0000473 return false;
474}
Chris Lattnere3f01572006-02-23 19:31:10 +0000475
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000476void PPCAsmPrinter::printPredicateOperand(const MachineInstr *MI, unsigned OpNo,
Chris Lattneraf53a872006-11-04 05:27:39 +0000477 const char *Modifier) {
478 assert(Modifier && "Must specify 'cc' or 'reg' as predicate op modifier!");
479 unsigned Code = MI->getOperand(OpNo).getImm();
480 if (!strcmp(Modifier, "cc")) {
481 switch ((PPC::Predicate)Code) {
482 case PPC::PRED_ALWAYS: return; // Don't print anything for always.
483 case PPC::PRED_LT: O << "lt"; return;
484 case PPC::PRED_LE: O << "le"; return;
485 case PPC::PRED_EQ: O << "eq"; return;
486 case PPC::PRED_GE: O << "ge"; return;
487 case PPC::PRED_GT: O << "gt"; return;
488 case PPC::PRED_NE: O << "ne"; return;
489 case PPC::PRED_UN: O << "un"; return;
490 case PPC::PRED_NU: O << "nu"; return;
491 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000492
Chris Lattneraf53a872006-11-04 05:27:39 +0000493 } else {
494 assert(!strcmp(Modifier, "reg") &&
495 "Need to specify 'cc' or 'reg' as predicate op modifier!");
496 // Don't print the register for 'always'.
497 if (Code == PPC::PRED_ALWAYS) return;
498 printOperand(MI, OpNo+1);
499 }
500}
501
502
Nate Begemane59bf592004-08-14 22:09:10 +0000503/// printMachineInstruction -- Print out a single PowerPC MI in Darwin syntax to
504/// the current output stream.
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000505///
Chris Lattner4c7b43b2005-10-14 23:37:35 +0000506void PPCAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
Nate Begemane59bf592004-08-14 22:09:10 +0000507 ++EmittedInsts;
Chris Lattner617742b2005-10-14 22:44:13 +0000508
Nate Begemanad5f65c2005-04-05 18:19:50 +0000509 // Check for slwi/srwi mnemonics.
510 if (MI->getOpcode() == PPC::RLWINM) {
511 bool FoundMnemonic = false;
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000512 unsigned char SH = MI->getOperand(2).getImm();
513 unsigned char MB = MI->getOperand(3).getImm();
514 unsigned char ME = MI->getOperand(4).getImm();
Nate Begemanad5f65c2005-04-05 18:19:50 +0000515 if (SH <= 31 && MB == 0 && ME == (31-SH)) {
Nate Begeman5a804e32008-02-05 08:49:09 +0000516 O << "\tslwi "; FoundMnemonic = true;
Nate Begemanad5f65c2005-04-05 18:19:50 +0000517 }
518 if (SH <= 31 && MB == (32-SH) && ME == 31) {
Nate Begeman5a804e32008-02-05 08:49:09 +0000519 O << "\tsrwi "; FoundMnemonic = true;
Nate Begemanad5f65c2005-04-05 18:19:50 +0000520 SH = 32-SH;
521 }
522 if (FoundMnemonic) {
Nate Begeman391c5d22005-11-30 18:54:35 +0000523 printOperand(MI, 0);
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000524 O << ", ";
Nate Begeman391c5d22005-11-30 18:54:35 +0000525 printOperand(MI, 1);
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000526 O << ", " << (unsigned int)SH << '\n';
Nate Begemanad5f65c2005-04-05 18:19:50 +0000527 return;
528 }
Chris Lattnerb410dc92006-06-20 23:18:58 +0000529 } else if (MI->getOpcode() == PPC::OR || MI->getOpcode() == PPC::OR8) {
Chris Lattner4d73a5a2006-02-08 06:56:40 +0000530 if (MI->getOperand(1).getReg() == MI->getOperand(2).getReg()) {
Nate Begeman5a804e32008-02-05 08:49:09 +0000531 O << "\tmr ";
Chris Lattner4d73a5a2006-02-08 06:56:40 +0000532 printOperand(MI, 0);
533 O << ", ";
534 printOperand(MI, 1);
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000535 O << '\n';
Chris Lattner4d73a5a2006-02-08 06:56:40 +0000536 return;
537 }
Chris Lattner566c1b12006-11-18 01:23:56 +0000538 } else if (MI->getOpcode() == PPC::RLDICR) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000539 unsigned char SH = MI->getOperand(2).getImm();
540 unsigned char ME = MI->getOperand(3).getImm();
Chris Lattner566c1b12006-11-18 01:23:56 +0000541 // rldicr RA, RS, SH, 63-SH == sldi RA, RS, SH
542 if (63-SH == ME) {
Nate Begeman5a804e32008-02-05 08:49:09 +0000543 O << "\tsldi ";
Chris Lattner566c1b12006-11-18 01:23:56 +0000544 printOperand(MI, 0);
545 O << ", ";
546 printOperand(MI, 1);
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000547 O << ", " << (unsigned int)SH << '\n';
Chris Lattner566c1b12006-11-18 01:23:56 +0000548 return;
549 }
Nate Begemanad5f65c2005-04-05 18:19:50 +0000550 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000551
Nate Begemane59bf592004-08-14 22:09:10 +0000552 if (printInstruction(MI))
553 return; // Printer was automatically generated
Misha Brukmanb5f662f2005-04-21 23:30:14 +0000554
Nate Begemaned428532004-09-04 05:00:00 +0000555 assert(0 && "Unhandled instruction in asm writer!");
556 abort();
Nate Begemane59bf592004-08-14 22:09:10 +0000557 return;
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000558}
559
Jim Laskeybf111822006-12-21 20:26:09 +0000560/// runOnMachineFunction - This uses the printMachineInstruction()
561/// method to print assembly for each instruction.
562///
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000563bool PPCLinuxAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Bill Wendling57f0db82009-02-24 08:30:20 +0000564 this->MF = &MF;
Chris Lattner9b7ce7d2006-10-05 02:42:20 +0000565
Jim Laskeybf111822006-12-21 20:26:09 +0000566 SetupMachineFunction(MF);
567 O << "\n\n";
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000568
Jim Laskeybf111822006-12-21 20:26:09 +0000569 // Print out constants referenced by the function
570 EmitConstantPool(MF.getConstantPool());
571
572 // Print out labels for the function.
573 const Function *F = MF.getFunction();
Anton Korobeynikovc25e1ea2008-09-24 22:14:23 +0000574 SwitchToSection(TAI->SectionForGlobal(F));
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000575
Jim Laskeybf111822006-12-21 20:26:09 +0000576 switch (F->getLinkage()) {
577 default: assert(0 && "Unknown linkage type!");
Rafael Espindolabb46f522009-01-15 20:18:42 +0000578 case Function::PrivateLinkage:
Jim Laskeybf111822006-12-21 20:26:09 +0000579 case Function::InternalLinkage: // Symbols default to internal.
580 break;
581 case Function::ExternalLinkage:
582 O << "\t.global\t" << CurrentFnName << '\n'
583 << "\t.type\t" << CurrentFnName << ", @function\n";
584 break;
Duncan Sands667d4b82009-03-07 15:45:40 +0000585 case Function::WeakAnyLinkage:
586 case Function::WeakODRLinkage:
587 case Function::LinkOnceAnyLinkage:
588 case Function::LinkOnceODRLinkage:
Jim Laskeybf111822006-12-21 20:26:09 +0000589 O << "\t.global\t" << CurrentFnName << '\n';
590 O << "\t.weak\t" << CurrentFnName << '\n';
591 break;
592 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000593
Anton Korobeynikovf5b6a472008-08-08 18:25:07 +0000594 printVisibility(CurrentFnName, F->getVisibility());
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000595
Bill Wendling20c568f2009-06-30 22:38:32 +0000596 EmitAlignment(MF.getAlignment(), F);
Jim Laskeybf111822006-12-21 20:26:09 +0000597 O << CurrentFnName << ":\n";
598
599 // Emit pre-function debug information.
Devang Pateleb3fc282009-01-08 23:40:34 +0000600 DW->BeginFunction(&MF);
Jim Laskeybf111822006-12-21 20:26:09 +0000601
602 // Print out code for the function.
603 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
604 I != E; ++I) {
605 // Print a label for the basic block.
606 if (I != MF.begin()) {
Evan Chengfb8075d2008-02-28 00:43:03 +0000607 printBasicBlockLabel(I, true, true);
Jim Laskeybf111822006-12-21 20:26:09 +0000608 O << '\n';
609 }
610 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
611 II != E; ++II) {
612 // Print the assembly for the instruction.
Jim Laskeybf111822006-12-21 20:26:09 +0000613 printMachineInstruction(II);
614 }
615 }
616
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000617 O << "\t.size\t" << CurrentFnName << ",.-" << CurrentFnName << '\n';
Jim Laskeybf111822006-12-21 20:26:09 +0000618
619 // Print out jump tables referenced by the function.
620 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000621
Dale Johannesenf94a3272008-12-03 19:33:10 +0000622 SwitchToSection(TAI->SectionForGlobal(F));
623
Jim Laskeybf111822006-12-21 20:26:09 +0000624 // Emit post-function debug information.
Devang Pateleb3fc282009-01-08 23:40:34 +0000625 DW->EndFunction(&MF);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000626
Dan Gohmane5f4de42008-11-07 19:49:17 +0000627 O.flush();
628
Jim Laskeybf111822006-12-21 20:26:09 +0000629 // We didn't modify anything.
630 return false;
631}
632
Chris Lattnerec321b42008-02-15 19:04:54 +0000633/// PrintUnmangledNameSafely - Print out the printable characters in the name.
Dan Gohman0f8b53f2009-03-03 02:55:14 +0000634/// Don't print things like \\n or \\0.
Owen Andersoncb371882008-08-21 00:14:44 +0000635static void PrintUnmangledNameSafely(const Value *V, raw_ostream &OS) {
Chris Lattnerec321b42008-02-15 19:04:54 +0000636 for (const char *Name = V->getNameStart(), *E = Name+V->getNameLen();
637 Name != E; ++Name)
638 if (isprint(*Name))
639 OS << *Name;
640}
641
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000642void PPCLinuxAsmPrinter::printModuleLevelGV(const GlobalVariable* GVar) {
Jim Laskeybf111822006-12-21 20:26:09 +0000643 const TargetData *TD = TM.getTargetData();
644
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000645 if (!GVar->hasInitializer())
646 return; // External global require no code
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000647
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000648 // Check to see if this is a special global used by LLVM, if so, emit it.
649 if (EmitSpecialLLVMGlobal(GVar))
650 return;
Chris Lattner70d41072007-01-14 06:37:54 +0000651
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000652 std::string name = Mang->getValueName(GVar);
Chris Lattner70d41072007-01-14 06:37:54 +0000653
Anton Korobeynikovf5b6a472008-08-08 18:25:07 +0000654 printVisibility(name, GVar->getVisibility());
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000655
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000656 Constant *C = GVar->getInitializer();
Devang Patel0f05d222009-06-26 02:26:12 +0000657 if (isa<MDNode>(C) || isa<MDString>(C))
Devang Patele4c0c0f2009-06-25 00:47:42 +0000658 return;
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000659 const Type *Type = C->getType();
Duncan Sands777d2302009-05-09 07:06:46 +0000660 unsigned Size = TD->getTypeAllocSize(Type);
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000661 unsigned Align = TD->getPreferredAlignmentLog(GVar);
Jim Laskeybf111822006-12-21 20:26:09 +0000662
Anton Korobeynikovc25e1ea2008-09-24 22:14:23 +0000663 SwitchToSection(TAI->SectionForGlobal(GVar));
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000664
665 if (C->isNullValue() && /* FIXME: Verify correct */
666 !GVar->hasSection() &&
Rafael Espindolabb46f522009-01-15 20:18:42 +0000667 (GVar->hasLocalLinkage() || GVar->hasExternalLinkage() ||
Duncan Sands667d4b82009-03-07 15:45:40 +0000668 GVar->isWeakForLinker())) {
Jim Laskeybf111822006-12-21 20:26:09 +0000669 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000670
671 if (GVar->hasExternalLinkage()) {
Jim Laskeybf111822006-12-21 20:26:09 +0000672 O << "\t.global " << name << '\n';
673 O << "\t.type " << name << ", @object\n";
Nick Lewyckye2b90522007-07-25 03:48:45 +0000674 O << name << ":\n";
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000675 O << "\t.zero " << Size << '\n';
Rafael Espindolabb46f522009-01-15 20:18:42 +0000676 } else if (GVar->hasLocalLinkage()) {
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000677 O << TAI->getLCOMMDirective() << name << ',' << Size;
Jim Laskeybf111822006-12-21 20:26:09 +0000678 } else {
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000679 O << ".comm " << name << ',' << Size;
Jim Laskeybf111822006-12-21 20:26:09 +0000680 }
Evan Chengf1c0ae92009-03-24 00:17:40 +0000681 if (VerboseAsm) {
682 O << "\t\t" << TAI->getCommentString() << " '";
683 PrintUnmangledNameSafely(GVar, O);
684 O << "'";
685 }
686 O << '\n';
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000687 return;
Jim Laskeybf111822006-12-21 20:26:09 +0000688 }
689
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000690 switch (GVar->getLinkage()) {
Duncan Sands667d4b82009-03-07 15:45:40 +0000691 case GlobalValue::LinkOnceAnyLinkage:
692 case GlobalValue::LinkOnceODRLinkage:
693 case GlobalValue::WeakAnyLinkage:
694 case GlobalValue::WeakODRLinkage:
Duncan Sands4dc2b392009-03-11 20:14:15 +0000695 case GlobalValue::CommonLinkage:
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000696 O << "\t.global " << name << '\n'
697 << "\t.type " << name << ", @object\n"
698 << "\t.weak " << name << '\n';
699 break;
700 case GlobalValue::AppendingLinkage:
701 // FIXME: appending linkage variables should go into a section of
702 // their name or something. For now, just emit them as external.
703 case GlobalValue::ExternalLinkage:
704 // If external or appending, declare as a global symbol
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000705 O << "\t.global " << name << '\n'
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000706 << "\t.type " << name << ", @object\n";
707 // FALL THROUGH
708 case GlobalValue::InternalLinkage:
Rafael Espindolabb46f522009-01-15 20:18:42 +0000709 case GlobalValue::PrivateLinkage:
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000710 break;
711 default:
712 cerr << "Unknown linkage type!";
713 abort();
714 }
715
716 EmitAlignment(Align, GVar);
Evan Chengf1c0ae92009-03-24 00:17:40 +0000717 O << name << ":";
718 if (VerboseAsm) {
719 O << "\t\t\t\t" << TAI->getCommentString() << " '";
720 PrintUnmangledNameSafely(GVar, O);
721 O << "'";
722 }
723 O << '\n';
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000724
Anton Korobeynikov7396e592008-08-08 18:23:49 +0000725 EmitGlobalConstant(C);
726 O << '\n';
727}
728
729bool PPCLinuxAsmPrinter::doFinalization(Module &M) {
730 // Print out module-level global variables here.
731 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
732 I != E; ++I)
733 printModuleLevelGV(I);
734
Dan Gohmanb8275a32007-07-25 19:33:14 +0000735 return AsmPrinter::doFinalization(M);
Jim Laskeybf111822006-12-21 20:26:09 +0000736}
737
Nate Begemaned428532004-09-04 05:00:00 +0000738/// runOnMachineFunction - This uses the printMachineInstruction()
739/// method to print assembly for each instruction.
740///
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000741bool PPCDarwinAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Bill Wendling57f0db82009-02-24 08:30:20 +0000742 this->MF = &MF;
743
Chris Lattner8b8b9512005-11-21 07:51:23 +0000744 SetupMachineFunction(MF);
Nate Begemaned428532004-09-04 05:00:00 +0000745 O << "\n\n";
Dale Johannesen1d4ce2a2007-11-20 23:24:42 +0000746
Nate Begemaned428532004-09-04 05:00:00 +0000747 // Print out constants referenced by the function
Chris Lattnerc569e612005-11-21 08:26:15 +0000748 EmitConstantPool(MF.getConstantPool());
Nate Begemaned428532004-09-04 05:00:00 +0000749
750 // Print out labels for the function.
Chris Lattnerac7fd7f2005-11-14 18:52:46 +0000751 const Function *F = MF.getFunction();
Anton Korobeynikovc25e1ea2008-09-24 22:14:23 +0000752 SwitchToSection(TAI->SectionForGlobal(F));
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000753
Chris Lattnera637c322005-12-16 00:22:14 +0000754 switch (F->getLinkage()) {
755 default: assert(0 && "Unknown linkage type!");
Evan Cheng1902a122009-01-25 06:32:01 +0000756 case Function::PrivateLinkage:
Chris Lattnera637c322005-12-16 00:22:14 +0000757 case Function::InternalLinkage: // Symbols default to internal.
Chris Lattnera637c322005-12-16 00:22:14 +0000758 break;
759 case Function::ExternalLinkage:
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000760 O << "\t.globl\t" << CurrentFnName << '\n';
Chris Lattnera637c322005-12-16 00:22:14 +0000761 break;
Duncan Sands667d4b82009-03-07 15:45:40 +0000762 case Function::WeakAnyLinkage:
763 case Function::WeakODRLinkage:
764 case Function::LinkOnceAnyLinkage:
765 case Function::LinkOnceODRLinkage:
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000766 O << "\t.globl\t" << CurrentFnName << '\n';
767 O << "\t.weak_definition\t" << CurrentFnName << '\n';
Chris Lattnera637c322005-12-16 00:22:14 +0000768 break;
769 }
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000770
Anton Korobeynikovf5b6a472008-08-08 18:25:07 +0000771 printVisibility(CurrentFnName, F->getVisibility());
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000772
Bill Wendling20c568f2009-06-30 22:38:32 +0000773 EmitAlignment(MF.getAlignment(), F);
Nate Begemaned428532004-09-04 05:00:00 +0000774 O << CurrentFnName << ":\n";
775
Jim Laskey6b92b8e2006-04-07 20:44:42 +0000776 // Emit pre-function debug information.
Devang Pateleb3fc282009-01-08 23:40:34 +0000777 DW->BeginFunction(&MF);
Jim Laskey6b92b8e2006-04-07 20:44:42 +0000778
Bill Wendling381802f2008-01-26 06:51:24 +0000779 // If the function is empty, then we need to emit *something*. Otherwise, the
780 // function's label might be associated with something that it wasn't meant to
781 // be associated with. We emit a noop in this situation.
782 MachineFunction::iterator I = MF.begin();
783
Bill Wendling824a7212008-01-26 09:03:52 +0000784 if (++I == MF.end() && MF.front().empty())
785 O << "\tnop\n";
Bill Wendling381802f2008-01-26 06:51:24 +0000786
Nate Begemaned428532004-09-04 05:00:00 +0000787 // Print out code for the function.
788 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
789 I != E; ++I) {
790 // Print a label for the basic block.
Chris Lattner1db1adb2005-08-21 19:09:33 +0000791 if (I != MF.begin()) {
Evan Chengf1c0ae92009-03-24 00:17:40 +0000792 printBasicBlockLabel(I, true, true, VerboseAsm);
Nate Begemancdf38c42006-05-02 05:37:32 +0000793 O << '\n';
Chris Lattner1db1adb2005-08-21 19:09:33 +0000794 }
Bill Wendling381802f2008-01-26 06:51:24 +0000795 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
796 II != IE; ++II) {
Nate Begemaned428532004-09-04 05:00:00 +0000797 // Print the assembly for the instruction.
Nate Begemaned428532004-09-04 05:00:00 +0000798 printMachineInstruction(II);
799 }
800 }
Nate Begemaned428532004-09-04 05:00:00 +0000801
Chris Lattnerfea13d32006-10-05 00:26:05 +0000802 // Print out jump tables referenced by the function.
Chris Lattner1da31ee2006-10-05 03:01:21 +0000803 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000804
Jim Laskeya7cea6f2006-01-04 13:52:30 +0000805 // Emit post-function debug information.
Devang Pateleb3fc282009-01-08 23:40:34 +0000806 DW->EndFunction(&MF);
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000807
Nate Begemaned428532004-09-04 05:00:00 +0000808 // We didn't modify anything.
809 return false;
810}
811
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000812
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000813bool PPCDarwinAsmPrinter::doInitialization(Module &M) {
Dan Gohmancfbb2f02008-03-25 21:45:14 +0000814 static const char *const CPUDirectives[] = {
Dale Johannesendb01c8b2008-02-14 23:35:16 +0000815 "",
Jim Laskeyc35010d2006-12-12 20:57:08 +0000816 "ppc",
817 "ppc601",
818 "ppc602",
819 "ppc603",
820 "ppc7400",
821 "ppc750",
822 "ppc970",
823 "ppc64"
824 };
825
826 unsigned Directive = Subtarget.getDarwinDirective();
827 if (Subtarget.isGigaProcessor() && Directive < PPC::DIR_970)
828 Directive = PPC::DIR_970;
829 if (Subtarget.hasAltivec() && Directive < PPC::DIR_7400)
830 Directive = PPC::DIR_7400;
831 if (Subtarget.isPPC64() && Directive < PPC::DIR_970)
832 Directive = PPC::DIR_64;
833 assert(Directive <= PPC::DIR_64 && "Directive out of range.");
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000834 O << "\t.machine " << CPUDirectives[Directive] << '\n';
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000835
Dan Gohmanb8275a32007-07-25 19:33:14 +0000836 bool Result = AsmPrinter::doInitialization(M);
Devang Patel66b4d3b2009-06-20 01:00:07 +0000837 assert(MMI);
Dale Johannesen94618eb2008-07-09 20:43:39 +0000838
Jim Laskey2ada0852006-11-28 18:21:52 +0000839 // Prime text sections so they are adjacent. This reduces the likelihood a
840 // large data or debug section causes a branch to exceed 16M limit.
Dale Johannesenc7406ae2008-01-11 00:54:37 +0000841 SwitchToTextSection("\t.section __TEXT,__textcoal_nt,coalesced,"
Jim Laskey2ada0852006-11-28 18:21:52 +0000842 "pure_instructions");
843 if (TM.getRelocationModel() == Reloc::PIC_) {
Dale Johannesenc7406ae2008-01-11 00:54:37 +0000844 SwitchToTextSection("\t.section __TEXT,__picsymbolstub1,symbol_stubs,"
Jim Laskey2ada0852006-11-28 18:21:52 +0000845 "pure_instructions,32");
846 } else if (TM.getRelocationModel() == Reloc::DynamicNoPIC) {
Dale Johannesenc7406ae2008-01-11 00:54:37 +0000847 SwitchToTextSection("\t.section __TEXT,__symbol_stub1,symbol_stubs,"
Jim Laskey2ada0852006-11-28 18:21:52 +0000848 "pure_instructions,16");
849 }
Anton Korobeynikovd7ca4162008-09-24 22:15:21 +0000850 SwitchToSection(TAI->getTextSection());
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000851
Dan Gohmanb8275a32007-07-25 19:33:14 +0000852 return Result;
Nate Begeman18ed0292005-07-21 01:25:49 +0000853}
854
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000855void PPCDarwinAsmPrinter::printModuleLevelGV(const GlobalVariable* GVar) {
856 const TargetData *TD = TM.getTargetData();
857
858 if (!GVar->hasInitializer())
859 return; // External global require no code
860
861 // Check to see if this is a special global used by LLVM, if so, emit it.
862 if (EmitSpecialLLVMGlobal(GVar)) {
863 if (TM.getRelocationModel() == Reloc::Static) {
864 if (GVar->getName() == "llvm.global_ctors")
865 O << ".reference .constructors_used\n";
866 else if (GVar->getName() == "llvm.global_dtors")
867 O << ".reference .destructors_used\n";
868 }
869 return;
870 }
871
872 std::string name = Mang->getValueName(GVar);
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000873
Anton Korobeynikovf5b6a472008-08-08 18:25:07 +0000874 printVisibility(name, GVar->getVisibility());
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000875
876 Constant *C = GVar->getInitializer();
877 const Type *Type = C->getType();
Duncan Sands777d2302009-05-09 07:06:46 +0000878 unsigned Size = TD->getTypeAllocSize(Type);
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000879 unsigned Align = TD->getPreferredAlignmentLog(GVar);
880
Anton Korobeynikovc25e1ea2008-09-24 22:14:23 +0000881 SwitchToSection(TAI->SectionForGlobal(GVar));
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000882
883 if (C->isNullValue() && /* FIXME: Verify correct */
884 !GVar->hasSection() &&
Rafael Espindolabb46f522009-01-15 20:18:42 +0000885 (GVar->hasLocalLinkage() || GVar->hasExternalLinkage() ||
Duncan Sands667d4b82009-03-07 15:45:40 +0000886 GVar->isWeakForLinker()) &&
Evan Chengcaa0c2c2009-02-18 02:19:52 +0000887 TAI->SectionKindForGlobal(GVar) != SectionKind::RODataMergeStr) {
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000888 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
889
890 if (GVar->hasExternalLinkage()) {
891 O << "\t.globl " << name << '\n';
892 O << "\t.zerofill __DATA, __common, " << name << ", "
893 << Size << ", " << Align;
Rafael Espindolabb46f522009-01-15 20:18:42 +0000894 } else if (GVar->hasLocalLinkage()) {
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000895 O << TAI->getLCOMMDirective() << name << ',' << Size << ',' << Align;
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000896 } else if (!GVar->hasCommonLinkage()) {
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000897 O << "\t.globl " << name << '\n'
898 << TAI->getWeakDefDirective() << name << '\n';
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000899 EmitAlignment(Align, GVar);
Evan Chengf1c0ae92009-03-24 00:17:40 +0000900 O << name << ":";
901 if (VerboseAsm) {
902 O << "\t\t\t\t" << TAI->getCommentString() << " ";
903 PrintUnmangledNameSafely(GVar, O);
904 }
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000905 O << '\n';
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000906 EmitGlobalConstant(C);
907 return;
908 } else {
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000909 O << ".comm " << name << ',' << Size;
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000910 // Darwin 9 and above support aligned common data.
911 if (Subtarget.isDarwin9())
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000912 O << ',' << Align;
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000913 }
Evan Chengf1c0ae92009-03-24 00:17:40 +0000914 if (VerboseAsm) {
915 O << "\t\t" << TAI->getCommentString() << " '";
916 PrintUnmangledNameSafely(GVar, O);
917 O << "'";
918 }
919 O << '\n';
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000920 return;
921 }
922
923 switch (GVar->getLinkage()) {
Duncan Sands667d4b82009-03-07 15:45:40 +0000924 case GlobalValue::LinkOnceAnyLinkage:
925 case GlobalValue::LinkOnceODRLinkage:
926 case GlobalValue::WeakAnyLinkage:
927 case GlobalValue::WeakODRLinkage:
Duncan Sands4dc2b392009-03-11 20:14:15 +0000928 case GlobalValue::CommonLinkage:
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000929 O << "\t.globl " << name << '\n'
930 << "\t.weak_definition " << name << '\n';
931 break;
932 case GlobalValue::AppendingLinkage:
933 // FIXME: appending linkage variables should go into a section of
934 // their name or something. For now, just emit them as external.
935 case GlobalValue::ExternalLinkage:
936 // If external or appending, declare as a global symbol
Anton Korobeynikov382f0022008-08-08 18:24:10 +0000937 O << "\t.globl " << name << '\n';
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000938 // FALL THROUGH
939 case GlobalValue::InternalLinkage:
Evan Cheng1902a122009-01-25 06:32:01 +0000940 case GlobalValue::PrivateLinkage:
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000941 break;
942 default:
943 cerr << "Unknown linkage type!";
944 abort();
945 }
946
947 EmitAlignment(Align, GVar);
Evan Chengf1c0ae92009-03-24 00:17:40 +0000948 O << name << ":";
949 if (VerboseAsm) {
950 O << "\t\t\t\t" << TAI->getCommentString() << " '";
951 PrintUnmangledNameSafely(GVar, O);
952 O << "'";
953 }
954 O << '\n';
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000955
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000956 EmitGlobalConstant(C);
957 O << '\n';
958}
959
Anton Korobeynikov34da1272008-08-08 18:22:59 +0000960bool PPCDarwinAsmPrinter::doFinalization(Module &M) {
Owen Andersona69571c2006-05-03 01:29:57 +0000961 const TargetData *TD = TM.getTargetData();
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000962
963 // Print out module-level global variables here.
Chris Lattnerced704b2005-11-14 19:00:30 +0000964 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
Anton Korobeynikovbc331a82008-08-08 18:23:25 +0000965 I != E; ++I)
966 printModuleLevelGV(I);
Misha Brukmanda2b13f2004-07-16 20:29:04 +0000967
Chris Lattner7e097e42006-06-27 01:02:25 +0000968 bool isPPC64 = TD->getPointerSizeInBits() == 64;
969
Misha Brukmanda2b13f2004-07-16 20:29:04 +0000970 // Output stubs for dynamically-linked functions
Chris Lattner35d86fe2006-07-26 21:12:04 +0000971 if (TM.getRelocationModel() == Reloc::PIC_) {
Evan Chengae94e592008-12-05 01:06:39 +0000972 for (StringSet<>::iterator i = FnStubs.begin(), e = FnStubs.end();
Chris Lattnerdeea4162005-12-13 04:33:58 +0000973 i != e; ++i) {
Dale Johannesenc7406ae2008-01-11 00:54:37 +0000974 SwitchToTextSection("\t.section __TEXT,__picsymbolstub1,symbol_stubs,"
Anton Korobeynikovab4022f2006-10-31 08:31:24 +0000975 "pure_instructions,32");
Chris Lattner7e097e42006-06-27 01:02:25 +0000976 EmitAlignment(4);
Evan Chengae94e592008-12-05 01:06:39 +0000977 const char *p = i->getKeyData();
978 bool hasQuote = p[0]=='\"';
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000979 printSuffixedName(p, "$stub");
980 O << ":\n";
Evan Chengae94e592008-12-05 01:06:39 +0000981 O << "\t.indirect_symbol " << p << '\n';
Chris Lattnerdeea4162005-12-13 04:33:58 +0000982 O << "\tmflr r0\n";
Evan Chengae94e592008-12-05 01:06:39 +0000983 O << "\tbcl 20,31,";
984 if (hasQuote)
985 O << "\"L0$" << &p[1];
986 else
987 O << "L0$" << p;
988 O << '\n';
989 if (hasQuote)
990 O << "\"L0$" << &p[1];
991 else
992 O << "L0$" << p;
993 O << ":\n";
Chris Lattnerdeea4162005-12-13 04:33:58 +0000994 O << "\tmflr r11\n";
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000995 O << "\taddis r11,r11,ha16(";
996 printSuffixedName(p, "$lazy_ptr");
Evan Chengae94e592008-12-05 01:06:39 +0000997 O << "-";
998 if (hasQuote)
999 O << "\"L0$" << &p[1];
1000 else
1001 O << "L0$" << p;
1002 O << ")\n";
Chris Lattnerdeea4162005-12-13 04:33:58 +00001003 O << "\tmtlr r0\n";
Chris Lattner7e097e42006-06-27 01:02:25 +00001004 if (isPPC64)
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001005 O << "\tldu r12,lo16(";
Chris Lattner7e097e42006-06-27 01:02:25 +00001006 else
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001007 O << "\tlwzu r12,lo16(";
1008 printSuffixedName(p, "$lazy_ptr");
Evan Chengae94e592008-12-05 01:06:39 +00001009 O << "-";
1010 if (hasQuote)
1011 O << "\"L0$" << &p[1];
1012 else
1013 O << "L0$" << p;
1014 O << ")(r11)\n";
Chris Lattnerdeea4162005-12-13 04:33:58 +00001015 O << "\tmtctr r12\n";
1016 O << "\tbctr\n";
Anton Korobeynikovab4022f2006-10-31 08:31:24 +00001017 SwitchToDataSection(".lazy_symbol_pointer");
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001018 printSuffixedName(p, "$lazy_ptr");
1019 O << ":\n";
Evan Chengae94e592008-12-05 01:06:39 +00001020 O << "\t.indirect_symbol " << p << '\n';
Chris Lattner7e097e42006-06-27 01:02:25 +00001021 if (isPPC64)
1022 O << "\t.quad dyld_stub_binding_helper\n";
1023 else
1024 O << "\t.long dyld_stub_binding_helper\n";
Chris Lattnerdeea4162005-12-13 04:33:58 +00001025 }
1026 } else {
Evan Chengae94e592008-12-05 01:06:39 +00001027 for (StringSet<>::iterator i = FnStubs.begin(), e = FnStubs.end();
Chris Lattnerdeea4162005-12-13 04:33:58 +00001028 i != e; ++i) {
Dale Johannesenc7406ae2008-01-11 00:54:37 +00001029 SwitchToTextSection("\t.section __TEXT,__symbol_stub1,symbol_stubs,"
Anton Korobeynikovab4022f2006-10-31 08:31:24 +00001030 "pure_instructions,16");
Chris Lattnerdeea4162005-12-13 04:33:58 +00001031 EmitAlignment(4);
Evan Chengae94e592008-12-05 01:06:39 +00001032 const char *p = i->getKeyData();
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001033 printSuffixedName(p, "$stub");
1034 O << ":\n";
Evan Chengae94e592008-12-05 01:06:39 +00001035 O << "\t.indirect_symbol " << p << '\n';
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001036 O << "\tlis r11,ha16(";
1037 printSuffixedName(p, "$lazy_ptr");
1038 O << ")\n";
Chris Lattner7e097e42006-06-27 01:02:25 +00001039 if (isPPC64)
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001040 O << "\tldu r12,lo16(";
Chris Lattner7e097e42006-06-27 01:02:25 +00001041 else
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001042 O << "\tlwzu r12,lo16(";
1043 printSuffixedName(p, "$lazy_ptr");
1044 O << ")(r11)\n";
Chris Lattnerdeea4162005-12-13 04:33:58 +00001045 O << "\tmtctr r12\n";
1046 O << "\tbctr\n";
Anton Korobeynikovab4022f2006-10-31 08:31:24 +00001047 SwitchToDataSection(".lazy_symbol_pointer");
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001048 printSuffixedName(p, "$lazy_ptr");
1049 O << ":\n";
Evan Chengae94e592008-12-05 01:06:39 +00001050 O << "\t.indirect_symbol " << p << '\n';
Chris Lattner7e097e42006-06-27 01:02:25 +00001051 if (isPPC64)
1052 O << "\t.quad dyld_stub_binding_helper\n";
1053 else
1054 O << "\t.long dyld_stub_binding_helper\n";
Nate Begeman2497e632005-07-21 20:44:43 +00001055 }
Misha Brukman46fd00a2004-06-24 23:04:11 +00001056 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001057
Anton Korobeynikov382f0022008-08-08 18:24:10 +00001058 O << '\n';
Misha Brukmanda2b13f2004-07-16 20:29:04 +00001059
Dale Johannesen1532f3d2008-04-02 00:25:04 +00001060 if (TAI->doesSupportExceptionHandling() && MMI) {
Dale Johannesen1d4ce2a2007-11-20 23:24:42 +00001061 // Add the (possibly multiple) personalities to the set of global values.
Dale Johannesen1532f3d2008-04-02 00:25:04 +00001062 // Only referenced functions get into the Personalities list.
Chris Lattner0de1fc42009-06-24 19:09:55 +00001063 const std::vector<Function *> &Personalities = MMI->getPersonalities();
Dale Johannesen1d4ce2a2007-11-20 23:24:42 +00001064 for (std::vector<Function *>::const_iterator I = Personalities.begin(),
1065 E = Personalities.end(); I != E; ++I)
1066 if (*I) GVStubs.insert("_" + (*I)->getName());
1067 }
1068
Chris Lattnera637c322005-12-16 00:22:14 +00001069 // Output stubs for external and common global variables.
Dan Gohmancb406c22007-10-03 19:26:29 +00001070 if (!GVStubs.empty()) {
Anton Korobeynikovab4022f2006-10-31 08:31:24 +00001071 SwitchToDataSection(".non_lazy_symbol_pointer");
Evan Chengae94e592008-12-05 01:06:39 +00001072 for (StringSet<>::iterator i = GVStubs.begin(), e = GVStubs.end();
1073 i != e; ++i) {
1074 std::string p = i->getKeyData();
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001075 printSuffixedName(p, "$non_lazy_ptr");
1076 O << ":\n";
Evan Chengae94e592008-12-05 01:06:39 +00001077 O << "\t.indirect_symbol " << p << '\n';
Chris Lattner9f029a62006-06-27 20:20:53 +00001078 if (isPPC64)
1079 O << "\t.quad\t0\n";
1080 else
1081 O << "\t.long\t0\n";
Chris Lattnerdeea4162005-12-13 04:33:58 +00001082 }
Nate Begemane59bf592004-08-14 22:09:10 +00001083 }
Misha Brukmanb5f662f2005-04-21 23:30:14 +00001084
Evan Chengae94e592008-12-05 01:06:39 +00001085 if (!HiddenGVStubs.empty()) {
1086 SwitchToSection(TAI->getDataSection());
1087 for (StringSet<>::iterator i = HiddenGVStubs.begin(), e = HiddenGVStubs.end();
1088 i != e; ++i) {
1089 std::string p = i->getKeyData();
1090 EmitAlignment(isPPC64 ? 3 : 2);
1091 printSuffixedName(p, "$non_lazy_ptr");
1092 O << ":\n";
1093 if (isPPC64)
1094 O << "\t.quad\t";
1095 else
1096 O << "\t.long\t";
1097 O << p << '\n';
1098 }
1099 }
1100
Chris Lattner5b0ac992005-11-01 00:12:36 +00001101 // Funny Darwin hack: This flag tells the linker that no global symbols
1102 // contain code that falls through to other global symbols (e.g. the obvious
1103 // implementation of multiple entry points). If this doesn't occur, the
1104 // linker can safely perform dead code stripping. Since LLVM never generates
1105 // code that does this, it is always safe to set.
Chris Lattner4da1c822006-09-20 17:12:19 +00001106 O << "\t.subsections_via_symbols\n";
Chris Lattner5b0ac992005-11-01 00:12:36 +00001107
Dan Gohmanb8275a32007-07-25 19:33:14 +00001108 return AsmPrinter::doFinalization(M);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001109}
Nate Begemaned428532004-09-04 05:00:00 +00001110
Chris Lattner4da1c822006-09-20 17:12:19 +00001111
1112
Jim Laskeyb608a4d2006-12-20 20:56:46 +00001113/// createPPCAsmPrinterPass - Returns a pass that prints the PPC assembly code
1114/// for a MachineFunction to the given output stream, in a format that the
Chris Lattner4da1c822006-09-20 17:12:19 +00001115/// Darwin assembler can deal with.
1116///
Owen Andersoncb371882008-08-21 00:14:44 +00001117FunctionPass *llvm::createPPCAsmPrinterPass(raw_ostream &o,
Bill Wendling57f0db82009-02-24 08:30:20 +00001118 PPCTargetMachine &tm,
Bill Wendling98a366d2009-04-29 23:29:43 +00001119 bool verbose) {
Jim Laskeybf111822006-12-21 20:26:09 +00001120 const PPCSubtarget *Subtarget = &tm.getSubtarget<PPCSubtarget>();
1121
1122 if (Subtarget->isDarwin()) {
Daniel Dunbar5bcc8bd2009-07-01 01:48:54 +00001123 return new PPCDarwinAsmPrinter(o, tm, tm.getTargetAsmInfo(), verbose);
Jim Laskeybf111822006-12-21 20:26:09 +00001124 } else {
Daniel Dunbar5bcc8bd2009-07-01 01:48:54 +00001125 return new PPCLinuxAsmPrinter(o, tm, tm.getTargetAsmInfo(), verbose);
Jim Laskeybf111822006-12-21 20:26:09 +00001126 }
Chris Lattner4da1c822006-09-20 17:12:19 +00001127}
Anton Korobeynikov06be9972008-08-17 13:54:28 +00001128
1129namespace {
1130 static struct Register {
1131 Register() {
1132 PPCTargetMachine::registerAsmPrinter(createPPCAsmPrinterPass);
1133 }
1134 } Registrator;
1135}
Oscar Fuentes92adc192008-11-15 21:36:30 +00001136
1137extern "C" int PowerPCAsmPrinterForceLink;
1138int PowerPCAsmPrinterForceLink = 0;
Douglas Gregor1555a232009-06-16 20:12:29 +00001139
Bob Wilsona96751f2009-06-23 23:59:40 +00001140// Force static initialization.
1141extern "C" void LLVMInitializePowerPCAsmPrinter() { }