Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | //===-- AlphaAsmPrinter.cpp - Alpha LLVM assembly writer ------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 081ce94 | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 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 | #define DEBUG_TYPE "asm-printer" |
| 16 | #include "Alpha.h" |
| 17 | #include "AlphaInstrInfo.h" |
| 18 | #include "AlphaTargetMachine.h" |
| 19 | #include "llvm/Module.h" |
| 20 | #include "llvm/Type.h" |
| 21 | #include "llvm/Assembly/Writer.h" |
| 22 | #include "llvm/CodeGen/AsmPrinter.h" |
Bill Wendling | 4ff1cdf | 2009-02-18 23:12:06 +0000 | [diff] [blame^] | 23 | #include "llvm/CodeGen/DwarfWriter.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetAsmInfo.h" |
| 25 | #include "llvm/Target/TargetMachine.h" |
| 26 | #include "llvm/Support/Compiler.h" |
| 27 | #include "llvm/Support/Mangler.h" |
Owen Anderson | 847b99b | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 28 | #include "llvm/Support/raw_ostream.h" |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 29 | #include "llvm/ADT/Statistic.h" |
| 30 | using namespace llvm; |
| 31 | |
| 32 | STATISTIC(EmittedInsts, "Number of machine instrs printed"); |
| 33 | |
| 34 | namespace { |
| 35 | struct VISIBILITY_HIDDEN AlphaAsmPrinter : public AsmPrinter { |
| 36 | |
| 37 | /// Unique incrementer for label values for referencing Global values. |
| 38 | /// |
| 39 | |
Owen Anderson | 847b99b | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 40 | AlphaAsmPrinter(raw_ostream &o, TargetMachine &tm, const TargetAsmInfo *T) |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 41 | : AsmPrinter(o, tm, T) { |
| 42 | } |
| 43 | |
| 44 | virtual const char *getPassName() const { |
| 45 | return "Alpha Assembly Printer"; |
| 46 | } |
| 47 | bool printInstruction(const MachineInstr *MI); |
| 48 | void printOp(const MachineOperand &MO, bool IsCallOp = false); |
| 49 | void printOperand(const MachineInstr *MI, int opNum); |
| 50 | void printBaseOffsetPair (const MachineInstr *MI, int i, bool brackets=true); |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 51 | void printModuleLevelGV(const GlobalVariable* GVar); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 52 | bool runOnMachineFunction(MachineFunction &F); |
| 53 | bool doInitialization(Module &M); |
| 54 | bool doFinalization(Module &M); |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 55 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 56 | bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, |
| 57 | unsigned AsmVariant, const char *ExtraCode); |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 58 | bool PrintAsmMemoryOperand(const MachineInstr *MI, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 59 | unsigned OpNo, |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 60 | unsigned AsmVariant, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 61 | const char *ExtraCode); |
| 62 | }; |
| 63 | } // end of anonymous namespace |
| 64 | |
| 65 | /// createAlphaCodePrinterPass - Returns a pass that prints the Alpha |
| 66 | /// assembly code for a MachineFunction to the given output stream, |
| 67 | /// using the given target machine description. This should work |
| 68 | /// regardless of whether the function is in SSA form. |
| 69 | /// |
Owen Anderson | 847b99b | 2008-08-21 00:14:44 +0000 | [diff] [blame] | 70 | FunctionPass *llvm::createAlphaCodePrinterPass(raw_ostream &o, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 71 | TargetMachine &tm) { |
| 72 | return new AlphaAsmPrinter(o, tm, tm.getTargetAsmInfo()); |
| 73 | } |
| 74 | |
| 75 | #include "AlphaGenAsmWriter.inc" |
| 76 | |
| 77 | void AlphaAsmPrinter::printOperand(const MachineInstr *MI, int opNum) |
| 78 | { |
| 79 | const MachineOperand &MO = MI->getOperand(opNum); |
| 80 | if (MO.getType() == MachineOperand::MO_Register) { |
Dan Gohman | 1e57df3 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 81 | assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) && |
| 82 | "Not physreg??"); |
Bill Wendling | 8eeb979 | 2008-02-26 21:11:01 +0000 | [diff] [blame] | 83 | O << TM.getRegisterInfo()->get(MO.getReg()).AsmName; |
Dan Gohman | b9f4fa7 | 2008-10-03 15:45:36 +0000 | [diff] [blame] | 84 | } else if (MO.isImm()) { |
Chris Lattner | a96056a | 2007-12-30 20:49:49 +0000 | [diff] [blame] | 85 | O << MO.getImm(); |
| 86 | assert(MO.getImm() < (1 << 30)); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 87 | } else { |
| 88 | printOp(MO); |
| 89 | } |
| 90 | } |
| 91 | |
| 92 | |
| 93 | void AlphaAsmPrinter::printOp(const MachineOperand &MO, bool IsCallOp) { |
Dan Gohman | 1e57df3 | 2008-02-10 18:45:23 +0000 | [diff] [blame] | 94 | const TargetRegisterInfo &RI = *TM.getRegisterInfo(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 95 | |
| 96 | switch (MO.getType()) { |
| 97 | case MachineOperand::MO_Register: |
Bill Wendling | 8eeb979 | 2008-02-26 21:11:01 +0000 | [diff] [blame] | 98 | O << RI.get(MO.getReg()).AsmName; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 99 | return; |
| 100 | |
| 101 | case MachineOperand::MO_Immediate: |
| 102 | cerr << "printOp() does not handle immediate values\n"; |
| 103 | abort(); |
| 104 | return; |
| 105 | |
| 106 | case MachineOperand::MO_MachineBasicBlock: |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 107 | printBasicBlockLabel(MO.getMBB()); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 108 | return; |
| 109 | |
| 110 | case MachineOperand::MO_ConstantPoolIndex: |
Evan Cheng | 477013c | 2007-10-14 05:57:21 +0000 | [diff] [blame] | 111 | O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << "_" |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 112 | << MO.getIndex(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 113 | return; |
| 114 | |
| 115 | case MachineOperand::MO_ExternalSymbol: |
| 116 | O << MO.getSymbolName(); |
| 117 | return; |
| 118 | |
| 119 | case MachineOperand::MO_GlobalAddress: { |
| 120 | GlobalValue *GV = MO.getGlobal(); |
| 121 | O << Mang->getValueName(GV); |
| 122 | if (GV->isDeclaration() && GV->hasExternalWeakLinkage()) |
| 123 | ExtWeakSymbols.insert(GV); |
| 124 | return; |
| 125 | } |
| 126 | |
| 127 | case MachineOperand::MO_JumpTableIndex: |
Evan Cheng | 477013c | 2007-10-14 05:57:21 +0000 | [diff] [blame] | 128 | O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() |
Chris Lattner | 6017d48 | 2007-12-30 23:10:15 +0000 | [diff] [blame] | 129 | << '_' << MO.getIndex(); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 130 | return; |
| 131 | |
| 132 | default: |
| 133 | O << "<unknown operand type: " << MO.getType() << ">"; |
| 134 | return; |
| 135 | } |
| 136 | } |
| 137 | |
| 138 | /// runOnMachineFunction - This uses the printMachineInstruction() |
| 139 | /// method to print assembly for each instruction. |
| 140 | /// |
| 141 | bool AlphaAsmPrinter::runOnMachineFunction(MachineFunction &MF) { |
| 142 | SetupMachineFunction(MF); |
| 143 | O << "\n\n"; |
| 144 | |
| 145 | // Print out constants referenced by the function |
| 146 | EmitConstantPool(MF.getConstantPool()); |
| 147 | |
| 148 | // Print out jump tables referenced by the function |
| 149 | EmitJumpTableInfo(MF.getJumpTableInfo(), MF); |
| 150 | |
| 151 | // Print out labels for the function. |
| 152 | const Function *F = MF.getFunction(); |
Anton Korobeynikov | 1a9edae | 2008-09-24 22:14:23 +0000 | [diff] [blame] | 153 | SwitchToSection(TAI->SectionForGlobal(F)); |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 154 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 155 | EmitAlignment(4, F); |
| 156 | switch (F->getLinkage()) { |
| 157 | default: assert(0 && "Unknown linkage type!"); |
| 158 | case Function::InternalLinkage: // Symbols default to internal. |
Rafael Espindola | 3b450b3 | 2009-01-15 21:51:46 +0000 | [diff] [blame] | 159 | case Function::PrivateLinkage: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 160 | break; |
| 161 | case Function::ExternalLinkage: |
| 162 | O << "\t.globl " << CurrentFnName << "\n"; |
| 163 | break; |
| 164 | case Function::WeakLinkage: |
| 165 | case Function::LinkOnceLinkage: |
| 166 | O << TAI->getWeakRefDirective() << CurrentFnName << "\n"; |
| 167 | break; |
| 168 | } |
| 169 | |
Anton Korobeynikov | 78d69aa | 2008-08-08 18:25:07 +0000 | [diff] [blame] | 170 | printVisibility(CurrentFnName, F->getVisibility()); |
| 171 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 172 | O << "\t.ent " << CurrentFnName << "\n"; |
| 173 | |
| 174 | O << CurrentFnName << ":\n"; |
| 175 | |
| 176 | // Print out code for the function. |
| 177 | for (MachineFunction::const_iterator I = MF.begin(), E = MF.end(); |
| 178 | I != E; ++I) { |
| 179 | if (I != MF.begin()) { |
Evan Cheng | 45c1edb | 2008-02-28 00:43:03 +0000 | [diff] [blame] | 180 | printBasicBlockLabel(I, true, true); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 181 | O << '\n'; |
| 182 | } |
| 183 | for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end(); |
| 184 | II != E; ++II) { |
| 185 | // Print the assembly for the instruction. |
| 186 | ++EmittedInsts; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 187 | if (!printInstruction(II)) { |
| 188 | assert(0 && "Unhandled instruction in asm writer!"); |
| 189 | abort(); |
| 190 | } |
| 191 | } |
| 192 | } |
| 193 | |
| 194 | O << "\t.end " << CurrentFnName << "\n"; |
| 195 | |
| 196 | // We didn't modify anything. |
| 197 | return false; |
| 198 | } |
| 199 | |
| 200 | bool AlphaAsmPrinter::doInitialization(Module &M) |
| 201 | { |
| 202 | if(TM.getSubtarget<AlphaSubtarget>().hasCT()) |
| 203 | O << "\t.arch ev6\n"; //This might need to be ev67, so leave this test here |
| 204 | else |
| 205 | O << "\t.arch ev6\n"; |
| 206 | O << "\t.set noat\n"; |
Dan Gohman | 4a558a3 | 2007-07-25 19:33:14 +0000 | [diff] [blame] | 207 | return AsmPrinter::doInitialization(M); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 208 | } |
| 209 | |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 210 | void AlphaAsmPrinter::printModuleLevelGV(const GlobalVariable* GVar) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 211 | const TargetData *TD = TM.getTargetData(); |
| 212 | |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 213 | if (!GVar->hasInitializer()) return; // External global require no code |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 214 | |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 215 | // Check to see if this is a special global used by LLVM, if so, emit it. |
| 216 | if (EmitSpecialLLVMGlobal(GVar)) |
| 217 | return; |
| 218 | |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 219 | std::string name = Mang->getValueName(GVar); |
| 220 | Constant *C = GVar->getInitializer(); |
Duncan Sands | d68f13b | 2009-01-12 20:38:59 +0000 | [diff] [blame] | 221 | unsigned Size = TD->getTypePaddedSize(C->getType()); |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 222 | unsigned Align = TD->getPreferredAlignmentLog(GVar); |
| 223 | |
| 224 | // 0: Switch to section |
Anton Korobeynikov | 1a9edae | 2008-09-24 22:14:23 +0000 | [diff] [blame] | 225 | SwitchToSection(TAI->SectionForGlobal(GVar)); |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 226 | |
| 227 | // 1: Check visibility |
Anton Korobeynikov | 78d69aa | 2008-08-08 18:25:07 +0000 | [diff] [blame] | 228 | printVisibility(name, GVar->getVisibility()); |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 229 | |
| 230 | // 2: Kind |
| 231 | switch (GVar->getLinkage()) { |
| 232 | case GlobalValue::LinkOnceLinkage: |
| 233 | case GlobalValue::WeakLinkage: |
| 234 | case GlobalValue::CommonLinkage: |
| 235 | O << TAI->getWeakRefDirective() << name << '\n'; |
| 236 | break; |
| 237 | case GlobalValue::AppendingLinkage: |
| 238 | case GlobalValue::ExternalLinkage: |
| 239 | O << TAI->getGlobalDirective() << name << "\n"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 240 | break; |
| 241 | case GlobalValue::InternalLinkage: |
Rafael Espindola | 3b450b3 | 2009-01-15 21:51:46 +0000 | [diff] [blame] | 242 | case GlobalValue::PrivateLinkage: |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 243 | break; |
| 244 | default: |
| 245 | assert(0 && "Unknown linkage type!"); |
| 246 | cerr << "Unknown linkage type!\n"; |
| 247 | abort(); |
| 248 | } |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 249 | |
| 250 | // 3: Type, Size, Align |
| 251 | if (TAI->hasDotTypeDotSizeDirective()) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 252 | O << "\t.type\t" << name << ", @object\n"; |
| 253 | O << "\t.size\t" << name << ", " << Size << "\n"; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 254 | } |
| 255 | |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 256 | EmitAlignment(Align, GVar); |
| 257 | |
| 258 | O << name << ":\n"; |
| 259 | |
| 260 | // If the initializer is a extern weak symbol, remember to emit the weak |
| 261 | // reference! |
| 262 | if (const GlobalValue *GV = dyn_cast<GlobalValue>(C)) |
| 263 | if (GV->hasExternalWeakLinkage()) |
| 264 | ExtWeakSymbols.insert(GV); |
| 265 | |
| 266 | EmitGlobalConstant(C); |
| 267 | O << '\n'; |
| 268 | } |
| 269 | |
| 270 | bool AlphaAsmPrinter::doFinalization(Module &M) { |
| 271 | for (Module::const_global_iterator I = M.global_begin(), E = M.global_end(); |
| 272 | I != E; ++I) |
| 273 | printModuleLevelGV(I); |
| 274 | |
Dan Gohman | 4a558a3 | 2007-07-25 19:33:14 +0000 | [diff] [blame] | 275 | return AsmPrinter::doFinalization(M); |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 276 | } |
| 277 | |
| 278 | /// PrintAsmOperand - Print out an operand for an inline asm expression. |
| 279 | /// |
| 280 | bool AlphaAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 281 | unsigned AsmVariant, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 282 | const char *ExtraCode) { |
| 283 | printOperand(MI, OpNo); |
| 284 | return false; |
| 285 | } |
| 286 | |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 287 | bool AlphaAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 288 | unsigned OpNo, |
Anton Korobeynikov | a99c636 | 2008-08-07 09:53:57 +0000 | [diff] [blame] | 289 | unsigned AsmVariant, |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 290 | const char *ExtraCode) { |
| 291 | if (ExtraCode && ExtraCode[0]) |
| 292 | return true; // Unknown modifier. |
| 293 | O << "0("; |
| 294 | printOperand(MI, OpNo); |
| 295 | O << ")"; |
| 296 | return false; |
| 297 | } |