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