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