blob: d4c5e6dd74cf07bf669303004e40dec4424d2ef1 [file] [log] [blame]
Jia Liuc5707112012-02-17 08:55:11 +00001//===-- MipsMCInstLower.cpp - Convert Mips MachineInstr to MCInst ---------===//
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +00002//
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 Mips MachineInstrs to their corresponding
11// MCInst records.
12//
13//===----------------------------------------------------------------------===//
14
Craig Topper79aa3412012-03-17 18:46:09 +000015#include "MipsMCInstLower.h"
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000016#include "MipsAsmPrinter.h"
17#include "MipsInstrInfo.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000018#include "MCTargetDesc/MipsBaseInfo.h"
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000019#include "llvm/CodeGen/MachineFunction.h"
20#include "llvm/CodeGen/MachineInstr.h"
21#include "llvm/CodeGen/MachineOperand.h"
22#include "llvm/MC/MCContext.h"
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000023#include "llvm/MC/MCExpr.h"
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000024#include "llvm/MC/MCInst.h"
25#include "llvm/Target/Mangler.h"
Akira Hatanaka421455f2011-11-23 22:19:28 +000026
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000027using namespace llvm;
28
Akira Hatanakaf93b8632012-03-28 00:22:50 +000029MipsMCInstLower::MipsMCInstLower(MipsAsmPrinter &asmprinter)
30 : AsmPrinter(asmprinter) {}
31
Akira Hatanaka864f6602012-06-14 21:10:56 +000032void MipsMCInstLower::Initialize(Mangler *M, MCContext *C) {
Akira Hatanakaf93b8632012-03-28 00:22:50 +000033 Mang = M;
34 Ctx = C;
35}
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000036
37MCOperand MipsMCInstLower::LowerSymbolOperand(const MachineOperand &MO,
Akira Hatanaka78d1b112011-08-16 02:15:03 +000038 MachineOperandType MOTy,
39 unsigned Offset) const {
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000040 MCSymbolRefExpr::VariantKind Kind;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000041 const MCSymbol *Symbol;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000042
43 switch(MO.getTargetFlags()) {
Craig Topperbc219812012-02-07 02:50:20 +000044 default: llvm_unreachable("Invalid target flag!");
Akira Hatanaka82099682011-12-19 19:52:25 +000045 case MipsII::MO_NO_FLAG: Kind = MCSymbolRefExpr::VK_None; break;
46 case MipsII::MO_GPREL: Kind = MCSymbolRefExpr::VK_Mips_GPREL; break;
47 case MipsII::MO_GOT_CALL: Kind = MCSymbolRefExpr::VK_Mips_GOT_CALL; break;
48 case MipsII::MO_GOT16: Kind = MCSymbolRefExpr::VK_Mips_GOT16; break;
49 case MipsII::MO_GOT: Kind = MCSymbolRefExpr::VK_Mips_GOT; break;
50 case MipsII::MO_ABS_HI: Kind = MCSymbolRefExpr::VK_Mips_ABS_HI; break;
51 case MipsII::MO_ABS_LO: Kind = MCSymbolRefExpr::VK_Mips_ABS_LO; break;
52 case MipsII::MO_TLSGD: Kind = MCSymbolRefExpr::VK_Mips_TLSGD; break;
53 case MipsII::MO_TLSLDM: Kind = MCSymbolRefExpr::VK_Mips_TLSLDM; break;
54 case MipsII::MO_DTPREL_HI: Kind = MCSymbolRefExpr::VK_Mips_DTPREL_HI; break;
55 case MipsII::MO_DTPREL_LO: Kind = MCSymbolRefExpr::VK_Mips_DTPREL_LO; break;
56 case MipsII::MO_GOTTPREL: Kind = MCSymbolRefExpr::VK_Mips_GOTTPREL; break;
57 case MipsII::MO_TPREL_HI: Kind = MCSymbolRefExpr::VK_Mips_TPREL_HI; break;
58 case MipsII::MO_TPREL_LO: Kind = MCSymbolRefExpr::VK_Mips_TPREL_LO; break;
59 case MipsII::MO_GPOFF_HI: Kind = MCSymbolRefExpr::VK_Mips_GPOFF_HI; break;
60 case MipsII::MO_GPOFF_LO: Kind = MCSymbolRefExpr::VK_Mips_GPOFF_LO; break;
61 case MipsII::MO_GOT_DISP: Kind = MCSymbolRefExpr::VK_Mips_GOT_DISP; break;
62 case MipsII::MO_GOT_PAGE: Kind = MCSymbolRefExpr::VK_Mips_GOT_PAGE; break;
63 case MipsII::MO_GOT_OFST: Kind = MCSymbolRefExpr::VK_Mips_GOT_OFST; break;
Akira Hatanakab22c9282012-07-21 03:09:04 +000064 case MipsII::MO_HIGHER: Kind = MCSymbolRefExpr::VK_Mips_HIGHER; break;
65 case MipsII::MO_HIGHEST: Kind = MCSymbolRefExpr::VK_Mips_HIGHEST; break;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000066 }
67
68 switch (MOTy) {
Akira Hatanaka421455f2011-11-23 22:19:28 +000069 case MachineOperand::MO_MachineBasicBlock:
70 Symbol = MO.getMBB()->getSymbol();
71 break;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000072
Akira Hatanaka421455f2011-11-23 22:19:28 +000073 case MachineOperand::MO_GlobalAddress:
74 Symbol = Mang->getSymbol(MO.getGlobal());
Akira Hatanakabed5b0d2012-06-02 00:02:11 +000075 Offset += MO.getOffset();
Akira Hatanaka421455f2011-11-23 22:19:28 +000076 break;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000077
Akira Hatanaka421455f2011-11-23 22:19:28 +000078 case MachineOperand::MO_BlockAddress:
79 Symbol = AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress());
Akira Hatanakabed5b0d2012-06-02 00:02:11 +000080 Offset += MO.getOffset();
Akira Hatanaka421455f2011-11-23 22:19:28 +000081 break;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000082
Akira Hatanaka421455f2011-11-23 22:19:28 +000083 case MachineOperand::MO_ExternalSymbol:
84 Symbol = AsmPrinter.GetExternalSymbolSymbol(MO.getSymbolName());
Akira Hatanakabed5b0d2012-06-02 00:02:11 +000085 Offset += MO.getOffset();
Akira Hatanaka421455f2011-11-23 22:19:28 +000086 break;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000087
Akira Hatanaka421455f2011-11-23 22:19:28 +000088 case MachineOperand::MO_JumpTableIndex:
89 Symbol = AsmPrinter.GetJTISymbol(MO.getIndex());
90 break;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000091
Akira Hatanaka421455f2011-11-23 22:19:28 +000092 case MachineOperand::MO_ConstantPoolIndex:
93 Symbol = AsmPrinter.GetCPISymbol(MO.getIndex());
Akira Hatanakabed5b0d2012-06-02 00:02:11 +000094 Offset += MO.getOffset();
Akira Hatanaka421455f2011-11-23 22:19:28 +000095 break;
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000096
Akira Hatanaka421455f2011-11-23 22:19:28 +000097 default:
98 llvm_unreachable("<unknown operand type>");
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +000099 }
Jia Liubb481f82012-02-28 07:46:26 +0000100
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000101 const MCSymbolRefExpr *MCSym = MCSymbolRefExpr::Create(Symbol, Kind, *Ctx);
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000102
103 if (!Offset)
104 return MCOperand::CreateExpr(MCSym);
105
106 // Assume offset is never negative.
107 assert(Offset > 0);
Jia Liubb481f82012-02-28 07:46:26 +0000108
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000109 const MCConstantExpr *OffsetExpr = MCConstantExpr::Create(Offset, *Ctx);
Akira Hatanaka864f6602012-06-14 21:10:56 +0000110 const MCBinaryExpr *Add = MCBinaryExpr::CreateAdd(MCSym, OffsetExpr, *Ctx);
111 return MCOperand::CreateExpr(Add);
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +0000112}
113
Akira Hatanaka63b37f12012-06-14 01:20:12 +0000114/*
Akira Hatanaka864f6602012-06-14 21:10:56 +0000115static void CreateMCInst(MCInst& Inst, unsigned Opc, const MCOperand &Opnd0,
116 const MCOperand &Opnd1,
117 const MCOperand &Opnd2 = MCOperand()) {
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000118 Inst.setOpcode(Opc);
119 Inst.addOperand(Opnd0);
120 Inst.addOperand(Opnd1);
121 if (Opnd2.isValid())
122 Inst.addOperand(Opnd2);
123}
Akira Hatanaka63b37f12012-06-14 01:20:12 +0000124*/
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000125
Akira Hatanaka864f6602012-06-14 21:10:56 +0000126MCOperand MipsMCInstLower::LowerOperand(const MachineOperand &MO,
Jia Liubb481f82012-02-28 07:46:26 +0000127 unsigned offset) const {
Akira Hatanaka89574812011-08-16 02:21:03 +0000128 MachineOperandType MOTy = MO.getType();
Jia Liubb481f82012-02-28 07:46:26 +0000129
Akira Hatanaka89574812011-08-16 02:21:03 +0000130 switch (MOTy) {
Craig Topperbc219812012-02-07 02:50:20 +0000131 default: llvm_unreachable("unknown operand type");
Akira Hatanaka89574812011-08-16 02:21:03 +0000132 case MachineOperand::MO_Register:
133 // Ignore all implicit register operands.
134 if (MO.isImplicit()) break;
135 return MCOperand::CreateReg(MO.getReg());
136 case MachineOperand::MO_Immediate:
Akira Hatanaka421455f2011-11-23 22:19:28 +0000137 return MCOperand::CreateImm(MO.getImm() + offset);
Akira Hatanaka89574812011-08-16 02:21:03 +0000138 case MachineOperand::MO_MachineBasicBlock:
139 case MachineOperand::MO_GlobalAddress:
140 case MachineOperand::MO_ExternalSymbol:
141 case MachineOperand::MO_JumpTableIndex:
142 case MachineOperand::MO_ConstantPoolIndex:
143 case MachineOperand::MO_BlockAddress:
Akira Hatanaka421455f2011-11-23 22:19:28 +0000144 return LowerSymbolOperand(MO, MOTy, offset);
Jakob Stoklund Olesen71f0fc12012-01-18 23:52:19 +0000145 case MachineOperand::MO_RegisterMask:
146 break;
Akira Hatanaka89574812011-08-16 02:21:03 +0000147 }
148
149 return MCOperand();
150}
151
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +0000152void MipsMCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
153 OutMI.setOpcode(MI->getOpcode());
Jia Liubb481f82012-02-28 07:46:26 +0000154
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +0000155 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
156 const MachineOperand &MO = MI->getOperand(i);
Akira Hatanaka89574812011-08-16 02:21:03 +0000157 MCOperand MCOp = LowerOperand(MO);
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +0000158
Akira Hatanaka89574812011-08-16 02:21:03 +0000159 if (MCOp.isValid())
160 OutMI.addOperand(MCOp);
Akira Hatanaka17a2f8e2011-07-07 20:24:54 +0000161 }
162}
Jack Cartere035f652012-07-16 15:14:51 +0000163
164// If the D<shift> instruction has a shift amount that is greater
165// than 31 (checked in calling routine), lower it to a D<shift>32 instruction
166void MipsMCInstLower::LowerLargeShift(const MachineInstr *MI,
167 MCInst& Inst,
168 int64_t Shift) {
169 // rt
170 Inst.addOperand(LowerOperand(MI->getOperand(0)));
171 // rd
172 Inst.addOperand(LowerOperand(MI->getOperand(1)));
173 // saminus32
174 Inst.addOperand(MCOperand::CreateImm(Shift));
175
176 switch (MI->getOpcode()) {
177 default:
178 // Calling function is not synchronized
179 llvm_unreachable("Unexpected shift instruction");
180 break;
181 case Mips::DSLL:
182 Inst.setOpcode(Mips::DSLL32);
183 break;
184 case Mips::DSRL:
185 Inst.setOpcode(Mips::DSRL32);
186 break;
187 case Mips::DSRA:
188 Inst.setOpcode(Mips::DSRA32);
189 break;
190 }
191}