1 //===-- MipsAsmPrinter.cpp - Mips LLVM assembly writer --------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains a printer that converts from our internal representation
11 // of machine-dependent LLVM code to GAS-format MIPS assembly language.
13 //===----------------------------------------------------------------------===//
15 #define DEBUG_TYPE "mips-asm-printer"
18 #include "MipsSubtarget.h"
19 #include "MipsInstrInfo.h"
20 #include "MipsTargetMachine.h"
21 #include "MipsMachineFunction.h"
22 #include "llvm/Constants.h"
23 #include "llvm/DerivedTypes.h"
24 #include "llvm/Module.h"
25 #include "llvm/CodeGen/AsmPrinter.h"
26 #include "llvm/CodeGen/DwarfWriter.h"
27 #include "llvm/CodeGen/MachineFunctionPass.h"
28 #include "llvm/CodeGen/MachineConstantPool.h"
29 #include "llvm/CodeGen/MachineFrameInfo.h"
30 #include "llvm/CodeGen/MachineInstr.h"
31 #include "llvm/MC/MCStreamer.h"
32 #include "llvm/MC/MCAsmInfo.h"
33 #include "llvm/MC/MCSymbol.h"
34 #include "llvm/Target/TargetData.h"
35 #include "llvm/Target/TargetLoweringObjectFile.h"
36 #include "llvm/Target/TargetMachine.h"
37 #include "llvm/Target/TargetOptions.h"
38 #include "llvm/Target/TargetRegistry.h"
39 #include "llvm/Support/ErrorHandling.h"
40 #include "llvm/Support/Mangler.h"
41 #include "llvm/ADT/Statistic.h"
42 #include "llvm/ADT/StringExtras.h"
43 #include "llvm/Support/Debug.h"
44 #include "llvm/Support/CommandLine.h"
45 #include "llvm/Support/FormattedStream.h"
46 #include "llvm/Support/MathExtras.h"
51 STATISTIC(EmittedInsts
, "Number of machine instrs printed");
54 class VISIBILITY_HIDDEN MipsAsmPrinter
: public AsmPrinter
{
55 const MipsSubtarget
*Subtarget
;
57 explicit MipsAsmPrinter(formatted_raw_ostream
&O
, TargetMachine
&TM
,
58 const MCAsmInfo
*T
, bool V
)
59 : AsmPrinter(O
, TM
, T
, V
) {
60 Subtarget
= &TM
.getSubtarget
<MipsSubtarget
>();
63 virtual const char *getPassName() const {
64 return "Mips Assembly Printer";
67 bool PrintAsmOperand(const MachineInstr
*MI
, unsigned OpNo
,
68 unsigned AsmVariant
, const char *ExtraCode
);
69 void printOperand(const MachineInstr
*MI
, int opNum
);
70 void printUnsignedImm(const MachineInstr
*MI
, int opNum
);
71 void printMemOperand(const MachineInstr
*MI
, int opNum
,
72 const char *Modifier
= 0);
73 void printFCCOperand(const MachineInstr
*MI
, int opNum
,
74 const char *Modifier
= 0);
75 void PrintGlobalVariable(const GlobalVariable
*GVar
);
76 void printSavedRegsBitmask(MachineFunction
&MF
);
77 void printHex32(unsigned int Value
);
79 const char *emitCurrentABIString();
80 void emitFunctionStart(MachineFunction
&MF
);
81 void emitFunctionEnd(MachineFunction
&MF
);
82 void emitFrameDirective(MachineFunction
&MF
);
84 void printInstruction(const MachineInstr
*MI
); // autogenerated.
85 static const char *getRegisterName(unsigned RegNo
);
87 bool runOnMachineFunction(MachineFunction
&F
);
88 bool doInitialization(Module
&M
);
90 } // end of anonymous namespace
92 #include "MipsGenAsmWriter.inc"
94 //===----------------------------------------------------------------------===//
96 // Mips Asm Directives
98 // -- Frame directive "frame Stackpointer, Stacksize, RARegister"
99 // Describe the stack frame.
101 // -- Mask directives "(f)mask bitmask, offset"
102 // Tells the assembler which registers are saved and where.
103 // bitmask - contain a little endian bitset indicating which registers are
104 // saved on function prologue (e.g. with a 0x80000000 mask, the
105 // assembler knows the register 31 (RA) is saved at prologue.
106 // offset - the position before stack pointer subtraction indicating where
107 // the first saved register on prologue is located. (e.g. with a
109 // Consider the following function prologue:
112 // .mask 0xc0000000,-8
113 // addiu $sp, $sp, -48
117 // With a 0xc0000000 mask, the assembler knows the register 31 (RA) and
118 // 30 (FP) are saved at prologue. As the save order on prologue is from
119 // left to right, RA is saved first. A -8 offset means that after the
120 // stack pointer subtration, the first register in the mask (RA) will be
121 // saved at address 48-8=40.
123 //===----------------------------------------------------------------------===//
125 //===----------------------------------------------------------------------===//
127 //===----------------------------------------------------------------------===//
129 // Create a bitmask with all callee saved registers for CPU or Floating Point
130 // registers. For CPU registers consider RA, GP and FP for saving if necessary.
131 void MipsAsmPrinter::
132 printSavedRegsBitmask(MachineFunction
&MF
)
134 const TargetRegisterInfo
&RI
= *TM
.getRegisterInfo();
135 MipsFunctionInfo
*MipsFI
= MF
.getInfo
<MipsFunctionInfo
>();
137 // CPU and FPU Saved Registers Bitmasks
138 unsigned int CPUBitmask
= 0;
139 unsigned int FPUBitmask
= 0;
141 // Set the CPU and FPU Bitmasks
142 MachineFrameInfo
*MFI
= MF
.getFrameInfo();
143 const std::vector
<CalleeSavedInfo
> &CSI
= MFI
->getCalleeSavedInfo();
144 for (unsigned i
= 0, e
= CSI
.size(); i
!= e
; ++i
) {
145 unsigned RegNum
= MipsRegisterInfo::getRegisterNumbering(CSI
[i
].getReg());
146 if (CSI
[i
].getRegClass() == Mips::CPURegsRegisterClass
)
147 CPUBitmask
|= (1 << RegNum
);
149 FPUBitmask
|= (1 << RegNum
);
152 // Return Address and Frame registers must also be set in CPUBitmask.
154 CPUBitmask
|= (1 << MipsRegisterInfo::
155 getRegisterNumbering(RI
.getFrameRegister(MF
)));
157 if (MF
.getFrameInfo()->hasCalls())
158 CPUBitmask
|= (1 << MipsRegisterInfo::
159 getRegisterNumbering(RI
.getRARegister()));
162 O
<< "\t.mask \t"; printHex32(CPUBitmask
); O
<< ','
163 << MipsFI
->getCPUTopSavedRegOff() << '\n';
166 O
<< "\t.fmask\t"; printHex32(FPUBitmask
); O
<< ","
167 << MipsFI
->getFPUTopSavedRegOff() << '\n';
170 // Print a 32 bit hex number with all numbers.
171 void MipsAsmPrinter::
172 printHex32(unsigned int Value
)
175 for (int i
= 7; i
>= 0; i
--)
176 O
<< utohexstr( (Value
& (0xF << (i
*4))) >> (i
*4) );
179 //===----------------------------------------------------------------------===//
180 // Frame and Set directives
181 //===----------------------------------------------------------------------===//
184 void MipsAsmPrinter::emitFrameDirective(MachineFunction
&MF
) {
185 const TargetRegisterInfo
&RI
= *TM
.getRegisterInfo();
187 unsigned stackReg
= RI
.getFrameRegister(MF
);
188 unsigned returnReg
= RI
.getRARegister();
189 unsigned stackSize
= MF
.getFrameInfo()->getStackSize();
192 O
<< "\t.frame\t" << '$' << LowercaseString(getRegisterName(stackReg
))
193 << ',' << stackSize
<< ','
194 << '$' << LowercaseString(getRegisterName(returnReg
))
198 /// Emit Set directives.
199 const char *MipsAsmPrinter::emitCurrentABIString() {
200 switch(Subtarget
->getTargetABI()) {
201 case MipsSubtarget::O32
: return "abi32";
202 case MipsSubtarget::O64
: return "abiO64";
203 case MipsSubtarget::N32
: return "abiN32";
204 case MipsSubtarget::N64
: return "abi64";
205 case MipsSubtarget::EABI
: return "eabi32"; // TODO: handle eabi64
209 llvm_unreachable("Unknown Mips ABI");
213 /// Emit the directives used by GAS on the start of functions
214 void MipsAsmPrinter::emitFunctionStart(MachineFunction
&MF
) {
215 // Print out the label for the function.
216 const Function
*F
= MF
.getFunction();
217 OutStreamer
.SwitchSection(getObjFileLowering().SectionForGlobal(F
, Mang
, TM
));
220 EmitAlignment(MF
.getAlignment(), F
);
222 O
<< "\t.globl\t" << CurrentFnName
<< '\n';
223 O
<< "\t.ent\t" << CurrentFnName
<< '\n';
225 printVisibility(CurrentFnName
, F
->getVisibility());
227 if ((MAI
->hasDotTypeDotSizeDirective()) && Subtarget
->isLinux())
228 O
<< "\t.type\t" << CurrentFnName
<< ", @function\n";
230 O
<< CurrentFnName
<< ":\n";
232 emitFrameDirective(MF
);
233 printSavedRegsBitmask(MF
);
238 /// Emit the directives used by GAS on the end of functions
239 void MipsAsmPrinter::emitFunctionEnd(MachineFunction
&MF
) {
240 // There are instruction for this macros, but they must
241 // always be at the function end, and we can't emit and
242 // break with BB logic.
243 O
<< "\t.set\tmacro\n";
244 O
<< "\t.set\treorder\n";
246 O
<< "\t.end\t" << CurrentFnName
<< '\n';
247 if (MAI
->hasDotTypeDotSizeDirective() && !Subtarget
->isLinux())
248 O
<< "\t.size\t" << CurrentFnName
<< ", .-" << CurrentFnName
<< '\n';
251 /// runOnMachineFunction - This uses the printMachineInstruction()
252 /// method to print assembly for each instruction.
253 bool MipsAsmPrinter::runOnMachineFunction(MachineFunction
&MF
) {
256 SetupMachineFunction(MF
);
258 // Print out constants referenced by the function
259 EmitConstantPool(MF
.getConstantPool());
261 // Print out jump tables referenced by the function
262 EmitJumpTableInfo(MF
.getJumpTableInfo(), MF
);
266 // Emit the function start directives
267 emitFunctionStart(MF
);
269 // Print out code for the function.
270 for (MachineFunction::const_iterator I
= MF
.begin(), E
= MF
.end();
273 // Print a label for the basic block.
274 if (I
!= MF
.begin()) {
275 EmitBasicBlockStart(I
);
279 for (MachineBasicBlock::const_iterator II
= I
->begin(), E
= I
->end();
281 processDebugLoc(II
->getDebugLoc());
283 // Print the assembly for the instruction.
284 printInstruction(II
);
286 if (VerboseAsm
&& !II
->getDebugLoc().isUnknown())
293 // Each Basic Block is separated by a newline
297 // Emit function end directives
300 // We didn't modify anything.
304 // Print out an operand for an inline asm expression.
305 bool MipsAsmPrinter::PrintAsmOperand(const MachineInstr
*MI
, unsigned OpNo
,
306 unsigned AsmVariant
,const char *ExtraCode
){
307 // Does this asm operand have a single letter operand modifier?
308 if (ExtraCode
&& ExtraCode
[0])
309 return true; // Unknown modifier.
311 printOperand(MI
, OpNo
);
315 void MipsAsmPrinter::printOperand(const MachineInstr
*MI
, int opNum
) {
316 const MachineOperand
&MO
= MI
->getOperand(opNum
);
319 if (MO
.getTargetFlags())
322 switch(MO
.getTargetFlags()) {
323 case MipsII::MO_GPREL
: O
<< "%gp_rel("; break;
324 case MipsII::MO_GOT_CALL
: O
<< "%call16("; break;
326 if (MI
->getOpcode() == Mips::LW
)
331 case MipsII::MO_ABS_HILO
:
332 if (MI
->getOpcode() == Mips::LUi
)
339 switch (MO
.getType()) {
340 case MachineOperand::MO_Register
:
341 O
<< '$' << LowercaseString(getRegisterName(MO
.getReg()));
344 case MachineOperand::MO_Immediate
:
345 O
<< (short int)MO
.getImm();
348 case MachineOperand::MO_MachineBasicBlock
:
349 GetMBBSymbol(MO
.getMBB()->getNumber())->print(O
, MAI
);
352 case MachineOperand::MO_GlobalAddress
:
353 O
<< Mang
->getMangledName(MO
.getGlobal());
356 case MachineOperand::MO_ExternalSymbol
:
357 O
<< MO
.getSymbolName();
360 case MachineOperand::MO_JumpTableIndex
:
361 O
<< MAI
->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
362 << '_' << MO
.getIndex();
365 case MachineOperand::MO_ConstantPoolIndex
:
366 O
<< MAI
->getPrivateGlobalPrefix() << "CPI"
367 << getFunctionNumber() << "_" << MO
.getIndex();
371 llvm_unreachable("<unknown operand type>");
374 if (closeP
) O
<< ")";
377 void MipsAsmPrinter::printUnsignedImm(const MachineInstr
*MI
, int opNum
) {
378 const MachineOperand
&MO
= MI
->getOperand(opNum
);
379 if (MO
.getType() == MachineOperand::MO_Immediate
)
380 O
<< (unsigned short int)MO
.getImm();
382 printOperand(MI
, opNum
);
385 void MipsAsmPrinter::
386 printMemOperand(const MachineInstr
*MI
, int opNum
, const char *Modifier
) {
387 // when using stack locations for not load/store instructions
388 // print the same way as all normal 3 operand instructions.
389 if (Modifier
&& !strcmp(Modifier
, "stackloc")) {
390 printOperand(MI
, opNum
+1);
392 printOperand(MI
, opNum
);
396 // Load/Store memory operands -- imm($reg)
397 // If PIC target the target is loaded as the
398 // pattern lw $25,%call16($28)
399 printOperand(MI
, opNum
);
401 printOperand(MI
, opNum
+1);
405 void MipsAsmPrinter::
406 printFCCOperand(const MachineInstr
*MI
, int opNum
, const char *Modifier
) {
407 const MachineOperand
& MO
= MI
->getOperand(opNum
);
408 O
<< Mips::MipsFCCToString((Mips::CondCode
)MO
.getImm());
411 bool MipsAsmPrinter::doInitialization(Module
&M
) {
412 // FIXME: Use SwitchSection.
414 // Tell the assembler which ABI we are using
415 O
<< "\t.section .mdebug." << emitCurrentABIString() << '\n';
417 // TODO: handle O64 ABI
418 if (Subtarget
->isABI_EABI())
419 O
<< "\t.section .gcc_compiled_long" <<
420 (Subtarget
->isGP32bit() ? "32" : "64") << '\n';
422 // return to previous section
423 O
<< "\t.previous" << '\n';
425 return AsmPrinter::doInitialization(M
);
428 void MipsAsmPrinter::PrintGlobalVariable(const GlobalVariable
*GVar
) {
429 const TargetData
*TD
= TM
.getTargetData();
431 if (!GVar
->hasInitializer())
432 return; // External global require no code
434 // Check to see if this is a special global used by LLVM, if so, emit it.
435 if (EmitSpecialLLVMGlobal(GVar
))
439 std::string name
= Mang
->getMangledName(GVar
);
440 Constant
*C
= GVar
->getInitializer();
441 const Type
*CTy
= C
->getType();
442 unsigned Size
= TD
->getTypeAllocSize(CTy
);
443 const ConstantArray
*CVA
= dyn_cast
<ConstantArray
>(C
);
444 bool printSizeAndType
= true;
446 // A data structure or array is aligned in memory to the largest
447 // alignment boundary required by any data type inside it (this matches
448 // the Preferred Type Alignment). For integral types, the alignment is
451 if (CTy
->getTypeID() == Type::IntegerTyID
||
452 CTy
->getTypeID() == Type::VoidTyID
) {
453 assert(!(Size
& (Size
-1)) && "Alignment is not a power of two!");
454 Align
= Log2_32(Size
);
456 Align
= TD
->getPreferredTypeAlignmentShift(CTy
);
458 printVisibility(name
, GVar
->getVisibility());
460 OutStreamer
.SwitchSection(getObjFileLowering().SectionForGlobal(GVar
, Mang
,
463 if (C
->isNullValue() && !GVar
->hasSection()) {
464 if (!GVar
->isThreadLocal() &&
465 (GVar
->hasLocalLinkage() || GVar
->isWeakForLinker())) {
466 if (Size
== 0) Size
= 1; // .comm Foo, 0 is undefined, avoid it.
468 if (GVar
->hasLocalLinkage())
469 O
<< "\t.local\t" << name
<< '\n';
471 O
<< MAI
->getCOMMDirective() << name
<< ',' << Size
;
472 if (MAI
->getCOMMDirectiveTakesAlignment())
473 O
<< ',' << (1 << Align
);
479 switch (GVar
->getLinkage()) {
480 case GlobalValue::LinkOnceAnyLinkage
:
481 case GlobalValue::LinkOnceODRLinkage
:
482 case GlobalValue::CommonLinkage
:
483 case GlobalValue::WeakAnyLinkage
:
484 case GlobalValue::WeakODRLinkage
:
485 // FIXME: Verify correct for weak.
486 // Nonnull linkonce -> weak
487 O
<< "\t.weak " << name
<< '\n';
489 case GlobalValue::AppendingLinkage
:
490 // FIXME: appending linkage variables should go into a section of their name
491 // or something. For now, just emit them as external.
492 case GlobalValue::ExternalLinkage
:
493 // If external or appending, declare as a global symbol
494 O
<< MAI
->getGlobalDirective() << name
<< '\n';
496 case GlobalValue::PrivateLinkage
:
497 case GlobalValue::LinkerPrivateLinkage
:
498 case GlobalValue::InternalLinkage
:
499 if (CVA
&& CVA
->isCString())
500 printSizeAndType
= false;
502 case GlobalValue::GhostLinkage
:
503 llvm_unreachable("Should not have any unmaterialized functions!");
504 case GlobalValue::DLLImportLinkage
:
505 llvm_unreachable("DLLImport linkage is not supported by this target!");
506 case GlobalValue::DLLExportLinkage
:
507 llvm_unreachable("DLLExport linkage is not supported by this target!");
509 llvm_unreachable("Unknown linkage type!");
512 EmitAlignment(Align
, GVar
);
514 if (MAI
->hasDotTypeDotSizeDirective() && printSizeAndType
) {
515 O
<< "\t.type " << name
<< ",@object\n";
516 O
<< "\t.size " << name
<< ',' << Size
<< '\n';
520 EmitGlobalConstant(C
);
524 // Force static initialization.
525 extern "C" void LLVMInitializeMipsAsmPrinter() {
526 RegisterAsmPrinter
<MipsAsmPrinter
> X(TheMipsTarget
);
527 RegisterAsmPrinter
<MipsAsmPrinter
> Y(TheMipselTarget
);