blob: b7e88d452c49f90221d5051c1e70f61f4b483d5f [file] [log] [blame]
Chris Lattner293ef9a2010-11-14 19:53:02 +00001//===-- PPCMCInstLower.cpp - Convert PPC 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 PPC MachineInstrs to their corresponding
11// MCInst records.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattnera7217c82010-11-14 21:12:33 +000015#include "PPC.h"
Ulrich Weigandedaa58e2013-05-23 22:26:41 +000016#include "MCTargetDesc/PPCMCExpr.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000017#include "llvm/ADT/SmallString.h"
Rafael Espindola5b0ce352013-04-27 00:43:16 +000018#include "llvm/ADT/Twine.h"
Chris Lattner293ef9a2010-11-14 19:53:02 +000019#include "llvm/CodeGen/AsmPrinter.h"
Chris Lattner1e61e692010-11-15 02:46:57 +000020#include "llvm/CodeGen/MachineFunction.h"
Chris Lattnerb9082582010-11-14 23:42:06 +000021#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Jakub Staszak59d580c2013-02-20 00:31:54 +000022#include "llvm/IR/GlobalValue.h"
Chris Lattnerb9082582010-11-14 23:42:06 +000023#include "llvm/MC/MCAsmInfo.h"
Chris Lattner293ef9a2010-11-14 19:53:02 +000024#include "llvm/MC/MCExpr.h"
25#include "llvm/MC/MCInst.h"
Chris Lattner1520fd62010-11-14 21:20:46 +000026#include "llvm/Target/Mangler.h"
Chris Lattner293ef9a2010-11-14 19:53:02 +000027using namespace llvm;
28
Chris Lattnerb9082582010-11-14 23:42:06 +000029static MachineModuleInfoMachO &getMachOMMI(AsmPrinter &AP) {
30 return AP.MMI->getObjFileInfo<MachineModuleInfoMachO>();
31}
32
33
34static MCSymbol *GetSymbolFromOperand(const MachineOperand &MO, AsmPrinter &AP){
35 MCContext &Ctx = AP.OutContext;
36
37 SmallString<128> Name;
38 if (!MO.isGlobal()) {
39 assert(MO.isSymbol() && "Isn't a symbol reference");
40 Name += AP.MAI->getGlobalPrefix();
41 Name += MO.getSymbolName();
42 } else {
43 const GlobalValue *GV = MO.getGlobal();
44 bool isImplicitlyPrivate = false;
45 if (MO.getTargetFlags() == PPCII::MO_DARWIN_STUB ||
Chris Lattner6d2ff122010-11-15 03:13:19 +000046 (MO.getTargetFlags() & PPCII::MO_NLP_FLAG))
Chris Lattnerb9082582010-11-14 23:42:06 +000047 isImplicitlyPrivate = true;
48
49 AP.Mang->getNameWithPrefix(Name, GV, isImplicitlyPrivate);
50 }
51
52 // If the target flags on the operand changes the name of the symbol, do that
53 // before we return the symbol.
Chris Lattner6d2ff122010-11-15 03:13:19 +000054 if (MO.getTargetFlags() == PPCII::MO_DARWIN_STUB) {
Chris Lattnerb9082582010-11-14 23:42:06 +000055 Name += "$stub";
Rafael Espindola5b0ce352013-04-27 00:43:16 +000056 const char *PGP = AP.MAI->getPrivateGlobalPrefix();
57 const char *Prefix = "";
58 if (!Name.startswith(PGP)) {
59 // http://llvm.org/bugs/show_bug.cgi?id=15763
60 // all stubs and lazy_ptrs should be local symbols, which need leading 'L'
61 Prefix = PGP;
62 }
63 MCSymbol *Sym = Ctx.GetOrCreateSymbol(Twine(Prefix) + Twine(Name));
Chris Lattnerb9082582010-11-14 23:42:06 +000064 MachineModuleInfoImpl::StubValueTy &StubSym =
65 getMachOMMI(AP).getFnStubEntry(Sym);
66 if (StubSym.getPointer())
67 return Sym;
68
69 if (MO.isGlobal()) {
70 StubSym =
71 MachineModuleInfoImpl::
72 StubValueTy(AP.Mang->getSymbol(MO.getGlobal()),
73 !MO.getGlobal()->hasInternalLinkage());
74 } else {
75 Name.erase(Name.end()-5, Name.end());
76 StubSym =
77 MachineModuleInfoImpl::
78 StubValueTy(Ctx.GetOrCreateSymbol(Name.str()), false);
79 }
80 return Sym;
81 }
Chris Lattner6d2ff122010-11-15 03:13:19 +000082
83 // If the symbol reference is actually to a non_lazy_ptr, not to the symbol,
84 // then add the suffix.
85 if (MO.getTargetFlags() & PPCII::MO_NLP_FLAG) {
86 Name += "$non_lazy_ptr";
87 MCSymbol *Sym = Ctx.GetOrCreateSymbol(Name.str());
88
89 MachineModuleInfoMachO &MachO = getMachOMMI(AP);
90
91 MachineModuleInfoImpl::StubValueTy &StubSym =
92 (MO.getTargetFlags() & PPCII::MO_NLP_HIDDEN_FLAG) ?
93 MachO.getHiddenGVStubEntry(Sym) : MachO.getGVStubEntry(Sym);
94
95 if (StubSym.getPointer() == 0) {
96 assert(MO.isGlobal() && "Extern symbol not handled yet");
97 StubSym = MachineModuleInfoImpl::
98 StubValueTy(AP.Mang->getSymbol(MO.getGlobal()),
99 !MO.getGlobal()->hasInternalLinkage());
100 }
101 return Sym;
Chris Lattnerb9082582010-11-14 23:42:06 +0000102 }
103
104 return Ctx.GetOrCreateSymbol(Name.str());
105}
106
Chris Lattner1520fd62010-11-14 21:20:46 +0000107static MCOperand GetSymbolRef(const MachineOperand &MO, const MCSymbol *Symbol,
Ulrich Weigandea18f0c2013-06-20 16:58:14 +0000108 AsmPrinter &Printer) {
Chris Lattner1520fd62010-11-14 21:20:46 +0000109 MCContext &Ctx = Printer.OutContext;
Chris Lattnerb9082582010-11-14 23:42:06 +0000110 MCSymbolRefExpr::VariantKind RefKind = MCSymbolRefExpr::VK_None;
111
Roman Divackyfd42ed62012-06-04 17:36:38 +0000112 unsigned access = MO.getTargetFlags() & PPCII::MO_ACCESS_MASK;
113
Ulrich Weigand027e9442013-06-20 16:23:52 +0000114 switch (access) {
Ulrich Weigand92cfa612013-06-21 14:42:20 +0000115 case PPCII::MO_TPREL_LO:
116 RefKind = MCSymbolRefExpr::VK_PPC_TPREL_LO;
Ulrich Weigand027e9442013-06-20 16:23:52 +0000117 break;
Ulrich Weigand92cfa612013-06-21 14:42:20 +0000118 case PPCII::MO_TPREL_HA:
119 RefKind = MCSymbolRefExpr::VK_PPC_TPREL_HA;
Ulrich Weigand027e9442013-06-20 16:23:52 +0000120 break;
Ulrich Weigand92cfa612013-06-21 14:42:20 +0000121 case PPCII::MO_DTPREL_LO:
122 RefKind = MCSymbolRefExpr::VK_PPC_DTPREL_LO;
Ulrich Weigand027e9442013-06-20 16:23:52 +0000123 break;
Ulrich Weigand92cfa612013-06-21 14:42:20 +0000124 case PPCII::MO_TLSLD_LO:
125 RefKind = MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO;
Ulrich Weigand027e9442013-06-20 16:23:52 +0000126 break;
Ulrich Weigand92cfa612013-06-21 14:42:20 +0000127 case PPCII::MO_TOC_LO:
128 RefKind = MCSymbolRefExpr::VK_PPC_TOC_LO;
Ulrich Weigand027e9442013-06-20 16:23:52 +0000129 break;
Ulrich Weigand23a72c82013-07-05 12:22:36 +0000130 case PPCII::MO_TLS:
131 RefKind = MCSymbolRefExpr::VK_PPC_TLS;
132 break;
Ulrich Weigandedaa58e2013-05-23 22:26:41 +0000133 }
Chris Lattnerb9082582010-11-14 23:42:06 +0000134
Chris Lattner6d2ff122010-11-15 03:13:19 +0000135 const MCExpr *Expr = MCSymbolRefExpr::Create(Symbol, RefKind, Ctx);
Chris Lattnerb9082582010-11-14 23:42:06 +0000136
Chris Lattner1520fd62010-11-14 21:20:46 +0000137 if (!MO.isJTI() && MO.getOffset())
138 Expr = MCBinaryExpr::CreateAdd(Expr,
139 MCConstantExpr::Create(MO.getOffset(), Ctx),
140 Ctx);
Chris Lattner1e61e692010-11-15 02:46:57 +0000141
Chris Lattner6d2ff122010-11-15 03:13:19 +0000142 // Subtract off the PIC base if required.
143 if (MO.getTargetFlags() & PPCII::MO_PIC_FLAG) {
Chris Lattner1e61e692010-11-15 02:46:57 +0000144 const MachineFunction *MF = MO.getParent()->getParent()->getParent();
145
146 const MCExpr *PB = MCSymbolRefExpr::Create(MF->getPICBaseSymbol(), Ctx);
147 Expr = MCBinaryExpr::CreateSub(Expr, PB, Ctx);
Chris Lattner1e61e692010-11-15 02:46:57 +0000148 }
Ulrich Weigandedaa58e2013-05-23 22:26:41 +0000149
Ulrich Weigand027e9442013-06-20 16:23:52 +0000150 // Add ha16() / lo16() markers if required.
151 switch (access) {
Ulrich Weigand92cfa612013-06-21 14:42:20 +0000152 case PPCII::MO_LO:
153 Expr = PPCMCExpr::CreateLo(Expr, Ctx);
Ulrich Weigand027e9442013-06-20 16:23:52 +0000154 break;
Ulrich Weigand92cfa612013-06-21 14:42:20 +0000155 case PPCII::MO_HA:
156 Expr = PPCMCExpr::CreateHa(Expr, Ctx);
Ulrich Weigand027e9442013-06-20 16:23:52 +0000157 break;
Ulrich Weigandedaa58e2013-05-23 22:26:41 +0000158 }
159
Chris Lattner1e61e692010-11-15 02:46:57 +0000160 return MCOperand::CreateExpr(Expr);
Chris Lattner1520fd62010-11-14 21:20:46 +0000161}
162
Chris Lattnera7217c82010-11-14 21:12:33 +0000163void llvm::LowerPPCMachineInstrToMCInst(const MachineInstr *MI, MCInst &OutMI,
Ulrich Weigandea18f0c2013-06-20 16:58:14 +0000164 AsmPrinter &AP) {
Chris Lattner293ef9a2010-11-14 19:53:02 +0000165 OutMI.setOpcode(MI->getOpcode());
166
167 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
168 const MachineOperand &MO = MI->getOperand(i);
169
170 MCOperand MCOp;
171 switch (MO.getType()) {
172 default:
173 MI->dump();
Craig Topperbc219812012-02-07 02:50:20 +0000174 llvm_unreachable("unknown operand type");
Chris Lattner293ef9a2010-11-14 19:53:02 +0000175 case MachineOperand::MO_Register:
176 assert(!MO.getSubReg() && "Subregs should be eliminated!");
177 MCOp = MCOperand::CreateReg(MO.getReg());
178 break;
179 case MachineOperand::MO_Immediate:
180 MCOp = MCOperand::CreateImm(MO.getImm());
181 break;
Chris Lattner1520fd62010-11-14 21:20:46 +0000182 case MachineOperand::MO_MachineBasicBlock:
183 MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
184 MO.getMBB()->getSymbol(), AP.OutContext));
185 break;
186 case MachineOperand::MO_GlobalAddress:
Chris Lattner1520fd62010-11-14 21:20:46 +0000187 case MachineOperand::MO_ExternalSymbol:
Ulrich Weigandea18f0c2013-06-20 16:58:14 +0000188 MCOp = GetSymbolRef(MO, GetSymbolFromOperand(MO, AP), AP);
Chris Lattner1520fd62010-11-14 21:20:46 +0000189 break;
190 case MachineOperand::MO_JumpTableIndex:
Ulrich Weigandea18f0c2013-06-20 16:58:14 +0000191 MCOp = GetSymbolRef(MO, AP.GetJTISymbol(MO.getIndex()), AP);
Chris Lattner1520fd62010-11-14 21:20:46 +0000192 break;
193 case MachineOperand::MO_ConstantPoolIndex:
Ulrich Weigandea18f0c2013-06-20 16:58:14 +0000194 MCOp = GetSymbolRef(MO, AP.GetCPISymbol(MO.getIndex()), AP);
Chris Lattner1520fd62010-11-14 21:20:46 +0000195 break;
196 case MachineOperand::MO_BlockAddress:
Ulrich Weigandea18f0c2013-06-20 16:58:14 +0000197 MCOp = GetSymbolRef(MO, AP.GetBlockAddressSymbol(MO.getBlockAddress()),
198 AP);
Chris Lattner1520fd62010-11-14 21:20:46 +0000199 break;
Jakob Stoklund Olesen71f0fc12012-01-18 23:52:19 +0000200 case MachineOperand::MO_RegisterMask:
201 continue;
Chris Lattner293ef9a2010-11-14 19:53:02 +0000202 }
203
204 OutMI.addOperand(MCOp);
205 }
206}