1 //===-- MipsAsmPrinter.cpp - Mips LLVM Assembly Printer -------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // 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 MIPS assembly language. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #include "InstPrinter/MipsInstPrinter.h" 16 #include "MCTargetDesc/MipsBaseInfo.h" 17 #include "MCTargetDesc/MipsMCNaCl.h" 18 #include "Mips.h" 19 #include "MipsAsmPrinter.h" 20 #include "MipsInstrInfo.h" 21 #include "MipsMCInstLower.h" 22 #include "MipsTargetStreamer.h" 23 #include "llvm/ADT/SmallString.h" 24 #include "llvm/ADT/StringExtras.h" 25 #include "llvm/ADT/Twine.h" 26 #include "llvm/CodeGen/MachineConstantPool.h" 27 #include "llvm/CodeGen/MachineFrameInfo.h" 28 #include "llvm/CodeGen/MachineFunctionPass.h" 29 #include "llvm/CodeGen/MachineInstr.h" 30 #include "llvm/CodeGen/MachineJumpTableInfo.h" 31 #include "llvm/CodeGen/MachineMemOperand.h" 32 #include "llvm/IR/BasicBlock.h" 33 #include "llvm/IR/DataLayout.h" 34 #include "llvm/IR/InlineAsm.h" 35 #include "llvm/IR/Instructions.h" 36 #include "llvm/IR/Mangler.h" 37 #include "llvm/MC/MCAsmInfo.h" 38 #include "llvm/MC/MCContext.h" 39 #include "llvm/MC/MCELFStreamer.h" 40 #include "llvm/MC/MCExpr.h" 41 #include "llvm/MC/MCInst.h" 42 #include "llvm/MC/MCSection.h" 43 #include "llvm/MC/MCSectionELF.h" 44 #include "llvm/MC/MCSymbol.h" 45 #include "llvm/Support/ELF.h" 46 #include "llvm/Support/TargetRegistry.h" 47 #include "llvm/Support/raw_ostream.h" 48 #include "llvm/Target/TargetLoweringObjectFile.h" 49 #include "llvm/Target/TargetOptions.h" 50 #include <string> 51 52 using namespace llvm; 53 54 #define DEBUG_TYPE "mips-asm-printer" 55 56 MipsTargetStreamer &MipsAsmPrinter::getTargetStreamer() { 57 return static_cast<MipsTargetStreamer &>(*OutStreamer.getTargetStreamer()); 58 } 59 60 bool MipsAsmPrinter::runOnMachineFunction(MachineFunction &MF) { 61 Subtarget = &TM.getSubtarget<MipsSubtarget>(); 62 63 // Initialize TargetLoweringObjectFile. 64 const_cast<TargetLoweringObjectFile &>(getObjFileLowering()) 65 .Initialize(OutContext, TM); 66 67 MipsFI = MF.getInfo<MipsFunctionInfo>(); 68 if (Subtarget->inMips16Mode()) 69 for (std::map< 70 const char *, 71 const llvm::Mips16HardFloatInfo::FuncSignature *>::const_iterator 72 it = MipsFI->StubsNeeded.begin(); 73 it != MipsFI->StubsNeeded.end(); ++it) { 74 const char *Symbol = it->first; 75 const llvm::Mips16HardFloatInfo::FuncSignature *Signature = it->second; 76 if (StubsNeeded.find(Symbol) == StubsNeeded.end()) 77 StubsNeeded[Symbol] = Signature; 78 } 79 MCP = MF.getConstantPool(); 80 81 // In NaCl, all indirect jump targets must be aligned to bundle size. 82 if (Subtarget->isTargetNaCl()) 83 NaClAlignIndirectJumpTargets(MF); 84 85 AsmPrinter::runOnMachineFunction(MF); 86 return true; 87 } 88 89 bool MipsAsmPrinter::lowerOperand(const MachineOperand &MO, MCOperand &MCOp) { 90 MCOp = MCInstLowering.LowerOperand(MO); 91 return MCOp.isValid(); 92 } 93 94 #include "MipsGenMCPseudoLowering.inc" 95 96 // Lower PseudoReturn/PseudoIndirectBranch/PseudoIndirectBranch64 to JR, JR_MM, 97 // JALR, or JALR64 as appropriate for the target 98 void MipsAsmPrinter::emitPseudoIndirectBranch(MCStreamer &OutStreamer, 99 const MachineInstr *MI) { 100 bool HasLinkReg = false; 101 MCInst TmpInst0; 102 103 if (Subtarget->hasMips64r6()) { 104 // MIPS64r6 should use (JALR64 ZERO_64, $rs) 105 TmpInst0.setOpcode(Mips::JALR64); 106 HasLinkReg = true; 107 } else if (Subtarget->hasMips32r6()) { 108 // MIPS32r6 should use (JALR ZERO, $rs) 109 TmpInst0.setOpcode(Mips::JALR); 110 HasLinkReg = true; 111 } else if (Subtarget->inMicroMipsMode()) 112 // microMIPS should use (JR_MM $rs) 113 TmpInst0.setOpcode(Mips::JR_MM); 114 else { 115 // Everything else should use (JR $rs) 116 TmpInst0.setOpcode(Mips::JR); 117 } 118 119 MCOperand MCOp; 120 121 if (HasLinkReg) { 122 unsigned ZeroReg = Subtarget->isGP64bit() ? Mips::ZERO_64 : Mips::ZERO; 123 TmpInst0.addOperand(MCOperand::CreateReg(ZeroReg)); 124 } 125 126 lowerOperand(MI->getOperand(0), MCOp); 127 TmpInst0.addOperand(MCOp); 128 129 EmitToStreamer(OutStreamer, TmpInst0); 130 } 131 132 void MipsAsmPrinter::EmitInstruction(const MachineInstr *MI) { 133 MipsTargetStreamer &TS = getTargetStreamer(); 134 TS.setCanHaveModuleDir(false); 135 136 if (MI->isDebugValue()) { 137 SmallString<128> Str; 138 raw_svector_ostream OS(Str); 139 140 PrintDebugValueComment(MI, OS); 141 return; 142 } 143 144 // If we just ended a constant pool, mark it as such. 145 if (InConstantPool && MI->getOpcode() != Mips::CONSTPOOL_ENTRY) { 146 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd); 147 InConstantPool = false; 148 } 149 if (MI->getOpcode() == Mips::CONSTPOOL_ENTRY) { 150 // CONSTPOOL_ENTRY - This instruction represents a floating 151 //constant pool in the function. The first operand is the ID# 152 // for this instruction, the second is the index into the 153 // MachineConstantPool that this is, the third is the size in 154 // bytes of this constant pool entry. 155 // The required alignment is specified on the basic block holding this MI. 156 // 157 unsigned LabelId = (unsigned)MI->getOperand(0).getImm(); 158 unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex(); 159 160 // If this is the first entry of the pool, mark it. 161 if (!InConstantPool) { 162 OutStreamer.EmitDataRegion(MCDR_DataRegion); 163 InConstantPool = true; 164 } 165 166 OutStreamer.EmitLabel(GetCPISymbol(LabelId)); 167 168 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx]; 169 if (MCPE.isMachineConstantPoolEntry()) 170 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal); 171 else 172 EmitGlobalConstant(MCPE.Val.ConstVal); 173 return; 174 } 175 176 177 MachineBasicBlock::const_instr_iterator I = MI; 178 MachineBasicBlock::const_instr_iterator E = MI->getParent()->instr_end(); 179 180 do { 181 // Do any auto-generated pseudo lowerings. 182 if (emitPseudoExpansionLowering(OutStreamer, &*I)) 183 continue; 184 185 if (I->getOpcode() == Mips::PseudoReturn || 186 I->getOpcode() == Mips::PseudoReturn64 || 187 I->getOpcode() == Mips::PseudoIndirectBranch || 188 I->getOpcode() == Mips::PseudoIndirectBranch64) { 189 emitPseudoIndirectBranch(OutStreamer, &*I); 190 continue; 191 } 192 193 // The inMips16Mode() test is not permanent. 194 // Some instructions are marked as pseudo right now which 195 // would make the test fail for the wrong reason but 196 // that will be fixed soon. We need this here because we are 197 // removing another test for this situation downstream in the 198 // callchain. 199 // 200 if (I->isPseudo() && !Subtarget->inMips16Mode() 201 && !isLongBranchPseudo(I->getOpcode())) 202 llvm_unreachable("Pseudo opcode found in EmitInstruction()"); 203 204 MCInst TmpInst0; 205 MCInstLowering.Lower(I, TmpInst0); 206 EmitToStreamer(OutStreamer, TmpInst0); 207 } while ((++I != E) && I->isInsideBundle()); // Delay slot check 208 } 209 210 //===----------------------------------------------------------------------===// 211 // 212 // Mips Asm Directives 213 // 214 // -- Frame directive "frame Stackpointer, Stacksize, RARegister" 215 // Describe the stack frame. 216 // 217 // -- Mask directives "(f)mask bitmask, offset" 218 // Tells the assembler which registers are saved and where. 219 // bitmask - contain a little endian bitset indicating which registers are 220 // saved on function prologue (e.g. with a 0x80000000 mask, the 221 // assembler knows the register 31 (RA) is saved at prologue. 222 // offset - the position before stack pointer subtraction indicating where 223 // the first saved register on prologue is located. (e.g. with a 224 // 225 // Consider the following function prologue: 226 // 227 // .frame $fp,48,$ra 228 // .mask 0xc0000000,-8 229 // addiu $sp, $sp, -48 230 // sw $ra, 40($sp) 231 // sw $fp, 36($sp) 232 // 233 // With a 0xc0000000 mask, the assembler knows the register 31 (RA) and 234 // 30 (FP) are saved at prologue. As the save order on prologue is from 235 // left to right, RA is saved first. A -8 offset means that after the 236 // stack pointer subtration, the first register in the mask (RA) will be 237 // saved at address 48-8=40. 238 // 239 //===----------------------------------------------------------------------===// 240 241 //===----------------------------------------------------------------------===// 242 // Mask directives 243 //===----------------------------------------------------------------------===// 244 245 // Create a bitmask with all callee saved registers for CPU or Floating Point 246 // registers. For CPU registers consider RA, GP and FP for saving if necessary. 247 void MipsAsmPrinter::printSavedRegsBitmask() { 248 // CPU and FPU Saved Registers Bitmasks 249 unsigned CPUBitmask = 0, FPUBitmask = 0; 250 int CPUTopSavedRegOff, FPUTopSavedRegOff; 251 252 // Set the CPU and FPU Bitmasks 253 const MachineFrameInfo *MFI = MF->getFrameInfo(); 254 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo(); 255 // size of stack area to which FP callee-saved regs are saved. 256 unsigned CPURegSize = Mips::GPR32RegClass.getSize(); 257 unsigned FGR32RegSize = Mips::FGR32RegClass.getSize(); 258 unsigned AFGR64RegSize = Mips::AFGR64RegClass.getSize(); 259 bool HasAFGR64Reg = false; 260 unsigned CSFPRegsSize = 0; 261 unsigned i, e = CSI.size(); 262 263 // Set FPU Bitmask. 264 for (i = 0; i != e; ++i) { 265 unsigned Reg = CSI[i].getReg(); 266 if (Mips::GPR32RegClass.contains(Reg)) 267 break; 268 269 unsigned RegNum = TM.getRegisterInfo()->getEncodingValue(Reg); 270 if (Mips::AFGR64RegClass.contains(Reg)) { 271 FPUBitmask |= (3 << RegNum); 272 CSFPRegsSize += AFGR64RegSize; 273 HasAFGR64Reg = true; 274 continue; 275 } 276 277 FPUBitmask |= (1 << RegNum); 278 CSFPRegsSize += FGR32RegSize; 279 } 280 281 // Set CPU Bitmask. 282 for (; i != e; ++i) { 283 unsigned Reg = CSI[i].getReg(); 284 unsigned RegNum = TM.getRegisterInfo()->getEncodingValue(Reg); 285 CPUBitmask |= (1 << RegNum); 286 } 287 288 // FP Regs are saved right below where the virtual frame pointer points to. 289 FPUTopSavedRegOff = FPUBitmask ? 290 (HasAFGR64Reg ? -AFGR64RegSize : -FGR32RegSize) : 0; 291 292 // CPU Regs are saved below FP Regs. 293 CPUTopSavedRegOff = CPUBitmask ? -CSFPRegsSize - CPURegSize : 0; 294 295 MipsTargetStreamer &TS = getTargetStreamer(); 296 // Print CPUBitmask 297 TS.emitMask(CPUBitmask, CPUTopSavedRegOff); 298 299 // Print FPUBitmask 300 TS.emitFMask(FPUBitmask, FPUTopSavedRegOff); 301 } 302 303 //===----------------------------------------------------------------------===// 304 // Frame and Set directives 305 //===----------------------------------------------------------------------===// 306 307 /// Frame Directive 308 void MipsAsmPrinter::emitFrameDirective() { 309 const TargetRegisterInfo &RI = *TM.getRegisterInfo(); 310 311 unsigned stackReg = RI.getFrameRegister(*MF); 312 unsigned returnReg = RI.getRARegister(); 313 unsigned stackSize = MF->getFrameInfo()->getStackSize(); 314 315 getTargetStreamer().emitFrame(stackReg, stackSize, returnReg); 316 } 317 318 /// Emit Set directives. 319 const char *MipsAsmPrinter::getCurrentABIString() const { 320 switch (Subtarget->getABI().GetEnumValue()) { 321 case MipsABIInfo::ABI::O32: return "abi32"; 322 case MipsABIInfo::ABI::N32: return "abiN32"; 323 case MipsABIInfo::ABI::N64: return "abi64"; 324 case MipsABIInfo::ABI::EABI: return "eabi32"; // TODO: handle eabi64 325 default: llvm_unreachable("Unknown Mips ABI"); 326 } 327 } 328 329 void MipsAsmPrinter::EmitFunctionEntryLabel() { 330 MipsTargetStreamer &TS = getTargetStreamer(); 331 332 // NaCl sandboxing requires that indirect call instructions are masked. 333 // This means that function entry points should be bundle-aligned. 334 if (Subtarget->isTargetNaCl()) 335 EmitAlignment(std::max(MF->getAlignment(), MIPS_NACL_BUNDLE_ALIGN)); 336 337 if (Subtarget->inMicroMipsMode()) 338 TS.emitDirectiveSetMicroMips(); 339 else 340 TS.emitDirectiveSetNoMicroMips(); 341 342 if (Subtarget->inMips16Mode()) 343 TS.emitDirectiveSetMips16(); 344 else 345 TS.emitDirectiveSetNoMips16(); 346 347 TS.emitDirectiveEnt(*CurrentFnSym); 348 OutStreamer.EmitLabel(CurrentFnSym); 349 } 350 351 /// EmitFunctionBodyStart - Targets can override this to emit stuff before 352 /// the first basic block in the function. 353 void MipsAsmPrinter::EmitFunctionBodyStart() { 354 MipsTargetStreamer &TS = getTargetStreamer(); 355 356 MCInstLowering.Initialize(&MF->getContext()); 357 358 bool IsNakedFunction = 359 MF->getFunction()-> 360 getAttributes().hasAttribute(AttributeSet::FunctionIndex, 361 Attribute::Naked); 362 if (!IsNakedFunction) 363 emitFrameDirective(); 364 365 if (!IsNakedFunction) 366 printSavedRegsBitmask(); 367 368 if (!Subtarget->inMips16Mode()) { 369 TS.emitDirectiveSetNoReorder(); 370 TS.emitDirectiveSetNoMacro(); 371 TS.emitDirectiveSetNoAt(); 372 } 373 } 374 375 /// EmitFunctionBodyEnd - Targets can override this to emit stuff after 376 /// the last basic block in the function. 377 void MipsAsmPrinter::EmitFunctionBodyEnd() { 378 MipsTargetStreamer &TS = getTargetStreamer(); 379 380 // There are instruction for this macros, but they must 381 // always be at the function end, and we can't emit and 382 // break with BB logic. 383 if (!Subtarget->inMips16Mode()) { 384 TS.emitDirectiveSetAt(); 385 TS.emitDirectiveSetMacro(); 386 TS.emitDirectiveSetReorder(); 387 } 388 TS.emitDirectiveEnd(CurrentFnSym->getName()); 389 // Make sure to terminate any constant pools that were at the end 390 // of the function. 391 if (!InConstantPool) 392 return; 393 InConstantPool = false; 394 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd); 395 } 396 397 /// isBlockOnlyReachableByFallthough - Return true if the basic block has 398 /// exactly one predecessor and the control transfer mechanism between 399 /// the predecessor and this block is a fall-through. 400 bool MipsAsmPrinter::isBlockOnlyReachableByFallthrough(const MachineBasicBlock* 401 MBB) const { 402 // The predecessor has to be immediately before this block. 403 const MachineBasicBlock *Pred = *MBB->pred_begin(); 404 405 // If the predecessor is a switch statement, assume a jump table 406 // implementation, so it is not a fall through. 407 if (const BasicBlock *bb = Pred->getBasicBlock()) 408 if (isa<SwitchInst>(bb->getTerminator())) 409 return false; 410 411 // If this is a landing pad, it isn't a fall through. If it has no preds, 412 // then nothing falls through to it. 413 if (MBB->isLandingPad() || MBB->pred_empty()) 414 return false; 415 416 // If there isn't exactly one predecessor, it can't be a fall through. 417 MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(), PI2 = PI; 418 ++PI2; 419 420 if (PI2 != MBB->pred_end()) 421 return false; 422 423 // The predecessor has to be immediately before this block. 424 if (!Pred->isLayoutSuccessor(MBB)) 425 return false; 426 427 // If the block is completely empty, then it definitely does fall through. 428 if (Pred->empty()) 429 return true; 430 431 // Otherwise, check the last instruction. 432 // Check if the last terminator is an unconditional branch. 433 MachineBasicBlock::const_iterator I = Pred->end(); 434 while (I != Pred->begin() && !(--I)->isTerminator()) ; 435 436 return !I->isBarrier(); 437 } 438 439 // Print out an operand for an inline asm expression. 440 bool MipsAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum, 441 unsigned AsmVariant,const char *ExtraCode, 442 raw_ostream &O) { 443 // Does this asm operand have a single letter operand modifier? 444 if (ExtraCode && ExtraCode[0]) { 445 if (ExtraCode[1] != 0) return true; // Unknown modifier. 446 447 const MachineOperand &MO = MI->getOperand(OpNum); 448 switch (ExtraCode[0]) { 449 default: 450 // See if this is a generic print operand 451 return AsmPrinter::PrintAsmOperand(MI,OpNum,AsmVariant,ExtraCode,O); 452 case 'X': // hex const int 453 if ((MO.getType()) != MachineOperand::MO_Immediate) 454 return true; 455 O << "0x" << StringRef(utohexstr(MO.getImm())).lower(); 456 return false; 457 case 'x': // hex const int (low 16 bits) 458 if ((MO.getType()) != MachineOperand::MO_Immediate) 459 return true; 460 O << "0x" << StringRef(utohexstr(MO.getImm() & 0xffff)).lower(); 461 return false; 462 case 'd': // decimal const int 463 if ((MO.getType()) != MachineOperand::MO_Immediate) 464 return true; 465 O << MO.getImm(); 466 return false; 467 case 'm': // decimal const int minus 1 468 if ((MO.getType()) != MachineOperand::MO_Immediate) 469 return true; 470 O << MO.getImm() - 1; 471 return false; 472 case 'z': { 473 // $0 if zero, regular printing otherwise 474 if (MO.getType() == MachineOperand::MO_Immediate && MO.getImm() == 0) { 475 O << "$0"; 476 return false; 477 } 478 // If not, call printOperand as normal. 479 break; 480 } 481 case 'D': // Second part of a double word register operand 482 case 'L': // Low order register of a double word register operand 483 case 'M': // High order register of a double word register operand 484 { 485 if (OpNum == 0) 486 return true; 487 const MachineOperand &FlagsOP = MI->getOperand(OpNum - 1); 488 if (!FlagsOP.isImm()) 489 return true; 490 unsigned Flags = FlagsOP.getImm(); 491 unsigned NumVals = InlineAsm::getNumOperandRegisters(Flags); 492 // Number of registers represented by this operand. We are looking 493 // for 2 for 32 bit mode and 1 for 64 bit mode. 494 if (NumVals != 2) { 495 if (Subtarget->isGP64bit() && NumVals == 1 && MO.isReg()) { 496 unsigned Reg = MO.getReg(); 497 O << '$' << MipsInstPrinter::getRegisterName(Reg); 498 return false; 499 } 500 return true; 501 } 502 503 unsigned RegOp = OpNum; 504 if (!Subtarget->isGP64bit()){ 505 // Endianess reverses which register holds the high or low value 506 // between M and L. 507 switch(ExtraCode[0]) { 508 case 'M': 509 RegOp = (Subtarget->isLittle()) ? OpNum + 1 : OpNum; 510 break; 511 case 'L': 512 RegOp = (Subtarget->isLittle()) ? OpNum : OpNum + 1; 513 break; 514 case 'D': // Always the second part 515 RegOp = OpNum + 1; 516 } 517 if (RegOp >= MI->getNumOperands()) 518 return true; 519 const MachineOperand &MO = MI->getOperand(RegOp); 520 if (!MO.isReg()) 521 return true; 522 unsigned Reg = MO.getReg(); 523 O << '$' << MipsInstPrinter::getRegisterName(Reg); 524 return false; 525 } 526 } 527 case 'w': 528 // Print MSA registers for the 'f' constraint 529 // In LLVM, the 'w' modifier doesn't need to do anything. 530 // We can just call printOperand as normal. 531 break; 532 } 533 } 534 535 printOperand(MI, OpNum, O); 536 return false; 537 } 538 539 bool MipsAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, 540 unsigned OpNum, unsigned AsmVariant, 541 const char *ExtraCode, 542 raw_ostream &O) { 543 int Offset = 0; 544 // Currently we are expecting either no ExtraCode or 'D' 545 if (ExtraCode) { 546 if (ExtraCode[0] == 'D') 547 Offset = 4; 548 else 549 return true; // Unknown modifier. 550 } 551 552 const MachineOperand &MO = MI->getOperand(OpNum); 553 assert(MO.isReg() && "unexpected inline asm memory operand"); 554 O << Offset << "($" << MipsInstPrinter::getRegisterName(MO.getReg()) << ")"; 555 556 return false; 557 } 558 559 void MipsAsmPrinter::printOperand(const MachineInstr *MI, int opNum, 560 raw_ostream &O) { 561 const DataLayout *DL = TM.getDataLayout(); 562 const MachineOperand &MO = MI->getOperand(opNum); 563 bool closeP = false; 564 565 if (MO.getTargetFlags()) 566 closeP = true; 567 568 switch(MO.getTargetFlags()) { 569 case MipsII::MO_GPREL: O << "%gp_rel("; break; 570 case MipsII::MO_GOT_CALL: O << "%call16("; break; 571 case MipsII::MO_GOT: O << "%got("; break; 572 case MipsII::MO_ABS_HI: O << "%hi("; break; 573 case MipsII::MO_ABS_LO: O << "%lo("; break; 574 case MipsII::MO_TLSGD: O << "%tlsgd("; break; 575 case MipsII::MO_GOTTPREL: O << "%gottprel("; break; 576 case MipsII::MO_TPREL_HI: O << "%tprel_hi("; break; 577 case MipsII::MO_TPREL_LO: O << "%tprel_lo("; break; 578 case MipsII::MO_GPOFF_HI: O << "%hi(%neg(%gp_rel("; break; 579 case MipsII::MO_GPOFF_LO: O << "%lo(%neg(%gp_rel("; break; 580 case MipsII::MO_GOT_DISP: O << "%got_disp("; break; 581 case MipsII::MO_GOT_PAGE: O << "%got_page("; break; 582 case MipsII::MO_GOT_OFST: O << "%got_ofst("; break; 583 } 584 585 switch (MO.getType()) { 586 case MachineOperand::MO_Register: 587 O << '$' 588 << StringRef(MipsInstPrinter::getRegisterName(MO.getReg())).lower(); 589 break; 590 591 case MachineOperand::MO_Immediate: 592 O << MO.getImm(); 593 break; 594 595 case MachineOperand::MO_MachineBasicBlock: 596 O << *MO.getMBB()->getSymbol(); 597 return; 598 599 case MachineOperand::MO_GlobalAddress: 600 O << *getSymbol(MO.getGlobal()); 601 break; 602 603 case MachineOperand::MO_BlockAddress: { 604 MCSymbol *BA = GetBlockAddressSymbol(MO.getBlockAddress()); 605 O << BA->getName(); 606 break; 607 } 608 609 case MachineOperand::MO_ConstantPoolIndex: 610 O << DL->getPrivateGlobalPrefix() << "CPI" 611 << getFunctionNumber() << "_" << MO.getIndex(); 612 if (MO.getOffset()) 613 O << "+" << MO.getOffset(); 614 break; 615 616 default: 617 llvm_unreachable("<unknown operand type>"); 618 } 619 620 if (closeP) O << ")"; 621 } 622 623 void MipsAsmPrinter::printUnsignedImm(const MachineInstr *MI, int opNum, 624 raw_ostream &O) { 625 const MachineOperand &MO = MI->getOperand(opNum); 626 if (MO.isImm()) 627 O << (unsigned short int)MO.getImm(); 628 else 629 printOperand(MI, opNum, O); 630 } 631 632 void MipsAsmPrinter::printUnsignedImm8(const MachineInstr *MI, int opNum, 633 raw_ostream &O) { 634 const MachineOperand &MO = MI->getOperand(opNum); 635 if (MO.isImm()) 636 O << (unsigned short int)(unsigned char)MO.getImm(); 637 else 638 printOperand(MI, opNum, O); 639 } 640 641 void MipsAsmPrinter:: 642 printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &O) { 643 // Load/Store memory operands -- imm($reg) 644 // If PIC target the target is loaded as the 645 // pattern lw $25,%call16($28) 646 printOperand(MI, opNum+1, O); 647 O << "("; 648 printOperand(MI, opNum, O); 649 O << ")"; 650 } 651 652 void MipsAsmPrinter:: 653 printMemOperandEA(const MachineInstr *MI, int opNum, raw_ostream &O) { 654 // when using stack locations for not load/store instructions 655 // print the same way as all normal 3 operand instructions. 656 printOperand(MI, opNum, O); 657 O << ", "; 658 printOperand(MI, opNum+1, O); 659 return; 660 } 661 662 void MipsAsmPrinter:: 663 printFCCOperand(const MachineInstr *MI, int opNum, raw_ostream &O, 664 const char *Modifier) { 665 const MachineOperand &MO = MI->getOperand(opNum); 666 O << Mips::MipsFCCToString((Mips::CondCode)MO.getImm()); 667 } 668 669 void MipsAsmPrinter::EmitStartOfAsmFile(Module &M) { 670 bool IsABICalls = Subtarget->isABICalls(); 671 if (IsABICalls) { 672 getTargetStreamer().emitDirectiveAbiCalls(); 673 Reloc::Model RM = TM.getRelocationModel(); 674 // FIXME: This condition should be a lot more complicated that it is here. 675 // Ideally it should test for properties of the ABI and not the ABI 676 // itself. 677 // For the moment, I'm only correcting enough to make MIPS-IV work. 678 if (RM == Reloc::Static && !Subtarget->isABI_N64()) 679 getTargetStreamer().emitDirectiveOptionPic0(); 680 } 681 682 // Tell the assembler which ABI we are using 683 std::string SectionName = std::string(".mdebug.") + getCurrentABIString(); 684 OutStreamer.SwitchSection(OutContext.getELFSection( 685 SectionName, ELF::SHT_PROGBITS, 0, SectionKind::getDataRel())); 686 687 // NaN: At the moment we only support: 688 // 1. .nan legacy (default) 689 // 2. .nan 2008 690 Subtarget->isNaN2008() ? getTargetStreamer().emitDirectiveNaN2008() 691 : getTargetStreamer().emitDirectiveNaNLegacy(); 692 693 // TODO: handle O64 ABI 694 695 if (Subtarget->isABI_EABI()) { 696 if (Subtarget->isGP32bit()) 697 OutStreamer.SwitchSection( 698 OutContext.getELFSection(".gcc_compiled_long32", ELF::SHT_PROGBITS, 0, 699 SectionKind::getDataRel())); 700 else 701 OutStreamer.SwitchSection( 702 OutContext.getELFSection(".gcc_compiled_long64", ELF::SHT_PROGBITS, 0, 703 SectionKind::getDataRel())); 704 } 705 706 getTargetStreamer().updateABIInfo(*Subtarget); 707 708 // We should always emit a '.module fp=...' but binutils 2.24 does not accept 709 // it. We therefore emit it when it contradicts the ABI defaults (-mfpxx or 710 // -mfp64) and omit it otherwise. 711 if (Subtarget->isABI_O32() && (Subtarget->isABI_FPXX() || 712 Subtarget->isFP64bit())) 713 getTargetStreamer().emitDirectiveModuleFP(); 714 715 // We should always emit a '.module [no]oddspreg' but binutils 2.24 does not 716 // accept it. We therefore emit it when it contradicts the default or an 717 // option has changed the default (i.e. FPXX) and omit it otherwise. 718 if (Subtarget->isABI_O32() && (!Subtarget->useOddSPReg() || 719 Subtarget->isABI_FPXX())) 720 getTargetStreamer().emitDirectiveModuleOddSPReg(Subtarget->useOddSPReg(), 721 Subtarget->isABI_O32()); 722 } 723 724 void MipsAsmPrinter::EmitJal(MCSymbol *Symbol) { 725 MCInst I; 726 I.setOpcode(Mips::JAL); 727 I.addOperand( 728 MCOperand::CreateExpr(MCSymbolRefExpr::Create(Symbol, OutContext))); 729 OutStreamer.EmitInstruction(I, getSubtargetInfo()); 730 } 731 732 void MipsAsmPrinter::EmitInstrReg(unsigned Opcode, unsigned Reg) { 733 MCInst I; 734 I.setOpcode(Opcode); 735 I.addOperand(MCOperand::CreateReg(Reg)); 736 OutStreamer.EmitInstruction(I, getSubtargetInfo()); 737 } 738 739 void MipsAsmPrinter::EmitInstrRegReg(unsigned Opcode, unsigned Reg1, 740 unsigned Reg2) { 741 MCInst I; 742 // 743 // Because of the current td files for Mips32, the operands for MTC1 744 // appear backwards from their normal assembly order. It's not a trivial 745 // change to fix this in the td file so we adjust for it here. 746 // 747 if (Opcode == Mips::MTC1) { 748 unsigned Temp = Reg1; 749 Reg1 = Reg2; 750 Reg2 = Temp; 751 } 752 I.setOpcode(Opcode); 753 I.addOperand(MCOperand::CreateReg(Reg1)); 754 I.addOperand(MCOperand::CreateReg(Reg2)); 755 OutStreamer.EmitInstruction(I, getSubtargetInfo()); 756 } 757 758 void MipsAsmPrinter::EmitInstrRegRegReg(unsigned Opcode, unsigned Reg1, 759 unsigned Reg2, unsigned Reg3) { 760 MCInst I; 761 I.setOpcode(Opcode); 762 I.addOperand(MCOperand::CreateReg(Reg1)); 763 I.addOperand(MCOperand::CreateReg(Reg2)); 764 I.addOperand(MCOperand::CreateReg(Reg3)); 765 OutStreamer.EmitInstruction(I, getSubtargetInfo()); 766 } 767 768 void MipsAsmPrinter::EmitMovFPIntPair(unsigned MovOpc, unsigned Reg1, 769 unsigned Reg2, unsigned FPReg1, 770 unsigned FPReg2, bool LE) { 771 if (!LE) { 772 unsigned temp = Reg1; 773 Reg1 = Reg2; 774 Reg2 = temp; 775 } 776 EmitInstrRegReg(MovOpc, Reg1, FPReg1); 777 EmitInstrRegReg(MovOpc, Reg2, FPReg2); 778 } 779 780 void MipsAsmPrinter::EmitSwapFPIntParams(Mips16HardFloatInfo::FPParamVariant PV, 781 bool LE, bool ToFP) { 782 using namespace Mips16HardFloatInfo; 783 unsigned MovOpc = ToFP ? Mips::MTC1 : Mips::MFC1; 784 switch (PV) { 785 case FSig: 786 EmitInstrRegReg(MovOpc, Mips::A0, Mips::F12); 787 break; 788 case FFSig: 789 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F12, Mips::F14, LE); 790 break; 791 case FDSig: 792 EmitInstrRegReg(MovOpc, Mips::A0, Mips::F12); 793 EmitMovFPIntPair(MovOpc, Mips::A2, Mips::A3, Mips::F14, Mips::F15, LE); 794 break; 795 case DSig: 796 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F12, Mips::F13, LE); 797 break; 798 case DDSig: 799 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F12, Mips::F13, LE); 800 EmitMovFPIntPair(MovOpc, Mips::A2, Mips::A3, Mips::F14, Mips::F15, LE); 801 break; 802 case DFSig: 803 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F12, Mips::F13, LE); 804 EmitInstrRegReg(MovOpc, Mips::A2, Mips::F14); 805 break; 806 case NoSig: 807 return; 808 } 809 } 810 811 void 812 MipsAsmPrinter::EmitSwapFPIntRetval(Mips16HardFloatInfo::FPReturnVariant RV, 813 bool LE) { 814 using namespace Mips16HardFloatInfo; 815 unsigned MovOpc = Mips::MFC1; 816 switch (RV) { 817 case FRet: 818 EmitInstrRegReg(MovOpc, Mips::V0, Mips::F0); 819 break; 820 case DRet: 821 EmitMovFPIntPair(MovOpc, Mips::V0, Mips::V1, Mips::F0, Mips::F1, LE); 822 break; 823 case CFRet: 824 EmitMovFPIntPair(MovOpc, Mips::V0, Mips::V1, Mips::F0, Mips::F1, LE); 825 break; 826 case CDRet: 827 EmitMovFPIntPair(MovOpc, Mips::V0, Mips::V1, Mips::F0, Mips::F1, LE); 828 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F2, Mips::F3, LE); 829 break; 830 case NoFPRet: 831 break; 832 } 833 } 834 835 void MipsAsmPrinter::EmitFPCallStub( 836 const char *Symbol, const Mips16HardFloatInfo::FuncSignature *Signature) { 837 MCSymbol *MSymbol = OutContext.GetOrCreateSymbol(StringRef(Symbol)); 838 using namespace Mips16HardFloatInfo; 839 bool LE = Subtarget->isLittle(); 840 // 841 // .global xxxx 842 // 843 OutStreamer.EmitSymbolAttribute(MSymbol, MCSA_Global); 844 const char *RetType; 845 // 846 // make the comment field identifying the return and parameter 847 // types of the floating point stub 848 // # Stub function to call rettype xxxx (params) 849 // 850 switch (Signature->RetSig) { 851 case FRet: 852 RetType = "float"; 853 break; 854 case DRet: 855 RetType = "double"; 856 break; 857 case CFRet: 858 RetType = "complex"; 859 break; 860 case CDRet: 861 RetType = "double complex"; 862 break; 863 case NoFPRet: 864 RetType = ""; 865 break; 866 } 867 const char *Parms; 868 switch (Signature->ParamSig) { 869 case FSig: 870 Parms = "float"; 871 break; 872 case FFSig: 873 Parms = "float, float"; 874 break; 875 case FDSig: 876 Parms = "float, double"; 877 break; 878 case DSig: 879 Parms = "double"; 880 break; 881 case DDSig: 882 Parms = "double, double"; 883 break; 884 case DFSig: 885 Parms = "double, float"; 886 break; 887 case NoSig: 888 Parms = ""; 889 break; 890 } 891 OutStreamer.AddComment("\t# Stub function to call " + Twine(RetType) + " " + 892 Twine(Symbol) + " (" + Twine(Parms) + ")"); 893 // 894 // probably not necessary but we save and restore the current section state 895 // 896 OutStreamer.PushSection(); 897 // 898 // .section mips16.call.fpxxxx,"ax",@progbits 899 // 900 const MCSectionELF *M = OutContext.getELFSection( 901 ".mips16.call.fp." + std::string(Symbol), ELF::SHT_PROGBITS, 902 ELF::SHF_ALLOC | ELF::SHF_EXECINSTR, SectionKind::getText()); 903 OutStreamer.SwitchSection(M, nullptr); 904 // 905 // .align 2 906 // 907 OutStreamer.EmitValueToAlignment(4); 908 MipsTargetStreamer &TS = getTargetStreamer(); 909 // 910 // .set nomips16 911 // .set nomicromips 912 // 913 TS.emitDirectiveSetNoMips16(); 914 TS.emitDirectiveSetNoMicroMips(); 915 // 916 // .ent __call_stub_fp_xxxx 917 // .type __call_stub_fp_xxxx,@function 918 // __call_stub_fp_xxxx: 919 // 920 std::string x = "__call_stub_fp_" + std::string(Symbol); 921 MCSymbol *Stub = OutContext.GetOrCreateSymbol(StringRef(x)); 922 TS.emitDirectiveEnt(*Stub); 923 MCSymbol *MType = 924 OutContext.GetOrCreateSymbol("__call_stub_fp_" + Twine(Symbol)); 925 OutStreamer.EmitSymbolAttribute(MType, MCSA_ELF_TypeFunction); 926 OutStreamer.EmitLabel(Stub); 927 // 928 // we just handle non pic for now. these function will not be 929 // called otherwise. when the full stub generation is moved here 930 // we need to deal with pic. 931 // 932 if (Subtarget->getRelocationModel() == Reloc::PIC_) 933 llvm_unreachable("should not be here if we are compiling pic"); 934 TS.emitDirectiveSetReorder(); 935 // 936 // We need to add a MipsMCExpr class to MCTargetDesc to fully implement 937 // stubs without raw text but this current patch is for compiler generated 938 // functions and they all return some value. 939 // The calling sequence for non pic is different in that case and we need 940 // to implement %lo and %hi in order to handle the case of no return value 941 // See the corresponding method in Mips16HardFloat for details. 942 // 943 // mov the return address to S2. 944 // we have no stack space to store it and we are about to make another call. 945 // We need to make sure that the enclosing function knows to save S2 946 // This should have already been handled. 947 // 948 // Mov $18, $31 949 950 EmitInstrRegRegReg(Mips::ADDu, Mips::S2, Mips::RA, Mips::ZERO); 951 952 EmitSwapFPIntParams(Signature->ParamSig, LE, true); 953 954 // Jal xxxx 955 // 956 EmitJal(MSymbol); 957 958 // fix return values 959 EmitSwapFPIntRetval(Signature->RetSig, LE); 960 // 961 // do the return 962 // if (Signature->RetSig == NoFPRet) 963 // llvm_unreachable("should not be any stubs here with no return value"); 964 // else 965 EmitInstrReg(Mips::JR, Mips::S2); 966 967 MCSymbol *Tmp = OutContext.CreateTempSymbol(); 968 OutStreamer.EmitLabel(Tmp); 969 const MCSymbolRefExpr *E = MCSymbolRefExpr::Create(Stub, OutContext); 970 const MCSymbolRefExpr *T = MCSymbolRefExpr::Create(Tmp, OutContext); 971 const MCExpr *T_min_E = MCBinaryExpr::CreateSub(T, E, OutContext); 972 OutStreamer.EmitELFSize(Stub, T_min_E); 973 TS.emitDirectiveEnd(x); 974 OutStreamer.PopSection(); 975 } 976 977 void MipsAsmPrinter::EmitEndOfAsmFile(Module &M) { 978 // Emit needed stubs 979 // 980 for (std::map< 981 const char *, 982 const llvm::Mips16HardFloatInfo::FuncSignature *>::const_iterator 983 it = StubsNeeded.begin(); 984 it != StubsNeeded.end(); ++it) { 985 const char *Symbol = it->first; 986 const llvm::Mips16HardFloatInfo::FuncSignature *Signature = it->second; 987 EmitFPCallStub(Symbol, Signature); 988 } 989 // return to the text section 990 OutStreamer.SwitchSection(OutContext.getObjectFileInfo()->getTextSection()); 991 } 992 993 void MipsAsmPrinter::PrintDebugValueComment(const MachineInstr *MI, 994 raw_ostream &OS) { 995 // TODO: implement 996 } 997 998 // Align all targets of indirect branches on bundle size. Used only if target 999 // is NaCl. 1000 void MipsAsmPrinter::NaClAlignIndirectJumpTargets(MachineFunction &MF) { 1001 // Align all blocks that are jumped to through jump table. 1002 if (MachineJumpTableInfo *JtInfo = MF.getJumpTableInfo()) { 1003 const std::vector<MachineJumpTableEntry> &JT = JtInfo->getJumpTables(); 1004 for (unsigned I = 0; I < JT.size(); ++I) { 1005 const std::vector<MachineBasicBlock*> &MBBs = JT[I].MBBs; 1006 1007 for (unsigned J = 0; J < MBBs.size(); ++J) 1008 MBBs[J]->setAlignment(MIPS_NACL_BUNDLE_ALIGN); 1009 } 1010 } 1011 1012 // If basic block address is taken, block can be target of indirect branch. 1013 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end(); 1014 MBB != E; ++MBB) { 1015 if (MBB->hasAddressTaken()) 1016 MBB->setAlignment(MIPS_NACL_BUNDLE_ALIGN); 1017 } 1018 } 1019 1020 bool MipsAsmPrinter::isLongBranchPseudo(int Opcode) const { 1021 return (Opcode == Mips::LONG_BRANCH_LUi 1022 || Opcode == Mips::LONG_BRANCH_ADDiu 1023 || Opcode == Mips::LONG_BRANCH_DADDiu); 1024 } 1025 1026 // Force static initialization. 1027 extern "C" void LLVMInitializeMipsAsmPrinter() { 1028 RegisterAsmPrinter<MipsAsmPrinter> X(TheMipsTarget); 1029 RegisterAsmPrinter<MipsAsmPrinter> Y(TheMipselTarget); 1030 RegisterAsmPrinter<MipsAsmPrinter> A(TheMips64Target); 1031 RegisterAsmPrinter<MipsAsmPrinter> B(TheMips64elTarget); 1032 } 1033