blob: 12ad3ec57438f0d606cc9a048be0799336f3bb28 [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
15#include "ARMMCInstLower.h"
Chris Lattner112f2392010-11-14 20:31:06 +000016#include "ARM.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
Chris Lattner112f2392010-11-14 20:31:06 +000085const MCSymbolRefExpr *ARMMCInstLower::
Chris Lattner6f997762009-10-19 21:53:00 +000086GetJumpTableSymbol(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 Lattner112f2392010-11-14 20:31:06 +000097 return MCSymbolRefExpr::Create(Ctx.GetOrCreateSymbol(Name.str()), Ctx);
Chris Lattner6f997762009-10-19 21:53:00 +000098}
99
Chris Lattner112f2392010-11-14 20:31:06 +0000100const MCSymbolRefExpr *ARMMCInstLower::
Chris Lattner6f997762009-10-19 21:53:00 +0000101GetConstantPoolIndexSymbol(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 Lattner112f2392010-11-14 20:31:06 +0000112 return MCSymbolRefExpr::Create(Ctx.GetOrCreateSymbol(Name.str()), Ctx);
Chris Lattner6f997762009-10-19 21:53:00 +0000113}
114
Jim Grosbachc686e332010-09-17 18:25:25 +0000115MCOperand ARMMCInstLower::
116LowerSymbolRefOperand(const MachineOperand &MO,
117 const MCSymbolRefExpr *Sym) const {
118 const MCExpr *Expr = Sym;
119 if (!MO.isJTI() && MO.getOffset())
120 Expr = MCBinaryExpr::CreateAdd(Expr,
121 MCConstantExpr::Create(MO.getOffset(), Ctx),
122 Ctx);
123 return MCOperand::CreateExpr(Expr);
124}
125
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000126
127void ARMMCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
128 OutMI.setOpcode(MI->getOpcode());
Jim Grosbachfc16a892010-09-13 18:25:42 +0000129
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000130 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
131 const MachineOperand &MO = MI->getOperand(i);
Jim Grosbachfc16a892010-09-13 18:25:42 +0000132
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000133 MCOperand MCOp;
134 switch (MO.getType()) {
135 default:
136 MI->dump();
137 assert(0 && "unknown operand type");
138 case MachineOperand::MO_Register:
Jim Grosbach1685caf2010-09-14 20:41:27 +0000139 // Ignore all non-CPSR implicit register operands.
140 if (MO.isImplicit() && MO.getReg() != ARM::CPSR) continue;
Anton Korobeynikove8ea0112009-11-07 15:20:32 +0000141 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000142 MCOp = MCOperand::CreateReg(MO.getReg());
143 break;
144 case MachineOperand::MO_Immediate:
145 MCOp = MCOperand::CreateImm(MO.getImm());
146 break;
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000147 case MachineOperand::MO_MachineBasicBlock:
148 MCOp = MCOperand::CreateExpr(MCSymbolRefExpr::Create(
Chris Lattner1b2eb0e2010-03-13 21:04:28 +0000149 MO.getMBB()->getSymbol(), Ctx));
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000150 break;
151 case MachineOperand::MO_GlobalAddress:
Jim Grosbachc686e332010-09-17 18:25:25 +0000152 MCOp = LowerSymbolRefOperand(MO, GetSymbolRef(MO));
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000153 break;
154 case MachineOperand::MO_ExternalSymbol:
Jim Grosbach637d89f2010-09-22 23:27:36 +0000155 MCOp = LowerSymbolRefOperand(MO, GetExternalSymbolSymbol(MO));
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000156 break;
157 case MachineOperand::MO_JumpTableIndex:
Chris Lattner112f2392010-11-14 20:31:06 +0000158 MCOp = LowerSymbolRefOperand(MO, GetJumpTableSymbol(MO));
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000159 break;
160 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner112f2392010-11-14 20:31:06 +0000161 MCOp = LowerSymbolRefOperand(MO, GetConstantPoolIndexSymbol(MO));
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000162 break;
Bob Wilsonddb16df2009-10-30 05:45:42 +0000163 case MachineOperand::MO_BlockAddress:
Chris Lattner112f2392010-11-14 20:31:06 +0000164 MCOp = LowerSymbolRefOperand(MO,
165 MCSymbolRefExpr::Create(Printer.GetBlockAddressSymbol(
166 MO.getBlockAddress()), Ctx));
Bob Wilsonddb16df2009-10-30 05:45:42 +0000167 break;
Jim Grosbach26edbcb2010-09-15 18:47:08 +0000168 case MachineOperand::MO_FPImmediate:
Jim Grosbach1d51c412010-09-16 17:37:30 +0000169 APFloat Val = MO.getFPImm()->getValueAPF();
170 bool ignored;
171 Val.convert(APFloat::IEEEdouble, APFloat::rmTowardZero, &ignored);
172 MCOp = MCOperand::CreateFPImm(Val.convertToDouble());
Jim Grosbach26edbcb2010-09-15 18:47:08 +0000173 break;
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000174 }
Jim Grosbachfc16a892010-09-13 18:25:42 +0000175
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000176 OutMI.addOperand(MCOp);
177 }
Jim Grosbachfc16a892010-09-13 18:25:42 +0000178
Chris Lattner9cf0eb52009-10-19 20:21:05 +0000179}