blob: fa8d13d6a40acfb23b6fd0d16912ae51226bd5f3 [file] [log] [blame]
Chris Lattnerb16f72e2009-09-02 17:35:12 +00001//===-- X86MCInstLower.cpp - Convert X86 MachineInstr to an MCInst --------===//
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 code to lower X86 MachineInstrs to their corresponding
11// MCInst records.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattner1efc2ad2009-09-12 20:34:57 +000015#include "X86MCInstLower.h"
Chris Lattnerbf4b6a82009-09-20 07:41:30 +000016#include "X86AsmPrinter.h"
Chris Lattner14267fc2009-09-20 06:45:52 +000017#include "X86COFFMachineModuleInfo.h"
Chris Lattner4625c9b2010-02-08 22:33:55 +000018#include "X86MCAsmInfo.h"
19#include "X86MCTargetExpr.h"
Devang Patelc2103b12010-01-19 06:09:04 +000020#include "llvm/Analysis/DebugInfo.h"
Chris Lattner4117b162009-09-16 06:25:03 +000021#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Chris Lattnerb16f72e2009-09-02 17:35:12 +000022#include "llvm/MC/MCContext.h"
23#include "llvm/MC/MCExpr.h"
24#include "llvm/MC/MCInst.h"
25#include "llvm/MC/MCStreamer.h"
Chris Lattner31a54742010-01-16 21:57:06 +000026#include "llvm/Target/Mangler.h"
Chris Lattnerb16f72e2009-09-02 17:35:12 +000027#include "llvm/Support/FormattedStream.h"
Chris Lattnerb16f72e2009-09-02 17:35:12 +000028#include "llvm/ADT/SmallString.h"
Dale Johannesen2ee9af52010-02-04 01:33:43 +000029#include "llvm/Type.h"
Chris Lattnerb16f72e2009-09-02 17:35:12 +000030using namespace llvm;
31
Chris Lattner1efc2ad2009-09-12 20:34:57 +000032
33const X86Subtarget &X86MCInstLower::getSubtarget() const {
34 return AsmPrinter.getSubtarget();
35}
36
Chris Lattner4117b162009-09-16 06:25:03 +000037MachineModuleInfoMachO &X86MCInstLower::getMachOMMI() const {
38 assert(getSubtarget().isTargetDarwin() &&"Can only get MachO info on darwin");
39 return AsmPrinter.MMI->getObjFileInfo<MachineModuleInfoMachO>();
40}
41
Chris Lattner1efc2ad2009-09-12 20:34:57 +000042
43MCSymbol *X86MCInstLower::GetPICBaseSymbol() const {
Chris Lattner541d8902010-01-26 06:28:43 +000044 const TargetLowering *TLI = AsmPrinter.TM.getTargetLowering();
45 return static_cast<const X86TargetLowering*>(TLI)->
46 getPICBaseSymbol(AsmPrinter.MF, Ctx);
Chris Lattnerb16f72e2009-09-02 17:35:12 +000047}
48
Chris Lattnerfcd98b72010-02-08 23:03:41 +000049/// GetSymbolFromOperand - Lower an MO_GlobalAddress or MO_ExternalSymbol
50/// operand to an MCSymbol.
Chris Lattner1efc2ad2009-09-12 20:34:57 +000051MCSymbol *X86MCInstLower::
Chris Lattnerfcd98b72010-02-08 23:03:41 +000052GetSymbolFromOperand(const MachineOperand &MO) const {
53 assert((MO.isGlobal() || MO.isSymbol()) && "Isn't a symbol reference");
54
Chris Lattner2eaccff2009-09-11 05:58:44 +000055 SmallString<128> Name;
Chris Lattner2eaccff2009-09-11 05:58:44 +000056
Chris Lattnerfcd98b72010-02-08 23:03:41 +000057 if (MO.isGlobal()) {
58 bool isImplicitlyPrivate = false;
59 if (MO.getTargetFlags() == X86II::MO_DARWIN_STUB ||
60 MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY ||
61 MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY_PIC_BASE ||
62 MO.getTargetFlags() == X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE)
63 isImplicitlyPrivate = true;
64
65 const GlobalValue *GV = MO.getGlobal();
66 Mang->getNameWithPrefix(Name, GV, isImplicitlyPrivate);
67
68 if (getSubtarget().isTargetCygMing()) {
69 X86COFFMachineModuleInfo &COFFMMI =
70 AsmPrinter.MMI->getObjFileInfo<X86COFFMachineModuleInfo>();
71 COFFMMI.DecorateCygMingName(Name, GV, *AsmPrinter.TM.getTargetData());
72 }
73 } else {
74 assert(MO.isSymbol());
75 Name += AsmPrinter.MAI->getGlobalPrefix();
76 Name += MO.getSymbolName();
Chris Lattner14267fc2009-09-20 06:45:52 +000077 }
Chris Lattnerfcd98b72010-02-08 23:03:41 +000078
79 // If the target flags on the operand changes the name of the symbol, do that
80 // before we return the symbol.
Chris Lattnerb16f72e2009-09-02 17:35:12 +000081 switch (MO.getTargetFlags()) {
Chris Lattnerfcd98b72010-02-08 23:03:41 +000082 default: break;
Chris Lattner2eaccff2009-09-11 05:58:44 +000083 case X86II::MO_DLLIMPORT: {
Chris Lattner3dccf612009-09-03 05:06:07 +000084 // Handle dllimport linkage.
Chris Lattner2eaccff2009-09-11 05:58:44 +000085 const char *Prefix = "__imp_";
86 Name.insert(Name.begin(), Prefix, Prefix+strlen(Prefix));
Chris Lattner3dccf612009-09-03 05:06:07 +000087 break;
Chris Lattner2eaccff2009-09-11 05:58:44 +000088 }
Chris Lattner3dccf612009-09-03 05:06:07 +000089 case X86II::MO_DARWIN_NONLAZY:
Chris Lattnerd17abca2009-09-11 06:59:18 +000090 case X86II::MO_DARWIN_NONLAZY_PIC_BASE: {
Chris Lattner2eaccff2009-09-11 05:58:44 +000091 Name += "$non_lazy_ptr";
Chris Lattner1efc2ad2009-09-12 20:34:57 +000092 MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name.str());
Chris Lattner4117b162009-09-16 06:25:03 +000093
Chris Lattner77653062010-02-03 06:18:30 +000094 MCSymbol *&StubSym = getMachOMMI().getGVStubEntry(Sym);
Chris Lattnerfcd98b72010-02-08 23:03:41 +000095 if (StubSym == 0) {
96 assert(MO.isGlobal() && "Extern symbol not handled yet");
97 StubSym = AsmPrinter.GetGlobalValueSymbol(MO.getGlobal());
98 }
Chris Lattnerd17abca2009-09-11 06:59:18 +000099 return Sym;
Chris Lattnerd17abca2009-09-11 06:59:18 +0000100 }
Chris Lattner67e71742009-09-11 07:03:20 +0000101 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: {
Chris Lattner2eaccff2009-09-11 05:58:44 +0000102 Name += "$non_lazy_ptr";
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000103 MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name.str());
Chris Lattner77653062010-02-03 06:18:30 +0000104 MCSymbol *&StubSym = getMachOMMI().getHiddenGVStubEntry(Sym);
Chris Lattnerd17abca2009-09-11 06:59:18 +0000105 if (StubSym == 0) {
Chris Lattnerfcd98b72010-02-08 23:03:41 +0000106 assert(MO.isGlobal() && "Extern symbol not handled yet");
107 StubSym = AsmPrinter.GetGlobalValueSymbol(MO.getGlobal());
108 }
109 return Sym;
110 }
111 case X86II::MO_DARWIN_STUB: {
112 Name += "$stub";
113 MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name.str());
114 MCSymbol *&StubSym = getMachOMMI().getFnStubEntry(Sym);
115 if (StubSym)
116 return Sym;
117
118 if (MO.isGlobal()) {
119 StubSym = AsmPrinter.GetGlobalValueSymbol(MO.getGlobal());
120 } else {
Chris Lattnerd17abca2009-09-11 06:59:18 +0000121 Name.erase(Name.end()-5, Name.end());
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000122 StubSym = Ctx.GetOrCreateSymbol(Name.str());
Chris Lattnerd17abca2009-09-11 06:59:18 +0000123 }
Chris Lattner25c61742009-09-11 06:36:33 +0000124 return Sym;
125 }
Chris Lattner50470b52009-09-09 00:10:14 +0000126 }
Chris Lattnerfcd98b72010-02-08 23:03:41 +0000127
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000128 return Ctx.GetOrCreateSymbol(Name.str());
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000129}
130
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000131MCOperand X86MCInstLower::LowerSymbolOperand(const MachineOperand &MO,
132 MCSymbol *Sym) const {
Chris Lattner02c96d72009-09-03 07:30:56 +0000133 // FIXME: We would like an efficient form for this, so we don't have to do a
134 // lot of extra uniquing.
Chris Lattner86ecc412010-02-08 22:52:47 +0000135 const MCExpr *Expr = 0;
136 X86MCTargetExpr::VariantKind RefKind = X86MCTargetExpr::Invalid;
Chris Lattner02c96d72009-09-03 07:30:56 +0000137
Chris Lattner5750f442009-09-03 04:56:20 +0000138 switch (MO.getTargetFlags()) {
Chris Lattner3dccf612009-09-03 05:06:07 +0000139 default: llvm_unreachable("Unknown target flag on GV operand");
140 case X86II::MO_NO_FLAG: // No flag.
Chris Lattner3dccf612009-09-03 05:06:07 +0000141 // These affect the name of the symbol, not any suffix.
142 case X86II::MO_DARWIN_NONLAZY:
Chris Lattner3dccf612009-09-03 05:06:07 +0000143 case X86II::MO_DLLIMPORT:
144 case X86II::MO_DARWIN_STUB:
Chris Lattner3dccf612009-09-03 05:06:07 +0000145 break;
Chris Lattner86ecc412010-02-08 22:52:47 +0000146
147 case X86II::MO_TLSGD: RefKind = X86MCTargetExpr::TLSGD; break;
148 case X86II::MO_GOTTPOFF: RefKind = X86MCTargetExpr::GOTTPOFF; break;
149 case X86II::MO_INDNTPOFF: RefKind = X86MCTargetExpr::INDNTPOFF; break;
150 case X86II::MO_TPOFF: RefKind = X86MCTargetExpr::TPOFF; break;
151 case X86II::MO_NTPOFF: RefKind = X86MCTargetExpr::NTPOFF; break;
152 case X86II::MO_GOTPCREL: RefKind = X86MCTargetExpr::GOTPCREL; break;
153 case X86II::MO_GOT: RefKind = X86MCTargetExpr::GOT; break;
154 case X86II::MO_GOTOFF: RefKind = X86MCTargetExpr::GOTOFF; break;
155 case X86II::MO_PLT: RefKind = X86MCTargetExpr::PLT; break;
Chris Lattner3dccf612009-09-03 05:06:07 +0000156 case X86II::MO_PIC_BASE_OFFSET:
157 case X86II::MO_DARWIN_NONLAZY_PIC_BASE:
158 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE:
Chris Lattner86ecc412010-02-08 22:52:47 +0000159 Expr = MCSymbolRefExpr::Create(Sym, Ctx);
Chris Lattner3dccf612009-09-03 05:06:07 +0000160 // Subtract the pic base.
Chris Lattner02c96d72009-09-03 07:30:56 +0000161 Expr = MCBinaryExpr::CreateSub(Expr,
Chris Lattner68748492009-09-12 21:01:20 +0000162 MCSymbolRefExpr::Create(GetPICBaseSymbol(), Ctx),
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000163 Ctx);
Chris Lattner3dccf612009-09-03 05:06:07 +0000164 break;
Chris Lattner02c96d72009-09-03 07:30:56 +0000165 }
Chris Lattner5750f442009-09-03 04:56:20 +0000166
Chris Lattner86ecc412010-02-08 22:52:47 +0000167 if (Expr == 0) {
168 if (RefKind == X86MCTargetExpr::Invalid)
169 Expr = MCSymbolRefExpr::Create(Sym, Ctx);
170 else
171 Expr = X86MCTargetExpr::Create(Sym, RefKind, Ctx);
172 }
173
Chris Lattnerb55972f2009-09-03 07:36:42 +0000174 if (!MO.isJTI() && MO.getOffset())
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000175 Expr = MCBinaryExpr::CreateAdd(Expr,
176 MCConstantExpr::Create(MO.getOffset(), Ctx),
177 Ctx);
Chris Lattner9fb70d62009-09-03 04:44:53 +0000178 return MCOperand::CreateExpr(Expr);
179}
180
Chris Lattnere6fe9452009-09-11 04:28:13 +0000181
182
183static void lower_subreg32(MCInst *MI, unsigned OpNo) {
184 // Convert registers in the addr mode according to subreg32.
185 unsigned Reg = MI->getOperand(OpNo).getReg();
186 if (Reg != 0)
187 MI->getOperand(OpNo).setReg(getX86SubSuperRegister(Reg, MVT::i32));
188}
189
190static void lower_lea64_32mem(MCInst *MI, unsigned OpNo) {
191 // Convert registers in the addr mode according to subreg64.
192 for (unsigned i = 0; i != 4; ++i) {
193 if (!MI->getOperand(OpNo+i).isReg()) continue;
194
195 unsigned Reg = MI->getOperand(OpNo+i).getReg();
196 if (Reg == 0) continue;
197
198 MI->getOperand(OpNo+i).setReg(getX86SubSuperRegister(Reg, MVT::i64));
199 }
200}
201
Chris Lattnerd39a8402010-02-05 21:15:57 +0000202/// LowerSubReg32_Op0 - Things like MOVZX16rr8 -> MOVZX32rr8.
203static void LowerSubReg32_Op0(MCInst &OutMI, unsigned NewOpc) {
Chris Lattnerb67327b2010-02-05 21:13:48 +0000204 OutMI.setOpcode(NewOpc);
205 lower_subreg32(&OutMI, 0);
206}
Chris Lattnerd39a8402010-02-05 21:15:57 +0000207/// LowerUnaryToTwoAddr - R = setb -> R = sbb R, R
208static void LowerUnaryToTwoAddr(MCInst &OutMI, unsigned NewOpc) {
Chris Lattnerb67327b2010-02-05 21:13:48 +0000209 OutMI.setOpcode(NewOpc);
210 OutMI.addOperand(OutMI.getOperand(0));
211 OutMI.addOperand(OutMI.getOperand(0));
212}
Chris Lattnere6fe9452009-09-11 04:28:13 +0000213
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000214
215void X86MCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
216 OutMI.setOpcode(MI->getOpcode());
217
218 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
219 const MachineOperand &MO = MI->getOperand(i);
220
221 MCOperand MCOp;
222 switch (MO.getType()) {
223 default:
224 MI->dump();
225 llvm_unreachable("unknown operand type");
226 case MachineOperand::MO_Register:
Chris Lattner6ac91532009-10-19 23:35:57 +0000227 // Ignore all implicit register operands.
228 if (MO.isImplicit()) continue;
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000229 MCOp = MCOperand::CreateReg(MO.getReg());
230 break;
231 case MachineOperand::MO_Immediate:
232 MCOp = MCOperand::CreateImm(MO.getImm());
233 break;
234 case MachineOperand::MO_MachineBasicBlock:
Chris Lattnerda0447472009-09-12 21:06:08 +0000235 MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
Chris Lattner84d5ca92010-01-26 04:55:51 +0000236 MO.getMBB()->getSymbol(Ctx), Ctx));
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000237 break;
238 case MachineOperand::MO_GlobalAddress:
Chris Lattnerfcd98b72010-02-08 23:03:41 +0000239 MCOp = LowerSymbolOperand(MO, GetSymbolFromOperand(MO));
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000240 break;
241 case MachineOperand::MO_ExternalSymbol:
Chris Lattnerfcd98b72010-02-08 23:03:41 +0000242 MCOp = LowerSymbolOperand(MO, GetSymbolFromOperand(MO));
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000243 break;
244 case MachineOperand::MO_JumpTableIndex:
Chris Lattner86ecc412010-02-08 22:52:47 +0000245 MCOp = LowerSymbolOperand(MO, AsmPrinter.GetJTISymbol(MO.getIndex()));
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000246 break;
247 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner86ecc412010-02-08 22:52:47 +0000248 MCOp = LowerSymbolOperand(MO, AsmPrinter.GetCPISymbol(MO.getIndex()));
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000249 break;
Dan Gohman064403e2009-10-30 01:28:02 +0000250 case MachineOperand::MO_BlockAddress:
Chris Lattner86ecc412010-02-08 22:52:47 +0000251 MCOp = LowerSymbolOperand(MO,
252 AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress()));
Dan Gohman064403e2009-10-30 01:28:02 +0000253 break;
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000254 }
255
256 OutMI.addOperand(MCOp);
257 }
258
259 // Handle a few special cases to eliminate operand modifiers.
260 switch (OutMI.getOpcode()) {
261 case X86::LEA64_32r: // Handle 'subreg rewriting' for the lea64_32mem operand.
262 lower_lea64_32mem(&OutMI, 1);
263 break;
Chris Lattnerd39a8402010-02-05 21:15:57 +0000264 case X86::MOVZX16rr8: LowerSubReg32_Op0(OutMI, X86::MOVZX32rr8); break;
265 case X86::MOVZX16rm8: LowerSubReg32_Op0(OutMI, X86::MOVZX32rm8); break;
266 case X86::MOVSX16rr8: LowerSubReg32_Op0(OutMI, X86::MOVSX32rr8); break;
267 case X86::MOVSX16rm8: LowerSubReg32_Op0(OutMI, X86::MOVSX32rm8); break;
268 case X86::MOVZX64rr32: LowerSubReg32_Op0(OutMI, X86::MOV32rr); break;
269 case X86::MOVZX64rm32: LowerSubReg32_Op0(OutMI, X86::MOV32rm); break;
270 case X86::MOV64ri64i32: LowerSubReg32_Op0(OutMI, X86::MOV32ri); break;
271 case X86::MOVZX64rr8: LowerSubReg32_Op0(OutMI, X86::MOVZX32rr8); break;
272 case X86::MOVZX64rm8: LowerSubReg32_Op0(OutMI, X86::MOVZX32rm8); break;
273 case X86::MOVZX64rr16: LowerSubReg32_Op0(OutMI, X86::MOVZX32rr16); break;
274 case X86::MOVZX64rm16: LowerSubReg32_Op0(OutMI, X86::MOVZX32rm16); break;
Chris Lattnerd39a8402010-02-05 21:15:57 +0000275 case X86::SETB_C8r: LowerUnaryToTwoAddr(OutMI, X86::SBB8rr); break;
276 case X86::SETB_C16r: LowerUnaryToTwoAddr(OutMI, X86::SBB16rr); break;
277 case X86::SETB_C32r: LowerUnaryToTwoAddr(OutMI, X86::SBB32rr); break;
278 case X86::SETB_C64r: LowerUnaryToTwoAddr(OutMI, X86::SBB64rr); break;
Chris Lattneree4e5bc2010-02-05 21:21:06 +0000279 case X86::MOV8r0: LowerUnaryToTwoAddr(OutMI, X86::XOR8rr); break;
280 case X86::MOV32r0: LowerUnaryToTwoAddr(OutMI, X86::XOR32rr); break;
Chris Lattnercb521fb2010-02-05 21:30:49 +0000281 case X86::MMX_V_SET0: LowerUnaryToTwoAddr(OutMI, X86::MMX_PXORrr); break;
282 case X86::MMX_V_SETALLONES:
283 LowerUnaryToTwoAddr(OutMI, X86::MMX_PCMPEQDrr); break;
284 case X86::FsFLD0SS: LowerUnaryToTwoAddr(OutMI, X86::PXORrr); break;
Chris Lattner8042d5d2010-02-05 21:34:18 +0000285 case X86::FsFLD0SD: LowerUnaryToTwoAddr(OutMI, X86::PXORrr); break;
Chris Lattnercb521fb2010-02-05 21:30:49 +0000286 case X86::V_SET0: LowerUnaryToTwoAddr(OutMI, X86::XORPSrr); break;
287 case X86::V_SETALLONES: LowerUnaryToTwoAddr(OutMI, X86::PCMPEQDrr); break;
288
Chris Lattneree4e5bc2010-02-05 21:21:06 +0000289 case X86::MOV16r0:
290 LowerSubReg32_Op0(OutMI, X86::MOV32r0); // MOV16r0 -> MOV32r0
291 LowerUnaryToTwoAddr(OutMI, X86::XOR32rr); // MOV32r0 -> XOR32rr
292 break;
293 case X86::MOV64r0:
294 LowerSubReg32_Op0(OutMI, X86::MOV32r0); // MOV64r0 -> MOV32r0
295 LowerUnaryToTwoAddr(OutMI, X86::XOR32rr); // MOV32r0 -> XOR32rr
296 break;
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000297 }
298}
299
300
301
Chris Lattnerd7dede22010-01-28 01:02:27 +0000302void X86AsmPrinter::EmitInstruction(const MachineInstr *MI) {
Chris Lattner965998b2009-10-19 21:59:25 +0000303 X86MCInstLower MCInstLowering(OutContext, Mang, *this);
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000304 switch (MI->getOpcode()) {
Chris Lattner4052b292010-02-09 19:54:29 +0000305 case TargetOpcode::DBG_VALUE: {
Dale Johannesenf6e1d0a2010-01-15 23:29:29 +0000306 // FIXME: if this is implemented for another target before it goes
307 // away completely, the common part should be moved into AsmPrinter.
Dale Johannesen06f482e2010-01-15 22:22:35 +0000308 if (!VerboseAsm)
309 return;
310 O << '\t' << MAI->getCommentString() << "DEBUG_VALUE: ";
311 unsigned NOps = MI->getNumOperands();
Dale Johannesenf6e1d0a2010-01-15 23:29:29 +0000312 // cast away const; DIetc do not take const operands for some reason.
Dale Johannesen06f482e2010-01-15 22:22:35 +0000313 DIVariable V((MDNode*)(MI->getOperand(NOps-1).getMetadata()));
314 O << V.getName();
315 O << " <- ";
316 if (NOps==3) {
Dale Johannesenfd2fb7c2010-01-27 22:11:16 +0000317 // Register or immediate value. Register 0 means undef.
Dale Johannesene05887b2010-01-26 01:54:26 +0000318 assert(MI->getOperand(0).getType()==MachineOperand::MO_Register ||
Dale Johannesen8f5ff012010-02-02 23:54:23 +0000319 MI->getOperand(0).getType()==MachineOperand::MO_Immediate ||
320 MI->getOperand(0).getType()==MachineOperand::MO_FPImmediate);
Dale Johannesenfd2fb7c2010-01-27 22:11:16 +0000321 if (MI->getOperand(0).getType()==MachineOperand::MO_Register &&
322 MI->getOperand(0).getReg()==0) {
323 // Suppress offset in this case, it is not meaningful.
Chris Lattner726d3972010-02-10 00:36:00 +0000324 O << "undef";
325 OutStreamer.AddBlankLine();
Dale Johannesenfd2fb7c2010-01-27 22:11:16 +0000326 return;
Dale Johannesen8f5ff012010-02-02 23:54:23 +0000327 } else if (MI->getOperand(0).getType()==MachineOperand::MO_FPImmediate) {
328 // This is more naturally done in printOperand, but since the only use
Dale Johannesen2ee9af52010-02-04 01:33:43 +0000329 // of such an operand is in this comment and that is temporary (and it's
330 // ugly), we prefer to keep this localized.
331 // The include of Type.h may be removable when this code is.
332 if (MI->getOperand(0).getFPImm()->getType()->isFloatTy() ||
333 MI->getOperand(0).getFPImm()->getType()->isDoubleTy())
334 MI->getOperand(0).print(O, &TM);
335 else {
336 // There is no good way to print long double. Convert a copy to
337 // double. Ah well, it's only a comment.
338 bool ignored;
339 APFloat APF = APFloat(MI->getOperand(0).getFPImm()->getValueAPF());
340 APF.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven,
341 &ignored);
342 O << "(long double) " << APF.convertToDouble();
343 }
Dale Johannesenfd2fb7c2010-01-27 22:11:16 +0000344 } else
345 printOperand(MI, 0);
Dale Johannesen06f482e2010-01-15 22:22:35 +0000346 } else {
Dale Johannesenf6e1d0a2010-01-15 23:29:29 +0000347 // Frame address. Currently handles register +- offset only.
Dale Johannesen06f482e2010-01-15 22:22:35 +0000348 assert(MI->getOperand(0).getType()==MachineOperand::MO_Register);
349 assert(MI->getOperand(3).getType()==MachineOperand::MO_Immediate);
350 O << '['; printOperand(MI, 0); O << '+'; printOperand(MI, 3); O << ']';
351 }
352 O << "+";
353 printOperand(MI, NOps-2);
Chris Lattner726d3972010-02-10 00:36:00 +0000354 OutStreamer.AddBlankLine();
Dale Johannesen06f482e2010-01-15 22:22:35 +0000355 return;
356 }
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000357 case X86::MOVPC32r: {
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000358 MCInst TmpInst;
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000359 // This is a pseudo op for a two instruction sequence with a label, which
360 // looks like:
361 // call "L1$pb"
362 // "L1$pb":
363 // popl %esi
364
365 // Emit the call.
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000366 MCSymbol *PICBase = MCInstLowering.GetPICBaseSymbol();
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000367 TmpInst.setOpcode(X86::CALLpcrel32);
368 // FIXME: We would like an efficient form for this, so we don't have to do a
369 // lot of extra uniquing.
370 TmpInst.addOperand(MCOperand::CreateExpr(MCSymbolRefExpr::Create(PICBase,
371 OutContext)));
Chris Lattnerc7bbd4e2010-02-03 01:13:25 +0000372 OutStreamer.EmitInstruction(TmpInst);
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000373
374 // Emit the label.
375 OutStreamer.EmitLabel(PICBase);
376
377 // popl $reg
378 TmpInst.setOpcode(X86::POP32r);
379 TmpInst.getOperand(0) = MCOperand::CreateReg(MI->getOperand(0).getReg());
Chris Lattnerc7bbd4e2010-02-03 01:13:25 +0000380 OutStreamer.EmitInstruction(TmpInst);
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000381 return;
Chris Lattner68748492009-09-12 21:01:20 +0000382 }
383
384 case X86::ADD32ri: {
385 // Lower the MO_GOT_ABSOLUTE_ADDRESS form of ADD32ri.
386 if (MI->getOperand(2).getTargetFlags() != X86II::MO_GOT_ABSOLUTE_ADDRESS)
387 break;
388
389 // Okay, we have something like:
390 // EAX = ADD32ri EAX, MO_GOT_ABSOLUTE_ADDRESS(@MYGLOBAL)
391
392 // For this, we want to print something like:
393 // MYGLOBAL + (. - PICBASE)
394 // However, we can't generate a ".", so just emit a new label here and refer
395 // to it. We know that this operand flag occurs at most once per function.
Chris Lattnerd9e0e2a2009-10-19 23:05:23 +0000396 const char *Prefix = MAI->getPrivateGlobalPrefix();
397 MCSymbol *DotSym = OutContext.GetOrCreateSymbol(Twine(Prefix)+"picbaseref"+
398 Twine(getFunctionNumber()));
Chris Lattner68748492009-09-12 21:01:20 +0000399 OutStreamer.EmitLabel(DotSym);
400
401 // Now that we have emitted the label, lower the complex operand expression.
Chris Lattnerfcd98b72010-02-08 23:03:41 +0000402 MCSymbol *OpSym = MCInstLowering.GetSymbolFromOperand(MI->getOperand(2));
Chris Lattner68748492009-09-12 21:01:20 +0000403
404 const MCExpr *DotExpr = MCSymbolRefExpr::Create(DotSym, OutContext);
405 const MCExpr *PICBase =
406 MCSymbolRefExpr::Create(MCInstLowering.GetPICBaseSymbol(), OutContext);
407 DotExpr = MCBinaryExpr::CreateSub(DotExpr, PICBase, OutContext);
408
409 DotExpr = MCBinaryExpr::CreateAdd(MCSymbolRefExpr::Create(OpSym,OutContext),
410 DotExpr, OutContext);
411
412 MCInst TmpInst;
413 TmpInst.setOpcode(X86::ADD32ri);
414 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
415 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
416 TmpInst.addOperand(MCOperand::CreateExpr(DotExpr));
Chris Lattnerc7bbd4e2010-02-03 01:13:25 +0000417 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner68748492009-09-12 21:01:20 +0000418 return;
419 }
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000420 }
421
Chris Lattner1efc2ad2009-09-12 20:34:57 +0000422 MCInst TmpInst;
423 MCInstLowering.Lower(MI, TmpInst);
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000424
Chris Lattnerc7bbd4e2010-02-03 01:13:25 +0000425 OutStreamer.EmitInstruction(TmpInst);
Chris Lattnerb16f72e2009-09-02 17:35:12 +0000426}
Chris Lattner59a6e612009-09-13 19:30:11 +0000427