1 //===-- X86IntelAsmPrinter.cpp - Convert X86 LLVM code to Intel assembly --===//
3 // The LLVM Compiler Infrastructure
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.
8 //===----------------------------------------------------------------------===//
10 // This file contains a printer that converts from our internal representation
11 // of machine-dependent LLVM code to Intel format assembly language.
12 // This printer is the output mechanism used by `llc'.
14 //===----------------------------------------------------------------------===//
16 #include "X86IntelAsmPrinter.h"
18 #include "llvm/Module.h"
19 #include "llvm/Assembly/Writer.h"
20 #include "llvm/Support/Mangler.h"
21 #include "llvm/Target/TargetOptions.h"
25 /// runOnMachineFunction - This uses the printMachineInstruction()
26 /// method to print assembly for each instruction.
28 bool X86IntelAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
29 SetupMachineFunction(MF);
32 // Print out constants referenced by the function
33 EmitConstantPool(MF.getConstantPool());
35 // Print out labels for the function.
36 SwitchSection("\t.text\n", MF.getFunction());
38 O << "\t.globl\t" << CurrentFnName << "\n";
39 if (HasDotTypeDotSizeDirective)
40 O << "\t.type\t" << CurrentFnName << ", @function\n";
41 O << CurrentFnName << ":\n";
43 // Print out code for the function.
44 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
46 // Print a label for the basic block if there are any predecessors.
47 if (I->pred_begin() != I->pred_end())
48 O << PrivateGlobalPrefix << "BB" << CurrentFnName << "_" << I->getNumber()
50 << CommentString << " " << I->getBasicBlock()->getName() << "\n";
51 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
53 // Print the assembly for the instruction.
55 printMachineInstruction(II);
59 // We didn't modify anything.
63 void X86IntelAsmPrinter::printSSECC(const MachineInstr *MI, unsigned Op) {
64 unsigned char value = MI->getOperand(Op).getImmedValue();
65 assert(value <= 7 && "Invalid ssecc argument!");
67 case 0: O << "eq"; break;
68 case 1: O << "lt"; break;
69 case 2: O << "le"; break;
70 case 3: O << "unord"; break;
71 case 4: O << "neq"; break;
72 case 5: O << "nlt"; break;
73 case 6: O << "nle"; break;
74 case 7: O << "ord"; break;
78 void X86IntelAsmPrinter::printOp(const MachineOperand &MO,
79 const char *Modifier) {
80 const MRegisterInfo &RI = *TM.getRegisterInfo();
81 switch (MO.getType()) {
82 case MachineOperand::MO_VirtualRegister:
83 if (Value *V = MO.getVRegValueOrNull()) {
84 O << "<" << V->getName() << ">";
88 case MachineOperand::MO_MachineRegister:
89 if (MRegisterInfo::isPhysicalRegister(MO.getReg()))
90 // Bug Workaround: See note in Printer::doInitialization about %.
91 O << "%" << RI.get(MO.getReg()).Name;
93 O << "%reg" << MO.getReg();
96 case MachineOperand::MO_SignExtendedImmed:
97 case MachineOperand::MO_UnextendedImmed:
98 O << (int)MO.getImmedValue();
100 case MachineOperand::MO_MachineBasicBlock: {
101 MachineBasicBlock *MBBOp = MO.getMachineBasicBlock();
102 O << PrivateGlobalPrefix << "BB"
103 << Mang->getValueName(MBBOp->getParent()->getFunction())
104 << "_" << MBBOp->getNumber () << "\t# "
105 << MBBOp->getBasicBlock ()->getName ();
108 case MachineOperand::MO_PCRelativeDisp:
109 assert(0 && "Shouldn't use addPCDisp() when building X86 MachineInstrs");
112 case MachineOperand::MO_GlobalAddress: {
113 bool isCallOp = Modifier && !strcmp(Modifier, "call");
114 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
115 if (!isMemOp && !isCallOp) O << "OFFSET ";
117 GlobalValue *GV = MO.getGlobal();
118 std::string Name = Mang->getValueName(GV);
119 if (!isMemOp && !isCallOp) O << '$';
120 // Link-once, External, or Weakly-linked global variables need
121 // non-lazily-resolved stubs
122 if (GV->isExternal() || GV->hasWeakLinkage() ||
123 GV->hasLinkOnceLinkage()) {
124 // Dynamically-resolved functions need a stub for the function.
125 if (isCallOp && isa<Function>(GV) && cast<Function>(GV)->isExternal()) {
126 FnStubs.insert(Name);
127 O << "L" << Name << "$stub";
129 GVStubs.insert(Name);
130 O << "L" << Name << "$non_lazy_ptr";
132 O << "-\"L" << getFunctionNumber() << "$pb\"";
135 O << Mang->getValueName(GV);
138 O << Mang->getValueName(MO.getGlobal());
139 int Offset = MO.getOffset();
141 O << " + " << Offset;
146 case MachineOperand::MO_ExternalSymbol: {
147 bool isCallOp = Modifier && !strcmp(Modifier, "call");
148 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
149 if (isCallOp && forDarwin) {
150 std::string Name(GlobalPrefix); Name += MO.getSymbolName();
151 FnStubs.insert(Name);
152 O << "L" << Name << "$stub";
155 O << GlobalPrefix << MO.getSymbolName();
159 O << "<unknown operand type>"; return;
163 void X86IntelAsmPrinter::printMemReference(const MachineInstr *MI, unsigned Op){
164 assert(isMem(MI, Op) && "Invalid memory reference!");
166 const MachineOperand &BaseReg = MI->getOperand(Op);
167 int ScaleVal = MI->getOperand(Op+1).getImmedValue();
168 const MachineOperand &IndexReg = MI->getOperand(Op+2);
169 const MachineOperand &DispSpec = MI->getOperand(Op+3);
171 if (BaseReg.isFrameIndex()) {
172 O << "[frame slot #" << BaseReg.getFrameIndex();
173 if (DispSpec.getImmedValue())
174 O << " + " << DispSpec.getImmedValue();
177 } else if (BaseReg.isConstantPoolIndex()) {
178 O << "[" << PrivateGlobalPrefix << "CPI" << getFunctionNumber() << "_"
179 << BaseReg.getConstantPoolIndex();
180 if (forDarwin && PICEnabled)
181 O << "-\"L" << getFunctionNumber() << "$pb\"";
183 if (IndexReg.getReg()) {
186 O << ScaleVal << "*";
190 if (DispSpec.getImmedValue())
191 O << " + " << DispSpec.getImmedValue();
197 bool NeedPlus = false;
198 if (BaseReg.getReg()) {
199 printOp(BaseReg, "mem");
203 if (IndexReg.getReg()) {
204 if (NeedPlus) O << " + ";
206 O << ScaleVal << "*";
211 if (DispSpec.isGlobalAddress()) {
214 printOp(DispSpec, "mem");
216 int DispVal = DispSpec.getImmedValue();
217 if (DispVal || (!BaseReg.getReg() && !IndexReg.getReg())) {
231 void X86IntelAsmPrinter::printPICLabel(const MachineInstr *MI, unsigned Op) {
232 O << "\"L" << getFunctionNumber() << "$pb\"\n";
233 O << "\"L" << getFunctionNumber() << "$pb\":";
236 /// printMachineInstruction -- Print out a single X86 LLVM instruction
237 /// MI in Intel syntax to the current output stream.
239 void X86IntelAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
242 // Call the autogenerated instruction printer routines.
243 printInstruction(MI);
246 bool X86IntelAsmPrinter::doInitialization(Module &M) {
247 X86SharedAsmPrinter::doInitialization(M);
248 // Tell gas we are outputting Intel syntax (not AT&T syntax) assembly.
250 // Bug: gas in `intel_syntax noprefix' mode interprets the symbol `Sp' in an
251 // instruction as a reference to the register named sp, and if you try to
252 // reference a symbol `Sp' (e.g. `mov ECX, OFFSET Sp') then it gets lowercased
253 // before being looked up in the symbol table. This creates spurious
254 // `undefined symbol' errors when linking. Workaround: Do not use `noprefix'
255 // mode, and decorate all register names with percent signs.
256 O << "\t.intel_syntax\n";
260 // Include the auto-generated portion of the assembly writer.
261 #include "X86GenAsmWriter1.inc"