blob: 6b2a44d7a8939106299b1c16aaa194baac101485 [file] [log] [blame]
Jia Liu9f610112012-02-17 08:55:11 +00001//===-- MipsMCInstLower.cpp - Convert Mips MachineInstr to MCInst ---------===//
Akira Hatanaka77a9e6e2011-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//===----------------------------------------------------------------------===//
Craig Topperb25fda92012-03-17 18:46:09 +000014#include "MipsMCInstLower.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "MCTargetDesc/MipsBaseInfo.h"
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000016#include "MipsAsmPrinter.h"
17#include "MipsInstrInfo.h"
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000018#include "llvm/CodeGen/MachineFunction.h"
19#include "llvm/CodeGen/MachineInstr.h"
20#include "llvm/CodeGen/MachineOperand.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000021#include "llvm/IR/Mangler.h"
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000022#include "llvm/MC/MCContext.h"
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +000023#include "llvm/MC/MCExpr.h"
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000024#include "llvm/MC/MCInst.h"
Pete Cooperef21bd42015-03-04 01:24:11 +000025#include "llvm/MC/MCStreamer.h"
Akira Hatanaka049e9e42011-11-23 22:19:28 +000026
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000027using namespace llvm;
28
Akira Hatanaka34ee3ff2012-03-28 00:22:50 +000029MipsMCInstLower::MipsMCInstLower(MipsAsmPrinter &asmprinter)
30 : AsmPrinter(asmprinter) {}
31
Rafael Espindola7d78b2a2013-10-29 16:24:21 +000032void MipsMCInstLower::Initialize(MCContext *C) {
Akira Hatanaka34ee3ff2012-03-28 00:22:50 +000033 Ctx = C;
34}
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000035
36MCOperand MipsMCInstLower::LowerSymbolOperand(const MachineOperand &MO,
Akira Hatanaka6520b982011-08-16 02:15:03 +000037 MachineOperandType MOTy,
38 unsigned Offset) const {
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +000039 MCSymbolRefExpr::VariantKind Kind;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000040 const MCSymbol *Symbol;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000041
42 switch(MO.getTargetFlags()) {
Craig Toppere55c5562012-02-07 02:50:20 +000043 default: llvm_unreachable("Invalid target flag!");
Akira Hatanaka9e1d3692011-12-19 19:52:25 +000044 case MipsII::MO_NO_FLAG: Kind = MCSymbolRefExpr::VK_None; break;
45 case MipsII::MO_GPREL: Kind = MCSymbolRefExpr::VK_Mips_GPREL; break;
46 case MipsII::MO_GOT_CALL: Kind = MCSymbolRefExpr::VK_Mips_GOT_CALL; break;
47 case MipsII::MO_GOT16: Kind = MCSymbolRefExpr::VK_Mips_GOT16; break;
48 case MipsII::MO_GOT: Kind = MCSymbolRefExpr::VK_Mips_GOT; break;
49 case MipsII::MO_ABS_HI: Kind = MCSymbolRefExpr::VK_Mips_ABS_HI; break;
50 case MipsII::MO_ABS_LO: Kind = MCSymbolRefExpr::VK_Mips_ABS_LO; break;
51 case MipsII::MO_TLSGD: Kind = MCSymbolRefExpr::VK_Mips_TLSGD; break;
52 case MipsII::MO_TLSLDM: Kind = MCSymbolRefExpr::VK_Mips_TLSLDM; break;
53 case MipsII::MO_DTPREL_HI: Kind = MCSymbolRefExpr::VK_Mips_DTPREL_HI; break;
54 case MipsII::MO_DTPREL_LO: Kind = MCSymbolRefExpr::VK_Mips_DTPREL_LO; break;
55 case MipsII::MO_GOTTPREL: Kind = MCSymbolRefExpr::VK_Mips_GOTTPREL; break;
56 case MipsII::MO_TPREL_HI: Kind = MCSymbolRefExpr::VK_Mips_TPREL_HI; break;
57 case MipsII::MO_TPREL_LO: Kind = MCSymbolRefExpr::VK_Mips_TPREL_LO; break;
58 case MipsII::MO_GPOFF_HI: Kind = MCSymbolRefExpr::VK_Mips_GPOFF_HI; break;
59 case MipsII::MO_GPOFF_LO: Kind = MCSymbolRefExpr::VK_Mips_GPOFF_LO; break;
60 case MipsII::MO_GOT_DISP: Kind = MCSymbolRefExpr::VK_Mips_GOT_DISP; break;
61 case MipsII::MO_GOT_PAGE: Kind = MCSymbolRefExpr::VK_Mips_GOT_PAGE; break;
62 case MipsII::MO_GOT_OFST: Kind = MCSymbolRefExpr::VK_Mips_GOT_OFST; break;
Akira Hatanaka6035fe72012-07-21 03:09:04 +000063 case MipsII::MO_HIGHER: Kind = MCSymbolRefExpr::VK_Mips_HIGHER; break;
64 case MipsII::MO_HIGHEST: Kind = MCSymbolRefExpr::VK_Mips_HIGHEST; break;
Akira Hatanakabb6e74a2012-11-21 20:40:38 +000065 case MipsII::MO_GOT_HI16: Kind = MCSymbolRefExpr::VK_Mips_GOT_HI16; break;
66 case MipsII::MO_GOT_LO16: Kind = MCSymbolRefExpr::VK_Mips_GOT_LO16; break;
67 case MipsII::MO_CALL_HI16: Kind = MCSymbolRefExpr::VK_Mips_CALL_HI16; break;
68 case MipsII::MO_CALL_LO16: Kind = MCSymbolRefExpr::VK_Mips_CALL_LO16; break;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000069 }
70
71 switch (MOTy) {
Akira Hatanaka049e9e42011-11-23 22:19:28 +000072 case MachineOperand::MO_MachineBasicBlock:
73 Symbol = MO.getMBB()->getSymbol();
74 break;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000075
Akira Hatanaka049e9e42011-11-23 22:19:28 +000076 case MachineOperand::MO_GlobalAddress:
Rafael Espindola79858aa2013-10-29 17:07:16 +000077 Symbol = AsmPrinter.getSymbol(MO.getGlobal());
Akira Hatanaka56bf0232012-06-02 00:02:11 +000078 Offset += MO.getOffset();
Akira Hatanaka049e9e42011-11-23 22:19:28 +000079 break;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000080
Akira Hatanaka049e9e42011-11-23 22:19:28 +000081 case MachineOperand::MO_BlockAddress:
82 Symbol = AsmPrinter.GetBlockAddressSymbol(MO.getBlockAddress());
Akira Hatanaka56bf0232012-06-02 00:02:11 +000083 Offset += MO.getOffset();
Akira Hatanaka049e9e42011-11-23 22:19:28 +000084 break;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000085
Akira Hatanaka049e9e42011-11-23 22:19:28 +000086 case MachineOperand::MO_ExternalSymbol:
87 Symbol = AsmPrinter.GetExternalSymbolSymbol(MO.getSymbolName());
Akira Hatanaka56bf0232012-06-02 00:02:11 +000088 Offset += MO.getOffset();
Akira Hatanaka049e9e42011-11-23 22:19:28 +000089 break;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000090
Akira Hatanaka049e9e42011-11-23 22:19:28 +000091 case MachineOperand::MO_JumpTableIndex:
92 Symbol = AsmPrinter.GetJTISymbol(MO.getIndex());
93 break;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000094
Akira Hatanaka049e9e42011-11-23 22:19:28 +000095 case MachineOperand::MO_ConstantPoolIndex:
96 Symbol = AsmPrinter.GetCPISymbol(MO.getIndex());
Akira Hatanaka56bf0232012-06-02 00:02:11 +000097 Offset += MO.getOffset();
Akira Hatanaka049e9e42011-11-23 22:19:28 +000098 break;
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +000099
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000100 default:
101 llvm_unreachable("<unknown operand type>");
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +0000102 }
Jia Liuf54f60f2012-02-28 07:46:26 +0000103
Jim Grosbach13760bd2015-05-30 01:25:56 +0000104 const MCSymbolRefExpr *MCSym = MCSymbolRefExpr::create(Symbol, Kind, *Ctx);
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +0000105
106 if (!Offset)
Jim Grosbache9119e42015-05-13 18:37:00 +0000107 return MCOperand::createExpr(MCSym);
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +0000108
109 // Assume offset is never negative.
110 assert(Offset > 0);
Jia Liuf54f60f2012-02-28 07:46:26 +0000111
Jim Grosbach13760bd2015-05-30 01:25:56 +0000112 const MCConstantExpr *OffsetExpr = MCConstantExpr::create(Offset, *Ctx);
113 const MCBinaryExpr *Add = MCBinaryExpr::createAdd(MCSym, OffsetExpr, *Ctx);
Jim Grosbache9119e42015-05-13 18:37:00 +0000114 return MCOperand::createExpr(Add);
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +0000115}
116
Akira Hatanakaa1b142f2012-06-14 01:20:12 +0000117/*
Akira Hatanaka5fd22482012-06-14 21:10:56 +0000118static void CreateMCInst(MCInst& Inst, unsigned Opc, const MCOperand &Opnd0,
119 const MCOperand &Opnd1,
120 const MCOperand &Opnd2 = MCOperand()) {
Akira Hatanaka34ee3ff2012-03-28 00:22:50 +0000121 Inst.setOpcode(Opc);
122 Inst.addOperand(Opnd0);
123 Inst.addOperand(Opnd1);
124 if (Opnd2.isValid())
125 Inst.addOperand(Opnd2);
126}
Akira Hatanakaa1b142f2012-06-14 01:20:12 +0000127*/
Akira Hatanaka34ee3ff2012-03-28 00:22:50 +0000128
Akira Hatanaka5fd22482012-06-14 21:10:56 +0000129MCOperand MipsMCInstLower::LowerOperand(const MachineOperand &MO,
Jia Liuf54f60f2012-02-28 07:46:26 +0000130 unsigned offset) const {
Akira Hatanaka77f1fd52011-08-16 02:21:03 +0000131 MachineOperandType MOTy = MO.getType();
Jia Liuf54f60f2012-02-28 07:46:26 +0000132
Akira Hatanaka77f1fd52011-08-16 02:21:03 +0000133 switch (MOTy) {
Craig Toppere55c5562012-02-07 02:50:20 +0000134 default: llvm_unreachable("unknown operand type");
Akira Hatanaka77f1fd52011-08-16 02:21:03 +0000135 case MachineOperand::MO_Register:
136 // Ignore all implicit register operands.
137 if (MO.isImplicit()) break;
Jim Grosbache9119e42015-05-13 18:37:00 +0000138 return MCOperand::createReg(MO.getReg());
Akira Hatanaka77f1fd52011-08-16 02:21:03 +0000139 case MachineOperand::MO_Immediate:
Jim Grosbache9119e42015-05-13 18:37:00 +0000140 return MCOperand::createImm(MO.getImm() + offset);
Akira Hatanaka77f1fd52011-08-16 02:21:03 +0000141 case MachineOperand::MO_MachineBasicBlock:
142 case MachineOperand::MO_GlobalAddress:
143 case MachineOperand::MO_ExternalSymbol:
144 case MachineOperand::MO_JumpTableIndex:
145 case MachineOperand::MO_ConstantPoolIndex:
146 case MachineOperand::MO_BlockAddress:
Akira Hatanaka049e9e42011-11-23 22:19:28 +0000147 return LowerSymbolOperand(MO, MOTy, offset);
Jakob Stoklund Olesenf1fb1d22012-01-18 23:52:19 +0000148 case MachineOperand::MO_RegisterMask:
149 break;
Akira Hatanaka77f1fd52011-08-16 02:21:03 +0000150 }
151
152 return MCOperand();
153}
154
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000155MCOperand MipsMCInstLower::createSub(MachineBasicBlock *BB1,
156 MachineBasicBlock *BB2,
157 MCSymbolRefExpr::VariantKind Kind) const {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000158 const MCSymbolRefExpr *Sym1 = MCSymbolRefExpr::create(BB1->getSymbol(), *Ctx);
159 const MCSymbolRefExpr *Sym2 = MCSymbolRefExpr::create(BB2->getSymbol(), *Ctx);
160 const MCBinaryExpr *Sub = MCBinaryExpr::createSub(Sym1, Sym2, *Ctx);
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000161
Jim Grosbach13760bd2015-05-30 01:25:56 +0000162 return MCOperand::createExpr(MipsMCExpr::create(Kind, Sub, *Ctx));
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000163}
164
165void MipsMCInstLower::
Sasa Stankovice41db2f2014-05-27 18:53:06 +0000166lowerLongBranchLUi(const MachineInstr *MI, MCInst &OutMI) const {
167 OutMI.setOpcode(Mips::LUi);
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000168
169 // Lower register operand.
170 OutMI.addOperand(LowerOperand(MI->getOperand(0)));
171
Sasa Stankovice41db2f2014-05-27 18:53:06 +0000172 // Create %hi($tgt-$baltgt).
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000173 OutMI.addOperand(createSub(MI->getOperand(1).getMBB(),
Sasa Stankovice41db2f2014-05-27 18:53:06 +0000174 MI->getOperand(2).getMBB(),
175 MCSymbolRefExpr::VK_Mips_ABS_HI));
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000176}
177
178void MipsMCInstLower::
179lowerLongBranchADDiu(const MachineInstr *MI, MCInst &OutMI, int Opcode,
180 MCSymbolRefExpr::VariantKind Kind) const {
181 OutMI.setOpcode(Opcode);
182
183 // Lower two register operands.
184 for (unsigned I = 0, E = 2; I != E; ++I) {
185 const MachineOperand &MO = MI->getOperand(I);
186 OutMI.addOperand(LowerOperand(MO));
187 }
188
Sasa Stankovice41db2f2014-05-27 18:53:06 +0000189 // Create %lo($tgt-$baltgt) or %hi($tgt-$baltgt).
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000190 OutMI.addOperand(createSub(MI->getOperand(2).getMBB(),
191 MI->getOperand(3).getMBB(), Kind));
192}
193
194bool MipsMCInstLower::lowerLongBranch(const MachineInstr *MI,
195 MCInst &OutMI) const {
196 switch (MI->getOpcode()) {
197 default:
198 return false;
199 case Mips::LONG_BRANCH_LUi:
Sasa Stankovice41db2f2014-05-27 18:53:06 +0000200 lowerLongBranchLUi(MI, OutMI);
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000201 return true;
202 case Mips::LONG_BRANCH_ADDiu:
203 lowerLongBranchADDiu(MI, OutMI, Mips::ADDiu,
204 MCSymbolRefExpr::VK_Mips_ABS_LO);
205 return true;
206 case Mips::LONG_BRANCH_DADDiu:
207 unsigned TargetFlags = MI->getOperand(2).getTargetFlags();
Sasa Stankovice41db2f2014-05-27 18:53:06 +0000208 if (TargetFlags == MipsII::MO_ABS_HI)
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000209 lowerLongBranchADDiu(MI, OutMI, Mips::DADDiu,
210 MCSymbolRefExpr::VK_Mips_ABS_HI);
211 else if (TargetFlags == MipsII::MO_ABS_LO)
212 lowerLongBranchADDiu(MI, OutMI, Mips::DADDiu,
213 MCSymbolRefExpr::VK_Mips_ABS_LO);
214 else
215 report_fatal_error("Unexpected flags for LONG_BRANCH_DADDiu");
216 return true;
217 }
218}
219
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +0000220void MipsMCInstLower::Lower(const MachineInstr *MI, MCInst &OutMI) const {
Sasa Stankovic7b061a42014-04-30 15:06:25 +0000221 if (lowerLongBranch(MI, OutMI))
222 return;
223
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +0000224 OutMI.setOpcode(MI->getOpcode());
Jia Liuf54f60f2012-02-28 07:46:26 +0000225
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +0000226 for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) {
227 const MachineOperand &MO = MI->getOperand(i);
Akira Hatanaka77f1fd52011-08-16 02:21:03 +0000228 MCOperand MCOp = LowerOperand(MO);
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +0000229
Akira Hatanaka77f1fd52011-08-16 02:21:03 +0000230 if (MCOp.isValid())
231 OutMI.addOperand(MCOp);
Akira Hatanaka77a9e6e2011-07-07 20:24:54 +0000232 }
233}
Jack Carterf6490432012-07-16 15:14:51 +0000234