| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 1 | //===-- SparcAsmPrinter.cpp - Sparc LLVM assembly writer ------------------===// | 
|  | 2 | // | 
|  | 3 | //                     The LLVM Compiler Infrastructure | 
|  | 4 | // | 
|  | 5 | // This file was developed by the LLVM research group and is distributed under | 
|  | 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. | 
|  | 7 | // | 
|  | 8 | //===----------------------------------------------------------------------===// | 
|  | 9 | // | 
|  | 10 | // This file contains a printer that converts from our internal representation | 
|  | 11 | // of machine-dependent LLVM code to GAS-format SPARC assembly language. | 
|  | 12 | // | 
|  | 13 | //===----------------------------------------------------------------------===// | 
|  | 14 |  | 
| Chris Lattner | 1ef9cd4 | 2006-12-19 22:59:26 +0000 | [diff] [blame] | 15 | #define DEBUG_TYPE "asm-printer" | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 16 | #include "Sparc.h" | 
|  | 17 | #include "SparcInstrInfo.h" | 
|  | 18 | #include "llvm/Constants.h" | 
|  | 19 | #include "llvm/DerivedTypes.h" | 
|  | 20 | #include "llvm/Module.h" | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/AsmPrinter.h" | 
|  | 22 | #include "llvm/CodeGen/MachineFunctionPass.h" | 
|  | 23 | #include "llvm/CodeGen/MachineConstantPool.h" | 
|  | 24 | #include "llvm/CodeGen/MachineInstr.h" | 
| Jim Laskey | a6211dc | 2006-09-06 18:34:40 +0000 | [diff] [blame] | 25 | #include "llvm/Target/TargetAsmInfo.h" | 
| Owen Anderson | 8c2c1e9 | 2006-05-12 06:33:49 +0000 | [diff] [blame] | 26 | #include "llvm/Target/TargetData.h" | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 27 | #include "llvm/Target/TargetMachine.h" | 
|  | 28 | #include "llvm/Support/Mangler.h" | 
|  | 29 | #include "llvm/ADT/Statistic.h" | 
|  | 30 | #include "llvm/ADT/StringExtras.h" | 
|  | 31 | #include "llvm/Support/CommandLine.h" | 
|  | 32 | #include "llvm/Support/MathExtras.h" | 
|  | 33 | #include <cctype> | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 34 | using namespace llvm; | 
|  | 35 |  | 
| Chris Lattner | 1ef9cd4 | 2006-12-19 22:59:26 +0000 | [diff] [blame] | 36 | STATISTIC(EmittedInsts, "Number of machine instrs printed"); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 37 |  | 
| Chris Lattner | 1ef9cd4 | 2006-12-19 22:59:26 +0000 | [diff] [blame] | 38 | namespace { | 
| Jim Laskey | a6211dc | 2006-09-06 18:34:40 +0000 | [diff] [blame] | 39 | struct VISIBILITY_HIDDEN SparcAsmPrinter : public AsmPrinter { | 
| Jim Laskey | 261779b | 2006-09-07 22:06:40 +0000 | [diff] [blame] | 40 | SparcAsmPrinter(std::ostream &O, TargetMachine &TM, const TargetAsmInfo *T) | 
| Jim Laskey | a6211dc | 2006-09-06 18:34:40 +0000 | [diff] [blame] | 41 | : AsmPrinter(O, TM, T) { | 
|  | 42 | } | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 43 |  | 
|  | 44 | /// We name each basic block in a Function with a unique number, so | 
|  | 45 | /// that we can consistently refer to them later. This is cleared | 
|  | 46 | /// at the beginning of each call to runOnMachineFunction(). | 
|  | 47 | /// | 
|  | 48 | typedef std::map<const Value *, unsigned> ValueMapTy; | 
|  | 49 | ValueMapTy NumberForBB; | 
|  | 50 |  | 
|  | 51 | virtual const char *getPassName() const { | 
|  | 52 | return "Sparc Assembly Printer"; | 
|  | 53 | } | 
|  | 54 |  | 
|  | 55 | void printOperand(const MachineInstr *MI, int opNum); | 
| Chris Lattner | fcb8a3a | 2006-02-10 07:35:42 +0000 | [diff] [blame] | 56 | void printMemOperand(const MachineInstr *MI, int opNum, | 
|  | 57 | const char *Modifier = 0); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 58 | void printCCOperand(const MachineInstr *MI, int opNum); | 
|  | 59 |  | 
|  | 60 | bool printInstruction(const MachineInstr *MI);  // autogenerated. | 
|  | 61 | bool runOnMachineFunction(MachineFunction &F); | 
|  | 62 | bool doInitialization(Module &M); | 
|  | 63 | bool doFinalization(Module &M); | 
|  | 64 | }; | 
|  | 65 | } // end of anonymous namespace | 
|  | 66 |  | 
|  | 67 | #include "SparcGenAsmWriter.inc" | 
|  | 68 |  | 
|  | 69 | /// createSparcCodePrinterPass - Returns a pass that prints the SPARC | 
|  | 70 | /// assembly code for a MachineFunction to the given output stream, | 
|  | 71 | /// using the given target machine description.  This should work | 
|  | 72 | /// regardless of whether the function is in SSA form. | 
|  | 73 | /// | 
|  | 74 | FunctionPass *llvm::createSparcCodePrinterPass(std::ostream &o, | 
|  | 75 | TargetMachine &tm) { | 
| Jim Laskey | 261779b | 2006-09-07 22:06:40 +0000 | [diff] [blame] | 76 | return new SparcAsmPrinter(o, tm, tm.getTargetAsmInfo()); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 77 | } | 
|  | 78 |  | 
|  | 79 | /// runOnMachineFunction - This uses the printMachineInstruction() | 
|  | 80 | /// method to print assembly for each instruction. | 
|  | 81 | /// | 
|  | 82 | bool SparcAsmPrinter::runOnMachineFunction(MachineFunction &MF) { | 
|  | 83 | SetupMachineFunction(MF); | 
|  | 84 |  | 
|  | 85 | // Print out constants referenced by the function | 
|  | 86 | EmitConstantPool(MF.getConstantPool()); | 
|  | 87 |  | 
|  | 88 | // BBNumber is used here so that a given Printer will never give two | 
|  | 89 | // BBs the same name. (If you have a better way, please let me know!) | 
|  | 90 | static unsigned BBNumber = 0; | 
|  | 91 |  | 
|  | 92 | O << "\n\n"; | 
|  | 93 | // What's my mangled name? | 
|  | 94 | CurrentFnName = Mang->getValueName(MF.getFunction()); | 
|  | 95 |  | 
| Chris Lattner | d4d255a | 2006-10-05 02:48:40 +0000 | [diff] [blame] | 96 | // Print out the label for the function. | 
|  | 97 | const Function *F = MF.getFunction(); | 
|  | 98 | SwitchToTextSection(getSectionForFunction(*F).c_str(), F); | 
|  | 99 | EmitAlignment(4, F); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 100 | O << "\t.globl\t" << CurrentFnName << "\n"; | 
|  | 101 | O << "\t.type\t" << CurrentFnName << ", #function\n"; | 
|  | 102 | O << CurrentFnName << ":\n"; | 
|  | 103 |  | 
|  | 104 | // Number each basic block so that we can consistently refer to them | 
|  | 105 | // in PC-relative references. | 
| Chris Lattner | d4d255a | 2006-10-05 02:48:40 +0000 | [diff] [blame] | 106 | // FIXME: Why not use the MBB numbers? | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 107 | NumberForBB.clear(); | 
|  | 108 | for (MachineFunction::const_iterator I = MF.begin(), E = MF.end(); | 
|  | 109 | I != E; ++I) { | 
|  | 110 | NumberForBB[I->getBasicBlock()] = BBNumber++; | 
|  | 111 | } | 
|  | 112 |  | 
|  | 113 | // Print out code for the function. | 
|  | 114 | for (MachineFunction::const_iterator I = MF.begin(), E = MF.end(); | 
|  | 115 | I != E; ++I) { | 
|  | 116 | // Print a label for the basic block. | 
| Nate Begeman | b9d4f83 | 2006-05-02 05:37:32 +0000 | [diff] [blame] | 117 | if (I != MF.begin()) { | 
|  | 118 | printBasicBlockLabel(I, true); | 
|  | 119 | O << '\n'; | 
|  | 120 | } | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 121 | for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end(); | 
|  | 122 | II != E; ++II) { | 
|  | 123 | // Print the assembly for the instruction. | 
|  | 124 | O << "\t"; | 
|  | 125 | printInstruction(II); | 
|  | 126 | ++EmittedInsts; | 
|  | 127 | } | 
|  | 128 | } | 
|  | 129 |  | 
|  | 130 | // We didn't modify anything. | 
|  | 131 | return false; | 
|  | 132 | } | 
|  | 133 |  | 
|  | 134 | void SparcAsmPrinter::printOperand(const MachineInstr *MI, int opNum) { | 
|  | 135 | const MachineOperand &MO = MI->getOperand (opNum); | 
|  | 136 | const MRegisterInfo &RI = *TM.getRegisterInfo(); | 
|  | 137 | bool CloseParen = false; | 
|  | 138 | if (MI->getOpcode() == SP::SETHIi && !MO.isRegister() && !MO.isImmediate()) { | 
|  | 139 | O << "%hi("; | 
|  | 140 | CloseParen = true; | 
|  | 141 | } else if ((MI->getOpcode() == SP::ORri || MI->getOpcode() == SP::ADDri) | 
|  | 142 | && !MO.isRegister() && !MO.isImmediate()) { | 
|  | 143 | O << "%lo("; | 
|  | 144 | CloseParen = true; | 
|  | 145 | } | 
|  | 146 | switch (MO.getType()) { | 
| Chris Lattner | 10b71c0 | 2006-05-04 18:05:43 +0000 | [diff] [blame] | 147 | case MachineOperand::MO_Register: | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 148 | if (MRegisterInfo::isPhysicalRegister(MO.getReg())) | 
|  | 149 | O << "%" << LowercaseString (RI.get(MO.getReg()).Name); | 
|  | 150 | else | 
|  | 151 | O << "%reg" << MO.getReg(); | 
|  | 152 | break; | 
|  | 153 |  | 
| Chris Lattner | fef7a2d | 2006-05-04 17:21:20 +0000 | [diff] [blame] | 154 | case MachineOperand::MO_Immediate: | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 155 | O << (int)MO.getImmedValue(); | 
|  | 156 | break; | 
| Nate Begeman | 4ca2ea5 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 157 | case MachineOperand::MO_MachineBasicBlock: | 
|  | 158 | printBasicBlockLabel(MO.getMachineBasicBlock()); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 159 | return; | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 160 | case MachineOperand::MO_GlobalAddress: | 
|  | 161 | O << Mang->getValueName(MO.getGlobal()); | 
|  | 162 | break; | 
|  | 163 | case MachineOperand::MO_ExternalSymbol: | 
|  | 164 | O << MO.getSymbolName(); | 
|  | 165 | break; | 
|  | 166 | case MachineOperand::MO_ConstantPoolIndex: | 
| Jim Laskey | a6211dc | 2006-09-06 18:34:40 +0000 | [diff] [blame] | 167 | O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << "_" | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 168 | << MO.getConstantPoolIndex(); | 
|  | 169 | break; | 
|  | 170 | default: | 
|  | 171 | O << "<unknown operand type>"; abort (); break; | 
|  | 172 | } | 
|  | 173 | if (CloseParen) O << ")"; | 
|  | 174 | } | 
|  | 175 |  | 
| Chris Lattner | fcb8a3a | 2006-02-10 07:35:42 +0000 | [diff] [blame] | 176 | void SparcAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum, | 
|  | 177 | const char *Modifier) { | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 178 | printOperand(MI, opNum); | 
| Chris Lattner | fcb8a3a | 2006-02-10 07:35:42 +0000 | [diff] [blame] | 179 |  | 
|  | 180 | // If this is an ADD operand, emit it like normal operands. | 
|  | 181 | if (Modifier && !strcmp(Modifier, "arith")) { | 
|  | 182 | O << ", "; | 
|  | 183 | printOperand(MI, opNum+1); | 
|  | 184 | return; | 
|  | 185 | } | 
|  | 186 |  | 
| Chris Lattner | 10b71c0 | 2006-05-04 18:05:43 +0000 | [diff] [blame] | 187 | if (MI->getOperand(opNum+1).isRegister() && | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 188 | MI->getOperand(opNum+1).getReg() == SP::G0) | 
|  | 189 | return;   // don't print "+%g0" | 
| Chris Lattner | 10b71c0 | 2006-05-04 18:05:43 +0000 | [diff] [blame] | 190 | if (MI->getOperand(opNum+1).isImmediate() && | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 191 | MI->getOperand(opNum+1).getImmedValue() == 0) | 
|  | 192 | return;   // don't print "+0" | 
|  | 193 |  | 
|  | 194 | O << "+"; | 
| Chris Lattner | 10b71c0 | 2006-05-04 18:05:43 +0000 | [diff] [blame] | 195 | if (MI->getOperand(opNum+1).isGlobalAddress() || | 
|  | 196 | MI->getOperand(opNum+1).isConstantPoolIndex()) { | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 197 | O << "%lo("; | 
|  | 198 | printOperand(MI, opNum+1); | 
|  | 199 | O << ")"; | 
|  | 200 | } else { | 
|  | 201 | printOperand(MI, opNum+1); | 
|  | 202 | } | 
|  | 203 | } | 
|  | 204 |  | 
|  | 205 | void SparcAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum) { | 
|  | 206 | int CC = (int)MI->getOperand(opNum).getImmedValue(); | 
|  | 207 | O << SPARCCondCodeToString((SPCC::CondCodes)CC); | 
|  | 208 | } | 
|  | 209 |  | 
|  | 210 |  | 
|  | 211 |  | 
|  | 212 | bool SparcAsmPrinter::doInitialization(Module &M) { | 
|  | 213 | Mang = new Mangler(M); | 
|  | 214 | return false; // success | 
|  | 215 | } | 
|  | 216 |  | 
|  | 217 | bool SparcAsmPrinter::doFinalization(Module &M) { | 
| Owen Anderson | 20a631f | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 218 | const TargetData *TD = TM.getTargetData(); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 219 |  | 
|  | 220 | // Print out module-level global variables here. | 
| Chris Lattner | e363fdf | 2006-03-09 06:14:35 +0000 | [diff] [blame] | 221 | for (Module::const_global_iterator I = M.global_begin(), E = M.global_end(); | 
|  | 222 | I != E; ++I) | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 223 | if (I->hasInitializer()) {   // External global require no code | 
| Chris Lattner | e363fdf | 2006-03-09 06:14:35 +0000 | [diff] [blame] | 224 | // Check to see if this is a special global used by LLVM, if so, emit it. | 
|  | 225 | if (EmitSpecialLLVMGlobal(I)) | 
|  | 226 | continue; | 
|  | 227 |  | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 228 | O << "\n\n"; | 
|  | 229 | std::string name = Mang->getValueName(I); | 
|  | 230 | Constant *C = I->getInitializer(); | 
| Owen Anderson | 20a631f | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 231 | unsigned Size = TD->getTypeSize(C->getType()); | 
| Chris Lattner | 945e437 | 2007-02-14 05:52:17 +0000 | [diff] [blame] | 232 | unsigned Align = TD->getPrefTypeAlignment(C->getType()); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 233 |  | 
|  | 234 | if (C->isNullValue() && | 
|  | 235 | (I->hasLinkOnceLinkage() || I->hasInternalLinkage() || | 
|  | 236 | I->hasWeakLinkage() /* FIXME: Verify correct */)) { | 
| Chris Lattner | 8488ba2 | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 237 | SwitchToDataSection(".data", I); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 238 | if (I->hasInternalLinkage()) | 
|  | 239 | O << "\t.local " << name << "\n"; | 
|  | 240 |  | 
| Owen Anderson | 20a631f | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 241 | O << "\t.comm " << name << "," << TD->getTypeSize(C->getType()) | 
| Chris Lattner | 50ee0e4 | 2007-01-20 22:35:55 +0000 | [diff] [blame] | 242 | << "," << Align; | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 243 | O << "\n"; | 
|  | 244 | } else { | 
|  | 245 | switch (I->getLinkage()) { | 
|  | 246 | case GlobalValue::LinkOnceLinkage: | 
|  | 247 | case GlobalValue::WeakLinkage:   // FIXME: Verify correct for weak. | 
|  | 248 | // Nonnull linkonce -> weak | 
|  | 249 | O << "\t.weak " << name << "\n"; | 
| Chris Lattner | 8488ba2 | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 250 | SwitchToDataSection("", I); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 251 | O << "\t.section\t\".llvm.linkonce.d." << name | 
|  | 252 | << "\",\"aw\",@progbits\n"; | 
|  | 253 | break; | 
|  | 254 |  | 
|  | 255 | case GlobalValue::AppendingLinkage: | 
|  | 256 | // FIXME: appending linkage variables should go into a section of | 
|  | 257 | // their name or something.  For now, just emit them as external. | 
|  | 258 | case GlobalValue::ExternalLinkage: | 
|  | 259 | // If external or appending, declare as a global symbol | 
|  | 260 | O << "\t.globl " << name << "\n"; | 
|  | 261 | // FALL THROUGH | 
|  | 262 | case GlobalValue::InternalLinkage: | 
|  | 263 | if (C->isNullValue()) | 
| Chris Lattner | 8488ba2 | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 264 | SwitchToDataSection(".bss", I); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 265 | else | 
| Chris Lattner | 8488ba2 | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 266 | SwitchToDataSection(".data", I); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 267 | break; | 
|  | 268 | case GlobalValue::GhostLinkage: | 
| Bill Wendling | 9bfb1e1 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 269 | cerr << "Should not have any unmaterialized functions!\n"; | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 270 | abort(); | 
| Anton Korobeynikov | d61d39e | 2006-09-14 18:23:27 +0000 | [diff] [blame] | 271 | case GlobalValue::DLLImportLinkage: | 
| Bill Wendling | 9bfb1e1 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 272 | cerr << "DLLImport linkage is not supported by this target!\n"; | 
| Anton Korobeynikov | d61d39e | 2006-09-14 18:23:27 +0000 | [diff] [blame] | 273 | abort(); | 
|  | 274 | case GlobalValue::DLLExportLinkage: | 
| Bill Wendling | 9bfb1e1 | 2006-12-07 22:21:48 +0000 | [diff] [blame] | 275 | cerr << "DLLExport linkage is not supported by this target!\n"; | 
| Anton Korobeynikov | d61d39e | 2006-09-14 18:23:27 +0000 | [diff] [blame] | 276 | abort(); | 
|  | 277 | default: | 
|  | 278 | assert(0 && "Unknown linkage type!"); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 279 | } | 
|  | 280 |  | 
|  | 281 | O << "\t.align " << Align << "\n"; | 
|  | 282 | O << "\t.type " << name << ",#object\n"; | 
|  | 283 | O << "\t.size " << name << "," << Size << "\n"; | 
| Chris Lattner | 81cf22d | 2006-12-06 06:13:25 +0000 | [diff] [blame] | 284 | O << name << ":\n"; | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 285 | EmitGlobalConstant(C); | 
|  | 286 | } | 
|  | 287 | } | 
|  | 288 |  | 
| Dan Gohman | cf0a534 | 2007-07-25 19:33:14 +0000 | [diff] [blame] | 289 | return AsmPrinter::doFinalization(M); | 
| Chris Lattner | 158e1f5 | 2006-02-05 05:50:24 +0000 | [diff] [blame] | 290 | } |