blob: e2155f1a02ab170e0d62a32e62f420fd99288bf9 [file] [log] [blame]
Chris Lattner9cf0eb52009-10-19 20:21:05 +00001//===-- ARMMCInstLower.cpp - Convert ARM 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 ARM MachineInstrs to their corresponding
11// MCInst records.
12//
13//===----------------------------------------------------------------------===//
14
Jim Grosbach1685caf2010-09-14 20:41:27 +000015#include "ARM.h"
Chris Lattner9cf0eb52009-10-19 20:21:05 +000016#include "ARMMCInstLower.h"
Chris Lattner96bc2172009-10-20 00:52:47 +000017#include "llvm/CodeGen/AsmPrinter.h"
Jim Grosbach26edbcb2010-09-15 18:47:08 +000018#include "llvm/Constants.h"
Chris Lattner96bc2172009-10-20 00:52:47 +000019#include "llvm/CodeGen/MachineBasicBlock.h"
Chris Lattner6f997762009-10-19 21:53:00 +000020#include "llvm/MC/MCAsmInfo.h"
21#include "llvm/MC/MCContext.h"
22#include "llvm/MC/MCExpr.h"
Chris Lattner9cf0eb52009-10-19 20:21:05 +000023#include "llvm/MC/MCInst.h"
Chris Lattnerd62f1b42010-03-12 21:19:23 +000024#include "llvm/Target/Mangler.h"
Chris Lattner6f997762009-10-19 21:53:00 +000025#include "llvm/Support/raw_ostream.h"
Chris Lattner6f997762009-10-19 21:53:00 +000026#include "llvm/ADT/SmallString.h"
Chris Lattner9cf0eb52009-10-19 20:21:05 +000027using namespace llvm;
28
Jim Grosbachc686e332010-09-17 18:25:25 +000029MCSymbol *ARMMCInstLower::GetGlobalAddressSymbol(const GlobalValue *GV) const {
30 return Printer.Mang->getSymbol(GV);
31}
32
33const MCSymbolRefExpr *ARMMCInstLower::
34GetSymbolRef(const MachineOperand &MO) const {
35 assert(MO.isGlobal() && "Isn't a global address reference?");
Jim Grosbachc686e332010-09-17 18:25:25 +000036
37 const MCSymbolRefExpr *SymRef;
38 const MCSymbol *Symbol = GetGlobalAddressSymbol(MO.getGlobal());
39
Chris Lattner6f997762009-10-19 21:53:00 +000040 switch (MO.getTargetFlags()) {
41 default: assert(0 && "Unknown target flag on GV operand");
Jim Grosbachc686e332010-09-17 18:25:25 +000042 case 0:
43 SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None, Ctx);
44 break;
45 case ARMII::MO_LO16:
46 SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_LO16, Ctx);
47 break;
48 case ARMII::MO_HI16:
49 SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_HI16, Ctx);
50 break;
Jim Grosbach637d89f2010-09-22 23:27:36 +000051 case ARMII::MO_PLT:
52 SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_PLT, Ctx);
53 break;
Chris Lattner6f997762009-10-19 21:53:00 +000054 }
Jim Grosbachfc16a892010-09-13 18:25:42 +000055
Jim Grosbachc686e332010-09-17 18:25:25 +000056 return SymRef;
Chris Lattner6f997762009-10-19 21:53:00 +000057}
58
Jim Grosbach637d89f2010-09-22 23:27:36 +000059const MCSymbolRefExpr *ARMMCInstLower::
Chris Lattner292df8e2009-10-20 00:56:16 +000060GetExternalSymbolSymbol(const MachineOperand &MO) const {
Jim Grosbach637d89f2010-09-22 23:27:36 +000061 const MCSymbolRefExpr *SymRef;
62 const MCSymbol *Symbol = Printer.GetExternalSymbolSymbol(MO.getSymbolName());
63
Chris Lattner292df8e2009-10-20 00:56:16 +000064 switch (MO.getTargetFlags()) {
Jim Grosbach637d89f2010-09-22 23:27:36 +000065 default: assert(0 && "Unknown target flag on external symbol operand");
66 case 0:
67 SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_None, Ctx);
68 break;
69 case ARMII::MO_LO16:
70 SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_LO16, Ctx);
71 break;
72 case ARMII::MO_HI16:
73 SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_HI16, Ctx);
74 break;
75 case ARMII::MO_PLT:
76 SymRef = MCSymbolRefExpr::Create(Symbol, MCSymbolRefExpr::VK_ARM_PLT, Ctx);
77 break;
Chris Lattner292df8e2009-10-20 00:56:16 +000078 }
Jim Grosbachfc16a892010-09-13 18:25:42 +000079
Jim Grosbach637d89f2010-09-22 23:27:36 +000080 return SymRef;
Chris Lattner292df8e2009-10-20 00:56:16 +000081}
82
83
Chris Lattner6f997762009-10-19 21:53:00 +000084
85MCSymbol *ARMMCInstLower::
86GetJumpTableSymbol(const MachineOperand &MO) const {
87 SmallString<256> Name;
Chris Lattner96bc2172009-10-20 00:52:47 +000088 raw_svector_ostream(Name) << Printer.MAI->getPrivateGlobalPrefix() << "JTI"
89 << Printer.getFunctionNumber() << '_' << MO.getIndex();
Jim Grosbachfc16a892010-09-13 18:25:42 +000090
Chris Lattner6f997762009-10-19 21:53:00 +000091 switch (MO.getTargetFlags()) {
Jim Grosbachb6ec8ca2010-09-22 23:01:28 +000092 default: assert(0 && "Unknown target flag on jump table operand");
93 case 0: break;
Chris Lattner6f997762009-10-19 21:53:00 +000094 }
Jim Grosbachfc16a892010-09-13 18:25:42 +000095
Chris Lattner6f997762009-10-19 21:53:00 +000096 // Create a symbol for the name.
Chris Lattner9b97a732010-03-30 18:10:53 +000097 return Ctx.GetOrCreateSymbol(Name.str());
Chris Lattner6f997762009-10-19 21:53:00 +000098}
99
100MCSymbol *ARMMCInstLower::
101GetConstantPoolIndexSymbol(const MachineOperand &MO) const {
102 SmallString<256> Name;
Chris Lattner96bc2172009-10-20 00:52:47 +0000103 raw_svector_ostream(Name) << Printer.MAI->getPrivateGlobalPrefix() << "CPI"
104 << Printer.getFunctionNumber() << '_' << MO.getIndex();
Jim Grosbachfc16a892010-09-13 18:25:42 +0000105
Chris Lattner6f997762009-10-19 21:53:00 +0000106 switch (MO.getTargetFlags()) {
Jim Grosbachb6ec8ca2010-09-22 23:01:28 +0000107 default: assert(0 && "Unknown target flag on CPI operand");
108 case 0: break;
Chris Lattner6f997762009-10-19 21:53:00 +0000109 }
Jim Grosbachfc16a892010-09-13 18:25:42 +0000110
Chris Lattner6f997762009-10-19 21:53:00 +0000111 // Create a symbol for the name.
Chris Lattner9b97a732010-03-30 18:10:53 +0000112 return Ctx.GetOrCreateSymbol(Name.str());
Chris Lattner6f997762009-10-19 21:53:00 +0000113}
Jim Grosbachfc16a892010-09-13 18:25:42 +0000114
Chris Lattner6f997762009-10-19 21:53:00 +0000115MCOperand ARMMCInstLower::
116LowerSymbolOperand(const MachineOperand &MO, MCSymbol *Sym) const {
117 // FIXME: We would like an efficient form for this, so we don't have to do a
118 // lot of extra uniquing.
119 const MCExpr *Expr = MCSymbolRefExpr::Create(Sym, Ctx);
Jim Grosbachfc16a892010-09-13 18:25:42 +0000120
Chris Lattner6f997762009-10-19 21:53:00 +0000121 switch (MO.getTargetFlags()) {
Jim Grosbachb6ec8ca2010-09-22 23:01:28 +0000122 default: assert(0 && "Unknown target flag on Symbol operand");
123 case 0: break;
Chris Lattner6f997762009-10-19 21:53:00 +0000124 }
Jim Grosbachfc16a892010-09-13 18:25:42 +0000125
Chris Lattner6f997762009-10-19 21:53:00 +0000126 if (!MO.isJTI() && MO.getOffset())
127 Expr = MCBinaryExpr::CreateAdd(Expr,
128 MCConstantExpr::Create(MO.getOffset(), Ctx),
129 Ctx);
130 return MCOperand::CreateExpr(Expr);
131}
132
Jim Grosbachc686e332010-09-17 18:25:25 +0000133MCOperand ARMMCInstLower::
134LowerSymbolRefOperand(const MachineOperand &MO,
135 const MCSymbolRefExpr *Sym) const {
136 const MCExpr *Expr = Sym;
137 if (!MO.isJTI() && MO.getOffset())
138 Expr = MCBinaryExpr::CreateAdd(Expr,
139 MCConstantExpr::Create(MO.getOffset(), Ctx),
140 Ctx);
141 return MCOperand::CreateExpr(Expr);
142}
143
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000144
145void ARMMCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
146 OutMI.setOpcode(MI->getOpcode());
Jim Grosbachfc16a892010-09-13 18:25:42 +0000147
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000148 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
149 const MachineOperand &MO = MI->getOperand(i);
Jim Grosbachfc16a892010-09-13 18:25:42 +0000150
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000151 MCOperand MCOp;
152 switch (MO.getType()) {
153 default:
154 MI->dump();
155 assert(0 && "unknown operand type");
156 case MachineOperand::MO_Register:
Jim Grosbach1685caf2010-09-14 20:41:27 +0000157 // Ignore all non-CPSR implicit register operands.
158 if (MO.isImplicit() && MO.getReg() != ARM::CPSR) continue;
Anton Korobeynikove8ea0112009-11-07 15:20:32 +0000159 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000160 MCOp = MCOperand::CreateReg(MO.getReg());
161 break;
162 case MachineOperand::MO_Immediate:
163 MCOp = MCOperand::CreateImm(MO.getImm());
164 break;
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000165 case MachineOperand::MO_MachineBasicBlock:
166 MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
Chris Lattner1b2eb0e2010-03-13 21:04:28 +0000167 MO.getMBB()->getSymbol(), Ctx));
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000168 break;
169 case MachineOperand::MO_GlobalAddress:
Jim Grosbachc686e332010-09-17 18:25:25 +0000170 MCOp = LowerSymbolRefOperand(MO, GetSymbolRef(MO));
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000171 break;
172 case MachineOperand::MO_ExternalSymbol:
Jim Grosbach637d89f2010-09-22 23:27:36 +0000173 MCOp = LowerSymbolRefOperand(MO, GetExternalSymbolSymbol(MO));
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000174 break;
175 case MachineOperand::MO_JumpTableIndex:
176 MCOp = LowerSymbolOperand(MO, GetJumpTableSymbol(MO));
177 break;
178 case MachineOperand::MO_ConstantPoolIndex:
179 MCOp = LowerSymbolOperand(MO, GetConstantPoolIndexSymbol(MO));
180 break;
Bob Wilsonddb16df2009-10-30 05:45:42 +0000181 case MachineOperand::MO_BlockAddress:
182 MCOp = LowerSymbolOperand(MO, Printer.GetBlockAddressSymbol(
183 MO.getBlockAddress()));
184 break;
Jim Grosbach26edbcb2010-09-15 18:47:08 +0000185 case MachineOperand::MO_FPImmediate:
Jim Grosbach1d51c412010-09-16 17:37:30 +0000186 APFloat Val = MO.getFPImm()->getValueAPF();
187 bool ignored;
188 Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
189 MCOp = MCOperand::CreateFPImm(Val.convertToDouble());
Jim Grosbach26edbcb2010-09-15 18:47:08 +0000190 break;
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000191 }
Jim Grosbachfc16a892010-09-13 18:25:42 +0000192
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000193 OutMI.addOperand(MCOp);
194 }
Jim Grosbachfc16a892010-09-13 18:25:42 +0000195
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000196}